| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Use the name matcher implemented in Charon | Son Ho | 2023-11-20 | 1 | -2/+8 |
| * | Finish propagating the changes to the names and cleaning | Son Ho | 2023-11-16 | 1 | -2/+2 |
| * | Do more cleanup | Son Ho | 2023-11-15 | 1 | -3/+3 |
| * | Start updating the name type, cleanup the names and the module abbrevs | Son Ho | 2023-11-15 | 1 | -4/+4 |
| * | Remove the 'r type variable from the ty type definition | Son Ho | 2023-11-12 | 1 | -2/+2 |
| * | Make the traits work for Coq | Son Ho | 2023-11-09 | 1 | -3/+4 |
| * | Fix some issues and regenerate the HashmapMain example for Lean | Son Ho | 2023-10-26 | 1 | -5/+6 |
| * | Improve the handling of saved function effects in ExtractBuiltin.ml | Son Ho | 2023-10-26 | 1 | -11/+17 |
| * | Handle properly the builtin, non fallible functions | Son Ho | 2023-10-24 | 1 | -15/+19 |
| * | Merge branch 'son_traits' into son_traits_types | Son Ho | 2023-10-24 | 1 | -3/+21 |
| |\ |
|
| | * | Merge branch 'son_traits_arrow' into protz_numeric | Son Ho | 2023-10-24 | 1 | -1/+1 |
| | |\ |
|
| | * | | Add more support for numeric operations, xor, rotate | Jonathan Protzenko | 2023-10-22 | 1 | -3/+21 |
| * | | | Remove some assumed types and add more support for builtin definitions | Son Ho | 2023-10-23 | 1 | -1/+1 |
| | |/
|/| |
|
| * | | Start updating to handle function pointers | Son Ho | 2023-10-20 | 1 | -1/+1 |
| |/ |
|
| * | Start adding support for traits | Son Ho | 2023-08-31 | 1 | -5/+10 |
| * | Do not introduce match on the fuel for non-recursive functions | Son Ho | 2022-11-16 | 1 | -7/+22 |
| * | Make [Result::Failure] type an [Error] parameter | Son Ho | 2022-11-14 | 1 | -1/+1 |
| * | Implement the generation of stateful backward functions (controlled by an opt... | Son Ho | 2022-11-10 | 1 | -1/+1 |
| * | Move the AssignGlobal case from statement to rvalue | Son Ho | 2022-10-28 | 1 | -1/+1 |
| * | Make minor updates to account for Charon's changes | Son Ho | 2022-10-28 | 1 | -2/+1 |
| * | Reformat the code | Son Ho | 2022-10-27 | 1 | -5/+5 |
| * | Reorganize a bit the project | Son Ho | 2022-10-27 | 1 | -0/+143 |
