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
*
Fix a typo in the previous commit
Jason Gross
2018-08-24
*
Add util target as a sort of common target
Jason Gross
2018-08-24
*
Bump bbv
Jason Gross
2018-08-24
*
Add some makefile targets for Coq's CI
Jason Gross
2018-08-23
*
Split up new-pipeline more
Jason Gross
2018-08-13
*
Split up rewrite rules proofs into multiple files
Jason Gross
2018-08-13
*
Move new-pipeline to its own stage
Jason Gross
2018-08-04
*
User TIMER_FULL for .ml, .hs, compiled files
Jason Gross
2018-07-24
*
Add some primes to be synthesized
Jason Gross
2018-07-21
*
Montgomery reduction in new pipeline
Jason Gross
2018-07-21
*
Allow building with an external coqprime
Jason Gross
2018-07-21
*
Work around coqprime issues
Jason Gross
2018-07-21
*
Remove another thing from the lite target
Jason Gross
2018-07-03
*
Synthesize selectznz
Jason Gross
2018-07-03
*
Synthesize more
Jason Gross
2018-07-03
*
WIP
Jason Gross
2018-07-03
*
Fix sed scripts in Makefile
Jason Gross
2018-06-28
*
Be more aggressive about removing \r
Jason Gross
2018-06-19
*
Make COQPATH in Makefile work on Windows / cygwin
Jason Gross
2018-06-19
*
New pipeline, split among files
Jason Gross
2018-06-17
*
Add more files to nobigmem
Jason Gross
2018-05-15
*
Fix a bug in previous commit
Jason Gross
2018-05-15
*
Add nobigmem target for Coq's ci
Jason Gross
2018-05-15
*
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
[next]