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 |