summaryrefslogtreecommitdiff
path: root/compiler/ReorderDecls.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-09-11Make progress on correctly handling trait method calls in the symbolic executionSon Ho1-2/+2
2023-09-10Add support for the trait associated constantsSon Ho1-1/+3
2023-02-03Implement a pass to filter the unused input arguments in the loop functionsSon Ho1-1/+1
2023-02-03Introduce new loop ids in Pure and keep track of the number of loops in a fun...Son Ho1-1/+1
2023-02-03Add loop ids to the pure functions identifiersSon Ho1-4/+8
2023-02-03Compute the SCCs of the functions to extract in Translate.mlSon Ho1-15/+71
2023-02-03Implement ReorderDecls.mlSon Ho1-0/+150