aboutsummaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAge
* Compatibility with coq_makefile2Gravatar Jason Gross2017-06-01
* Add only-heavy targetGravatar Jason Gross2017-05-18
* specialize squaring earlierGravatar Andres Erbsen2017-05-14
* s/appcontext/context/Gravatar Jason Gross2017-05-11
* Track .dir-locals.el rather than generating itGravatar Jason Gross2017-04-24
* X25519: wrap synthesized code in donna-c64, run SUPERCOP benchmarksGravatar Andres Erbsen2017-04-13
* Makefile fixesGravatar Jason Gross2017-04-09
* Fix printreversedepsGravatar Jason Gross2017-04-09
* Add printreversedepsGravatar Jason Gross2017-04-09
* Display un-interped C codeGravatar Jason Gross2017-04-07
* Add Display files and targetsGravatar Jason Gross2017-04-07
* Ladderstep isn't *that* heavyGravatar Jason Gross2017-04-07
* Add IntegrationTestLadderstep.vGravatar Jason Gross2017-04-07
* Don't duplicate entries when updating _CoqProjectGravatar Jason Gross2017-04-07
* Clean up coq_makefile invocationGravatar Jason Gross2017-04-06
* Add note to makefileGravatar Jason Gross2017-04-03
* Add printdeps target to print recursive dependencies of a fileGravatar Jason Gross2017-04-03
* Remove old reflective pipeline, making way the newGravatar Jason Gross2017-04-03
* Remove everything after the individual reified opsGravatar Jason Gross2017-04-03
* Remove coqprime-8.4Gravatar Jason Gross2017-04-02
* Remove all the .v files in SpecificGenGravatar Jason Gross2017-04-02
* Add a "lite" targetGravatar Jason Gross2017-03-15
* Remove display .vo from default targetGravatar Jason Gross2017-03-06
* JavaDisplay depends on JavaNotations, not CNotationsGravatar Jason Gross2017-03-06
* Add rudimentary Java and C notation files, displayGravatar Jason Gross2017-02-15
* Don't remake .v.d. files in clean-coqprimeGravatar Jason Gross2017-01-22
* Update list of .PHONY targetsGravatar Jason Gross2017-01-09
* Better version of path separator usageGravatar Jason Gross2017-01-07
* Kludge to get a Windows-valid .dir-locals.elGravatar Jason Gross2017-01-07
* Replace $(shell pwd) with ${CURDIR}Gravatar Jason Gross2017-01-05
* Add medium-specific-genGravatar Jason Gross2016-11-15
* Add a small-specific-gen targetGravatar Jason Gross2016-11-15
* extraction: inline field operations into group operationsGravatar Andres Erbsen2016-11-14
* Proper_sqrtGravatar Andres Erbsen2016-11-13
* Separate out SpecificGen from default targetGravatar Jason Gross2016-11-13
* extraction less slowGravatar Andres Erbsen2016-11-11
* implement X25519Gravatar Andres Erbsen2016-11-06
* fix extraction directives -- tested enc((l+1)B)=enc(B)Gravatar Andres Erbsen2016-11-03
* separate Ed25519Extraction.v, add extraction to MakefileGravatar Andres Erbsen2016-11-03
* Allow passing PROFILE=1 to make for -profile-ltacGravatar Jason Gross2016-09-20
* If COQPATH is not set, set it by default (#38)Gravatar Jason Gross2016-07-25
* In >= 8.6, disable some very noisy warningsGravatar Jason Gross2016-07-25
* Faster update-_CoqProject targetGravatar Jason Gross2016-07-21
* Fix clean targetGravatar Jason Gross2016-07-21
* Add support for TIMED=1 in Coq 8.4Gravatar Jason Gross2016-07-20
* Don't depend on the submodule; copy-paste insteadGravatar Jason Gross2016-07-20
* Add a separate non-specific targetGravatar Jason Gross2016-07-20
* Add target for .dir-locals.elGravatar Jason Gross2016-07-20
* Clean up the makefile a bitGravatar Jason Gross2016-07-06
* Fix coqprime clean, install targets, add cleanallGravatar Jason Gross2016-07-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 07:35:44 +0000