diff options
author | 2018-08-09 18:06:40 -0400 | |
---|---|---|
committer | 2018-08-13 13:12:50 -0400 | |
commit | a22af596b7136910f521eb0a79af20e88c8b5dd1 (patch) | |
tree | 7e6ca9a76578ed7f0cf9ecf54e4c6c258500cd93 /curve25519_32.c | |
parent | 67dbd1069da51ba6ac9ee9cfeb34cc7be8cedf7d (diff) |
Finish rule-specific rewriter wf proofs
But don't run them yet, because they are really slow
After | File Name | Before || Change | % Change
--------------------------------------------------------------------------------------------------------------------
19m35.38s | Total | 19m35.69s || -0m00.30s | -0.02%
--------------------------------------------------------------------------------------------------------------------
5m57.04s | Experiments/NewPipeline/SlowPrimeSynthesisExamples | 5m58.04s || -0m01.00s | -0.27%
1m12.61s | Experiments/NewPipeline/RewriterWf2 | 1m11.61s || +0m01.00s | +1.39%
4m32.41s | Experiments/NewPipeline/Toplevel1 | 4m33.28s || -0m00.87s | -0.31%
1m38.38s | Experiments/NewPipeline/Toplevel2 | 1m38.56s || -0m00.18s | -0.18%
1m16.21s | Experiments/NewPipeline/RewriterRulesGood | 1m16.18s || +0m00.03s | +0.03%
0m39.26s | p521_32.c | 0m39.50s || -0m00.24s | -0.60%
0m37.34s | Experiments/NewPipeline/ExtractionOCaml/word_by_word_montgomery | 0m37.33s || +0m00.01s | +0.02%
0m34.83s | Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery | 0m35.33s || -0m00.50s | -1.41%
0m32.68s | p521_64.c | 0m32.73s || -0m00.04s | -0.15%
0m23.62s | p384_32.c | 0m23.67s || -0m00.05s | -0.21%
0m21.00s | Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas | 0m20.22s || +0m00.78s | +3.85%
0m18.92s | Experiments/NewPipeline/ExtractionOCaml/unsaturated_solinas | 0m18.62s || +0m00.30s | +1.61%
0m13.79s | Experiments/NewPipeline/ExtractionHaskell/saturated_solinas | 0m13.70s || +0m00.08s | +0.65%
0m10.70s | Experiments/NewPipeline/ExtractionOCaml/saturated_solinas | 0m10.51s || +0m00.18s | +1.80%
0m08.55s | Experiments/NewPipeline/ExtractionOCaml/word_by_word_montgomery.ml | 0m08.59s || -0m00.03s | -0.46%
0m08.43s | p384_64.c | 0m08.54s || -0m00.10s | -1.28%
0m05.62s | Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery.hs | 0m05.34s || +0m00.28s | +5.24%
0m05.47s | Experiments/NewPipeline/ExtractionOCaml/unsaturated_solinas.ml | 0m05.48s || -0m00.01s | -0.18%
0m04.40s | Experiments/NewPipeline/RewriterWf1 | 0m04.36s || +0m00.04s | +0.91%
0m03.97s | Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas.hs | 0m03.89s || +0m00.08s | +2.05%
0m03.95s | secp256k1_32.c | 0m03.91s || +0m00.04s | +1.02%
0m03.92s | Experiments/NewPipeline/ExtractionOCaml/saturated_solinas.ml | 0m04.01s || -0m00.08s | -2.24%
0m03.78s | p256_32.c | 0m03.77s || +0m00.00s | +0.26%
0m03.31s | Experiments/NewPipeline/ExtractionHaskell/saturated_solinas.hs | 0m03.13s || +0m00.18s | +5.75%
0m02.14s | curve25519_32.c | 0m02.11s || +0m00.03s | +1.42%
0m02.14s | p224_32.c | 0m02.23s || -0m00.08s | -4.03%
0m01.55s | p224_64.c | 0m01.69s || -0m00.13s | -8.28%
0m01.54s | p256_64.c | 0m01.52s || +0m00.02s | +1.31%
0m01.52s | curve25519_64.c | 0m01.43s || +0m00.09s | +6.29%
0m01.49s | secp256k1_64.c | 0m01.65s || -0m00.15s | -9.69%
0m01.40s | Experiments/NewPipeline/CLI | 0m01.41s || -0m00.01s | -0.70%
0m01.29s | Experiments/NewPipeline/StandaloneHaskellMain | 0m01.23s || +0m00.06s | +4.87%
0m01.24s | Experiments/NewPipeline/StandaloneOCamlMain | 0m01.18s || +0m00.06s | +5.08%
0m00.88s | Experiments/NewPipeline/RewriterProofs | 0m00.94s || -0m00.05s | -6.38%
Diffstat (limited to 'curve25519_32.c')
0 files changed, 0 insertions, 0 deletions