diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-05-19 16:24:13 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-05-20 10:58:45 -0400 |
| commit | 9623c283c29bb3f36b18bf47cdea3dc2cec2ddb0 (patch) | |
| tree | 9e72d9c652be1ffc50432851b65ea6f7808815af /src/Compilers/Z/MapCastByDeBruijn.v | |
| parent | 665b160192b2a925aa50aaad8787072f09eaa4fc (diff) | |
Also reify Z.sub_with_get_borrow
After | File Name | Before || Change
--------------------------------------------------------------------------------
4m01.69s | Total | 4m00.89s || +0m00.80s
--------------------------------------------------------------------------------
2m18.60s | Specific/IntegrationTestLadderstep | 2m18.52s || +0m00.07s
0m54.16s | Specific/IntegrationTestLadderstep130 | 0m53.85s || +0m00.30s
0m15.24s | Specific/IntegrationTestFreeze | 0m15.10s || +0m00.14s
0m11.70s | Specific/IntegrationTestMul | 0m11.76s || -0m00.06s
0m10.55s | Specific/IntegrationTestSub | 0m10.40s || +0m00.15s
0m09.10s | Specific/IntegrationTestSquare | 0m09.02s || +0m00.08s
0m00.79s | Compilers/Z/Bounds/Pipeline/ReflectiveTactics | 0m00.68s || +0m00.10s
0m00.54s | Compilers/Z/Bounds/Pipeline | 0m00.58s || -0m00.03s
0m00.52s | Compilers/Z/Reify | 0m00.54s || -0m00.02s
0m00.50s | Compilers/Z/Bounds/Pipeline/Glue | 0m00.44s || +0m00.06s
Diffstat (limited to 'src/Compilers/Z/MapCastByDeBruijn.v')
0 files changed, 0 insertions, 0 deletions