summaryrefslogtreecommitdiff
path: root/src/dune (unfollow)
Commit message (Expand)AuthorFilesLines
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 06:35:19 +0000