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
*
Add only-heavy target
Jason Gross
2017-05-18
*
specialize squaring earlier
Andres Erbsen
2017-05-14
*
s/appcontext/context/
Jason Gross
2017-05-11
*
Track .dir-locals.el rather than generating it
Jason Gross
2017-04-24
*
X25519: wrap synthesized code in donna-c64, run SUPERCOP benchmarks
Andres Erbsen
2017-04-13
*
Makefile fixes
Jason Gross
2017-04-09
*
Fix printreversedeps
Jason Gross
2017-04-09
*
Add printreversedeps
Jason Gross
2017-04-09
*
Display un-interped C code
Jason Gross
2017-04-07
*
Add Display files and targets
Jason Gross
2017-04-07
*
Ladderstep isn't *that* heavy
Jason Gross
2017-04-07
*
Add IntegrationTestLadderstep.v
Jason Gross
2017-04-07
*
Don't duplicate entries when updating _CoqProject
Jason Gross
2017-04-07
*
Clean up coq_makefile invocation
Jason Gross
2017-04-06
*
Add note to makefile
Jason Gross
2017-04-03
*
Add printdeps target to print recursive dependencies of a file
Jason Gross
2017-04-03
*
Remove old reflective pipeline, making way the new
Jason Gross
2017-04-03
*
Remove everything after the individual reified ops
Jason Gross
2017-04-03
*
Remove coqprime-8.4
Jason Gross
2017-04-02
*
Remove all the .v files in SpecificGen
Jason Gross
2017-04-02
*
Add a "lite" target
Jason Gross
2017-03-15
*
Remove display .vo from default target
Jason Gross
2017-03-06
*
JavaDisplay depends on JavaNotations, not CNotations
Jason Gross
2017-03-06
*
Add rudimentary Java and C notation files, display
Jason Gross
2017-02-15
*
Don't remake .v.d. files in clean-coqprime
Jason Gross
2017-01-22
*
Update list of .PHONY targets
Jason Gross
2017-01-09
*
Better version of path separator usage
Jason Gross
2017-01-07
*
Kludge to get a Windows-valid .dir-locals.el
Jason Gross
2017-01-07
*
Replace $(shell pwd) with ${CURDIR}
Jason Gross
2017-01-05
*
Add medium-specific-gen
Jason Gross
2016-11-15
*
Add a small-specific-gen target
Jason Gross
2016-11-15
*
extraction: inline field operations into group operations
Andres Erbsen
2016-11-14
*
Proper_sqrt
Andres Erbsen
2016-11-13
*
Separate out SpecificGen from default target
Jason Gross
2016-11-13
*
extraction less slow
Andres Erbsen
2016-11-11
*
implement X25519
Andres Erbsen
2016-11-06
*
fix extraction directives -- tested enc((l+1)B)=enc(B)
Andres Erbsen
2016-11-03
*
separate Ed25519Extraction.v, add extraction to Makefile
Andres Erbsen
2016-11-03
*
Allow passing PROFILE=1 to make for -profile-ltac
Jason Gross
2016-09-20
*
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
[next]