summaryrefslogtreecommitdiff
path: root/compiler/ReorderDecls.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Make progress on correctly handling trait method calls in the symbolic executionSon Ho2023-09-111-2/+2
|
* Add support for the trait associated constantsSon Ho2023-09-101-1/+3
|
* Implement a pass to filter the unused input arguments in the loop functionsSon Ho2023-02-031-1/+1
|
* Introduce new loop ids in Pure and keep track of the number of loops in a ↵Son Ho2023-02-031-1/+1
| | | | function
* Add loop ids to the pure functions identifiersSon Ho2023-02-031-4/+8
|
* Compute the SCCs of the functions to extract in Translate.mlSon Ho2023-02-031-15/+71
|
* Implement ReorderDecls.mlSon Ho2023-02-031-0/+150