| Commit message (Expand) | Author | Files | Lines |
2024-03-08 | Do not fail in end_abstraction_aux if the abs disappeared | Son Ho | 1 | -61/+73 |
2023-12-18 | Rename some definitions | Son Ho | 1 | -6/+6 |
2023-12-07 | Use a better syntax when extracting tuple types (structures with unnamed fields) | Son Ho | 1 | -11/+8 |
2023-12-05 | Remove the type sv_kind ("symbolic value kind") | Son Ho | 1 | -44/+16 |
2023-12-05 | Fix a minor issue with the use of const generics | Son Ho | 1 | -2/+2 |
2023-12-05 | Update following changes in Charon | Son Ho | 1 | -4/+4 |
2023-11-27 | Do not activate the sanity (invariant) checks by default | Son Ho | 1 | -2/+2 |
2023-11-15 | Start updating the name type, cleanup the names and the module abbrevs | Son Ho | 1 | -387/+360 |
2023-11-12 | Add the "V" prefix to most variants related to values | Son Ho | 1 | -170/+168 |
2023-11-12 | Prefix variants related to types with "T" | Son Ho | 1 | -2/+2 |
2023-11-12 | Remove the 'r type variable from the ty type definition | Son Ho | 1 | -26/+26 |
2023-09-10 | Add support for the trait associated constants | Son Ho | 1 | -1/+1 |
2023-08-18 | Update following the introduction of ConstantExpr | Son Ho | 1 | -1/+2 |
2023-08-03 | Fix issues | Son Ho | 1 | -2/+2 |
2023-08-02 | Make progress proapagating the changes | Son Ho | 1 | -2/+2 |
2023-02-03 | Add more loop examples and fix issues | Son Ho | 1 | -12/+3 |
2023-02-03 | Implement support for nested borrows in loops, and add loop tests | Son Ho | 1 | -42/+91 |
2023-02-03 | Make minor modifications to improve the quality of the loop translation | Son Ho | 1 | -1/+19 |
2023-02-03 | Fix another bug | Son Ho | 1 | -1/+7 |
2023-02-03 | Update the comments in Values and make minor modifications | Son Ho | 1 | -6/+8 |
2023-02-03 | Remove the meta-value field from AMutBorrow | Son Ho | 1 | -64/+101 |
2023-02-03 | Remove the APrimitive variant from the avalues | Son Ho | 1 | -1/+1 |
2023-02-03 | Remove the meta-values from the shared and reserved borrow values | Son Ho | 1 | -7/+6 |
2023-02-03 | Make more fixes | Son Ho | 1 | -39/+63 |
2023-02-03 | Make some fixes | Son Ho | 1 | -9/+8 |
2023-02-03 | Improve some visitors and ctx_merge_regions | Son Ho | 1 | -27/+1 |
2023-02-03 | Make minor modifications | Son Ho | 1 | -1/+7 |
2023-02-03 | Improve merge_abstractions | Son Ho | 1 | -1/+71 |
2023-02-03 | Make progress on the fixed point computation | Son Ho | 1 | -6/+45 |
2023-02-03 | Make progress on the environment matches | Son Ho | 1 | -9/+21 |
2023-02-03 | Make progress on environment matches and joins | Son Ho | 1 | -159/+488 |
2023-02-03 | Make progress on environments matches and joins | Son Ho | 1 | -2/+4 |
2023-02-03 | Start implementing support for loops | Son Ho | 1 | -71/+525 |
2022-11-10 | Implement a Config.ml file which groups all the global options in references | Son Ho | 1 | -2/+2 |
2022-11-07 | Rename "inactivated borrows" to "reserved borrows" | Son Ho | 1 | -28/+25 |
2022-11-07 | Add some .mli files | Son Ho | 1 | -36/+44 |
2022-11-07 | Update InterpreterBorrows | Son Ho | 1 | -70/+35 |
2022-11-07 | Add ids to the dummy variables | Son Ho | 1 | -1/+1 |
2022-11-07 | Replace all the occurrences of `failwith ...` with `raise (Failure ...)` | Son Ho | 1 | -28/+32 |
2022-10-28 | Take care of some TODOs | Son Ho | 1 | -1/+1 |
2022-10-27 | Fix some comment references | Son Ho | 1 | -5/+5 |
2022-10-27 | Reorganize a bit the project | Son Ho | 1 | -0/+0 |
2022-10-26 | Update the code documentation to fix links and syntax issues | Son Ho | 1 | -115/+115 |
2022-08-10 | Corrected translation without using functions, remaining bug in hashmap trans... | Sidney Congard | 1 | -1/+1 |
2022-06-29 | Make minor modifications | Son Ho | 1 | -3/+16 |
2022-06-27 | Add `can_end` in `abs` and use it for the return abs when generating the | Son Ho | 1 | -0/+3 |
2022-05-06 | Factorize some code in InterpreterBorrows* | Son Ho | 1 | -49/+12 |
2022-04-21 | Improve the generation of names for given back values | Son Ho | 1 | -2/+2 |
2022-04-21 | Work on pretty names | Son Ho | 1 | -5/+3 |
2022-04-20 | Introduce mdplace to link meta information about the given back values | Son Ho | 1 | -6/+8 |