index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
_CoqProject
Commit message (
Collapse
)
Author
Age
*
reorganized lemmas; moved several to ListUtil and ZUtil.
Jade Philipoom
2015-11-24
|
*
ModularBaseSystem.carry: implement, state lemmas, some progress on proofs
Andres Erbsen
2015-11-17
|
*
Merge remote-tracking branch 'jadep/master'
Andres Erbsen
2015-11-06
|
\
*
|
instantiate BaseSystem using base 2^ceil(25.5i) representation of GF(2^255-19)
Andres Erbsen
2015-11-06
|
/
*
Beautified BinGF.splitWords
Adam Chlipala
2015-10-30
|
*
word bound propagation examples
Andres Erbsen
2015-10-30
|
*
BaseSystem to Util.ListUtil: separate out generic list lemmas
Andres Erbsen
2015-10-29
|
*
Merge branch 'master' of github.mit.edu:rsloan/fiat-crypto
Andres Erbsen
2015-10-29
|
\
|
*
patches for galois
Robert Sloan
2015-10-27
|
|
*
|
positional number system equivalence transcribed from pencil-and-paper ↵
Andres Erbsen
2015-10-25
|
/
|
|
|
proofs by <jadep@mit.edu>
*
add morphism-based field impl
Robert Sloan
2015-10-22
|
*
fix the makefile to not rebuild + module renaming
Robert Sloan
2015-10-22
|
*
pull changes from desktop
Robert Sloan
2015-10-19
|
*
gfPlus abstraction
Robert Sloan
2015-10-16
|
*
make ring decidable + define constants
Robert Sloan
2015-09-19
|
*
makefile dependency order
Andres Erbsen
2015-09-18
|
*
Curves: elliptic curve point format record declarations and some invariants
Andres Erbsen
2015-09-18
|
*
import VerdiTactics
Andres Erbsen
2015-09-17
|
*
redo module structure + init curve25519
Robert Sloan
2015-09-16
|
*
init our centralized repo
Robert Sloan
2015-09-10