| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | 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 |
* | Make progress on converting InterpreterExpressions to CPS | Son Ho | 2022-01-20 | 2 | -102/+165 |
* | Make minor updates to InterpreterBorrows and InterpreterExpansion | Son Ho | 2022-01-19 | 2 | -29/+28 |
* | Update InterpreterExpansion and InterpreterPaths to use CPS | Son Ho | 2022-01-19 | 3 | -171/+170 |
* | Update the return values | Son Ho | 2022-01-19 | 1 | -5/+7 |
* | Make minor modifications | Son Ho | 2022-01-19 | 1 | -3/+2 |
* | Start updating the interpreter to make it CPS | Son Ho | 2022-01-19 | 3 | -115/+253 |
* | Update the .gitignore | Son Ho | 2022-01-19 | 1 | -0/+3 |
* | Start working on Pure.ml | Son Ho | 2022-01-19 | 2 | -0/+104 |
* | Make a minor modification | Son Ho | 2022-01-19 | 1 | -1/+1 |
* | Start storing meta-values in the avalues, for synthesis purposes | Son Ho | 2022-01-19 | 11 | -244/+309 |
* | Update the .gitignore | Son Ho | 2022-01-19 | 1 | -1/+2 |
* | Commit the forgotten Collections.ml | Son Ho | 2022-01-19 | 1 | -0/+143 |
* | Implement ty_has_borrow_under_mut | Son Ho | 2022-01-19 | 4 | -64/+106 |