index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
.gitignore
Commit message (
Expand
)
Author
Age
*
Add more windows binaries
Jason Gross
2018-12-07
*
Add windows binaries
Jason Gross
2018-12-07
*
Refactor/generalize some pipeline definitions/proofs
Jason Gross
2018-10-30
*
Add more things to .gitignore
Jason Gross
2018-10-25
*
Montgomery reduction in new pipeline
Jason Gross
2018-07-21
*
Update .gitignore
Jason Gross
2018-07-03
*
Update .gitignore with *.pyc for various helper scripts
Jason Gross
2018-06-16
*
organize .gitignore
Andres Erbsen
2017-12-15
*
Add a regenerate-curves target
Jason Gross
2017-11-17
*
Remove outdated C128 files
Jason Gross
2017-11-12
*
Support p256 / montgomery in json format
Jason Gross
2017-10-18
*
Fold Karatsuba into json format and synthesis
Jason Gross
2017-10-18
*
Build curve-specific files from json
Jason Gross
2017-10-18
*
Add curve25519-donna-c64 to etc/third_party
Jason Gross
2017-09-27
*
Add femul,fesqure for C32
Jason Gross
2017-09-21
*
Update .gitignore with compilation outputs
Jason Gross
2017-07-08
*
Update .gitignore with things from make bench
Jason Gross
2017-06-29
*
Better support for coq_makefile2 with fewer warnings
Jason Gross
2017-06-12
*
Track .dir-locals.el rather than generating it
Jason Gross
2017-04-24
*
Update .gitignore for Coq 8.6
Jason Gross
2016-09-16
*
Update .gitignore for Coq 8.6
Jason Gross
2016-09-16
*
Don't depend on the submodule; copy-paste instead
Jason Gross
2016-07-20
*
Add a separate non-specific target
Jason Gross
2016-07-20
*
Add target for .dir-locals.el
Jason Gross
2016-07-20
*
Update .gitignore
Jason Gross
2016-07-10
*
Add more caches to .gitignore (nra, csdp)
Jason Gross
2016-07-01
*
Update .gitignore with lia, nia caches
Jason Gross
2016-07-01
*
Update .gitignore
Jason Gross
2016-06-27
*
Merge with plv/master
Robert Sloan
2016-06-22
|
\
*
|
nicer verify() derivation starter
Andres Erbsen
2016-06-22
*
|
Update build process to use COQPATH & _CoqProject
Jason Gross
2016-06-22
|
*
Add coqprime that works with 8.5, bundle bedrock
Jason Gross
2016-06-10
|
*
Update build process to use COQPATH & _CoqProject
Jason Gross
2016-02-05
|
/
*
simple refactor of makefile; comments
varomodt
2016-01-09
*
Tiny module-system tweaks in PointFormats
Adam Chlipala
2015-10-28
*
Got most of the way through new GaloisField code
Adam Chlipala
2015-09-17