diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-11-01 18:55:46 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-11-01 18:55:46 -0400 |
| commit | a8754ef67049b818c8cadfe86ba783d6c0e31c2f (patch) | |
| tree | 886e7a2fb7c70afd64cb562f6a70ebb02ad17d8e /Makefile | |
| parent | 42147086fe3049b6622d95e3c71792d80bf43ae3 (diff) | |
Empty timing diff for previous commit
After | File Name | Before || Change | % Change
--------------------------------------------------------------------------------------------------------------------
28m24.04s | Total | 28m21.12s || +0m02.92s | +0.17%
--------------------------------------------------------------------------------------------------------------------
4m40.18s | Experiments/NewPipeline/Toplevel1.vo | 4m38.59s || +0m01.58s | +0.57%
1m38.64s | Experiments/NewPipeline/Toplevel2.vo | 1m37.41s || +0m01.23s | +1.26%
6m14.90s | Experiments/NewPipeline/SlowPrimeSynthesisExamples.vo | 6m15.24s || -0m00.34s | -0.09%
2m26.32s | Experiments/NewPipeline/Rewriter.vo | 2m25.57s || +0m00.75s | +0.51%
1m49.43s | Experiments/NewPipeline/RewriterWf2.vo | 1m50.34s || -0m00.90s | -0.82%
1m47.34s | Experiments/NewPipeline/RewriterRulesInterpGood.vo | 1m47.05s || +0m00.29s | +0.27%
1m16.00s | Experiments/NewPipeline/RewriterRulesGood.vo | 1m16.05s || -0m00.04s | -0.06%
0m45.20s | Experiments/NewPipeline/ExtractionOCaml/word_by_word_montgomery | 0m44.53s || +0m00.67s | +1.50%
0m44.15s | Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery | 0m43.26s || +0m00.89s | +2.05%
0m43.41s | p521_32.c | 0m42.78s || +0m00.62s | +1.47%
0m38.54s | Experiments/NewPipeline/AbstractInterpretationWf.vo | 0m38.48s || +0m00.06s | +0.15%
0m36.66s | p521_64.c | 0m35.75s || +0m00.90s | +2.54%
0m28.89s | Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas | 0m28.90s || -0m00.00s | -0.03%
0m28.41s | p384_32.c | 0m29.00s || -0m00.58s | -2.03%
0m26.06s | Experiments/NewPipeline/UnderLetsProofs.vo | 0m25.78s || +0m00.27s | +1.08%
0m25.88s | Experiments/NewPipeline/ExtractionOCaml/unsaturated_solinas | 0m26.27s || -0m00.39s | -1.48%
0m24.23s | Experiments/NewPipeline/AbstractInterpretationZRangeProofs.vo | 0m24.17s || +0m00.05s | +0.24%
0m21.11s | Experiments/NewPipeline/ExtractionHaskell/saturated_solinas | 0m21.47s || -0m00.35s | -1.67%
0m17.93s | Experiments/NewPipeline/ExtractionOCaml/saturated_solinas | 0m17.96s || -0m00.03s | -0.16%
0m16.94s | Experiments/NewPipeline/AbstractInterpretationProofs.vo | 0m16.86s || +0m00.08s | +0.47%
0m12.94s | Experiments/NewPipeline/CStringification.vo | 0m13.01s || -0m00.07s | -0.53%
0m12.10s | Experiments/NewPipeline/ExtractionOCaml/word_by_word_montgomery.ml | 0m12.72s || -0m00.62s | -4.87%
0m11.45s | p384_64.c | 0m10.64s || +0m00.80s | +7.61%
0m10.36s | Experiments/NewPipeline/RewriterWf1.vo | 0m10.38s || -0m00.02s | -0.19%
0m07.59s | Experiments/NewPipeline/ExtractionOCaml/unsaturated_solinas.ml | 0m08.18s || -0m00.58s | -7.21%
0m07.51s | Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery.hs | 0m07.08s || +0m00.42s | +6.07%
0m06.08s | Experiments/NewPipeline/ExtractionOCaml/saturated_solinas.ml | 0m06.56s || -0m00.47s | -7.31%
0m06.04s | secp256k1_32.c | 0m06.83s || -0m00.79s | -11.56%
0m05.86s | p256_32.c | 0m06.68s || -0m00.81s | -12.27%
0m05.77s | Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas.hs | 0m05.82s || -0m00.05s | -0.85%
0m04.37s | Experiments/NewPipeline/ExtractionHaskell/saturated_solinas.hs | 0m04.36s || +0m00.00s | +0.22%
0m03.74s | p224_32.c | 0m03.49s || +0m00.25s | +7.16%
0m03.02s | curve25519_32.c | 0m02.99s || +0m00.02s | +1.00%
0m02.65s | secp256k1_64.c | 0m02.50s || +0m00.14s | +5.99%
0m02.54s | p224_64.c | 0m02.19s || +0m00.35s | +15.98%
0m02.27s | p256_64.c | 0m02.60s || -0m00.33s | -12.69%
0m02.00s | curve25519_64.c | 0m02.06s || -0m00.06s | -2.91%
0m01.39s | Experiments/NewPipeline/CLI.vo | 0m01.51s || -0m00.12s | -7.94%
0m01.28s | Experiments/NewPipeline/StandaloneHaskellMain.vo | 0m01.22s || +0m00.06s | +4.91%
0m01.18s | Experiments/NewPipeline/StandaloneOCamlMain.vo | 0m01.29s || -0m00.11s | -8.52%
0m01.12s | Experiments/NewPipeline/AbstractInterpretation.vo | 0m01.11s || +0m00.01s | +0.90%
0m01.06s | Experiments/NewPipeline/CompilersTestCases.vo | 0m01.04s || +0m00.02s | +1.92%
0m01.01s | Experiments/NewPipeline/RewriterProofs.vo | 0m00.97s || +0m00.04s | +4.12%
0m00.50s | Experiments/NewPipeline/UnderLets.vo | 0m00.44s || +0m00.06s | +13.63%
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions