summaryrefslogtreecommitdiff
path: root/src/LlbcOfJson.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* Rename CfimOfJson to LlbcOfJsonSon Ho2022-03-031-0/+682