diff options
author | 2019-03-08 02:41:01 -0500 | |
---|---|---|
committer | 2019-03-08 03:09:22 -0500 | |
commit | ac184af76e778cbc9e9655bc96b90fc76f6161a5 (patch) | |
tree | 9641b234ecb6be48bbbf2404a68b314561bf5d7a /src/Util/Factorize.v | |
parent | b91315237cc35aa061b2549d31fb908416019b7e (diff) |
Add eager_nth_default
After | File Name | Before || Change | % Change
-----------------------------------------------------------------------------------------------------------
36m12.92s | Total | 35m47.30s || +0m25.61s | +1.19%
-----------------------------------------------------------------------------------------------------------
3m17.05s | p384_32.c | 3m13.40s || +0m03.65s | +1.88%
0m35.31s | AbstractInterpretationZRangeProofs.vo | 0m32.23s || +0m03.08s | +9.55%
2m54.44s | PushButtonSynthesis/WordByWordMontgomeryReificationCache.vo | 2m51.77s || +0m02.66s | +1.55%
1m49.48s | RewriterRulesInterpGood.vo | 1m47.32s || +0m02.15s | +2.01%
1m08.68s | GENERATEDIdentifiersWithoutTypesProofs.vo | 1m06.34s || +0m02.34s | +3.52%
0m43.79s | PushButtonSynthesis/UnsaturatedSolinasReificationCache.vo | 0m45.80s || -0m02.00s | -4.38%
0m42.94s | UnderLetsProofs.vo | 0m40.56s || +0m02.37s | +5.86%
0m24.06s | ExtractionOCaml/word_by_word_montgomery | 0m21.22s || +0m02.83s | +13.38%
2m40.36s | Fancy/Compiler.vo | 2m38.94s || +0m01.42s | +0.89%
2m01.11s | RewriterWf2.vo | 1m59.26s || +0m01.85s | +1.55%
1m55.19s | RewriterRulesGood.vo | 1m56.66s || -0m01.46s | -1.26%
1m47.22s | Fancy/Barrett256.vo | 1m45.62s || +0m01.59s | +1.51%
0m58.84s | ExtractionHaskell/word_by_word_montgomery | 0m57.60s || +0m01.24s | +2.15%
0m31.40s | PushButtonSynthesis/MontgomeryReductionReificationCache.vo | 0m29.80s || +0m01.59s | +5.36%
0m29.65s | ExtractionHaskell/saturated_solinas | 0m31.01s || -0m01.36s | -4.38%
0m25.82s | SlowPrimeSynthesisExamples.vo | 0m24.58s || +0m01.24s | +5.04%
0m18.46s | PushButtonSynthesis/BarrettReductionReificationCache.vo | 0m16.98s || +0m01.48s | +8.71%
0m14.02s | ExtractionOCaml/unsaturated_solinas | 0m12.74s || +0m01.27s | +10.04%
0m07.66s | ExtractionHaskell/unsaturated_solinas.hs | 0m06.32s || +0m01.33s | +21.20%
1m21.57s | Rewriter.vo | 1m22.53s || -0m00.96s | -1.16%
0m55.21s | RewriterInterpProofs1.vo | 0m56.14s || -0m00.92s | -1.65%
0m54.08s | AbstractInterpretationWf.vo | 0m54.37s || -0m00.28s | -0.53%
0m46.95s | p521_32.c | 0m46.27s || +0m00.67s | +1.46%
0m44.37s | LanguageInversion.vo | 0m43.42s || +0m00.94s | +2.18%
0m41.31s | ExtractionHaskell/unsaturated_solinas | 0m41.46s || -0m00.14s | -0.36%
0m40.51s | p521_64.c | 0m40.38s || +0m00.12s | +0.32%
0m37.50s | Fancy/Montgomery256.vo | 0m37.46s || +0m00.03s | +0.10%
0m36.28s | PushButtonSynthesis/UnsaturatedSolinas.vo | 0m36.34s || -0m00.06s | -0.16%
0m33.28s | AbstractInterpretationProofs.vo | 0m33.19s || +0m00.09s | +0.27%
0m29.56s | LanguageWf.vo | 0m29.64s || -0m00.08s | -0.26%
0m26.86s | PushButtonSynthesis/WordByWordMontgomery.vo | 0m26.96s || -0m00.10s | -0.37%
0m25.33s | RewriterWf1.vo | 0m25.65s || -0m00.32s | -1.24%
0m19.81s | p256_32.c | 0m20.11s || -0m00.30s | -1.49%
0m18.70s | secp256k1_32.c | 0m19.18s || -0m00.48s | -2.50%
0m18.62s | p448_solinas_64.c | 0m19.51s || -0m00.89s | -4.56%
0m16.73s | CStringification.vo | 0m16.25s || +0m00.48s | +2.95%
0m15.03s | p434_64.c | 0m15.84s || -0m00.81s | -5.11%
0m13.45s | ExtractionOCaml/word_by_word_montgomery.ml | 0m13.80s || -0m00.35s | -2.53%
0m13.44s | GENERATEDIdentifiersWithoutTypes.vo | 0m13.30s || +0m00.13s | +1.05%
0m10.74s | ExtractionOCaml/saturated_solinas | 0m10.38s || +0m00.35s | +3.46%
0m09.11s | p224_32.c | 0m08.93s || +0m00.17s | +2.01%
0m08.78s | ExtractionHaskell/word_by_word_montgomery.hs | 0m07.92s || +0m00.85s | +10.85%
0m08.74s | p384_64.c | 0m08.50s || +0m00.24s | +2.82%
0m08.66s | ExtractionOCaml/unsaturated_solinas.ml | 0m09.47s || -0m00.81s | -8.55%
0m07.90s | ExtractionOCaml/saturated_solinas.ml | 0m06.93s || +0m00.97s | +13.99%
0m06.80s | BoundsPipeline.vo | 0m06.73s || +0m00.06s | +1.04%
0m06.57s | PushButtonSynthesis/SaturatedSolinasReificationCache.vo | 0m06.78s || -0m00.20s | -3.09%
0m05.68s | Fancy/Prod.vo | 0m05.78s || -0m00.10s | -1.73%
0m05.36s | ExtractionHaskell/saturated_solinas.hs | 0m05.40s || -0m00.04s | -0.74%
0m03.86s | MiscCompilerPassesProofs.vo | 0m04.20s || -0m00.34s | -8.09%
0m03.37s | PushButtonSynthesis/Primitives.vo | 0m03.41s || -0m00.04s | -1.17%
0m03.36s | PushButtonSynthesis/SmallExamples.vo | 0m03.22s || +0m00.13s | +4.34%
0m03.20s | PushButtonSynthesis/BarrettReduction.vo | 0m03.16s || +0m00.04s | +1.26%
0m03.19s | PushButtonSynthesis/SaturatedSolinas.vo | 0m03.12s || +0m00.06s | +2.24%
0m03.00s | curve25519_32.c | 0m02.62s || +0m00.37s | +14.50%
0m02.83s | PushButtonSynthesis/MontgomeryReduction.vo | 0m02.82s || +0m00.01s | +0.35%
0m02.02s | curve25519_64.c | 0m02.12s || -0m00.10s | -4.71%
0m01.61s | p224_64.c | 0m01.48s || +0m00.13s | +8.78%
0m01.60s | secp256k1_64.c | 0m01.70s || -0m00.09s | -5.88%
0m01.48s | p256_64.c | 0m01.28s || +0m00.19s | +15.62%
0m01.34s | CompilersTestCases.vo | 0m01.24s || +0m00.10s | +8.06%
0m01.30s | CLI.vo | 0m01.35s || -0m00.05s | -3.70%
0m01.30s | Language.vo | 0m01.33s || -0m00.03s | -2.25%
0m01.28s | AbstractInterpretation.vo | 0m01.28s || +0m00.00s | +0.00%
0m01.24s | RewriterProofs.vo | 0m01.16s || +0m00.08s | +6.89%
0m01.07s | StandaloneHaskellMain.vo | 0m01.26s || -0m00.18s | -15.07%
0m01.04s | StandaloneOCamlMain.vo | 0m01.27s || -0m00.23s | -18.11%
0m00.76s | MiscCompilerPasses.vo | 0m00.82s || -0m00.05s | -7.31%
0m00.61s | PushButtonSynthesis/LegacySynthesisTactics.vo | 0m00.66s || -0m00.05s | -7.57%
0m00.57s | PushButtonSynthesis/ReificationCache.vo | 0m00.52s || +0m00.04s | +9.61%
0m00.48s | UnderLets.vo | 0m00.51s || -0m00.03s | -5.88%
Diffstat (limited to 'src/Util/Factorize.v')
0 files changed, 0 insertions, 0 deletions