| Commit message (Expand) | Author | Age | Files | Lines |
* | Rename meta into span | Aymeric Fromherz | 2024-05-24 | 1 | -20/+20 |
* | Update the interpreter so that it is not written in CPS style (#120) | Escherichia | 2024-05-23 | 1 | -2/+0 |
* | formatting and changed save_error condition for failing from b to not b | Escherichia | 2024-03-29 | 1 | -1/+3 |
* | added file and line arg to craise and cassert | Escherichia | 2024-03-29 | 1 | -8/+8 |
* | formatting | Escherichia | 2024-03-28 | 1 | -11/+15 |
* | Should answer all comments, there are still some TODO: error message left | Escherichia | 2024-03-28 | 1 | -2/+2 |
* | WIP: does not compile yet because we need to propagate the meta variable. | Escherichia | 2024-03-28 | 1 | -17/+18 |
* | Improve the generation of pretty name and the micro passes | Son Ho | 2024-03-20 | 1 | -0/+6 |
* | Make good progress on adding generics to global constants | Son Ho | 2024-03-18 | 1 | -3/+3 |
* | Make progress on fixing the loops | Son Ho | 2024-03-08 | 1 | -1/+1 |
* | Fix an issue when merging the fwd/back functions of trait methods | Son Ho | 2023-12-22 | 1 | -5/+8 |
* | Make good progress on merging the fwd/back functions | Son Ho | 2023-12-21 | 1 | -5/+11 |
* | Add span information to the generated code | Son Ho | 2023-11-21 | 1 | -3/+4 |
* | Rename PrimitiveValues to Values | Son Ho | 2023-11-21 | 1 | -1/+0 |
* | Start updating the name type, cleanup the names and the module abbrevs | Son Ho | 2023-11-15 | 1 | -65/+57 |
* | Prefix variants related to types with "T" | Son Ho | 2023-11-12 | 1 | -3/+3 |
* | Remove the 'r type variable from the ty type definition | Son Ho | 2023-11-12 | 1 | -10/+10 |
* | Update following the addition of raw pointers | Son Ho | 2023-10-25 | 1 | -1/+3 |
* | Start updating to handle function pointers | Son Ho | 2023-10-20 | 1 | -1/+1 |
* | Make progress on correctly handling trait method calls in the symbolic execution | Son Ho | 2023-09-11 | 1 | -1/+1 |
* | Start adding support for traits | Son Ho | 2023-08-31 | 1 | -17/+17 |
* | Make progress | Son Ho | 2023-08-02 | 1 | -9/+11 |
* | Make progress proapagating the changes | Son Ho | 2023-08-02 | 1 | -3/+3 |
* | Start adding support for const generics | Son Ho | 2023-08-01 | 1 | -4/+4 |
* | Improve the pretty names generation for loops | Son Ho | 2023-02-03 | 1 | -0/+2 |
* | Fix some issues with the values given back by loop backward translations | Son Ho | 2023-02-03 | 1 | -3/+15 |
* | Make good progress on updating SymbolicToPure | Son Ho | 2023-02-03 | 1 | -4/+6 |
* | Add a `Loop` node in the pure AST | Son Ho | 2023-02-03 | 1 | -1/+2 |
* | Make progress on Interpreter.ml | Son Ho | 2023-02-03 | 1 | -5/+6 |
* | Remove the meta-values from the shared and reserved borrow values | Son Ho | 2023-02-03 | 1 | -20/+24 |
* | Start implementing support for loops | Son Ho | 2023-02-03 | 1 | -0/+7 |
* | Factor out the symbolic execution for the forward/backward translations | Son Ho | 2022-11-10 | 1 | -2/+3 |
* | Implement the generation of stateful backward functions (controlled by an opt... | Son Ho | 2022-11-10 | 1 | -35/+31 |
* | Reorganize branching symbolic expansions to prepare for the join operation | Son Ho | 2022-11-10 | 1 | -0/+3 |
* | Add ids to the dummy variables | Son Ho | 2022-11-07 | 1 | -1/+1 |
* | Replace all the occurrences of `failwith ...` with `raise (Failure ...)` | Son Ho | 2022-11-07 | 1 | -5/+5 |
* | Move constant_value to PrimitiveValues.ml | Son Ho | 2022-10-27 | 1 | -4/+5 |
* | Reorganize a bit the project | Son Ho | 2022-10-27 | 1 | -0/+156 |