| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Make minor modifications | Son Ho | 2022-01-14 | 1 | -1/+2 |
* | 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 | 14 | -98/+259 |
* | Update the TODOs | Son Ho | 2022-01-14 | 1 | -2/+0 |
* | Start working on greedy symbolic value expansion and expansion before | Son Ho | 2022-01-14 | 11 | -62/+313 |
* | Implement loop detection when ending borrows/abstractions | Son Ho | 2022-01-14 | 2 | -39/+70 |
* | 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 | 2 | -64/+257 |
* | Make good progress on end_proj_loans_symbolic | Son Ho | 2022-01-13 | 3 | -5/+173 |
* | 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 |
* | 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 | 3 | -20/+39 |
* | Fix a small bug in projections_intersect and add more debugging output | Son Ho | 2022-01-13 | 4 | -47/+75 |
* | Remove the inner_outer parameter from end_borrow, etc. | Son Ho | 2022-01-12 | 3 | -56/+33 |
* | 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 | 9 | -191/+288 |
* | Update some comments | Son Ho | 2022-01-12 | 1 | -4/+7 |
* | Introduce dummy variables and update assign_to_place | Son Ho | 2022-01-12 | 5 | -14/+56 |
* | 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 | 14 | -142/+495 |
| |\ |
|
| * \ | Merge remote-tracking branch 'refs/remotes/origin/main' | Jonathan Protzenko | 2022-01-06 | 25 | -4518/+5986 |
| |\ \ |
|
| * | | | one remark | Jonathan Protzenko | 2022-01-04 | 1 | -1/+2 |
| * | | | More compiler warnings | Jonathan Protzenko | 2022-01-04 | 2 | -4/+0 |
* | | | | Make minor modifications | Son Ho | 2022-01-12 | 3 | -1/+7 |
| |_|/
|/| | |
|
* | | | Update the invariant checks to take into account ignored borrows/loans | Son Ho | 2022-01-07 | 1 | -6/+33 |
* | | | Factorize initialize_symbolic_context_for_fun and | Son Ho | 2022-01-07 | 3 | -58/+69 |
* | | | Add a high-level comment | Son Ho | 2022-01-07 | 1 | -0/+8 |
* | | | Make more modifications to logging | Son Ho | 2022-01-07 | 6 | -19/+35 |
* | | | Add an optional borrow identifier to AIgnoredMutBorrow, introduce the | Son Ho | 2022-01-07 | 9 | -51/+220 |
* | | | Add logging information for borrows | Son Ho | 2022-01-07 | 5 | -7/+40 |
* | | | Make more improvements to logging | Son Ho | 2022-01-07 | 3 | -24/+32 |
* | | | Improve logging and introduce eval_operands_prepare | Son Ho | 2022-01-07 | 6 | -15/+96 |
| |/
|/| |
|
* | | Add debugging info | Son Ho | 2022-01-06 | 1 | -3/+27 |
* | | Cleanup | Son Ho | 2022-01-06 | 8 | -17/+8 |
* | | Make the symbolic, borrow, region and abstration counters global and | Son Ho | 2022-01-06 | 11 | -104/+104 |
* | | Remove the symbolic_proj_comp def and make the set of ended regions a | Son Ho | 2022-01-06 | 12 | -255/+116 |
* | | Implement a small improvement for apply_reborrows | Son Ho | 2022-01-06 | 1 | -3/+10 |
* | | Fix another bug | Son Ho | 2022-01-06 | 1 | -5/+5 |
* | | Fix more bugs | Son Ho | 2022-01-06 | 2 | -7/+14 |
* | | Fix some bugs | Son Ho | 2022-01-06 | 7 | -15/+42 |
* | | Make minor improvements to printing | Son Ho | 2022-01-06 | 3 | -8/+20 |
* | | Fix some printing issues | Son Ho | 2022-01-06 | 1 | -2/+2 |