Closed strub closed 1 month ago
This new version of constant-propagation doesn't stop after the propagation. Instead, it continues as far as possible.
The tactic takes as argument a limit n. In that case, the constant propagation will only be applied for the first n lines of the program.
n
This new version of constant-propagation doesn't stop after the propagation. Instead, it continues as far as possible.
The tactic takes as argument a limit
n. In that case, the constant propagation will only be applied for the firstnlines of the program.