| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Finish related_bounds_t_map1_tuple2 |  Jason Gross | 2016-11-07 |
| * | More progress on related_bounds_t_map1_tuple2 | Jason Gross | 2016-11-07 |
| * | More progress on t_map1_tuple2 lemmas | Jason Gross | 2016-11-07 |
| * | Some progress on Relations admits |  Adam Chlipala | 2016-11-07 |
| * | More reorg in Reflection/Z/Interpretations/Relations.v | Jason Gross | 2016-11-06 |
| * | Do some of the related_Z_op proofs | Jason Gross | 2016-11-06 |
| * | Refactor various reflective things | Jason Gross | 2016-11-06 |
| * | Preliminary support: conditional sub as primitive | Jason Gross | 2016-11-06 |
| * | More partial proofs | Jason Gross | 2016-11-06 |
| * | Add related_word64_boundsi' | Jason Gross | 2016-11-05 |
| * | Split off some things from Interpretations | Jason Gross | 2016-11-05 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |