summaryrefslogtreecommitdiff
path: root/src/LlbcAstUtils.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* concrete & symbolic evaluation work with new LLBC formatSidney Congard2022-06-211-1/+0
* read globals from LLBC JSON into functionsSidney Congard2022-06-081-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-4/+7
* Rename CFIM to LLBCSon Ho2022-03-031-0/+69