summaryrefslogtreecommitdiff
path: root/src/TypesUtils.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Reorganize a bit the projectSon Ho2022-10-271-190/+0
* Update the code documentation to fix links and syntax issuesSon Ho2022-10-261-8/+9
* Make minor cleanupSon Ho2022-09-221-1/+0
* Update src/TypesUtils.mlSon HO2022-09-221-1/+1
* read globals from LLBC JSON into functionsSidney Congard2022-06-081-5/+8
* Make minor fixesSon Ho2022-05-051-1/+5
* Add an Opaque variant to type_decl_kind and start updating the codeSon Ho2022-03-031-0/+3
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-5/+5
* Start adding more assumed types and functionsSon Ho2022-02-081-1/+7
* Add more printing facilities and fix minor bugsSon Ho2022-01-271-2/+7
* Make good progress on SymbolicToPure.translate_expansionSon Ho2022-01-251-0/+16
* Implement ty_has_borrow_under_mutSon Ho2022-01-191-3/+4
* Implement the sanity checks for consumption of symbolic values bySon Ho2022-01-191-2/+6
* Remove ty_has_regions and use ty_has_borrows insteadSon Ho2022-01-181-23/+0
* Implement ty_has_borrows and ty_has_nested_borrowsSon Ho2022-01-181-0/+21
* Rename type_is_primitively_copyable to ty_is_...Son Ho2022-01-181-2/+2
* Make a minor modificationSon Ho2022-01-181-0/+2
* Use the new collectionsSon Ho2022-01-151-3/+3
* Implement greedy expansion of symbolic variables and expansion beforeSon Ho2022-01-141-3/+6
* Update the projectors to ignore values when they don't contain regionsSon Ho2022-01-131-0/+20
* Fix some bugsSon Ho2022-01-061-1/+1
* Move more definitions and do more cleanupSon Ho2022-01-061-0/+15
* Cleanup and reorganizeSon Ho2022-01-061-0/+20
* Implement statement_has_loops and make minor modificationsSon Ho2022-01-061-1/+1
* Make progress on implementing the symbolic evaluation for the non-localSon Ho2022-01-051-0/+45
* Make good progress on eval_local_function_call_symbolicSon Ho2022-01-051-0/+22
* Merge the ADTs, tuples and assumed types in the type and valueSon Ho2021-12-011-2/+2
* Reimplement [erase_regions] with the substitution functionsSon Ho2021-12-011-25/+0
* Move some definitions to new filesSon Ho2021-12-011-0/+48
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-21 07:14:15 +0000