aboutsummaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAge
...
* 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
* Flip the sense of the conditional in the makefileGravatar Jason Gross2016-06-22
* Make Coq 8.5 the default target for Fiat-CryptoGravatar Jason Gross2016-06-22
* Makefile: build on Arch Linux once againGravatar Andres Erbsen2016-06-20
* Be a bit more quiet on make unless VERBOSE=1 is passedGravatar Jason Gross2016-06-16
* 8.5 fixesGravatar Jason Gross2016-06-10
* Add coqprime that works with 8.5, bundle bedrockGravatar Jason Gross2016-06-10
* Makefile: single-quotes for shell globbingGravatar Andres Erbsen2016-02-28
* Factor out some bedrock dependencies into WordUtilGravatar Jason Gross2016-02-25
* Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-02-05
* recursive-build coqprimeGravatar Rob Sloan2016-01-28
* recursive-build coqprimeGravatar Rob Sloan2016-01-28
* Import coqprime; use it to prove Euler's criterion.Gravatar Jade Philipoom2016-01-20
* remove fiat dependencyGravatar Andres Erbsen2016-01-16
* simple refactor of makefile; commentsGravatar varomodt2016-01-09
* fix the makefile to not rebuild + module renamingGravatar Robert Sloan2015-10-22
* pull changes from desktopGravatar Robert Sloan2015-10-19
* redo module structure + init curve25519Gravatar Robert Sloan2015-09-16
* Basic Galois Field Theory ModulesGravatar Robert Sloan2015-09-16