summaryrefslogtreecommitdiff
path: root/src/dune (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Reorganize a bit the projectSon Ho2022-10-271-48/+0
|
* Start generating documentationSon Ho2022-10-261-2/+25
|
* Reformat the project with duneSon Ho2022-09-221-15/+19
|
* Use the core_unix package instead of coreSon Ho2022-05-101-1/+1
|
* Update the code to create missing directories upon exportSon Ho2022-03-041-1/+2
|
* Cleanup a bit more the dependencies and activate more warnings/errorsSon Ho2022-01-061-2/+2
|
* Parsing of command-line argumentsJonathan Protzenko2021-12-151-2/+2
|
* Add code to derive polymorphic visitors for g_typed_value and typed_valueSon Ho2021-12-031-0/+2
|
* Make minor modificationsSon Ho2021-12-031-1/+1
|
* Start deriving formatters for debuggingSon Ho2021-11-291-1/+2
|
* Start working logging and make progress on printing ASTsSon Ho2021-11-291-1/+1
|
* Update the env definition to make the frames easier to manipulateSon Ho2021-11-261-2/+2
|
* Move some definitions to Contexts.ml and reactivate the warningsSon Ho2021-11-231-2/+2
|
* Activate exception backtraceSon Ho2021-11-231-1/+15
|
* Remove the automatic derivation of Yojson (de)serializersSon Ho2021-11-181-2/+1
|
* Use [@@ëerive of_json] on all the typesSon Ho2021-11-171-1/+1
|
* Start working on json deserializationSon Ho2021-11-171-1/+3
|
* Setup the projectSon Ho2021-11-021-0/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-19 11:53:47 +0000