summaryrefslogtreecommitdiff
path: root/compiler (unfollow)
Commit message (Expand)AuthorFilesLines
2023-12-12Move most of the substitution functions to CharonSon Ho1-315/+1
2023-12-07Fix the extraction of the empty typeSon Ho1-12/+18
2023-12-07Update the micro passes to inline deconstruction of tuples with one fieldSon Ho1-6/+34
2023-12-07Fix minor issues when extracting a structure with one field as a tupleSon Ho2-21/+45
2023-12-07Use a better syntax when extracting tuple types (structures with unnamed fields)Son Ho10-199/+347
2023-12-05Remove the type sv_kind ("symbolic value kind")Son Ho8-158/+63
2023-12-05Print error messages when the command line arguments are invalidSon Ho1-10/+40
2023-12-05Fix a minor issue with the use of const genericsSon Ho6-13/+40
2023-12-05Update following changes in CharonSon Ho22-522/+700
2023-11-29Update the code following changes in the NameMatcherSon Ho4-6/+23
2023-11-29Fix a minor issue with the extractionSon Ho1-4/+5
2023-11-29Add support for more bitwise operations and update the extractionSon Ho2-9/+17
2023-11-27Fix the issues with the cross-references for OCaml docSon Ho16-35/+35
2023-11-27Update a commentSon Ho1-1/+2
2023-11-27Update the way the Primitives file is copiedSon Ho1-13/+20
2023-11-27Do not activate the sanity (invariant) checks by defaultSon Ho7-14/+14
2023-11-27Generate a dedicated file for the external typesSon Ho1-12/+102
2023-11-27Update the generation of files for external definitions and regenerate the testsSon Ho1-9/+14
2023-11-24Add the alloc::string::String type in the builtinsSon Ho3-5/+16
2023-11-24Update a commentSon Ho1-2/+3
2023-11-24Make a minor fixSon Ho1-1/+1
2023-11-24Update some assumed type names/variantsSon Ho2-34/+41
2023-11-24Improve the error messages for some name collisionsSon Ho1-2/+4
2023-11-24Make a minor update in ExtractName.pattern_to_extract_nameSon Ho1-1/+4
2023-11-22Fix an issue with the nix flake and update the flake.lockSon Ho1-1/+1
2023-11-22Cleanup a bitSon Ho1-87/+0
2023-11-22Make a minor modificationSon Ho1-2/+3
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 16:06:20 +0000