| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add a variant of cps_id that pulls the continuation from the lhs |  Jason Gross | 2018-11-08 |
| * | Improve cps_id tactics, add add_var_types_cps_id, unify_extracted_cps_id tactics | Jason Gross | 2018-10-28 |
| * | Fix a bug in ensure_complex_continuation | Jason Gross | 2018-10-28 |
| * | Add CPSId tactics | Jason Gross | 2018-10-28 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |