summaryrefslogtreecommitdiff
path: root/src/Expressions.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-2/+2
* Add commentsSon Ho2022-02-231-0/+2
* Start adding more assumed types and functionsSon Ho2022-02-081-2/+5
* Implement extraction of function callsSon Ho2022-02-031-0/+20
* Make more cleanupSon Ho2022-01-291-8/+28
* Make minor modificationsSon Ho2022-01-241-2/+2
* Cleanup a bitSon Ho2021-12-011-2/+0
* Derive more printing functionsSon Ho2021-11-291-0/+4
* Start deriving formatters for debuggingSon Ho2021-11-291-4/+7
* Implement type substitution for function definitions (and expressions,Son Ho2021-11-251-0/+2
* Make progress on eval_rvalue and update aggregate_kindSon Ho2021-11-241-1/+2
* Add a commentSon Ho2021-11-221-0/+1
* Make progress on {read,write}_pathSon Ho2021-11-221-1/+0
* Remove the automatic derivation of Yojson (de)serializersSon Ho2021-11-181-11/+4
* Implement deserialization for ExpressionsSon Ho2021-11-171-4/+6
* Also generate to_yojson functionsSon Ho2021-11-171-12/+11
* Use [@@ëerive of_json] on all the typesSon Ho2021-11-171-3/+11
* Implement CfimAst.mlSon Ho2021-11-031-1/+1
* Add Values.ml and Expressions.mlSon Ho2021-11-031-0/+78