Update CMakeLists.txt

increment patch number

Merge pull request #68 from RyanGlScott/T67

Remove unused `enabled_count` variable

Don't break build on Darwin :-(

Fix a subtle memory leak that was introduced with #46.

The current I->a is simply overwritten, lp_value_assign takes care of properly destructing it before reassigning.

Merge branch 'master' of https://github.com/SRI-CSL/libpoly

fix memory leak

nudging the tag forward beyong the edit to the version numbers.

Release changes. We are going to be 0.1.5 because 1.4 is already out …

…there.

Version (((bump++)++)++)

leaks