| Commit message (Expand) | Author | Files | Lines |
2023-11-22 | Cleanup a bit | Son Ho | 1 | -87/+0 |
2023-11-22 | Make a minor modification | Son Ho | 1 | -2/+3 |
2023-11-22 | Use NameMatcher.NameMatcherMap instead of associative lists | Son Ho | 2 | -18/+22 |
2023-11-22 | Improve further the generation of parent clause/trait clause names | Son Ho | 8 | -48/+177 |
2023-11-21 | Improve the generation of parent clause names | Son Ho | 3 | -11/+45 |
2023-11-21 | Update the generation of names for the parent trait clauses | Son Ho | 1 | -4/+29 |
2023-11-21 | Reorganize the "Extract" files | Son Ho | 7 | -1439/+1299 |
2023-11-21 | Make minor updates to the extraction of spans | Son Ho | 1 | -4/+5 |
2023-11-21 | Add span information to the generated code | Son Ho | 12 | -45/+91 |
2023-11-21 | Add an `is_local` field to declarations | Son Ho | 5 | -3/+16 |
2023-11-21 | Rename PrimitiveValues to Values | Son Ho | 14 | -24/+11 |
2023-11-21 | Make a minor modification | Son Ho | 1 | -1/+11 |
2023-11-21 | Update more names | Son Ho | 1 | -6/+7 |
2023-11-21 | Fix issues with the builtin names | Son Ho | 2 | -51/+88 |
2023-11-20 | Fix minor issues | Son Ho | 3 | -3/+9 |
2023-11-20 | Fix minor issues | Son Ho | 2 | -55/+13 |
2023-11-20 | Use the name matcher implemented in Charon | Son Ho | 19 | -495/+440 |
2023-11-16 | Fix a minor issue | Son Ho | 1 | -1/+6 |
2023-11-16 | Do more cleanup | Son Ho | 2 | -16/+17 |
2023-11-16 | Update SymbolicToPure.eliminate_box_functions | Son Ho | 1 | -30/+45 |
2023-11-16 | Rename Driver.ml to Main.ml | Son Ho | 2 | -3/+3 |
2023-11-16 | Finish propagating the changes to the names and cleaning | Son Ho | 12 | -179/+244 |
2023-11-15 | Do more cleanup | Son Ho | 2 | -5/+4 |
2023-11-15 | Do more cleanup | Son Ho | 2 | -38/+34 |
2023-11-15 | Start updating the name type, cleanup the names and the module abbrevs | Son Ho | 50 | -4397/+3751 |
2023-11-13 | Normalize the types when computing the regions hierarchies | Son Ho | 4 | -77/+186 |
2023-11-13 | Make minor modifications | Son Ho | 6 | -20/+53 |
2023-11-13 | Add RegionsHierarchy.ml | Son Ho | 16 | -147/+453 |
2023-11-12 | Add the "V" prefix to most variants related to values | Son Ho | 15 | -645/+629 |
2023-11-12 | Prefix variants related to types with "T" | Son Ho | 27 | -321/+320 |
2023-11-12 | Rename some variants | Son Ho | 9 | -15/+15 |
2023-11-12 | Remove the 'r type variable from the ty type definition | Son Ho | 42 | -1811/+1305 |
2023-11-09 | Make the traits work for Coq | Son Ho | 6 | -193/+353 |
2023-11-09 | Extract the trait parent clauses after the types and the constants | Son Ho | 1 | -24/+25 |
2023-11-09 | Progress on making the traits work for F* | Son Ho | 3 | -36/+115 |
2023-11-09 | Modify some options and update the Makefile | Son Ho | 2 | -9/+9 |
2023-11-09 | Fix a small issue in AssociatedTypes | Son Ho | 7 | -15/+21 |
2023-11-07 | Update the extraction | Son Ho | 1 | -2/+2 |
2023-11-07 | Update the normalization of associated types | Son Ho | 4 | -50/+126 |
2023-11-06 | Fix a naming issue | Son Ho | 1 | -1/+3 |
2023-11-06 | Fix some issues when extracting references to Self | Son Ho | 1 | -30/+57 |
2023-11-06 | Update following some changes in Charon | Son Ho | 4 | -57/+59 |
2023-10-30 | Make minor updates following changes in Charon | Son Ho | 2 | -6/+2 |
2023-10-27 | Fix minor issues in the name collision detection | Son Ho | 2 | -10/+23 |
2023-10-27 | Fix a minor issue and regenerate some F* test files | Son Ho | 1 | -9/+20 |
2023-10-26 | Make minor modifications and update the array test for F* | Son Ho | 3 | -14/+17 |
2023-10-26 | Fix some issues and regenerate the HashmapMain example for Lean | Son Ho | 3 | -7/+18 |
2023-10-26 | Improve the handling of saved function effects in ExtractBuiltin.ml | Son Ho | 2 | -24/+44 |
2023-10-26 | Make progress on fixing the extraction | Son Ho | 1 | -8/+24 |
2023-10-26 | Improve ExtractBuiltin.ml | Son Ho | 2 | -46/+57 |