summaryrefslogtreecommitdiff
path: root/src/main.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Cleanup a bitSon Ho2022-01-051-6/+0
|
* Introduce the type_context definitionSon Ho2022-01-051-17/+23
|
* Parsing of command-line argumentsJonathan Protzenko2021-12-151-1/+25
|
* Cleanup a bitSon Ho2021-12-011-1/+1
|
* Start deriving formatters for debuggingSon Ho2021-11-291-0/+4
|
* Improve formattingSon Ho2021-11-291-1/+1
|
* Test the unit functionsSon Ho2021-11-291-1/+5
|
* Debug pretty-printingSon Ho2021-11-291-1/+1
|
* Fix some issues and start printing modulesSon Ho2021-11-291-4/+4
|
* Move some definitions from CfimOfJson.ml to a new Modules.mlSon Ho2021-11-291-0/+4
|
* 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-0/+1
|
* Make a minor modificationSon Ho2021-11-251-1/+0
|
* Activate exception backtraceSon Ho2021-11-231-0/+5
|
* Implement end_borrow_get_borrow_in_envSon Ho2021-11-221-3/+1
|
* Start working on pretty-printingSon Ho2021-11-191-0/+2
|
* Start working on end_borrowSon Ho2021-11-181-0/+1
|
* Cleanup moreSon Ho2021-11-181-14/+0
|
* Cleanup a bitSon Ho2021-11-181-28/+0
|
* Remove the automatic derivation of Yojson (de)serializersSon Ho2021-11-181-2/+0
|
* Make the json deserializer workSon Ho2021-11-181-3/+17
|
* Start implementing by hand the json deserializersSon Ho2021-11-171-0/+4
|
* Also generate to_yojson functionsSon Ho2021-11-171-1/+7
|
* Make minor modificationsSon Ho2021-11-171-2/+6
|
* Make progress on deserializing modulesSon Ho2021-11-171-26/+20
|
* Use [@@ëerive of_json] on all the typesSon Ho2021-11-171-1/+1
|
* Start working on json deserializationSon Ho2021-11-171-1/+15
|
* Implement CfimAst.mlSon Ho2021-11-031-0/+1
|
* Split main.ml between Identifiers.ml and Types.mlSon Ho2021-11-031-138/+1
|
* Add some type definitionsSon Ho2021-11-031-2/+43
|
* Setup the projectSon Ho2021-11-021-0/+110
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 18:09:09 +0000