summaryrefslogtreecommitdiff
path: root/compiler/Expressions.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-10-28Move some files to the Charon projectSon Ho1-118/+1
2022-10-27Move constant_value to PrimitiveValues.mlSon Ho1-1/+1
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-10/+10
2022-07-13Apply small changes from the PRSidney Congard1-1/+0
2022-06-21concrete & symbolic evaluation work with new LLBC formatSidney Congard1-22/+1
2022-06-08read globals from LLBC JSON into functionsSidney Congard1-0/+2
2022-05-15Treat integer casts in a general mannerSon Ho1-1/+7
2022-05-15Add AggregatedOptionSon Ho1-3/+2
2022-03-03Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho1-2/+2
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