summaryrefslogtreecommitdiff
path: root/compiler (unfollow)
Commit message (Expand)AuthorFilesLines
2023-11-22Use NameMatcher.NameMatcherMap instead of associative listsSon Ho2-18/+22
2023-11-22Improve further the generation of parent clause/trait clause namesSon Ho8-48/+177
2023-11-21Improve the generation of parent clause namesSon Ho3-11/+45
2023-11-21Update the generation of names for the parent trait clausesSon Ho1-4/+29
2023-11-21Reorganize the "Extract" filesSon Ho7-1439/+1299
2023-11-21Make minor updates to the extraction of spansSon Ho1-4/+5
2023-11-21Add span information to the generated codeSon Ho12-45/+91
2023-11-21Add an `is_local` field to declarationsSon Ho5-3/+16
2023-11-21Rename PrimitiveValues to ValuesSon Ho14-24/+11
2023-11-21Make a minor modificationSon Ho1-1/+11
2023-11-21Update more namesSon Ho1-6/+7
2023-11-21Fix issues with the builtin namesSon Ho2-51/+88
2023-11-20Fix minor issuesSon Ho3-3/+9
2023-11-20Fix minor issuesSon Ho2-55/+13
2023-11-20Use the name matcher implemented in CharonSon Ho19-495/+440
2023-11-16Fix a minor issueSon Ho1-1/+6
2023-11-16Do more cleanupSon Ho2-16/+17
2023-11-16Update SymbolicToPure.eliminate_box_functionsSon Ho1-30/+45
2023-11-16Rename Driver.ml to Main.mlSon Ho2-3/+3
2023-11-16Finish propagating the changes to the names and cleaningSon Ho12-179/+244
2023-11-15Do more cleanupSon Ho2-5/+4
2023-11-15Do more cleanupSon Ho2-38/+34
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho50-4397/+3751
2023-11-13Normalize the types when computing the regions hierarchiesSon Ho4-77/+186
2023-11-13Make minor modificationsSon Ho6-20/+53
2023-11-13Add RegionsHierarchy.mlSon Ho16-147/+453
2023-11-12Add the "V" prefix to most variants related to valuesSon Ho15-645/+629
2023-11-12Prefix variants related to types with "T"Son Ho27-321/+320
2023-11-12Rename some variantsSon Ho9-15/+15
2023-11-12Remove the 'r type variable from the ty type definitionSon Ho42-1811/+1305
2023-11-09Make the traits work for CoqSon Ho6-193/+353
2023-11-09Extract the trait parent clauses after the types and the constantsSon Ho1-24/+25
2023-11-09Progress on making the traits work for F*Son Ho3-36/+115
2023-11-09Modify some options and update the MakefileSon Ho2-9/+9
2023-11-09Fix a small issue in AssociatedTypesSon Ho7-15/+21
2023-11-07Update the extractionSon Ho1-2/+2
2023-11-07Update the normalization of associated typesSon Ho4-50/+126
2023-11-06Fix a naming issueSon Ho1-1/+3
2023-11-06Fix some issues when extracting references to SelfSon Ho1-30/+57
2023-11-06Update following some changes in CharonSon Ho4-57/+59
2023-10-30Make minor updates following changes in CharonSon Ho2-6/+2
2023-10-27Fix minor issues in the name collision detectionSon Ho2-10/+23
2023-10-27Fix a minor issue and regenerate some F* test filesSon Ho1-9/+20
2023-10-26Make minor modifications and update the array test for F*Son Ho3-14/+17
2023-10-26Fix some issues and regenerate the HashmapMain example for LeanSon Ho3-7/+18
2023-10-26Improve the handling of saved function effects in ExtractBuiltin.mlSon Ho2-24/+44
2023-10-26Make progress on fixing the extractionSon Ho1-8/+24
2023-10-26Improve ExtractBuiltin.mlSon Ho2-46/+57
2023-10-26Make progress on fixing the extraction for LeanSon Ho4-106/+130
2023-10-26Fix more issues at extraction and factor out defs in ExtractBuiltinSon Ho2-266/+166