aboutsummaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Collapse)AuthorAge
...
* Support older git ls-filesGravatar Jason Gross2018-02-10
| | | | The older ones don't have --recurse-submodules
* add bedrock bit vectors library (bbv) as a submodule replacing the Bedrock ↵Gravatar Samuel Gruetter2018-02-05
| | | | directory
* Add separate targets to build but not run test/benchGravatar Jason Gross2018-01-16
|
* Move Curves/Weierstrass/Jacobian to curves-proofsGravatar Jason Gross2018-01-09
| | | | | We have about 15 minutes to spare on the curves-proofs travis job, so we move Jacobian.vo from no-curves-proofs-non-specific to there.
* @davidben merged Jacobian+affine into Jacobian+JacobianGravatar Andres Erbsen2018-01-09
|
* Also display timing on .log filesGravatar Jason Gross2017-12-14
|
* Apparently ln -s is too slow on travis, so we fake it when we're not ↵Gravatar Jason Gross2017-12-13
| | | | building things
* Fix call to ln -sGravatar Jason Gross2017-12-12
|
* Fix fast-autogenerated-deps targetGravatar Jason Gross2017-12-12
| | | | | | | Also add a kludge to override the .v.d targets of the relevant files. It unfortunately spews a lot of makefile output, but it's better than the target not working at all. When the target is not passed, the behavior is unchanged.
* Test more synthesis files on travis / liteGravatar Jason Gross2017-12-11
|
* Add src/Specific/.autgenerated-deps to clean targetGravatar Jason Gross2017-11-26
|
* Add a target to speed up coqdep with a kludge on travisGravatar Jason Gross2017-11-26
|
* Add a regenerate-curves targetGravatar Jason Gross2017-11-17
| | | | | | It's currently a bit ad-hoc, and relies on the presence of git to add things to _CoqProject, but it's a bit better than manually invoking the commands. More refinements to come, hopefully.
* Makefile: generated-benchmarksGravatar Andres Erbsen2017-11-13
|
* update remake-curves.sh and MakefileGravatar jadep2017-11-12
|
* Remove from the lite target the slowest file currently in itGravatar Jason Gross2017-11-09
| | | | It takes 7m29.22s on Travis
* run some benchmarksGravatar Andres Erbsen2017-11-03
|
* benchmarks build WIPGravatar Andres Erbsen2017-11-02
|
* Add fibe targetGravatar Jason Gross2017-11-02
|
* Add makefile targets for gmpvar, gmpsecGravatar Jason Gross2017-11-02
|
* Pipe output of gmpxx run to log fileGravatar Jason Gross2017-11-02
|
* Add gmpxx compilationGravatar Jason Gross2017-11-02
|
* Add generated-py-bench targetGravatar Jason Gross2017-11-02
| | | | | | This target runs montladder.py for each curve cc @andres-erbsen
* autogenerated c files don't have corresponding .h filesGravatar Jason Gross2017-11-02
|
* Better generation of autogenerated c filesGravatar Jason Gross2017-11-02
| | | | Also move bench framework to src/Specific/Framework/bench/
* Extract correct bitwidth of functions for c codeGravatar Jason Gross2017-11-02
|
* Remove NISTP256/AMD128 from lite targetGravatar Jason Gross2017-10-25
| | | This hopefully fixes #262
* Add a missing line continuation in MakefileGravatar Jason Gross2017-10-24
|
* Don't build feadd,fesub,fecarry .c filesGravatar Jason Gross2017-10-24
| | | | They don't work with the testing infrastructure, currently.
* Add nonautogenerated-specific{,-display} targetsGravatar Jason Gross2017-10-23
|
* Add FancyMachine256 to selected-specificGravatar Jason Gross2017-10-19
|
* Don't make autogenerated files in `coq`/default targetGravatar Jason Gross2017-10-18
| | | | Only make them in the `specific` target
* Remove x2555-c128 from buildGravatar Jason Gross2017-10-18
| | | It's currently broken
* Fix the lite targetGravatar Jason Gross2017-10-18
|
* Support p256 / montgomery in json formatGravatar Jason Gross2017-10-18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Extra time comes from adding AMD128 to NISTP256, mostly. After | File Name | Before || Change --------------------------------------------------------------------------------------------- 13m25.13s | Total | 13m30.82s || -0m05.69s --------------------------------------------------------------------------------------------- N/A | Specific/IntegrationTestMontgomeryP256_128 | 0m25.42s || -0m25.42s 0m22.75s | Specific/NISTP256/AMD128/femul | N/A || +0m22.75s 1m31.64s | Specific/NISTP256/AMD64/femul | 1m52.42s || -0m20.78s 0m14.46s | Specific/NISTP256/AMD128/fesub | N/A || +0m14.46s 0m14.25s | Specific/NISTP256/AMD128/feadd | N/A || +0m14.25s 0m14.12s | Specific/NISTP256/AMD128/fenz | N/A || +0m14.11s N/A | Specific/NISTP256/AMD64/MontgomeryP256 | 0m13.00s || -0m13.00s N/A | Specific/IntegrationTestMontgomeryP256_128_Sub | 0m12.40s || -0m12.40s N/A | Specific/IntegrationTestMontgomeryP256_128_Add | 0m11.99s || -0m11.99s 0m11.74s | Specific/NISTP256/AMD128/feopp | N/A || +0m11.74s N/A | Specific/IntegrationTestMontgomeryP256_128_Opp | 0m11.22s || -0m11.22s N/A | Specific/IntegrationTestMontgomeryP256_128_Nonzero | 0m09.27s || -0m09.26s N/A | Specific/MontgomeryP256_128 | 0m09.26s || -0m09.25s 0m08.42s | Specific/NISTP256/AMD64/Synthesis | N/A || +0m08.41s 0m14.67s | Specific/NISTP256/AMD64/fenz | 0m09.98s || +0m04.68s 0m04.12s | Specific/Framework/ArithmeticSynthesis/Montgomery | N/A || +0m04.12s 0m03.58s | Specific/NISTP256/AMD128/Synthesis | N/A || +0m03.58s 1m10.78s | Specific/X2555/C128/ladderstep | 1m08.36s || +0m02.42s 1m02.10s | Specific/X25519/C32/femul | 1m00.59s || +0m01.50s 0m43.59s | Specific/X2448/Karatsuba/C64/Synthesis | 0m44.86s || -0m01.26s 0m34.97s | Specific/X25519/C32/fesquare | 0m35.98s || -0m01.00s 0m20.10s | Specific/NISTP256/AMD64/fesub | 0m18.37s || +0m01.73s 0m17.61s | Specific/NISTP256/AMD64/feadd | 0m15.94s || +0m01.67s 2m09.77s | Specific/X25519/C64/ladderstep | 2m09.79s || -0m00.01s 1m11.70s | Specific/X2448/Karatsuba/C64/femul | 1m11.60s || +0m00.10s 0m32.14s | Specific/X25519/C32/Synthesis | 0m31.70s || +0m00.44s 0m27.94s | Specific/X25519/C32/freeze | 0m28.06s || -0m00.11s 0m17.62s | Specific/X25519/C64/femul | 0m17.41s || +0m00.21s 0m15.21s | Specific/X25519/C64/freeze | 0m14.74s || +0m00.47s 0m14.86s | Specific/NISTP256/AMD64/feopp | 0m14.96s || -0m00.10s 0m14.58s | Specific/X25519/C64/fesquare | 0m14.06s || +0m00.51s 0m10.10s | Specific/X25519/C64/Synthesis | 0m09.78s || +0m00.32s 0m06.22s | Specific/X2555/C128/Synthesis | 0m06.17s || +0m00.04s 0m01.01s | Specific/X25519/C32/CurveParameters | 0m01.05s || -0m00.04s 0m00.99s | Specific/Framework/SynthesisFramework | 0m01.08s || -0m00.09s 0m00.79s | Specific/Framework/MontgomeryReificationTypes | N/A || +0m00.79s 0m00.78s | Specific/Framework/ArithmeticSynthesis/SquareFromMul | 0m00.70s || +0m00.08s 0m00.78s | Specific/Framework/ArithmeticSynthesis/Karatsuba | 0m00.75s || +0m00.03s 0m00.76s | Specific/Framework/ArithmeticSynthesis/MontgomeryPackage | N/A || +0m00.76s 0m00.75s | Specific/Framework/IntegrationTestTemporaryMiscCommon | 0m00.80s || -0m00.05s 0m00.75s | Specific/Framework/MontgomeryReificationTypesPackage | N/A || +0m00.75s 0m00.73s | Specific/Framework/ArithmeticSynthesis/Defaults | 0m00.75s || -0m00.02s 0m00.72s | Specific/Framework/ReificationTypesPackage | 0m00.70s || +0m00.02s 0m00.72s | Specific/Framework/ArithmeticSynthesis/Base | 0m00.73s || -0m00.01s 0m00.72s | Specific/Framework/ArithmeticSynthesis/BasePackage | 0m00.69s || +0m00.03s 0m00.72s | Specific/Framework/ArithmeticSynthesis/LadderstepPackage | 0m00.76s || -0m00.04s 0m00.70s | Specific/Framework/ArithmeticSynthesis/Freeze | 0m00.75s || -0m00.05s 0m00.70s | Specific/Framework/ArithmeticSynthesis/KaratsubaPackage | 0m00.77s || -0m00.07s 0m00.69s | Specific/Framework/ArithmeticSynthesis/DefaultsPackage | 0m00.71s || -0m00.02s 0m00.67s | Specific/Framework/ArithmeticSynthesis/FreezePackage | 0m00.74s || -0m00.06s 0m00.43s | Specific/X25519/C64/CurveParameters | 0m00.43s || +0m00.00s 0m00.38s | Specific/Framework/IntegrationTestDisplayCommon | 0m00.40s || -0m00.02s 0m00.38s | Specific/Framework/IntegrationTestDisplayCommonTactics | 0m00.37s || +0m00.01s 0m00.34s | Specific/Framework/CurveParameters | 0m00.32s || +0m00.02s 0m00.33s | Specific/X2555/C128/CurveParameters | 0m00.33s || +0m00.00s 0m00.32s | Specific/NISTP256/AMD128/CurveParameters | N/A || +0m00.32s 0m00.32s | Specific/X2448/Karatsuba/C64/CurveParameters | 0m00.33s || -0m00.01s 0m00.31s | Specific/Framework/CurveParametersPackage | 0m00.33s || -0m00.02s 0m00.30s | Specific/NISTP256/AMD64/CurveParameters | N/A || +0m00.30s
* Fix Makefile deps with move of IntegrationTestDisplayCommonGravatar Jason Gross2017-10-18
|
* Fold Karatsuba into json format and synthesisGravatar Jason Gross2017-10-18
| | | | | The json format now takes an additional, optional "goldilocks" boolean / boolean-string key determining if we're doing karatsuba.
* Revert "Add -compat 8.6 to _CoqProject"Gravatar Jason Gross2017-10-18
| | | | This reverts commit 131f341f368b606fd50b57f135e602e40e132b46.
* Remove *Display.vo from, e.g., selected-specificGravatar Jason Gross2017-10-15
|
* Add targets for no-curves-proofs-non-specific, and selected-specific,Gravatar Jason Gross2017-10-11
| | | | Also hopefully fix travis
* Factor out -w "-notation-overridden" in MakefileGravatar Jason Gross2017-10-10
|
* More Makefile factoringGravatar Jason Gross2017-10-10
|
* Update Makefile by deduplicating some file listsGravatar Jason Gross2017-10-10
|
* Fix printenv sed script in Makefile for Windows supportGravatar Jason Gross2017-10-06
|
* Fix the printlite targetGravatar Jason Gross2017-10-06
|
* Add BITWIDTH=64 to extract-function.sh rule in MakefileGravatar Jason Gross2017-09-27
|
* Add curve25519-donna-c64 to etc/third_partyGravatar Jason Gross2017-09-27
|
* Add femul,fesqure for C32Gravatar Jason Gross2017-09-21
| | | | | 32-bit ladderstep takes way too long (at least on Coq 8.6), so we don't add it yet
* Update extract-function.sh for inline asmGravatar Jason Gross2017-09-12
| | | | | It needs to use printf rather than echo to not interpret \n, \t, and it needs to not insert { and } everywhere.
* benchmark NISTZ256 with and without adxGravatar Andres Erbsen2017-07-05
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-10 04:11:53 +0000