| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | add reflexivity to reify autosolve |  Jason Gross | 2017-11-12 |
| * | Handle more base types in Z.Reify | Jason Gross | 2017-11-10 |
| * | Make a reification package | Jason Gross | 2017-11-07 |
| * | Remove fails; if we fail too strongly, we miss debugging information | Jason Gross | 2017-06-17 |
| * | Add back failure at level 100 | Jason Gross | 2017-06-17 |
| * | Better error messages in reification | Jason Gross | 2017-06-17 |
| * | Reify Z.mul_with_split_at_bitwidth | Jason Gross | 2017-06-13 |
| * | Add dummy version of IdWithAlt to compilers | Jason Gross | 2017-06-11 |
| * | Also reify Z.sub_with_get_borrow | Jason Gross | 2017-05-20 |
| * | Add reflective machinery for adc, zselect | Jason Gross | 2017-05-17 |
| * | Split off a-normal form from flattening | Jason Gross | 2017-04-14 |
| * | rename-everything |  Andres Erbsen | 2017-04-06 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |