diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-05 18:03:07 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-10-18 23:01:29 -0400 |
| commit | 6983ac1dce0411657dda4be7f49a0899e8a2b326 (patch) | |
| tree | 32eae1977cfb74572a1f72f4ef5d4d3dac69d361 /_CoqProject | |
| parent | 239356d3a22af3b065dfae10bd6d84dd509251e8 (diff) | |
Factor out specific code underlying ReificationTypes
After | File Name | Before || Change
------------------------------------------------------------------------------
4m29.48s | Total | 4m30.12s || -0m00.63s
------------------------------------------------------------------------------
0m27.97s | Specific/X25519/C32/fesquare | 0m26.68s || +0m01.28s
0m00.73s | Specific/X25519/C32/ReificationTypes | 0m02.43s || -0m01.70s
1m54.60s | Specific/X25519/C64/ladderstep | 1m55.11s || -0m00.51s
0m52.88s | Specific/X25519/C32/femul | 0m53.07s || -0m00.18s
0m29.56s | Specific/X25519/C32/ArithmeticSynthesisTest | 0m29.57s || -0m00.01s
0m10.01s | Specific/X25519/C64/femul | 0m10.08s || -0m00.07s
0m08.84s | Specific/IntegrationTestSub | 0m08.39s || +0m00.44s
0m08.42s | Specific/X25519/C64/ArithmeticSynthesisTest | 0m08.17s || +0m00.25s
0m07.64s | Specific/IntegrationTestFreeze | 0m08.01s || -0m00.37s
0m07.23s | Specific/X25519/C64/fesquare | 0m07.31s || -0m00.07s
0m00.86s | Specific/ReificationTypes | N/A || +0m00.86s
0m00.74s | Specific/X25519/C64/ReificationTypes | 0m01.30s || -0m00.56s
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 54615d4e6..3f2d895f5 100644 --- a/_CoqProject +++ b/_CoqProject @@ -253,6 +253,7 @@ src/Specific/IntegrationTestSubDisplay.v src/Specific/IntegrationTestTemporaryMiscCommon.v src/Specific/Karatsuba.v src/Specific/MontgomeryP256_128.v +src/Specific/ReificationTypes.v src/Specific/NISTP256/AMD64/MontgomeryP256.v src/Specific/NISTP256/AMD64/feadd.v src/Specific/NISTP256/AMD64/feaddDisplay.v |