diff options
author | Jason Gross <jgross@mit.edu> | 2017-06-14 00:34:52 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-06-14 00:45:47 -0400 |
commit | d5bfa641ac3269b90bf8fd23511d110b99b3f5fb (patch) | |
tree | 39fa098cc8126229dbd3adde774004923e178ec9 /.travis.yml | |
parent | a0e2a43ddba56a58673c1acffe6fd179f78255ee (diff) |
Rework and speed up arithmetic simplifier proofs
Induction is so much faster than brute force.
After | File Name | Before || Change
--------------------------------------------------------------------------------
6m15.02s | Total | 7m14.18s || -0m59.15s
--------------------------------------------------------------------------------
0m11.62s | Compilers/Z/ArithmeticSimplifierWf | 0m42.97s || -0m31.35s
0m06.52s | Compilers/Z/ArithmeticSimplifierInterp | 0m34.28s || -0m27.76s
2m47.55s | Specific/IntegrationTestLadderstep | 2m48.14s || -0m00.58s
1m09.50s | Specific/IntegrationTestKaratsubaMul | 1m08.86s || +0m00.64s
1m03.53s | Specific/IntegrationTestLadderstep130 | 1m04.05s || -0m00.51s
0m16.39s | Specific/IntegrationTestFreeze | 0m16.29s || +0m00.10s
0m13.60s | Specific/IntegrationTestMul | 0m13.60s || +0m00.00s
0m11.58s | Specific/IntegrationTestSub | 0m11.36s || +0m00.22s
0m09.79s | Specific/IntegrationTestSquare | 0m09.71s || +0m00.07s
0m03.64s | Compilers/Z/Bounds/Pipeline/Definition | 0m03.54s || +0m00.10s
0m00.75s | Compilers/Z/Bounds/Pipeline/ReflectiveTactics | 0m00.80s || -0m00.05s
0m00.55s | Compilers/Z/Bounds/Pipeline | 0m00.58s || -0m00.02s
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions