index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Makefile
Commit message (
Expand
)
Author
Age
*
Don't allow coqprime and coqprime-all to run in parallel
Jason Gross
2018-04-30
*
Only install files built by the coq target
Jason Gross
2018-04-30
*
Add a coqprime-all target to build all of coqprime
Jason Gross
2018-04-30
*
Fix the lite-display target
Jason Gross
2018-04-20
*
Add COQLIBS to display targets
Jason Gross
2018-04-18
*
Error if a display target fails
Jason Gross
2018-04-18
*
Add a lite-display target
Jason Gross
2018-04-15
*
coqprime in COQPATH (closes #269)
Andres Erbsen
2018-02-24
*
Fix no-curves-proofs-non-specific target
Jason Gross
2018-02-11
*
Support older git ls-files
Jason Gross
2018-02-10
*
add bedrock bit vectors library (bbv) as a submodule replacing the Bedrock di...
Samuel Gruetter
2018-02-05
*
Add separate targets to build but not run test/bench
Jason Gross
2018-01-16
*
Move Curves/Weierstrass/Jacobian to curves-proofs
Jason Gross
2018-01-09
*
@davidben merged Jacobian+affine into Jacobian+Jacobian
Andres Erbsen
2018-01-09
*
Also display timing on .log files
Jason Gross
2017-12-14
*
Apparently ln -s is too slow on travis, so we fake it when we're not building...
Jason Gross
2017-12-13
*
Fix call to ln -s
Jason Gross
2017-12-12
*
Fix fast-autogenerated-deps target
Jason Gross
2017-12-12
*
Test more synthesis files on travis / lite
Jason Gross
2017-12-11
*
Add src/Specific/.autgenerated-deps to clean target
Jason Gross
2017-11-26
*
Add a target to speed up coqdep with a kludge on travis
Jason Gross
2017-11-26
*
Add a regenerate-curves target
Jason Gross
2017-11-17
*
Makefile: generated-benchmarks
Andres Erbsen
2017-11-13
*
update remake-curves.sh and Makefile
jadep
2017-11-12
*
Remove from the lite target the slowest file currently in it
Jason Gross
2017-11-09
*
run some benchmarks
Andres Erbsen
2017-11-03
*
benchmarks build WIP
Andres Erbsen
2017-11-02
*
Add fibe target
Jason Gross
2017-11-02
*
Add makefile targets for gmpvar, gmpsec
Jason Gross
2017-11-02
*
Pipe output of gmpxx run to log file
Jason Gross
2017-11-02
*
Add gmpxx compilation
Jason Gross
2017-11-02
*
Add generated-py-bench target
Jason Gross
2017-11-02
*
autogenerated c files don't have corresponding .h files
Jason Gross
2017-11-02
*
Better generation of autogenerated c files
Jason Gross
2017-11-02
*
Extract correct bitwidth of functions for c code
Jason Gross
2017-11-02
*
Remove NISTP256/AMD128 from lite target
Jason Gross
2017-10-25
*
Add a missing line continuation in Makefile
Jason Gross
2017-10-24
*
Don't build feadd,fesub,fecarry .c files
Jason Gross
2017-10-24
*
Add nonautogenerated-specific{,-display} targets
Jason Gross
2017-10-23
*
Add FancyMachine256 to selected-specific
Jason Gross
2017-10-19
*
Don't make autogenerated files in `coq`/default target
Jason Gross
2017-10-18
*
Remove x2555-c128 from build
Jason Gross
2017-10-18
*
Fix the lite target
Jason Gross
2017-10-18
*
Support p256 / montgomery in json format
Jason Gross
2017-10-18
*
Fix Makefile deps with move of IntegrationTestDisplayCommon
Jason Gross
2017-10-18
*
Fold Karatsuba into json format and synthesis
Jason Gross
2017-10-18
*
Revert "Add -compat 8.6 to _CoqProject"
Jason Gross
2017-10-18
*
Remove *Display.vo from, e.g., selected-specific
Jason Gross
2017-10-15
*
Add targets for no-curves-proofs-non-specific, and selected-specific,
Jason Gross
2017-10-11
*
Factor out -w "-notation-overridden" in Makefile
Jason Gross
2017-10-10
[next]