-
Eliminate branches: implement isl analysis and recurse into conditionals 2 of 2 checklist items completed
-
Pragmas and OpenMP Support 2 of 2 checklist items completed
-
Customizability Extensions: CFunction Signatures and Code Literals 1 of 1 checklist item completed
-
Loop Transformations: Cutting and Peeling 2 of 2 checklist items completed
-
Support for Boolean Operations and Relations 6 of 6 checklist items completed