Overview

Request 651091 accepted

- Update to version 4.8.3+git.20181121:
* fix is-unit test in seq rewriter
* fixing #1948
* Improve intra-doc linking.
* fix #1959
* fix #1958
* add rc2 sample
* fix #1956
* add macz3 status
* add macz3 status
* test
* Fix broken link. It is Z3_add_rec_def, not Z3_mk_rec_def.
* Switch from using Z3_bool to using bool.
* tweaks to mk_nuget_release
* tweaks to mk_nuget_release
* increment version number to 4.8.4
* updated release notes
* have replayer handle oom natively
* build errors on shrink
* true is true, false is not true, it is false
* Remove usages of Z3_TRUE / Z3_FALSE.
* fix combinator signatures
* Improve intra-doc linking.
* Fix precondition in Z3_get_symbol_string doc comment.
* remove unsound rewrite
* Correct Z3_(fixedpoint|optimize)_from_file param doc.
* update dist scripts
* update unix-dist
* std::cout -> out
* investigate #1946

Loading...

Request History
Martin Pluskal's avatar

pluskalm created request

- Update to version 4.8.3+git.20181121:
* fix is-unit test in seq rewriter
* fixing #1948
* Improve intra-doc linking.
* fix #1959
* fix #1958
* add rc2 sample
* fix #1956
* add macz3 status
* add macz3 status
* test
* Fix broken link. It is Z3_add_rec_def, not Z3_mk_rec_def.
* Switch from using Z3_bool to using bool.
* tweaks to mk_nuget_release
* tweaks to mk_nuget_release
* increment version number to 4.8.4
* updated release notes
* have replayer handle oom natively
* build errors on shrink
* true is true, false is not true, it is false
* Remove usages of Z3_TRUE / Z3_FALSE.
* fix combinator signatures
* Improve intra-doc linking.
* Fix precondition in Z3_get_symbol_string doc comment.
* remove unsound rewrite
* Correct Z3_(fixedpoint|optimize)_from_file param doc.
* update dist scripts
* update unix-dist
* std::cout -> out
* investigate #1946


Martin Pluskal's avatar

pluskalm accepted request

openSUSE Build Service is sponsored by