summaryrefslogtreecommitdiff
path: root/compiler/LlbcAstUtils.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove some assumed types and add more support for builtin definitionsSon Ho2023-10-231-4/+4
* Fix more issues with the extractionSon Ho2023-09-171-4/+13
* Map some globals like u32::MAX to standard definitionsSon Ho2023-09-071-0/+20
* Move some files to the Charon projectSon Ho2022-10-281-60/+1
* Reorganize a bit the projectSon Ho2022-10-271-0/+73