| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Various fixes for Coq 8.4 |  Jason Gross | 2016-10-20 |
| * | Fast bounds-checking machinery but lower-bounds are broken |  Robert Sloan | 2016-10-18 |
| * | Converting to bounded machinery | Robert Sloan | 2016-10-17 |
| * | More of the Conversions.v correctness proofs | Robert Sloan | 2016-10-14 |
| * | Making sub bounds actually tight | Robert Sloan | 2016-10-14 |
| * | More minor improvements in Conversions.v and Compile.v | Robert Sloan | 2016-10-13 |
| * | Large-scale refactoring of src/Assembly |  Robert Sloan | 2016-09-24 |
| * | Finished more efficient WordRangeOpt | Robert Sloan | 2016-09-15 |
| * | Most of a more efficient WordRangeOpt | Robert Sloan | 2016-09-13 |
| * | Fix evalWordRangeOpt | Robert Sloan | 2016-08-26 |
| * | Much tighter bounds in Evaluables.v | Robert Sloan | 2016-08-26 |
| * | Removed nat arguments to Evaluable operations | Robert Sloan | 2016-08-25 |
| * | Finishing tactical machinery for bound-computing | Robert Sloan | 2016-08-24 |
| * | Experimental requirements for rsloan-phoas | Robert Sloan | 2016-08-23 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |