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 |
|