| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | Make more progress on generating the symbolic AST for the backward | Son Ho | 2022-01-26 | 1 | -4/+16 |
| * | Make progress on translation | Son Ho | 2022-01-26 | 1 | -45/+15 |
| * | Make progress on translation | Son Ho | 2022-01-26 | 1 | -27/+82 |
| * | Implement sanity checks to check the types of the input/output arguments | Son Ho | 2022-01-26 | 1 | -9/+93 |
| * | Add some sanity checks and comments | Son Ho | 2022-01-26 | 1 | -2/+9 |
| * | Cleanup a bit | Son Ho | 2022-01-26 | 1 | -3/+3 |
| * | Implement the SharedBorrow case of SymbolicToPure.typed_value_to_rvalue | Son Ho | 2022-01-26 | 1 | -6/+4 |
| * | Cleanup a bit | Son Ho | 2022-01-26 | 1 | -35/+14 |
| * | Add some comments | Son Ho | 2022-01-26 | 1 | -0/+34 |
| * | Implement SymbolicToPure.typed_avalue_to_given_back | Son Ho | 2022-01-26 | 1 | -6/+88 |
| * | Implement the ADT case of typed_avalue_to_consumed | Son Ho | 2022-01-25 | 1 | -11/+25 |
| * | Make good progress on typed_avalue_to_consumed | Son Ho | 2022-01-25 | 1 | -21/+49 |
| * | Start working on typed_avalue_to_consumed | Son Ho | 2022-01-25 | 1 | -1/+44 |
| * | Make progress on translate_typed_value_to_rvalue | Son Ho | 2022-01-25 | 1 | -5/+11 |
| * | Start working on translate_typed_value_to_rvalue | Son Ho | 2022-01-25 | 1 | -3/+28 |
| * | Implement some utilities in SymbolicToPure | Son Ho | 2022-01-25 | 1 | -17/+33 |
| * | Finish implementing SymbolicToPure.translate_end_abstraction | Son Ho | 2022-01-25 | 1 | -4/+24 |
| * | Make the back_id field non optional in Values.abs | Son Ho | 2022-01-25 | 1 | -5/+3 |
| * | Make minor modifications | Son Ho | 2022-01-25 | 1 | -9/+83 |
| * | Introduce lvalues and rvalues in Pure.ml | Son Ho | 2022-01-25 | 1 | -33/+61 |
| * | Make progress on SymbolicToPure.translate_end_abstraction | Son Ho | 2022-01-25 | 1 | -40/+152 |
| * | Replace BackwardFunctionId with RegionGroupId | Son Ho | 2022-01-25 | 1 | -10/+9 |
| * | Start working on translate_end_abstraction | Son Ho | 2022-01-25 | 1 | -1/+69 |
| * | Implement the forgotten Tuple case in SymbolicToPure.translate_expansion | Son Ho | 2022-01-25 | 1 | -1/+3 |
| * | Finish implementing SymbolicToPure.translate_expansion | Son Ho | 2022-01-25 | 1 | -1/+15 |
| * | Make good progress on SymbolicToPure.translate_expansion | Son Ho | 2022-01-25 | 1 | -21/+151 |
| * | Implement SymbolicToPure.translate_fun_sig | Son Ho | 2022-01-25 | 1 | -35/+225 |
| * | Make minor modifications | Son Ho | 2022-01-24 | 1 | -0/+3 |
| * | Start working on translation of the type definitions | Son Ho | 2022-01-24 | 1 | -0/+82 |
| * | Start working on name generation for the synthesis | Son Ho | 2022-01-24 | 1 | -0/+91 |
