summaryrefslogtreecommitdiff
path: root/src/Values.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-22Implement abs_to_stringSon Ho1-2/+3
2021-11-22Implement typed_avalue_to_string_Son Ho1-4/+4
2021-11-22Start working on printing for avaluesSon Ho1-17/+29
2021-11-19Make good progress on pretty-printing for valuesSon Ho1-2/+2
2021-11-18Start working on end_borrowSon Ho1-18/+20
2021-11-18Start working on symbolic values and abstractionsSon Ho1-7/+83
2021-11-18Start working on the values for the interpreterSon Ho1-0/+47
2021-11-18Remove the automatic derivation of Yojson (de)serializersSon Ho1-3/+1
2021-11-17Also generate to_yojson functionsSon Ho1-3/+5
2021-11-17Make progress on deserializing modulesSon Ho1-2/+0
2021-11-17Use [@@ëerive of_json] on all the typesSon Ho1-12/+23
2021-11-03Add Values.ml and Expressions.mlSon Ho1-0/+40