summaryrefslogtreecommitdiff
path: root/src/LlbcOfJson.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Make minor cleanupSon Ho2022-09-221-3/+8
|
* Make minor modificationsSon Ho2022-09-221-48/+57
|
* Create global declaration group, address PR changes but introduce bugsSidney Congard2022-07-291-20/+17
|
* Address much stuff of the PR, throw exceptions at remaining placesSidney Congard2022-07-181-28/+45
|
* Remove last prints, adapt JSONSidney Congard2022-07-051-3/+3
|
* adapt to new LLBC (without OperandConstantValue)Sidney Congard2022-06-231-18/+12
|
* concrete & symbolic evaluation work with new LLBC formatSidney Congard2022-06-211-91/+82
|
* read globals from LLBC JSON into functionsSidney Congard2022-06-081-42/+104
|
* Treat integer casts in a general mannerSon Ho2022-05-151-0/+4
|
* Add AggregatedOptionSon Ho2022-05-151-0/+4
|
* Perform some renamingsSon Ho2022-05-011-5/+5
|
* Introduce the App expression, and make progress updating the codeSon Ho2022-04-261-1/+1
|
* Fix minor mistakes with regards to extraction of external declarationsSon Ho2022-03-041-0/+1
|
* In fun_id rename the variant Local to RegularSon Ho2022-03-031-2/+2
|
* Make good progress on adding support for external and opaqueSon Ho2022-03-031-6/+12
| | | | declarations
* Rename CfimOfJson to LlbcOfJsonSon Ho2022-03-031-0/+682