(unsure) Extraction.Krml: a flatenning pass #524
Annotations
7 notices
|
Run perf canaries:
DEFS_100#L1
time = 0.10
|
|
Run perf canaries:
DEFS_200#L1
time = 0.12
|
|
Run perf canaries:
DEFS_400#L1
time = 0.14
|
|
Run perf canaries:
DEFS_800#L1
time = 0.19
|
|
Run perf canaries:
DEFS_1600#L1
time = 0.28
|
|
Run perf canaries:
DEFS_3200#L1
time = 0.45
|
|
Run perf canaries:
DEFS_6400#L1
time = 0.82
|
Loading