summaryrefslogtreecommitdiff
path: root/src/LlbcAst.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Perform some renamingsSon Ho2022-05-011-2/+2
|
* In fun_id rename the variant Local to RegularSon Ho2022-03-031-1/+1
|
* Make good progress on adding support for external and opaqueSon Ho2022-03-031-19/+0
| | | | declarations
* Rename CfimOfJson to LlbcOfJsonSon Ho2022-03-031-0/+13
|
* Rename CFIM to LLBCSon Ho2022-03-031-0/+188