blob: 71e4ee0b32c1d5cf09818f16c9aad5cf4adeda61 (
plain)
1
2
3
4
5
6
7
8
9
|
After | Code | Before || Change | % Change
----------------------------------------------------------------------------------------------------
0m14.06s | Total | 0m00.72s || +0m13.34s | +1854.02%
----------------------------------------------------------------------------------------------------
0m13.582s | Chars 163 - 208 [Definition~foo1~:=~Eval~comp~i...] | 0m00.353s || +0m13.22s | +3747.59%
0m00.335s | Chars 069 - 162 [Definition~foo0~:=~Eval~comp~i...] | 0m00.225s || +0m00.11s | +48.88%
0m00.152s | Chars 000 - 026 [Require~Coq.ZArith.BinInt.] | 0m00.142s || +0m00.01s | +7.04%
0m00.s | Chars 027 - 068 [Declare~Reduction~comp~:=~nati...] | N/A || +0m00.00s | N/A
N/A | Chars 027 - 068 [Declare~Reduction~comp~:=~vm_c...] | 0m00.s || +0m00.00s | N/A
|
