./math/z3 [Z3 theorem prover]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 4.8.9, Package name: z3-4.8.9
Maintained by: The OpenBSD ports mailing-list
Master sites:
Description
The Z3 Theorem Prover.


Filesize: 4515.78 KB
Version History (View Complete History)
  • (2020-09-18) Updated to version: z3-4.8.9
  • (2020-06-28) Updated to version: z3-4.8.8
  • (2019-10-19) Updated to version: z3-4.8.6
  • (2019-06-05) Updated to version: z3-4.8.5
  • (2019-03-03) Updated to version: z3-4.8.4
  • (2018-12-15) Updated to version: z3-4.8.3
  • (2018-06-18) Updated to version: z3-4.7.1
  • (2018-04-10) Updated to version: z3-4.6.0
  • (2017-02-13) Package added to openports.se, version z3-4.5.0 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2020-09-18 01:52:58 by Jasper Lievisse Adriaanse | Files touched by this commit (4)
Log message:
update to z3-4.8.9
   2020-07-03 15:13:23 by Stuart Henderson | Files touched by this commit (1032)
Log message:
bump REVISION; python 3 default changed to 3.8
   2020-06-28 06:19:35 by Jasper Lievisse Adriaanse | Files touched by this commit (3)
Log message:
update to z3-4.8.8
   2020-03-22 10:01:43 by Klemens Nanni | Files touched by this commit (2)
Log message:
Add conflict marker for devel/angr/py-z3-solver
py3-z3-solver already has "@conflict z3-*".
OK jca
   2019-10-19 03:42:20 by Rafael Sadowski | Files touched by this commit (4)
Log message:
Update z3 to 4.8.6
   2019-07-12 14:47:59 by Stuart Henderson | Files touched by this commit (874)
Log message:
replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes
   2019-06-15 02:53:32 by Rafael Sadowski | Files touched by this commit (1)
Log message:
Disable OpenMP with the cmake option
OK rpointel
   2019-06-05 08:23:18 by Remi Pointel | Files touched by this commit (1)
Log message:
use GH_TAGNAME, spotted by sthen@.
ok sthen@.
   2019-06-04 23:44:54 by Remi Pointel | Files touched by this commit (2)
Log message:
update z3 to 4.8.5, ok kn@.
bump lib version because few functions were removed, for example:
https://github.com/Z3Prover/z3/commit/86b98e3477e8f57ccbbcf7a1444ac8ffbf0fae73
https://github.com/Z3Prover/z3/commit/40e329fc92e91acc9efda668e8d6d034221fe887
   2019-04-28 14:52:03 by Stuart Henderson | Files touched by this commit (715)
Log message:
bump all the py3 things, _SYSTEM_VERSION didn't quite work out how
we expected and it's easier|safer to do it this way than fiddle with
pkg_add now. thanks aja for update tests with a quick bulk.
   2019-03-30 03:54:39 by Jasper Lievisse Adriaanse | Files touched by this commit (1)
Log message:
switch to python3 for the bindings
ok rsadowski@
   2019-03-03 02:16:17 by Rafael Sadowski | Files touched by this commit (5)
Log message:
Update z3 to 4.8.4
OK rpointel@
   2018-12-15 05:43:40 by Remi Pointel | Files touched by this commit (3)
Log message:
update z3 to 4.8.3.
ok pirofti@.
   2018-11-23 17:57:15 by Christian Weisgerber | Files touched by this commit (2)
Log message:
Make better use of ports infrastructure, don't override optimization
flags, use -fPIC to build shared objects on all archs.
   2018-09-15 07:27:29 by Rafael Sadowski | Files touched by this commit (3)
Log message:
fix SHARED_LIB setup
Initial diff and test by Fabian Raetz <fabian D-O-T raetz A-T gmail D-O-T com>
with advanced fixes by me.
   2018-06-19 11:48:49 by Jeremie Courreges-Anglas | Files touched by this commit (1)
Log message:
Needs a c++11
   2018-06-18 02:15:11 by Remi Pointel | Files touched by this commit (2)
Log message:
update z3 to 4.7.1.
ok benoit@.
   2018-04-10 02:17:38 by Remi Pointel | Files touched by this commit (3)
Log message:
update z3 to 4.6.0, builds fine with clang 6.
from "Matthew Martin" phy1729@ at gmail dot com (thanks).
   2017-07-26 16:45:35 by Stuart Henderson | Files touched by this commit (937)
Log message:
bump LIBCXX/LIBECXX/COMPILER_LIBCXX ports.
   2017-07-16 13:19:06 by Marc Espie | Files touched by this commit (880)
Log message:
use COMPILER_LIBCXX where applicable
   2017-04-10 05:46:23 by Stuart Henderson | Files touched by this commit (276)
Log message:
use LIBCXX