| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | 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 |
* | Introduce "AIgnore" for the avalues | Son Ho | 2022-01-13 | 5 | -8/+11 |
* | Introduce ended borrow/loan projectors over symbolic values | Son Ho | 2022-01-13 | 5 | -38/+57 |
* | Start working on checking proj_loans over symbolic values when ending | Son Ho | 2022-01-13 | 2 | -13/+45 |
* | Update the TODO list | Son Ho | 2022-01-13 | 1 | -4/+4 |
* | Make more updates to assignment and update ctx_pop_frame | Son Ho | 2022-01-13 | 3 | -9/+67 |
* | Start updating the assignment semantics | Son Ho | 2022-01-13 | 4 | -36/+63 |
* | Update the TODOs | Son Ho | 2022-01-13 | 1 | -6/+46 |
* | Fix a small bug in projections_intersect and add more debugging output | Son Ho | 2022-01-13 | 5 | -48/+75 |
* | Remove the inner_outer parameter from end_borrow, etc. | Son Ho | 2022-01-12 | 3 | -56/+33 |
* | Regenerate the trace | Son Ho | 2022-01-12 | 1 | -14723/+0 |
* | Regenerate the trace | Son Ho | 2022-01-12 | 1 | -39168/+114636 |
* | Update ctx_pop_frame to not drop the local variables | Son Ho | 2022-01-12 | 1 | -33/+7 |
* | Update end_borrow to check if there are loans in borrowed values | Son Ho | 2022-01-12 | 10 | -192/+291 |
* | Remove an item from TODO.md | Son Ho | 2022-01-12 | 1 | -6/+0 |
* | Update some comments | Son Ho | 2022-01-12 | 1 | -4/+7 |
* | Introduce dummy variables and update assign_to_place | Son Ho | 2022-01-12 | 6 | -14/+61 |
* | Add more TODOs | Son Ho | 2022-01-12 | 1 | -0/+3 |
* | Merge branch 'main' of github.com:Kachoc/aeneas into main | Son Ho | 2022-01-12 | 2 | -1/+3 |
|\ |
|
| * | remove another warning | Jonathan Protzenko | 2022-01-10 | 1 | -1/+0 |
| * | Merge remote-tracking branch 'refs/remotes/origin/main' | Jonathan Protzenko | 2022-01-10 | 15 | -9428/+48203 |
| |\ |
|
| * \ | Merge remote-tracking branch 'refs/remotes/origin/main' | Jonathan Protzenko | 2022-01-06 | 27 | -6535/+27675 |
| |\ \ |
|
| * | | | one remark | Jonathan Protzenko | 2022-01-04 | 1 | -1/+2 |
| * | | | More compiler warnings | Jonathan Protzenko | 2022-01-04 | 2 | -4/+0 |
* | | | | Add a TODO.md file | Son Ho | 2022-01-12 | 1 | -0/+24 |