summaryrefslogtreecommitdiff
path: root/src/Expressions.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-02-23Add commentsSon Ho1-0/+2
2022-02-08Start adding more assumed types and functionsSon Ho1-2/+5
2022-02-03Implement extraction of function callsSon Ho1-0/+20
2022-01-29Make more cleanupSon Ho1-8/+28
2022-01-24Make minor modificationsSon Ho1-2/+2
2021-12-01Cleanup a bitSon Ho1-2/+0
2021-11-29Derive more printing functionsSon Ho1-0/+4
2021-11-29Start deriving formatters for debuggingSon Ho1-4/+7
2021-11-25Implement type substitution for function definitions (and expressions,Son Ho1-0/+2
2021-11-24Make progress on eval_rvalue and update aggregate_kindSon Ho1-1/+2
2021-11-22Add a commentSon Ho1-0/+1
2021-11-22Make progress on {read,write}_pathSon Ho1-1/+0
2021-11-18Remove the automatic derivation of Yojson (de)serializersSon Ho1-11/+4
2021-11-17Implement deserialization for ExpressionsSon Ho1-4/+6
2021-11-17Also generate to_yojson functionsSon Ho1-12/+11
2021-11-17Use [@@ëerive of_json] on all the typesSon Ho1-3/+11
2021-11-03Implement CfimAst.mlSon Ho1-1/+1
2021-11-03Add Values.ml and Expressions.mlSon Ho1-0/+78