fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	remove old pipeline	Andres Erbsen	2019-01-09
\|
*	Replace curve-specific definitions with tactics	Jason Gross	2017-10-18
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This requires Coq >= 8.7 After \| File Name \| Before \|\| Change --------------------------------------------------------------------------------------- 11m15.52s \| Total \| 11m14.53s \|\| +0m00.99s --------------------------------------------------------------------------------------- 0m31.11s \| Specific/X25519/C32/Synthesis \| N/A \|\| +0m31.10s N/A \| Specific/X25519/C32/ArithmeticSynthesisTest \| 0m30.80s \|\| -0m30.80s 0m09.61s \| Specific/X25519/C64/Synthesis \| N/A \|\| +0m09.60s N/A \| Specific/X25519/C64/ArithmeticSynthesisTest \| 0m08.56s \|\| -0m08.56s 1m54.56s \| Specific/X25519/C64/ladderstep \| 1m56.56s \|\| -0m02.00s 1m21.50s \| Specific/IntegrationTestKaratsubaMul \| 1m22.98s \|\| -0m01.48s 1m15.96s \| Specific/IntegrationTestLadderstep130 \| 1m14.08s \|\| +0m01.88s 0m51.80s \| Specific/X25519/C32/femul \| 0m53.79s \|\| -0m01.99s 1m51.81s \| Specific/NISTP256/AMD64/femul \| 1m51.27s \|\| +0m00.53s 0m28.68s \| Specific/X25519/C32/fesquare \| 0m28.30s \|\| +0m00.37s 0m25.45s \| Specific/IntegrationTestMontgomeryP256_128 \| 0m25.60s \|\| -0m00.15s 0m18.81s \| Specific/NISTP256/AMD64/fesub \| 0m18.32s \|\| +0m00.48s 0m16.01s \| Specific/NISTP256/AMD64/feadd \| 0m15.86s \|\| +0m00.15s 0m15.15s \| Specific/NISTP256/AMD64/feopp \| 0m14.95s \|\| +0m00.20s 0m12.42s \| Specific/IntegrationTestMontgomeryP256_128_Sub \| 0m12.15s \|\| +0m00.26s 0m12.41s \| Specific/IntegrationTestMontgomeryP256_128_Add \| 0m12.31s \|\| +0m00.09s 0m11.10s \| Specific/IntegrationTestMontgomeryP256_128_Opp \| 0m11.31s \|\| -0m00.21s 0m10.70s \| Specific/X25519/C64/femul \| 0m10.17s \|\| +0m00.52s 0m09.94s \| Specific/NISTP256/AMD64/fenz \| 0m09.94s \|\| +0m00.00s 0m09.37s \| Specific/IntegrationTestMontgomeryP256_128_Nonzero \| 0m09.36s \|\| +0m00.00s 0m08.78s \| Specific/IntegrationTestSub \| 0m08.84s \|\| -0m00.06s 0m07.98s \| Specific/IntegrationTestFreeze \| 0m08.12s \|\| -0m00.13s 0m07.42s \| Specific/X25519/C64/fesquare \| 0m07.22s \|\| +0m00.20s 0m00.99s \| Specific/SynthesisFramework \| N/A \|\| +0m00.99s 0m00.88s \| Specific/ReificationTypes \| 0m00.91s \|\| -0m00.03s 0m00.85s \| Specific/ArithmeticSynthesisFramework \| N/A \|\| +0m00.85s N/A \| Specific/X25519/C32/ReificationTypes \| 0m00.82s \|\| -0m00.82s N/A \| Specific/X25519/C64/ReificationTypes \| 0m00.77s \|\| -0m00.77s 0m00.77s \| Specific/IntegrationTestTemporaryMiscCommon \| 0m00.79s \|\| -0m00.02s 0m00.72s \| Specific/LadderstepSynthesisFramework \| N/A \|\| +0m00.72s 0m00.38s \| Specific/IntegrationTestDisplayCommon \| 0m00.40s \|\| -0m00.02s 0m00.36s \| Specific/IntegrationTestDisplayCommonTactics \| 0m00.35s \|\| +0m00.01s
*	Factor out specific code underlying ReificationTypes	Jason Gross	2017-10-18
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	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
*	Turn on parenthetization in C output	Jason Gross	2017-10-17
\|
*	Factor out parameter-specific code	Jason Gross	2017-10-07
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	After \| File Name \| Before \|\| Change ------------------------------------------------------------------------------ 6m08.27s \| Total \| 6m25.95s \|\| -0m17.68s ------------------------------------------------------------------------------ N/A \| Specific/ArithmeticSynthesisTest32 \| 0m39.62s \|\| -0m39.61s 0m38.34s \| Specific/X25519/C32/ArithmeticSynthesisTest \| N/A \|\| +0m38.34s 0m20.46s \| Specific/X25519/C32/ReificationTypes \| N/A \|\| +0m20.46s 2m31.97s \| Specific/X25519/C64/ladderstep \| 2m51.10s \|\| -0m19.12s N/A \| Specific/ArithmeticSynthesisTest \| 0m09.54s \|\| -0m09.53s 0m09.50s \| Specific/X25519/C64/ArithmeticSynthesisTest \| N/A \|\| +0m09.50s 1m03.72s \| Specific/X25519/C32/femul \| 1m11.22s \|\| -0m07.50s 0m10.44s \| Specific/IntegrationTestFreeze \| 0m17.29s \|\| -0m06.84s 0m34.55s \| Specific/X25519/C32/fesquare \| 0m40.47s \|\| -0m05.92s 0m05.50s \| Specific/X25519/C64/ReificationTypes \| N/A \|\| +0m05.50s 0m12.47s \| Specific/X25519/C64/femul \| 0m13.98s \|\| -0m01.50s 0m08.93s \| Specific/X25519/C64/fesquare \| 0m10.67s \|\| -0m01.74s 0m11.14s \| Specific/IntegrationTestSub \| 0m12.06s \|\| -0m00.92s 0m00.50s \| Specific/X25519/C32/CurveParameters \| N/A \|\| +0m00.50s 0m00.38s \| Specific/CurveParameters \| N/A \|\| +0m00.38s 0m00.37s \| Specific/X25519/C64/CurveParameters \| N/A \|\| +0m00.37s
*	make display	Jason Gross	2017-06-18