Changelog for PropaFP

Unreleased changes

• Polish documentation
• Update tests for FPTaylor v0.9.4
  • v0.9.4 is much faster in some cases and produces slightly different (often slightly better) bounds.

v0.1.1.0

• Remove quotes from FPTaylor variables, allowing support for FPTaylor >=0.9.3
• Re-enable PropaFP.Expression.normalizeBoolean in PropaFP.DeriveBounds
  • Aggressive simplification rules applied in normalizeBoolean are sometimes required to successfully derive bounds for variables
• Add eliminate_if transformation to the PropaFP Why3 driver
  • This transformation performs simplifications that PropaFP cannot currently do, making some problems easier for provers
• Regenerate Why3 SMT files using new driver
• Add test suite
  • Tests dReal(/LPPaver) and MetiTarski translators
  • Checks that PropaFP generated files are the same as the processed files stored under the examples folder

v0.1.0.0

• Initial release