Overview
Request 1073729 accepted
- Update to version 2.3.3+20220915:
* Fix compilation error on libstdc++-7-dev
* disable SQLITE when building cms
* Fix so user flags are respected
* Convert ordered collections to faster unordered collections.
* copy on write to reduce the number of malloc/free
* Cleanup the dependency building code
* Small changes to make core simplification algorithms faster.
* Improve again on the performance of QF_BV benchmark problems.
* Handle an extra case in unconstrained variable elimination.
* Improve again on the performance of QF_BV benchmark problems.
* Fix test cases so that they work when stp has pure variable removal disabled.
* Tune the parameters to improve performance on QF_BV benchmark problems
* Adding REQUIRE for Perl
* Remove some mentions of the CVC format from our documentation.
* Remove mention of CVC from front readme.
* Update codeql-analysis.yml
* fix #128
* Clarrify as discussed in #4, that the bitvector library is also licensed under the artistic licence.
* move cvc_to_c utility out of unit testing into tools.
* remove tests which are not currently being used
* Update main.cpp
* Adds an extra simplification rule. fix #381.
* Fix #383. Makes bvxnor 2-arity only.
* oops. Fix inadvertent checkin
* Write through unapplied simplfications. Previously this was unsound if unconstrained variable elimination (UVE) was disabled. UVE wrote through unapplied simplifications so masked the problem.
* rename tests which aren't really unit tests.
* Improve testing. The intention of these is that the combination of simplifications reduces them to true or false before reaching the SAT solver.
* Enable some generated tests that weren't previously enabled
* remove old test generators. FuzzSMT is much better than these
Request History
jirislaby created request
- Update to version 2.3.3+20220915:
* Fix compilation error on libstdc++-7-dev
* disable SQLITE when building cms
* Fix so user flags are respected
* Convert ordered collections to faster unordered collections.
* copy on write to reduce the number of malloc/free
* Cleanup the dependency building code
* Small changes to make core simplification algorithms faster.
* Improve again on the performance of QF_BV benchmark problems.
* Handle an extra case in unconstrained variable elimination.
* Improve again on the performance of QF_BV benchmark problems.
* Fix test cases so that they work when stp has pure variable removal disabled.
* Tune the parameters to improve performance on QF_BV benchmark problems
* Adding REQUIRE for Perl
* Remove some mentions of the CVC format from our documentation.
* Remove mention of CVC from front readme.
* Update codeql-analysis.yml
* fix #128
* Clarrify as discussed in #4, that the bitvector library is also licensed under the artistic licence.
* move cvc_to_c utility out of unit testing into tools.
* remove tests which are not currently being used
* Update main.cpp
* Adds an extra simplification rule. fix #381.
* Fix #383. Makes bvxnor 2-arity only.
* oops. Fix inadvertent checkin
* Write through unapplied simplfications. Previously this was unsound if unconstrained variable elimination (UVE) was disabled. UVE wrote through unapplied simplifications so masked the problem.
* rename tests which aren't really unit tests.
* Improve testing. The intention of these is that the combination of simplifications reduces them to true or false before reaching the SAT solver.
* Enable some generated tests that weren't previously enabled
* remove old test generators. FuzzSMT is much better than these
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
staging-bot added openSUSE:Factory:Staging:adi:30 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:30"
staging-bot accepted review
Picked "openSUSE:Factory:Staging:adi:30"
licensedigger accepted review
The legal review is accepted preliminary. The package may require actions later on.
dimstar accepted review
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:30 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:30 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:30 got accepted.