An extensible framework for variable-precision data-flow analyses in MPS.

Tools