Extend behaviour of eliminate_epsilon
The eliminate_epsilon transformation in Spark has a broader scope than the current in Why3. This ticket is to investigate merging the two.
The eliminate_epsilon transformation in Spark has a broader scope than the current in Why3. This ticket is to investigate merging the two.