| Commit message (Expand) | Author | Age | Files | Lines |
* | WIP Beginning working on better errors: began replacing raise (Failure) and a... | Escherichia | 2024-03-28 | 1 | -0/+1 |
* | Fix an issue with the nix flake and update the flake.lock | Son Ho | 2023-11-22 | 1 | -1/+1 |
* | Add an `is_local` field to declarations | Son Ho | 2023-11-21 | 1 | -2/+2 |
* | Rename PrimitiveValues to Values | Son Ho | 2023-11-21 | 1 | -2/+0 |
* | Use the name matcher implemented in Charon | Son Ho | 2023-11-20 | 1 | -1/+2 |
* | Rename Driver.ml to Main.ml | Son Ho | 2023-11-16 | 1 | -3/+3 |
* | Start updating the name type, cleanup the names and the module abbrevs | Son Ho | 2023-11-15 | 1 | -1/+0 |
* | Add RegionsHierarchy.ml | Son Ho | 2023-11-13 | 1 | -0/+1 |
* | Make the hashmap files typecheck again in Lean | Son Ho | 2023-10-25 | 1 | -0/+1 |
* | Update following the addition of raw pointers | Son Ho | 2023-10-25 | 1 | -1/+1 |
* | Remove some assumed types and add more support for builtin definitions | Son Ho | 2023-10-23 | 1 | -1/+1 |
* | Map some globals like u32::MAX to standard definitions | Son Ho | 2023-09-07 | 1 | -0/+1 |
* | Start adding support for traits | Son Ho | 2023-08-31 | 1 | -0/+1 |
* | Make progress | Son Ho | 2023-08-02 | 1 | -2/+3 |
* | Initial Lean backend, WIP | Jonathan Protzenko | 2023-06-04 | 1 | -1/+1 |
* | Split InterpreterLoops into several files | Son Ho | 2023-02-03 | 1 | -0/+4 |
* | Implement ReorderDecls.ml | Son Ho | 2023-02-03 | 1 | -0/+1 |
* | Add an SCC.ml file for strongly connected components | Son Ho | 2023-02-03 | 1 | -1/+2 |
* | Start implementing support for loops | Son Ho | 2023-02-03 | 1 | -1/+2 |
* | Make minor modifications | Son Ho | 2022-11-14 | 1 | -2/+0 |
* | Make good progress on the Coq backend | Son Ho | 2022-11-14 | 1 | -2/+4 |
* | Reorganize the project to prepare for new backends | Son Ho | 2022-11-14 | 1 | -1/+1 |
* | Implement a Config.ml file which groups all the global options in references | Son Ho | 2022-11-10 | 1 | -0/+1 |
* | Make minor updates to account for Charon's changes | Son Ho | 2022-10-28 | 1 | -1/+0 |
* | Take care of some TODOs | Son Ho | 2022-10-28 | 1 | -1/+0 |
* | Move some files to the Charon project | Son Ho | 2022-10-28 | 1 | -7/+2 |
* | Reformat the code | Son Ho | 2022-10-27 | 1 | -10/+53 |
* | Move constant_value to PrimitiveValues.ml | Son Ho | 2022-10-27 | 1 | -1/+1 |
* | Rename driver.ml to Driver.ml | Son Ho | 2022-10-27 | 1 | -1/+1 |
* | Reorganize a bit the project | Son Ho | 2022-10-27 | 1 | -0/+48 |