| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Make minor modifications | Son Ho | 2022-01-26 | 1 | -1/+1 |
* | Change the test file to no_nested_borrows.cfim | Son Ho | 2022-01-26 | 1 | -3/+8 |
* | Fix a bug in the end borrows/abs loop detection | Son Ho | 2022-01-26 | 1 | -4/+4 |
* | Fix various issues | Son Ho | 2022-01-26 | 5 | -5/+22 |
* | Start actually generating symbolic ASTs for the backward functions | Son Ho | 2022-01-26 | 2 | -6/+18 |
* | Make more progress on generating the symbolic AST for the backward | Son Ho | 2022-01-26 | 3 | -11/+25 |
* | Update the .gitignore | Son Ho | 2022-01-26 | 1 | -1/+2 |
* | Make good progress on generating the symbolic AST for the backward | Son Ho | 2022-01-26 | 2 | -40/+146 |
* | Test the generation of the symbolic AST | Son Ho | 2022-01-26 | 1 | -1/+1 |
* | Make progress on translation | Son Ho | 2022-01-26 | 5 | -75/+147 |
* | Make progress on translation | Son Ho | 2022-01-26 | 5 | -112/+224 |
* | Do a minor cleanup | Son Ho | 2022-01-26 | 1 | -11/+0 |
* | Add TODOs | Son Ho | 2022-01-26 | 1 | -2/+5 |
* | Cleanup a bit | Son Ho | 2022-01-26 | 2 | -8/+7 |
* | Add a comment in Assumed.ml | Son Ho | 2022-01-26 | 1 | -1/+8 |
* | Use the signatures in Assumed.ml in InterpreterStatements and remove the | Son Ho | 2022-01-26 | 2 | -69/+14 |
* | Start working on signatures for the assumed functions | Son Ho | 2022-01-26 | 3 | -2/+54 |
* | Implement sanity checks to check the types of the input/output arguments | Son Ho | 2022-01-26 | 3 | -13/+125 |
* | Add some sanity checks and comments | Son Ho | 2022-01-26 | 3 | -5/+19 |
* | 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 |
* | Add a meta-value in SharedBorrow to carry the shared value | Son Ho | 2022-01-26 | 9 | -53/+78 |
* | Fix a typo | Son Ho | 2022-01-26 | 1 | -1/+1 |
* | Remove SymbolicAstUtils.ml | Son Ho | 2022-01-26 | 3 | -96/+0 |
* | Cleanup a bit | Son Ho | 2022-01-26 | 2 | -39/+18 |
* | Add some comments | Son Ho | 2022-01-26 | 1 | -0/+34 |
* | Implement SymbolicToPure.typed_avalue_to_given_back | Son Ho | 2022-01-26 | 3 | -7/+94 |
* | Replace other occurrences of mvalue with msymbolic_value | Son Ho | 2022-01-26 | 3 | -7/+16 |
* | 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 |
* | 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 |