3 ms·

For the "complexity assertion" I think you may be referring to something like this: http://resourceanalysis.cs.ru.nl/ http://resourceanalysis.cs.ru.nl/ Maybe i

by creatio 13y ago

For the "complexity assertion" I think you may be referring to something like this: http://resourceanalysis.cs.ru.nl/ http://resourceanalysis.cs.ru.nl/ Maybe its not totally exactly what you meant, but it can do basic analysis for loops.