| Commit message (Collapse) | Author | Age |
|---|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
| |
|
|
|
| |
It now knows how to deal with _ + 0 involving words, and also eliminates
IdWithAlt when both the first argument and the output are the same size word.
|
| |
|
|
|
|
| |
This fixes all of the private-names warnings emitted by
compiling fiat-crypto with https://github.com/coq/coq/pull/268 (minus
the ones in coqprime, which I didn't touch).
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
After | File Name | Before || Change
--------------------------------------------------------------------------------
4m56.46s | Total | 4m54.81s || +0m01.64s
--------------------------------------------------------------------------------
2m19.22s | Specific/IntegrationTestLadderstep | 2m18.29s || +0m00.93s
0m53.92s | Specific/IntegrationTestLadderstep130 | 0m53.83s || +0m00.09s
0m26.24s | Compilers/Z/ArithmeticSimplifierWf | 0m25.65s || +0m00.58s
0m24.93s | Compilers/Z/ArithmeticSimplifierInterp | 0m24.87s || +0m00.05s
0m15.38s | Specific/IntegrationTestFreeze | 0m15.97s || -0m00.58s
0m11.83s | Specific/IntegrationTestMul | 0m11.82s || +0m00.00s
0m10.57s | Specific/IntegrationTestSub | 0m10.50s || +0m00.07s
0m09.18s | Specific/IntegrationTestSquare | 0m09.07s || +0m00.10s
0m02.80s | Compilers/Z/Bounds/Pipeline/Definition | 0m02.57s || +0m00.23s
0m00.78s | Compilers/Z/Bounds/Pipeline/ReflectiveTactics | 0m00.64s || +0m00.14s
0m00.64s | Compilers/Z/ArithmeticSimplifier | 0m00.66s || -0m00.02s
0m00.62s | Compilers/Z/Bounds/Pipeline | 0m00.59s || +0m00.03s
0m00.35s | Compilers/Z/ArithmeticSimplifierUtil | 0m00.36s || -0m00.01s
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
After | File Name | Before || Change
---------------------------------------------------------------------------------------
6m14.04s | Total | 6m23.68s || -0m09.63s
---------------------------------------------------------------------------------------
0m26.28s | Compilers/Z/ArithmeticSimplifierWf | 0m48.67s || -0m22.39s
0m25.64s | Compilers/Z/ArithmeticSimplifierInterp | 0m14.14s || +0m11.50s
2m17.60s | Specific/IntegrationTestLadderstep | 2m17.90s || -0m00.30s
0m56.48s | Compilers/Z/Named/RewriteAddToAdcInterp | 0m55.76s || +0m00.71s
0m54.26s | Specific/IntegrationTestLadderstep130 | 0m54.53s || -0m00.27s
0m15.89s | Specific/IntegrationTestFreeze | 0m15.07s || +0m00.82s
0m11.69s | Specific/IntegrationTestMul | 0m11.78s || -0m00.08s
0m10.62s | Specific/ArithmeticSynthesisTest | 0m10.59s || +0m00.02s
0m10.54s | Specific/IntegrationTestSub | 0m10.55s || -0m00.01s
0m08.98s | Specific/IntegrationTestSquare | 0m09.04s || -0m00.05s
0m06.05s | Arithmetic/Saturated | 0m06.02s || +0m00.03s
0m03.04s | Compilers/Z/RewriteAddToAdcInterp | 0m03.00s || +0m00.04s
0m02.60s | Compilers/Z/Bounds/Pipeline/Definition | 0m02.25s || +0m00.35s
0m01.52s | Util/ZUtil/AddGetCarry | 0m01.50s || +0m00.02s
0m00.74s | Arithmetic/MontgomeryReduction/WordByWord/Definition | 0m00.71s || +0m00.03s
0m00.62s | Compilers/Z/Bounds/Pipeline/ReflectiveTactics | 0m00.78s || -0m00.16s
0m00.59s | Compilers/Z/ArithmeticSimplifier | 0m00.42s || +0m00.17s
0m00.57s | Compilers/Z/Bounds/Pipeline | 0m00.60s || -0m00.03s
0m00.34s | Compilers/Z/ArithmeticSimplifierUtil | 0m00.37s || -0m00.02s
|
| | |
|
| |
|
Jason Gross
Andres Erbsen