| Commit message (Expand) | Author | Age | Files | Lines |
* | Rename meta into span | Aymeric Fromherz | 2024-05-24 | 1 | -8/+8 |
* | added Error and EError to expressions and propagated related changes | Escherichia | 2024-04-03 | 1 | -0/+1 |
* | Improve the generation of pretty name and the micro passes | Son Ho | 2024-03-20 | 1 | -0/+3 |
* | Make good progress on adding generics to global constants | Son Ho | 2024-03-18 | 1 | -1/+1 |
* | Update following changes in Charon | Son Ho | 2024-03-17 | 1 | -2/+1 |
* | Add some comments | Son Ho | 2024-03-08 | 1 | -7/+7 |
* | Make progress on fixing the loops | Son Ho | 2024-03-08 | 1 | -2/+1 |
* | Fix an issue when merging the fwd/back functions of trait methods | Son Ho | 2023-12-22 | 1 | -0/+4 |
* | Make good progress on merging the fwd/back functions | Son Ho | 2023-12-21 | 1 | -0/+4 |
* | Fix the issues with the cross-references for OCaml doc | Son Ho | 2023-11-27 | 1 | -2/+2 |
* | Add span information to the generated code | Son Ho | 2023-11-21 | 1 | -6/+7 |
* | Use the name matcher implemented in Charon | Son Ho | 2023-11-20 | 1 | -1/+1 |
* | Start updating the name type, cleanup the names and the module abbrevs | Son Ho | 2023-11-15 | 1 | -47/+44 |
* | Rename some variants | Son Ho | 2023-11-12 | 1 | -1/+1 |
* | Remove the 'r type variable from the ty type definition | Son Ho | 2023-11-12 | 1 | -27/+13 |
* | Make progress on correctly handling trait method calls in the symbolic execution | Son Ho | 2023-09-11 | 1 | -1/+1 |
* | Add support for the trait associated constants | Son Ho | 2023-09-10 | 1 | -1/+7 |
* | Start adding support for traits | Son Ho | 2023-08-31 | 1 | -4/+1 |
* | Update following the introduction of ConstantExpr | Son Ho | 2023-08-18 | 1 | -7/+13 |
* | Fix an issue with the extraction of aggregated arrays | Son Ho | 2023-08-03 | 1 | -1/+8 |
* | Make progress | Son Ho | 2023-08-02 | 1 | -0/+3 |
* | Fix some issues with the values given back by loop backward translations | Son Ho | 2023-02-03 | 1 | -0/+5 |
* | Add more loop examples and fix issues | Son Ho | 2023-02-03 | 1 | -0/+16 |
* | Make good progress on updating SymbolicToPure | Son Ho | 2023-02-03 | 1 | -9/+95 |
* | Add a `Loop` node in the pure AST | Son Ho | 2023-02-03 | 1 | -4/+6 |
* | Make progress on Interpreter.ml | Son Ho | 2023-02-03 | 1 | -2/+8 |
* | Remove the meta-values from the shared and reserved borrow values | Son Ho | 2023-02-03 | 1 | -4/+24 |
* | Start implementing support for loops | Son Ho | 2023-02-03 | 1 | -0/+7 |
* | Make good progress on the Coq backend | Son Ho | 2022-11-14 | 1 | -0/+4 |
* | Factor out the symbolic execution for the forward/backward translations | Son Ho | 2022-11-10 | 1 | -5/+8 |
* | Implement the generation of stateful backward functions (controlled by an opt... | Son Ho | 2022-11-10 | 1 | -0/+8 |
* | Reorganize branching symbolic expansions to prepare for the join operation | Son Ho | 2022-11-10 | 1 | -0/+1 |
* | Add ids to the dummy variables | Son Ho | 2022-11-07 | 1 | -1/+1 |
* | Reorganize a bit the project | Son Ho | 2022-10-27 | 1 | -0/+98 |