summaryrefslogtreecommitdiff
path: root/compiler/dune (unfollow)
Commit message (Expand)AuthorFilesLines
2023-11-22Fix an issue with the nix flake and update the flake.lockSon Ho1-1/+1
2023-11-21Add an `is_local` field to declarationsSon Ho1-2/+2
2023-11-21Rename PrimitiveValues to ValuesSon Ho1-2/+0
2023-11-20Use the name matcher implemented in CharonSon Ho1-1/+2
2023-11-16Rename Driver.ml to Main.mlSon Ho1-3/+3
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho1-1/+0
2023-11-13Add RegionsHierarchy.mlSon Ho1-0/+1
2023-10-25Make the hashmap files typecheck again in LeanSon Ho1-0/+1
2023-10-25Update following the addition of raw pointersSon Ho1-1/+1
2023-10-23Remove some assumed types and add more support for builtin definitionsSon Ho1-1/+1
2023-09-07Map some globals like u32::MAX to standard definitionsSon Ho1-0/+1
2023-08-31Start adding support for traitsSon Ho1-0/+1
2023-08-02Make progressSon Ho1-2/+3
2023-06-04Initial Lean backend, WIPJonathan Protzenko1-1/+1
2023-02-03Split InterpreterLoops into several filesSon Ho1-0/+4
2023-02-03Implement ReorderDecls.mlSon Ho1-0/+1
2023-02-03Add an SCC.ml file for strongly connected componentsSon Ho1-1/+2
2023-02-03Start implementing support for loopsSon Ho1-1/+2
2022-11-14Make minor modificationsSon Ho1-2/+0
2022-11-14Make good progress on the Coq backendSon Ho1-2/+4
2022-11-14Reorganize the project to prepare for new backendsSon Ho1-1/+1
2022-11-10Implement a Config.ml file which groups all the global options in referencesSon Ho1-0/+1
2022-10-28Make minor updates to account for Charon's changesSon Ho1-1/+0
2022-10-28Take care of some TODOsSon Ho1-1/+0
2022-10-28Move some files to the Charon projectSon Ho1-7/+2
2022-10-27Reformat the codeSon Ho1-10/+53
2022-10-27Move constant_value to PrimitiveValues.mlSon Ho1-1/+1
2022-10-27Rename driver.ml to Driver.mlSon Ho1-1/+1
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Start generating documentationSon Ho1-2/+25
2022-09-22Reformat the project with duneSon Ho1-15/+19
2022-05-10Use the core_unix package instead of coreSon Ho1-1/+1
2022-03-04Update the code to create missing directories upon exportSon Ho1-1/+2
2022-01-06Cleanup a bit more the dependencies and activate more warnings/errorsSon Ho1-2/+2
2021-12-15Parsing of command-line argumentsJonathan Protzenko1-2/+2
2021-12-03Add code to derive polymorphic visitors for g_typed_value and typed_valueSon Ho1-0/+2
2021-12-03Make minor modificationsSon Ho1-1/+1
2021-11-29Start deriving formatters for debuggingSon Ho1-1/+2
2021-11-29Start working logging and make progress on printing ASTsSon Ho1-1/+1
2021-11-26Update the env definition to make the frames easier to manipulateSon Ho1-2/+2
2021-11-23Move some definitions to Contexts.ml and reactivate the warningsSon Ho1-2/+2
2021-11-23Activate exception backtraceSon Ho1-1/+15
2021-11-18Remove the automatic derivation of Yojson (de)serializersSon Ho1-2/+1
2021-11-17Use [@@ëerive of_json] on all the typesSon Ho1-1/+1
2021-11-17Start working on json deserializationSon Ho1-1/+3
2021-11-02Setup the projectSon Ho1-0/+2