Open oflatt opened 5 days ago
This PR implements multiplication loop motion as two rules: one that moves the multiplication into the loop using an addition, and another that consolidates loop iteration variables.
Unfortunately the extractor fails to find the solution
This PR implements multiplication loop motion as two rules: one that moves the multiplication into the loop using an addition, and another that consolidates loop iteration variables.
Unfortunately the extractor fails to find the solution