diff options
| author |  Jason Gross <jagro@google.com> | 2018-08-09 17:04:41 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-08-09 18:01:02 -0400 |
| commit | e832653f2eca18ed149f82a5a488a634a5887ee2 (patch) | |
| tree | f9cb3aee8803ff1fa1b15187444d1dd45c9fc409 /src/Util/Prod.v | |
| parent | bf30dc32c108b92f99e9e16c7609f01c2df589c0 (diff) | |
Better transport lemmas in LanguageInversion
After | File Name | Before || Change | % Change
--------------------------------------------------------------------------------------------------------------------
19m03.98s | Total | 19m03.09s || +0m00.89s | +0.07%
--------------------------------------------------------------------------------------------------------------------
4m32.38s | Experiments/NewPipeline/Toplevel1 | 4m33.84s || -0m01.46s | -0.53%
0m24.50s | Experiments/NewPipeline/UnderLetsProofs | 0m23.34s || +0m01.16s | +4.97%
5m55.71s | Experiments/NewPipeline/SlowPrimeSynthesisExamples | 5m55.23s || +0m00.47s | +0.13%
1m36.24s | Experiments/NewPipeline/Toplevel2 | 1m36.50s || -0m00.25s | -0.26%
0m39.34s | p521_32.c | 0m39.28s || +0m00.06s | +0.15%
0m38.62s | Experiments/NewPipeline/AbstractInterpretationWf | 0m38.04s || +0m00.57s | +1.52%
0m37.21s | Experiments/NewPipeline/ExtractionOCaml/word_by_word_montgomery | 0m37.13s || +0m00.07s | +0.21%
0m35.25s | Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery | 0m35.00s || +0m00.25s | +0.71%
0m34.16s | Experiments/NewPipeline/LanguageInversion | 0m33.72s || +0m00.43s | +1.30%
0m32.71s | p521_64.c | 0m32.83s || -0m00.11s | -0.36%
0m23.87s | p384_32.c | 0m23.81s || +0m00.06s | +0.25%
0m21.16s | Experiments/NewPipeline/LanguageWf | 0m21.12s || +0m00.03s | +0.18%
0m20.25s | Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas | 0m20.41s || -0m00.16s | -0.78%
0m18.58s | Experiments/NewPipeline/ExtractionOCaml/unsaturated_solinas | 0m18.61s || -0m00.03s | -0.16%
0m13.59s | Experiments/NewPipeline/ExtractionHaskell/saturated_solinas | 0m13.53s || +0m00.06s | +0.44%
0m10.33s | Experiments/NewPipeline/ExtractionOCaml/saturated_solinas | 0m10.46s || -0m00.13s | -1.24%
0m08.56s | Experiments/NewPipeline/ExtractionOCaml/word_by_word_montgomery.ml | 0m08.54s || +0m00.02s | +0.23%
0m08.47s | p384_64.c | 0m08.43s || +0m00.04s | +0.47%
0m05.43s | Experiments/NewPipeline/ExtractionOCaml/unsaturated_solinas.ml | 0m05.50s || -0m00.07s | -1.27%
0m05.39s | Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery.hs | 0m05.32s || +0m00.06s | +1.31%
0m04.01s | Experiments/NewPipeline/AbstractInterpretationProofs | 0m04.04s || -0m00.03s | -0.74%
0m04.00s | Experiments/NewPipeline/ExtractionOCaml/saturated_solinas.ml | 0m04.01s || -0m00.00s | -0.24%
0m03.90s | Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas.hs | 0m03.96s || -0m00.06s | -1.51%
0m03.84s | Experiments/NewPipeline/MiscCompilerPassesProofs | 0m03.83s || +0m00.00s | +0.26%
0m03.81s | p256_32.c | 0m03.74s || +0m00.06s | +1.87%
0m03.79s | secp256k1_32.c | 0m03.90s || -0m00.10s | -2.82%
0m03.13s | Experiments/NewPipeline/ExtractionHaskell/saturated_solinas.hs | 0m03.15s || -0m00.02s | -0.63%
0m02.09s | curve25519_32.c | 0m02.16s || -0m00.07s | -3.24%
0m02.08s | p224_32.c | 0m02.24s || -0m00.16s | -7.14%
0m01.69s | p224_64.c | 0m01.55s || +0m00.13s | +9.03%
0m01.58s | secp256k1_64.c | 0m01.64s || -0m00.05s | -3.65%
0m01.56s | p256_64.c | 0m01.51s || +0m00.05s | +3.31%
0m01.54s | curve25519_64.c | 0m01.45s || +0m00.09s | +6.20%
0m01.44s | Experiments/NewPipeline/CLI | 0m01.46s || -0m00.02s | -1.36%
0m01.32s | Experiments/NewPipeline/RewriterProofs | 0m01.38s || -0m00.05s | -4.34%
0m01.26s | Experiments/NewPipeline/StandaloneHaskellMain | 0m01.23s || +0m00.03s | +2.43%
0m01.19s | Experiments/NewPipeline/StandaloneOCamlMain | 0m01.20s || -0m00.01s | -0.83%
Diffstat (limited to 'src/Util/Prod.v')
0 files changed, 0 insertions, 0 deletions