v0.2.0

What's Changed

• Ahmed irfan patch 1 by @ahmed-irfan in #71
• Fixed divrem bugs, added pseudo divrem by @Ovascos in #72
• include ctests option in cmake by @ahmed-irfan in #75
• Make tests conditional on BUILD_TESTING by @yurivict in #73
• Use Py_hash_t as return type of hash functions by @jamesjer in #76
• Data structures update by @Ovascos in #77
• Support for subresultant generation and features for Zp by @Ovascos in #79
• Rabin root finding by @Ovascos in #78
• Feasibility set int by @Ovascos in #80
• Fixed bounds calculcation by @Ovascos in #82
• Integer handling for feasible sets by @Ovascos in #83
• fix clang error by @ahmed-irfan in #85
• fixes #90 by @ahmed-irfan in #91
• min cmake 3.5 by @ahmed-irfan in #92

New Contributors

• @Ovascos made their first contribution in #72
• @yurivict made their first contribution in #73
• @jamesjer made their first contribution in #76

Full Changelog: v0.1.13...v0.2.0

v0.1.13

fix patch number in the cmake file

v0.1.11

A release to go along with Yices 2.6.4 when it is ready.

Version bump. Various bugs fixed.

Fixes:

• Memory leaks
• Build system

v0.1.9

New "improved" versions of doctest.h and README.md

Libpoly-0.1.8

Version bump. Various bugs fixed.

Libpoly-0.1.7

This is just a version bump to keep up with the PPA. The PPA is very fiddly to update and
require me to twice increment the version number ("computer says no") because of conflicting
*.orig.tar.gz uploads. I have updated the PPA recipe accordingly, but need to find a place to put it where
we won't forget it.

Libpoly-0.1.5

Release twinned with Yices-2.6.0

Update to go with Yices 2.5.3

This release coincides with the Yices 2.5.3 release. Which itself is timed
to our first debian package.

Update to go with Yices 2.5.0

Various improvements and some API changes. Used in SMT-COMP 2016.