Open arporter opened 6 years ago
It would be very useful if Habakkuk were able to generate some parameterised expression for the working-set size of a loop body. Will probably have to do this in terms of the loop bounds.
It would be very useful if Habakkuk were able to generate some parameterised expression for the working-set size of a loop body. Will probably have to do this in terms of the loop bounds.