| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | gfPlus abstraction |  Robert Sloan | 2015-10-16 | |
| * | Galois: add broken test |  Andres Erbsen | 2015-09-22 | |
| * | merge with master |  Robert Sloan | 2015-09-19 | |
| |\ | ||||
| * | | make ring decidable + define constants | Robert Sloan | 2015-09-19 | |
| | * | make `field` work when GaloisField and GaloisFieldTheory are imported at the ... | Andres Erbsen | 2015-09-18 | |
| |/ | ||||
| * | GaloisFieldTheory: add scope delimiter | Andres Erbsen | 2015-09-18 | |
| * | GaloisFieldTheory: scoped notation that coincides with Z | Andres Erbsen | 2015-09-18 | |
| * | overlflow-checking ZToGF function | Andres Erbsen | 2015-09-17 | |
| * | Removed dependency on proof irrelevance (it turns out we had a redundant exis... |  Adam Chlipala | 2015-09-17 | |
| * | Beautified remaining GaloisFieldTheory proofs | Adam Chlipala | 2015-09-17 | |
| * | Got most of the way through new GaloisField code | Adam Chlipala | 2015-09-17 | |
| * | fix module structure + add assembly placeholder |  Robert Sloan | 2015-09-17 | |
| * | redo module structure + init curve25519 | Robert Sloan | 2015-09-16 | |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |