summaryrefslogtreecommitdiff
path: root/compiler/ReorderDecls.ml (unfollow)
Commit message (Expand)AuthorFilesLines
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