| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | prove admit about F.to_nat x mod m |  Andres Erbsen | 2016-10-27 |
| * | prove SRepMul admit | Andres Erbsen | 2016-10-25 |
| * | Fix for Coq 8.4 |  Jason Gross | 2016-10-13 |
| * | refactor scalar multiplication thoery, implement SRepERepMul | Andres Erbsen | 2016-10-12 |
| * | integrate bitwise operations | Andres Erbsen | 2016-10-12 |
| * | generalize equiv relations in Util.Option and EdDSARepChange | Andres Erbsen | 2016-10-12 |
| * | move eddsa rep change | Andres Erbsen | 2016-09-22 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |