3 ms·
Fair enough :) Although skimming the paper you linked, they say they don't check termination of loops, which surprises me.
by deredede 3y ago
Fair enough :) Although skimming the paper you linked, they say they don't check termination of loops, which surprises me.