| Commit message (Expand) | Author | Files | Lines |
2024-05-30 | Implement two phases of loops join + collapse | Aymeric Fromherz | 1 | -0/+31 |
2024-05-27 | Add markers everywhere, do not use them yet | Aymeric Fromherz | 1 | -6/+6 |
2024-05-24 | Start adding markers | Son Ho | 1 | -4/+12 |
2024-05-24 | Rename meta into span | Aymeric Fromherz | 1 | -15/+15 |
2023-12-05 | Remove the type sv_kind ("symbolic value kind") | Son Ho | 1 | -44/+0 |
2023-12-05 | Fix a minor issue with the use of const generics | Son Ho | 1 | -0/+1 |
2023-11-21 | Rename PrimitiveValues to Values | Son Ho | 1 | -3/+1 |
2023-11-15 | Start updating the name type, cleanup the names and the module abbrevs | Son Ho | 1 | -1/+0 |
2023-11-12 | Add the "V" prefix to most variants related to values | Son Ho | 1 | -9/+9 |
2023-11-12 | Remove the 'r type variable from the ty type definition | Son Ho | 1 | -221/+77 |
2023-09-10 | Add support for the trait associated constants | Son Ho | 1 | -0/+2 |
2023-08-18 | Update following the introduction of ConstantExpr | Son Ho | 1 | -0/+2 |
2023-08-03 | Fix issues | Son Ho | 1 | -0/+2 |
2023-08-02 | Make progress proapagating the changes | Son Ho | 1 | -2/+2 |
2023-08-01 | Start adding support for const generics | Son Ho | 1 | -10/+5 |
2023-02-03 | Add more loop examples and fix issues | Son Ho | 1 | -0/+7 |
2023-02-03 | Make good progress on updating SymbolicToPure | Son Ho | 1 | -1/+10 |
2023-02-03 | Make progress on Interpreter.ml | Son Ho | 1 | -1/+4 |
2023-02-03 | Merge loop abs so that there is one abs per function input region group | Son Ho | 1 | -5/+25 |
2023-02-03 | Update the comments in Values and make minor modifications | Son Ho | 1 | -88/+134 |
2023-02-03 | Remove the meta-value field from AMutBorrow | Son Ho | 1 | -12/+1 |
2023-02-03 | Update a comment | Son Ho | 1 | -1/+4 |
2023-02-03 | Remove the APrimitive variant from the avalues | Son Ho | 1 | -13/+0 |
2023-02-03 | Remove the meta-values from the shared and reserved borrow values | Son Ho | 1 | -27/+6 |
2023-02-03 | Improve the value visitors and some substitution functions | Son Ho | 1 | -12/+46 |
2023-02-03 | Make progress on the environment matches | Son Ho | 1 | -5/+24 |
2023-02-03 | Make progress on environment matches and joins | Son Ho | 1 | -0/+2 |
2023-02-03 | Make progress on environments matches and joins | Son Ho | 1 | -22/+66 |
2023-02-03 | Start implementing support for loops | Son Ho | 1 | -73/+137 |
2022-11-14 | Make good progress on the Coq backend | Son Ho | 1 | -0/+1 |
2022-11-07 | Update some comments | Son Ho | 1 | -13/+13 |
2022-11-07 | Rename "inactivated borrows" to "reserved borrows" | Son Ho | 1 | -11/+11 |
2022-10-28 | Move some files to the Charon project | Son Ho | 1 | -1/+1 |
2022-10-27 | Move constant_value to PrimitiveValues.ml | Son Ho | 1 | -37/+12 |
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 | -196/+198 |
2022-09-22 | Reformat the project with dune | Son Ho | 1 | -1/+1 |
2022-08-10 | Corrected translation without using functions, remaining bug in hashmap trans... | Sidney Congard | 1 | -0/+1 |
2022-06-27 | Add `can_end` in `abs` and use it for the return abs when generating the | Son Ho | 1 | -16/+11 |
2022-05-06 | Add an option to eagerly end abstractions if a function has return type | Son Ho | 1 | -1/+1 |
2022-04-21 | Cleanup and update comments | Son Ho | 1 | -0/+10 |
2022-04-21 | Improve the generation of names for given back values | Son Ho | 1 | -1/+5 |
2022-04-21 | Work on pretty names | Son Ho | 1 | -15/+5 |
2022-04-20 | Add comments | Son Ho | 1 | -0/+7 |
2022-04-20 | Introduce mdplace to link meta information about the given back values | Son Ho | 1 | -5/+9 |
2022-01-29 | Make minor cleaning | Son Ho | 1 | -0/+2 |
2022-01-27 | Introduce AEndedSharedBorrow so as not to introduce ABottom when | Son Ho | 1 | -0/+4 |
2022-01-26 | Add a meta-value in SharedBorrow to carry the shared value | Son Ho | 1 | -16/+38 |
2022-01-26 | Replace other occurrences of mvalue with msymbolic_value | Son Ho | 1 | -2/+8 |
2022-01-25 | Replace another occurrence of mvalue with msymbolic_value | Son Ho | 1 | -1/+1 |