summaryrefslogtreecommitdiff
path: root/src/Expressions.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Apply small changes from the PRSidney Congard2022-07-131-1/+0
|
* concrete & symbolic evaluation work with new LLBC formatSidney Congard2022-06-211-22/+1
|
* read globals from LLBC JSON into functionsSidney Congard2022-06-081-0/+2
|
* Treat integer casts in a general mannerSon Ho2022-05-151-1/+7
|
* Add AggregatedOptionSon Ho2022-05-151-3/+2
|
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-2/+2
|
* Add commentsSon Ho2022-02-231-0/+2
|
* Start adding more assumed types and functionsSon Ho2022-02-081-2/+5
|
* Implement extraction of function callsSon Ho2022-02-031-0/+20
|
* Make more cleanupSon Ho2022-01-291-8/+28
|
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 12:26:57 +0000