| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | Implement the sanity checks for consumption of symbolic values by | Son Ho | 2022-01-19 | 5 | -9/+68 |
* | Remove ty_has_regions and use ty_has_borrows instead | Son Ho | 2022-01-18 | 8 | -39/+34 |
* | Implement ty_has_borrows and ty_has_nested_borrows | Son Ho | 2022-01-18 | 1 | -0/+21 |
* | Rename type_is_primitively_copyable to ty_is_... | Son Ho | 2022-01-18 | 5 | -7/+7 |
* | Update type_context to have to have a type info field, use maps instead | Son Ho | 2022-01-18 | 6 | -36/+62 |
* | Implement TypesAnalysis.analyze_ty | Son Ho | 2022-01-18 | 1 | -4/+31 |
* | Finish implementing TypesAnalysis.analyze_full_ty | Son Ho | 2022-01-18 | 1 | -47/+65 |
* | Start working on TypesAnalysis | Son Ho | 2022-01-18 | 2 | -0/+225 |
* | Derive ord for the types | Son Ho | 2022-01-18 | 3 | -12/+17 |
* | Make a minor modification | Son Ho | 2022-01-18 | 1 | -0/+2 |
* | Update the types and deserialization following charon's updates | Son Ho | 2022-01-18 | 10 | -153/+151 |
* | Update the TODOs | Son Ho | 2022-01-16 | 1 | -11/+27 |
* | Introduce abs_kind, to keep track of abstractions' origins | Son Ho | 2022-01-15 | 3 | -4/+15 |
* | Add sv_kind ("symbolic value kind") to track the origin of the symbolic | Son Ho | 2022-01-15 | 7 | -30/+65 |
* | Use the new collections | Son Ho | 2022-01-15 | 11 | -138/+65 |
* | Start working on Collections.ml | Son Ho | 2022-01-15 | 7 | -26/+17 |
* | Make more minor modifications | Son Ho | 2022-01-14 | 1 | -1/+2 |
* | Make minor modifications to the TODOs | Son Ho | 2022-01-14 | 1 | -11/+11 |
* | Improve printing of symbolic values in abstractions | Son Ho | 2022-01-14 | 3 | -24/+21 |
* | Make minor modifications | Son Ho | 2022-01-14 | 2 | -4/+6 |
* | Update the TODOs | Son Ho | 2022-01-14 | 1 | -6/+7 |
* | Fix give_back_symbolic_value | Son Ho | 2022-01-14 | 2 | -24/+86 |
* | Implement greedy expansion of symbolic variables and expansion before | Son Ho | 2022-01-14 | 15 | -98/+263 |
* | Update the TODOs | Son Ho | 2022-01-14 | 2 | -2/+4 |
* | Start working on greedy symbolic value expansion and expansion before | Son Ho | 2022-01-14 | 12 | -67/+318 |
* | Implement loop detection when ending borrows/abstractions | Son Ho | 2022-01-14 | 3 | -41/+71 |
* | Update the TODOs | Son Ho | 2022-01-14 | 1 | -0/+2 |
* | Update the TODOs | Son Ho | 2022-01-14 | 1 | -18/+18 |
* | Add a TODO | Son Ho | 2022-01-14 | 1 | -0/+3 |
* | Fix compilation errors | Son Ho | 2022-01-14 | 2 | -6/+6 |
* | Implement give_back_symbolic_value | Son Ho | 2022-01-14 | 3 | -60/+26 |
* | Make a minor modification | Son Ho | 2022-01-14 | 1 | -6/+5 |
* | Update aproj to make AEndedProjLoans take an `aproj option` and add the | Son Ho | 2022-01-14 | 10 | -118/+226 |
* | Make good progress on end_proj_loans_symbolic | Son Ho | 2022-01-14 | 3 | -65/+260 |
* | Make good progress on end_proj_loans_symbolic | Son Ho | 2022-01-13 | 4 | -5/+175 |
* | Add a small check in the invariants | Son Ho | 2022-01-13 | 1 | -2/+8 |
* | Update the projectors to ignore values when they don't contain regions | Son Ho | 2022-01-13 | 8 | -189/+232 |