diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-14 17:23:54 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-10-18 23:01:29 -0400 |
| commit | 8f8bcf29a8c53d18eb24619703fa6c5f324382d9 (patch) | |
| tree | d223c8585d0d23bbad30e14330d2a33fafe91aea /src/Specific/Framework/CurveParameters.v | |
| parent | c0d5558993a50fa89721b6d720365554b2260b4b (diff) | |
Move more of carry_sig, zero_sig, one_sig, etc to gallina
After | File Name | Before || Change
-------------------------------------------------------------------------------------------
8m28.18s | Total | 8m28.73s || -0m00.55s
-------------------------------------------------------------------------------------------
0m06.23s | Specific/X25519/C64/Synthesis | 0m09.93s || -0m03.69s
3m28.42s | Specific/X25519/C64/ladderstep | 3m26.20s || +0m02.22s
0m02.19s | Specific/Framework/ArithmeticSynthesis/Defaults | 0m00.71s || +0m01.48s
2m03.48s | Specific/NISTP256/AMD64/femul | 2m04.36s || -0m00.87s
0m24.97s | Specific/X25519/C64/femul | 0m24.56s || +0m00.41s
0m24.38s | Specific/NISTP256/AMD64/fesub | 0m23.90s || +0m00.48s
0m21.75s | Specific/NISTP256/AMD64/feadd | 0m21.87s || -0m00.12s
0m20.38s | Specific/X25519/C64/freeze | 0m20.04s || +0m00.33s
0m19.57s | Specific/X25519/C64/fesquare | 0m19.83s || -0m00.25s
0m17.47s | Specific/NISTP256/AMD64/feopp | 0m17.87s || -0m00.40s
0m15.16s | Specific/NISTP256/AMD64/fenz | 0m15.40s || -0m00.24s
0m08.25s | Specific/NISTP256/AMD64/Synthesis | 0m08.38s || -0m00.13s
0m04.01s | Specific/Framework/ArithmeticSynthesis/Montgomery | 0m03.90s || +0m00.10s
0m01.06s | Specific/Framework/ArithmeticSynthesis/Base | 0m01.06s || +0m00.00s
0m01.01s | Specific/Framework/SynthesisFramework | 0m00.95s || +0m00.06s
0m00.90s | Specific/Framework/ArithmeticSynthesis/HelperTactics | 0m00.90s || +0m00.00s
0m00.86s | Specific/Framework/ArithmeticSynthesis/Freeze | 0m00.75s || +0m00.10s
0m00.82s | Specific/Framework/MontgomeryReificationTypesPackage | 0m00.78s || +0m00.03s
0m00.81s | Specific/Framework/ArithmeticSynthesis/Karatsuba | 0m00.75s || +0m00.06s
0m00.79s | Specific/Framework/ArithmeticSynthesis/MontgomeryPackage | 0m00.72s || +0m00.07s
0m00.77s | Specific/Framework/ReificationTypesPackage | 0m00.76s || +0m00.01s
0m00.75s | Specific/Framework/ArithmeticSynthesis/LadderstepPackage | 0m00.75s || +0m00.00s
0m00.75s | Specific/Framework/ArithmeticSynthesis/FreezePackage | 0m00.74s || +0m00.01s
0m00.72s | Specific/Framework/ArithmeticSynthesis/KaratsubaPackage | 0m00.72s || +0m00.00s
0m00.69s | Specific/Framework/ArithmeticSynthesis/BasePackage | 0m00.73s || -0m00.04s
0m00.68s | Specific/Framework/ArithmeticSynthesis/DefaultsPackage | 0m00.76s || -0m00.07s
0m00.67s | Specific/Framework/ArithmeticSynthesis/SquareFromMul | 0m00.78s || -0m00.10s
0m00.32s | Specific/Framework/CurveParameters | 0m00.31s || +0m00.01s
0m00.32s | Specific/Framework/CurveParametersPackage | 0m00.33s || -0m00.01s
Diffstat (limited to 'src/Specific/Framework/CurveParameters.v')
| -rw-r--r-- | src/Specific/Framework/CurveParameters.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/Framework/CurveParameters.v b/src/Specific/Framework/CurveParameters.v index 472349180..8911dccfc 100644 --- a/src/Specific/Framework/CurveParameters.v +++ b/src/Specific/Framework/CurveParameters.v @@ -332,5 +332,5 @@ Module Export CurveParameters. let pkg := add_modinv_fuel pkg in let pkg := add_mul_code pkg in let pkg := add_square_code pkg in - Tag.strip_local pkg. + Tag.strip_subst_local pkg. End CurveParameters. |