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