aboutsummaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAge
* 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
* init our centralized repoGravatar Robert Sloan2015-09-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-09 03:37:37 +0000