summaryrefslogtreecommitdiff
path: root/compiler/LlbcAstUtils.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update the code following changes in the NameMatcherSon Ho2023-11-291-0/+2
|
* Use the name matcher implemented in CharonSon Ho2023-11-201-5/+10
|
* Start updating the name type, cleanup the names and the module abbrevsSon Ho2023-11-151-11/+6
|
* Add RegionsHierarchy.mlSon Ho2023-11-131-0/+13
|
* Remove the 'r type variable from the ty type definitionSon Ho2023-11-121-4/+4
|
* Fix some issues at extraction and add builtinsSon Ho2023-10-251-6/+13
|
* 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