Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve the generation of parent clause names | Son Ho | 2023-11-21 | 3 | -11/+45 |
| | |||||
* | Update the generation of names for the parent trait clauses | Son Ho | 2023-11-21 | 1 | -4/+29 |
| | |||||
* | Reorganize the "Extract" files | Son Ho | 2023-11-21 | 7 | -1439/+1299 |
| | |||||
* | Regenerate the files | Son Ho | 2023-11-21 | 65 | -1578/+3156 |
| | |||||
* | Make minor updates to the extraction of spans | Son Ho | 2023-11-21 | 1 | -4/+5 |
| | |||||
* | Add span information to the generated code | Son Ho | 2023-11-21 | 12 | -45/+91 |
| | |||||
* | Add an `is_local` field to declarations | Son Ho | 2023-11-21 | 5 | -3/+16 |
| | |||||
* | Rename PrimitiveValues to Values | Son Ho | 2023-11-21 | 14 | -24/+11 |
| | |||||
* | Regenerate the betree files | Son Ho | 2023-11-21 | 12 | -274/+279 |
| | |||||
* | Regenerate the Traits files | Son Ho | 2023-11-21 | 3 | -184/+195 |
| | |||||
* | Regenerate most of the test files | Son Ho | 2023-11-21 | 35 | -1016/+1045 |
| | |||||
* | Make a minor modification | Son Ho | 2023-11-21 | 1 | -1/+11 |
| | |||||
* | Update more names | Son Ho | 2023-11-21 | 4 | -54/+55 |
| | |||||
* | Update the standard libraries | Son Ho | 2023-11-21 | 5 | -78/+85 |
| | |||||
* | Fix issues with the builtin names | Son Ho | 2023-11-21 | 3 | -56/+95 |
| | |||||
* | Fix minor issues | Son Ho | 2023-11-20 | 3 | -3/+9 |
| | |||||
* | Fix minor issues | Son Ho | 2023-11-20 | 2 | -55/+13 |
| | |||||
* | Use the name matcher implemented in Charon | Son Ho | 2023-11-20 | 19 | -495/+440 |
| | |||||
* | Fix a minor issue | Son Ho | 2023-11-16 | 1 | -1/+6 |
| | |||||
* | Do more cleanup | Son Ho | 2023-11-16 | 2 | -16/+17 |
| | |||||
* | Update SymbolicToPure.eliminate_box_functions | Son Ho | 2023-11-16 | 1 | -30/+45 |
| | |||||
* | Rename Driver.ml to Main.ml | Son Ho | 2023-11-16 | 3 | -10/+10 |
| | |||||
* | Finish propagating the changes to the names and cleaning | Son Ho | 2023-11-16 | 12 | -179/+244 |
| | |||||
* | Do more cleanup | Son Ho | 2023-11-15 | 2 | -5/+4 |
| | |||||
* | Do more cleanup | Son Ho | 2023-11-15 | 2 | -38/+34 |
| | |||||
* | Start updating the name type, cleanup the names and the module abbrevs | Son Ho | 2023-11-15 | 50 | -4397/+3751 |
| | |||||
* | Normalize the types when computing the regions hierarchies | Son Ho | 2023-11-13 | 4 | -77/+186 |
| | |||||
* | Make minor modifications | Son Ho | 2023-11-13 | 6 | -20/+53 |
| | |||||
* | Add RegionsHierarchy.ml | Son Ho | 2023-11-13 | 16 | -147/+453 |
| | |||||
* | Add the "V" prefix to most variants related to values | Son Ho | 2023-11-12 | 15 | -645/+629 |
| | |||||
* | Prefix variants related to types with "T" | Son Ho | 2023-11-12 | 27 | -321/+320 |
| | |||||
* | Rename some variants | Son Ho | 2023-11-12 | 9 | -15/+15 |
| | |||||
* | Remove the 'r type variable from the ty type definition | Son Ho | 2023-11-12 | 42 | -1811/+1305 |
| | |||||
* | Merge pull request #44 from AeneasVerif/son_traits_types | Son HO | 2023-11-10 | 168 | -13173/+25526 |
|\ | | | | | Add support for traits | ||||
| * | Check in nix that the regenerated files don't differ from the checked out files | Son Ho | 2023-11-10 | 1 | -2/+19 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -4/+4 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -2/+1 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -0/+1 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -6/+2 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -1/+4 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -1/+1 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -4/+5 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -4/+6 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -1/+3 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -2/+2 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -1/+1 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -3/+5 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -1/+1 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -3/+3 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -1/+5 |
| | |