summaryrefslogtreecommitdiff
path: root/src/Expressions.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | etc.)
* 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