Overview Repositories Revisions Requests Users Attributes Meta

Revisions of z3

buildservice-autocommit accepted request 770524 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 61) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 60) 
up to 4.8.7+git.20200129
buildservice-autocommit accepted request 739089 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 59) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 58) 
up to 4.8.6+git.20191009
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 57) 
up to 4.8.6+git.20191009
buildservice-autocommit accepted request 732845 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 56) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) accepted request 731408 from Frank Schreiner's avatar Frank Schreiner (M0ses) (revision 55) 
Cleanup for changlog
Removed line containing control characters
buildservice-autocommit accepted request 706047 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 54) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 53) 
up to 4.8.4+git.20190224
buildservice-autocommit accepted request 652428 from Martin Pluskal's avatar Martin Pluskal (pluskalm) (revision 52) 
baserev update by copy to link target
Martin Pluskal's avatar Martin Pluskal (pluskalm) accepted request 651091 from Martin Pluskal's avatar Martin Pluskal (pluskalm) (revision 51) 
- 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
buildservice-autocommit accepted request 617099 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 50) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) accepted request 617088 from Ondřej Súkup's avatar Ondřej Súkup (mimi_vx) (revision 49) 
- Update to version 4.7.1+git.20180614:
  * fix memory leak in relation_manager, use for loops
  * fix #1665
  * remove trial with mfsr flag
  * enable non-expression bodies of quantifiers to fix #1667
  * fix bugs exposed by Nuno's PB example
  * z3.py: add overflow checks to PB API
  * gcc mode
  * int64_t
  * deal with shift exponent error
  * deal with shift exponent error
  * try flags to fix gcc build
  * int64_t
  * try new gcd
  * add set operations to python request by Francois
  * fix #1662
  * fix #1661
  * fix memory leak from Arie
  * fix ml build breakd #1659, #1660
  * fix #1655
  * fix #1653
  * remove stale file
  * clean up python build files
  * fix #1650 fix #1648
  * fix #1647
  * remove interp from documentation
  * Set the SONAME field of libz3.so to libz3.so.
  * remove interpolation from test_capi
  * remove interpolation from test_capi
  * deprecating interp
buildservice-autocommit accepted request 610614 from Martin Pluskal's avatar Martin Pluskal (pluskalm) (revision 48) 
baserev update by copy to link target
Martin Pluskal's avatar Martin Pluskal (pluskalm) committed (revision 47)
Martin Pluskal's avatar Martin Pluskal (pluskalm) accepted request 610380 from Martin Pluskal's avatar Martin Pluskal (pluskalm) (revision 46) 
- Use python3 exclusively
- Do not call contrib/cmake/bootstrap.py - it is obsolete
buildservice-autocommit accepted request 590550 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 45) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) accepted request 590423 from Dominique Leuenberger's avatar Dominique Leuenberger (dimstar) (revision 44) 
This should make the python packaging compliant; and build from SLE12SP3 up TW; fails on 12SP2, which I did not yet look furhter into (it already fails in the devel prj there too)
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 43) 
typo
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 42) 
fix files
Displaying revisions 41 - 60 of 101
openSUSE Build Service is sponsored by
Places