| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Make minor modifications | Son Ho | 2022-01-25 | 1 | -2/+2 |
* | Replace another occurrence of mvalue with msymbolic_value | Son Ho | 2022-01-25 | 3 | -5/+3 |
* | Use msymbolic_value instead of mvalue in some places in Values.aproj | Son Ho | 2022-01-25 | 4 | -12/+8 |
* | Start working on typed_avalue_to_consumed | Son Ho | 2022-01-25 | 3 | -2/+53 |
* | 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 | 2 | -15/+29 |
* | Implement some utilities in SymbolicToPure | Son Ho | 2022-01-25 | 2 | -17/+35 |
* | Finish implementing SymbolicToPure.translate_end_abstraction | Son Ho | 2022-01-25 | 2 | -6/+26 |
* | Make the back_id field non optional in Values.abs | Son Ho | 2022-01-25 | 3 | -12/+10 |
* | Make minor modifications | Son Ho | 2022-01-25 | 1 | -9/+83 |
* | Add a SynthInputGivenBack case in Values.sv_kind | Son Ho | 2022-01-25 | 3 | -8/+16 |
* | Introduce lvalues and rvalues in Pure.ml | Son Ho | 2022-01-25 | 2 | -56/+91 |
* | Make progress on SymbolicToPure.translate_end_abstraction | Son Ho | 2022-01-25 | 6 | -52/+182 |
* | Replace BackwardFunctionId with RegionGroupId | Son Ho | 2022-01-25 | 3 | -15/+12 |
* | Start working on translate_end_abstraction | Son Ho | 2022-01-25 | 3 | -6/+76 |
* | 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 | 5 | -56/+210 |
* | Implement SymbolicToPure.translate_fun_sig | Son Ho | 2022-01-25 | 6 | -59/+344 |
* | Make minor modifications | Son Ho | 2022-01-24 | 1 | -0/+3 |
* | Start working on translation of the type definitions | Son Ho | 2022-01-24 | 3 | -1/+102 |
* | Start working on name generation for the synthesis | Son Ho | 2022-01-24 | 5 | -1/+317 |
* | Make minor modifications | Son Ho | 2022-01-24 | 5 | -5/+16 |
* | Update the TODO.md | Son Ho | 2022-01-24 | 1 | -14/+13 |
* | Start working on printing for symbolic AST | Son Ho | 2022-01-24 | 7 | -5/+165 |
* | Finish updating the calls to the synthesis functions to generate the | Son Ho | 2022-01-21 | 8 | -123/+99 |
* | Start working on the generation of the symbolic AST | Son Ho | 2022-01-21 | 10 | -52/+240 |
* | Add invariant checks at the end of [end_borrow] and [end_abstraction] | Son Ho | 2022-01-21 | 2 | -6/+14 |
* | Make minor modifications for the invariants checks | Son Ho | 2022-01-21 | 2 | -14/+9 |
* | Implement more invariant checks for the symbolic values | Son Ho | 2022-01-21 | 1 | -3/+34 |
* | Update projections_intersect to write it in terms of a more generic | Son Ho | 2022-01-21 | 2 | -28/+79 |
* | Update AProjLoans and AEndedProjLoans to take a list of given back | Son Ho | 2022-01-21 | 7 | -167/+442 |
* | Add comments | Son Ho | 2022-01-20 | 1 | -2/+7 |
* | Fix a minor issue in expand_symbolic_value | Son Ho | 2022-01-20 | 3 | -17/+25 |
* | Update a comment | Son Ho | 2022-01-20 | 1 | -4/+15 |
* | Fix a comment | Son Ho | 2022-01-20 | 1 | -1/+1 |
* | Make minor modifications | Son Ho | 2022-01-20 | 2 | -4/+34 |
* | Update Interpreter | Son Ho | 2022-01-20 | 3 | -23/+49 |
* | Cleanup a bit InterpreterStatements following compiler warnings | Son Ho | 2022-01-20 | 2 | -6/+6 |
* | Finish updating InterpreterStatements | Son Ho | 2022-01-20 | 2 | -89/+101 |
* | Make various style modifications | Son Ho | 2022-01-20 | 2 | -7/+25 |
* | Make good progress on updating InterpreterStatements to use CPS | Son Ho | 2022-01-20 | 5 | -453/+614 |
* | Make minor modifications in InterpreterExpressions | Son Ho | 2022-01-20 | 1 | -6/+3 |
* | Add more utilities for bool and integer expansion in | Son Ho | 2022-01-20 | 2 | -16/+102 |
* | Finish updating InterpreterExpressions | Son Ho | 2022-01-20 | 2 | -101/+115 |
* | Make more progress on InterpreterExpressions | Son Ho | 2022-01-20 | 1 | -29/+41 |
* | Cleanup a bit InterpreterBorrows | Son Ho | 2022-01-20 | 1 | -22/+14 |
* | Add a unit test in Cps.ml | Son Ho | 2022-01-20 | 1 | -0/+8 |
* | Update the TODO | Son Ho | 2022-01-20 | 1 | -0/+18 |
* | Make more progress on InterpreterExpressions | Son Ho | 2022-01-20 | 1 | -99/+116 |