blob: 74dad733329e0d79d5a5c221140830ec7751ce95 (
plain)
1
2
3
4
5
6
7
8
9
|
After | Code | Before || Change | % Change
----------------------------------------------------------------------------------------------------
0m04.35s | Total | 0m00.58s || +0m03.77s | +649.05%
----------------------------------------------------------------------------------------------------
0m03.87s | Chars 163 - 208 [Definition~foo1~:=~Eval~comp~i...] | 0m00.246s || +0m03.62s | +1473.17%
0m00.322s | Chars 069 - 162 [Definition~foo0~:=~Eval~comp~i...] | 0m00.189s || +0m00.13s | +70.37%
0m00.16s | Chars 000 - 026 [Require~Coq.ZArith.BinInt.] | 0m00.146s || +0m00.01s | +9.58%
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
|
