index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
coqprime
Commit message (
Expand
)
Author
Age
*
update coqprime
Jade Philipoom
2018-04-09
*
reorganization: move more things into BaseConversion
Jade Philipoom
2018-04-09
*
Update coqprime
Jason Gross
2018-04-03
*
pass-through after Andres's review in #334
Jade Philipoom
2018-04-03
*
Bump coqprime for .gitignore
Jason Gross
2018-03-10
*
git submodule update --remote --recursive
Andres Erbsen
2018-02-24
*
coqprime in COQPATH (closes #269)
Andres Erbsen
2018-02-24
*
Change Implicit Arguments to Arguments in coqprime
Jasper Hugunin
2018-02-23
*
Remove obsolete syntax for locality. (#270)
Maxime Dénès
2017-11-20
*
Strip trailing whitespace
Jason Gross
2017-06-02
*
Make Coq 8.5 the default target for Fiat-Crypto
Jason Gross
2016-06-22
*
Absolutize Coqprime imports
Jason Gross
2016-03-10
*
Automate a UList proof a bit so it builds with 8.5
Jason Gross
2016-02-25
*
Update Coqprime/UList
Jason Gross
2016-02-24
*
Update build process to use COQPATH & _CoqProject
Jason Gross
2016-02-05
*
recursive-build coqprime
Rob Sloan
2016-01-28
*
Import coqprime; use it to prove Euler's criterion.
Jade Philipoom
2016-01-20