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
*
Rename p484_64.c to p434_64.c (fix typo)
Daniel Hirche
2019-02-11
*
Add better computation of carry chain
Jason Gross
2019-01-26
*
remove reference to Toplevel2 in Makefile
jadep
2019-01-17
*
Comment out a slow .c file
Jason Gross
2019-01-14
*
Autocompute s and c in WBW Montgomery
Jason Gross
2019-01-14
*
Move ALL_C_FILES above c-files
Jason Gross
2019-01-13
*
Makefile: remove *CURVES_PROOFS*
Andres Erbsen
2019-01-11
*
remove redundant travis CI stages
Andres Erbsen
2019-01-10
*
remove old pipeline
Andres Erbsen
2019-01-09
*
move src/Experiments/NewPipeline/ to src/
Andres Erbsen
2019-01-09
*
Add another early travis stage
Jason Gross
2018-11-02
*
Add coq-without-new-pipeline
Jason Gross
2018-10-02
*
Improve documentation of binaries
Jason Gross
2018-09-11
*
Display output extensions with TIMED=1
Jason Gross
2018-08-30
*
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
[next]