aboutsummaryrefslogtreecommitdiff
path: root/_CoqProject
Commit message (Collapse)AuthorAge
...
* BaseSystem to Util.ListUtil: separate out generic list lemmasGravatar Andres Erbsen2015-10-29
|
* Merge branch 'master' of github.mit.edu:rsloan/fiat-cryptoGravatar Andres Erbsen2015-10-29
|\
| * patches for galoisGravatar Robert Sloan2015-10-27
| |
* | positional number system equivalence transcribed from pencil-and-paper ↵Gravatar Andres Erbsen2015-10-25
|/ | | | proofs by <jadep@mit.edu>
* add morphism-based field implGravatar Robert Sloan2015-10-22
|
* fix the makefile to not rebuild + module renamingGravatar Robert Sloan2015-10-22
|
* pull changes from desktopGravatar Robert Sloan2015-10-19
|
* gfPlus abstractionGravatar Robert Sloan2015-10-16
|
* make ring decidable + define constantsGravatar Robert Sloan2015-09-19
|
* makefile dependency orderGravatar Andres Erbsen2015-09-18
|
* Curves: elliptic curve point format record declarations and some invariantsGravatar Andres Erbsen2015-09-18
|
* import VerdiTacticsGravatar Andres Erbsen2015-09-17
|
* redo module structure + init curve25519Gravatar Robert Sloan2015-09-16
|
* init our centralized repoGravatar Robert Sloan2015-09-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 10:14:01 +0000