Changelog for angr-z3-4.4.2.1.git.20161013-8.1.x86_64.rpm :
Wed Oct 19 14:00:00 2016 jslabyAATTsuse.com
- Update to version 4.4.1+git.20161018:

* adding enumeration tests

* spacing, unit test

* Bugfix for bv2fpa (model) conversion.

* Removed unnecessary variables.

* [CMake] Fix building the Java bindings.

* adding unit test for enumeration types

* Tabs

* undo breaking commit

* Whitespace

* Fixed iterator invalidation bug in theory_arith_nl.

* add fd solver for finite domain queries
- remove link-against_libs.patch

Mon Oct 17 14:00:00 2016 jslabyAATTsuse.com
- make -devel require libz3, not z3
- add link-against_libs.patch

Mon Oct 10 14:00:00 2016 mpluskalAATTsuse.com
- Update to version 4.4.1+git.20161007:

* Z3_query_constructor documentation clarification

* add mutex pass

* Build/test fix for python3

* Test fix for python3

* Added dummy code contracts for .NET Core/CoreCLR builds.

* Remove unnecessary \"unsafe\" qualifier on internal .NET API class.

* add mutex preprocessing to maxsat, add parsing functions to C++ API

* add example of parsing with external declarations
- Speedup build by using ninja

Fri Sep 16 14:00:00 2016 mpluskalAATTsuse.com
- Update to version 4.4.1+git.20160914:

* addressing max-segment issue for AMD64 + Debug

* safe sat clause_offset in debug mode

* safe sat clause_offset in debug mode

* fixes to consequence generation and cancellation

* move from uint_set to hashtable over unsigned to save memory overhead in consequence generation

* ensure stoi axiom even when no value is present for argument. Issue #731

* add missing rewrite rule. Issue #731

* fix heisenbug, unintialized variable, issue #720

* add patch to deal with bug exposed in issue #721

* fix regression in seq-replace rewriting

* ensure that status is displayed in SMT-LIB2 compliant way. Issue #734

* Create socrates.py

* remove special characters

* Update socrates.py
- Rename python bindnigs to follow openSUSE guidelines
- Change _service to disabled to avoid unnecessary executions
- Small packaging changes

Wed Jul 20 14:00:00 2016 jengelhAATTinai.de
- Update descriptions

Mon Jul 18 14:00:00 2016 mpluskalAATTsuse.com
- Update to version 4.4.1+git.20160717:

* fix bugs exposed in #677. to_int(x) has the semantics that to_int(x) <= x, and to_int(x) is the largest integer satisfying this inequality. The encoding in purify_arith had it the other way x <= to_int(x) contrary to how to_int(x) is handled elsewhere. Another bug in theory_arith for mixed-integer linear case was also exposed. Fractional bounds on expressions of the form to_int(x), and more generally on integer rows were not rounded prior to internalization

* garbage collect all api::object references when calling del_context. Request issue #679

* add proper garbage collection to ast_manager. Issue #679

* remove unfinished ite-macro finder, tune ast GC to ensure nodes are roots only once

* fix rounding mode for pseudo-boolean constraint creation, Issue #683

* add object z3 objects to target context during translation, to fix build regression failure on z3test.py

* add tptp5 example to cmake, adding output SZS directives for Geoff

* fix ubuntu build failure

* mark also ast in parameters as GC roots. Issue #676
- Use cmake macros
- Some spec file polishing with spec-cleaner

Mon Jul 18 14:00:00 2016 jslabyAATTsuse.com
- update to 20160717

* a lot of changes, see the repo
- remove CMake-Provide-a-way-to-customise-the-install-directo.patch
- add remove-timestamp.patch

Thu Mar 10 13:00:00 2016 jslabyAATTsuse.com
- disable build of examples (unused)

Wed Mar 9 13:00:00 2016 jslabyAATTsuse.com
- update to 20160309
- remove: 0001-cmake-add-base-files.patch (not needed anymore)
- add CMake-Provide-a-way-to-customise-the-install-directo.patch
- correct packaging

Mon Oct 12 14:00:00 2015 jslabyAATTsuse.com
- initial package