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
*
If COQPATH is not set, set it by default (#38)
Jason Gross
2016-07-25
*
In >= 8.6, disable some very noisy warnings
Jason Gross
2016-07-25
*
Faster update-_CoqProject target
Jason Gross
2016-07-21
*
Fix clean target
Jason Gross
2016-07-21
*
Add support for TIMED=1 in Coq 8.4
Jason Gross
2016-07-20
*
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
*
Clean up the makefile a bit
Jason Gross
2016-07-06
*
Fix coqprime clean, install targets, add cleanall
Jason Gross
2016-07-06
*
Flip the sense of the conditional in the makefile
Jason Gross
2016-06-22
*
Make Coq 8.5 the default target for Fiat-Crypto
Jason Gross
2016-06-22
*
Makefile: build on Arch Linux once again
Andres Erbsen
2016-06-20
*
Be a bit more quiet on make unless VERBOSE=1 is passed
Jason Gross
2016-06-16
*
8.5 fixes
Jason Gross
2016-06-10
*
Add coqprime that works with 8.5, bundle bedrock
Jason Gross
2016-06-10
*
Makefile: single-quotes for shell globbing
Andres Erbsen
2016-02-28
*
Factor out some bedrock dependencies into WordUtil
Jason Gross
2016-02-25
*
Update build process to use COQPATH & _CoqProject
Jason Gross
2016-02-05
*
recursive-build coqprime
Rob Sloan
2016-01-28
*
recursive-build coqprime
Rob Sloan
2016-01-28
*
Import coqprime; use it to prove Euler's criterion.
Jade Philipoom
2016-01-20
*
remove fiat dependency
Andres Erbsen
2016-01-16
*
simple refactor of makefile; comments
varomodt
2016-01-09
*
fix the makefile to not rebuild + module renaming
Robert Sloan
2015-10-22
*
pull changes from desktop
Robert Sloan
2015-10-19
*
redo module structure + init curve25519
Robert Sloan
2015-09-16
*
Basic Galois Field Theory Modules
Robert Sloan
2015-09-16
*
init our centralized repo
Robert Sloan
2015-09-10