jasper
|
16e989246a
|
update to z3-4.8.8
|
2020-06-28 12:19:35 +00:00 |
|
kn
|
ae914c292c
|
Add conflict marker for devel/angr/py-z3-solver
py3-z3-solver already has "@conflict z3-*".
OK jca
|
2020-03-22 16:01:43 +00:00 |
|
rsadowski
|
6c8276ed2f
|
Update z3 to 4.8.6
|
2019-10-19 09:42:20 +00:00 |
|
sthen
|
3318ced016
|
replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes
|
2019-07-12 20:46:54 +00:00 |
|
rsadowski
|
8436eb9d7a
|
Disable OpenMP with the cmake option
OK rpointel
|
2019-06-15 08:53:32 +00:00 |
|
rpointel
|
120c7d5d68
|
use GH_TAGNAME, spotted by sthen@.
ok sthen@.
|
2019-06-05 14:23:18 +00:00 |
|
rpointel
|
4bf7b34b7c
|
update z3 to 4.8.5, ok kn@.
bump lib version because few functions were removed, for example:
86b98e3477
40e329fc92
|
2019-06-05 05:44:54 +00:00 |
|
sthen
|
d7f0752227
|
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-04-28 20:51:26 +00:00 |
|
jasper
|
8d85c4945b
|
switch to python3 for the bindings
ok rsadowski@
|
2019-03-30 09:54:39 +00:00 |
|
rsadowski
|
c4888217ef
|
Update z3 to 4.8.4
OK rpointel@
|
2019-03-03 09:16:17 +00:00 |
|
rpointel
|
a3d0511afb
|
update z3 to 4.8.3.
ok pirofti@.
|
2018-12-15 12:43:40 +00:00 |
|
naddy
|
c3ed60809c
|
Make better use of ports infrastructure, don't override optimization
flags, use -fPIC to build shared objects on all archs.
|
2018-11-24 00:57:15 +00:00 |
|
rsadowski
|
9b0a665746
|
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-09-15 13:27:29 +00:00 |
|
jca
|
a77a63574f
|
Needs a c++11
|
2018-06-19 17:48:49 +00:00 |
|
rpointel
|
459189a351
|
update z3 to 4.7.1.
ok benoit@.
|
2018-06-18 08:15:11 +00:00 |
|
rpointel
|
fe328c87bd
|
update z3 to 4.6.0, builds fine with clang 6.
from "Matthew Martin" phy1729@ at gmail dot com (thanks).
|
2018-04-10 08:17:38 +00:00 |
|
sthen
|
5e964ab0df
|
bump LIBCXX/LIBECXX/COMPILER_LIBCXX ports.
|
2017-07-26 22:45:14 +00:00 |
|
espie
|
8ac47fd9c6
|
use COMPILER_LIBCXX where applicable
|
2017-07-16 19:18:47 +00:00 |
|
sthen
|
bcbf44ab87
|
use LIBCXX
|
2017-04-10 11:46:18 +00:00 |
|
rpointel
|
c0acae0063
|
import the z3 theorem prover.
ok benoit@ input & ok daniel@
|
2017-02-12 21:48:19 +00:00 |
|