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