| Commit message (Expand) | Author | Files | Lines |
2023-11-21 | Add span information to the generated code | Son Ho | 1 | -5/+7 |
2023-11-15 | Do more cleanup | Son Ho | 1 | -36/+31 |
2023-11-15 | Start updating the name type, cleanup the names and the module abbrevs | Son Ho | 1 | -2/+1 |
2023-02-03 | Split InterpreterLoops into several files | Son Ho | 1 | -4098/+3 |
2023-02-03 | Implement a pass to filter the unused input arguments in the loop functions | Son Ho | 1 | -5/+3 |
2023-02-03 | Improve the order of the loop input parameters | Son Ho | 1 | -2/+38 |
2023-02-03 | Fix some issues with the values given back by loop backward translations | Son Ho | 1 | -10/+83 |
2023-02-03 | Fix the comments for ocamldoc | Son Ho | 1 | -1/+1 |
2023-02-03 | Fix an issue with the translation of loops::clear | Son Ho | 1 | -24/+69 |
2023-02-03 | Add more loop examples and fix issues | Son Ho | 1 | -183/+403 |
2023-02-03 | Cleanup a bit | Son Ho | 1 | -59/+18 |
2023-02-03 | Implement support for nested borrows in loops, and add loop tests | Son Ho | 1 | -100/+794 |
2023-02-03 | Make minor modifications to improve the quality of the loop translation | Son Ho | 1 | -12/+83 |
2023-02-03 | Make minor fixes | Son Ho | 1 | -12/+14 |
2023-02-03 | Make another loop example work | Son Ho | 1 | -30/+27 |
2023-02-03 | Make a minor cleanup in InterpreterLoops.ml | Son Ho | 1 | -55/+62 |
2023-02-03 | Fix another bug | Son Ho | 1 | -3/+9 |
2023-02-03 | Fix some bugs | Son Ho | 1 | -54/+43 |
2023-02-03 | Make good progress on updating SymbolicToPure | Son Ho | 1 | -34/+82 |
2023-02-03 | Add a `Loop` node in the pure AST | Son Ho | 1 | -6/+2 |
2023-02-03 | Make progress on Interpreter.ml | Son Ho | 1 | -65/+80 |
2023-02-03 | Merge loop abs so that there is one abs per function input region group | Son Ho | 1 | -45/+238 |
2023-02-03 | Make minor modifications | Son Ho | 1 | -30/+56 |
2023-02-03 | Add detailed explanations in InterpreterLoops.ml | Son Ho | 1 | -39/+405 |
2023-02-03 | Implement [match_ctx_with_target] | Son Ho | 1 | -74/+612 |
2023-02-03 | End some borrows preemptively when computing loop joins | Son Ho | 1 | -3/+14 |
2023-02-03 | Update the comments in Values and make minor modifications | Son Ho | 1 | -15/+52 |
2023-02-03 | Remove the meta-value field from AMutBorrow | Son Ho | 1 | -24/+8 |
2023-02-03 | Remove the APrimitive variant from the avalues | Son Ho | 1 | -3/+0 |
2023-02-03 | Remove the meta-values from the shared and reserved borrow values | Son Ho | 1 | -26/+11 |
2023-02-03 | Make more fixes | Son Ho | 1 | -47/+159 |
2023-02-03 | Make some fixes | Son Ho | 1 | -20/+200 |
2023-02-03 | Make progress on checking that two environments are equivalent | Son Ho | 1 | -141/+491 |
2023-02-03 | Improve the value visitors and some substitution functions | Son Ho | 1 | -5/+3 |
2023-02-03 | Make more progress on the joins | Son Ho | 1 | -142/+127 |
2023-02-03 | Make progress on the fixed point computation | Son Ho | 1 | -356/+266 |
2023-02-03 | Make progress on the environment matches | Son Ho | 1 | -7/+186 |
2023-02-03 | Make more progress | Son Ho | 1 | -61/+102 |
2023-02-03 | Make progress on environment matches and joins | Son Ho | 1 | -71/+495 |
2023-02-03 | Make progress on environments matches and joins | Son Ho | 1 | -27/+369 |
2023-02-03 | Start implementing support for loops | Son Ho | 1 | -0/+521 |