| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Not quite done with WordUtil lemmas. |  Robert Sloan | 2016-11-08 |
| |\ | |||
| * | | More of jgross admits, less neg and the cmovs | Rob Sloan | 2016-11-01 |
| * | | most of jgross' admits | Rob Sloan | 2016-10-31 |
| | * | Significantly faster wordToN, I hope |  Jason Gross | 2016-10-31 |
| |/ | |||
| * | More of the Conversions.v correctness proofs | Robert Sloan | 2016-10-14 |
| * | Making sub bounds actually tight | Robert Sloan | 2016-10-14 |
| * | Removed nat arguments to Evaluable operations |  Robert Sloan | 2016-08-25 |
| * | Experimental requirements for rsloan-phoas | Robert Sloan | 2016-08-23 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |