Commit Graph

28 Commits

Author SHA1 Message Date
Lorenz Leutgeb
d50a6db016
z3: Add Java Bindings (#92096)
Introduce new arguments to build Java Bindings, and to disable
building of Python bindings. Default behaviour is preserved.
2020-08-15 07:37:38 +02:00
Austin Seipp
367676ce82
z3: 4.8.5 -> 4.8.7
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-12-14 20:33:59 -06:00
Will Dietz
e397f4716c z3: 4.8.4 -> 4.8.5
* drop included patch
* pname-ify
2019-06-10 17:55:26 -07:00
Samuel W. Flint
52a7c4e30e z3: Patch file to get rid of python error
See #55591, Z3Prover/z3#2131
2019-02-14 10:11:15 -06:00
Michael Raskin
ebb370f680 z3-tptp: init
Z3 ships a TPTP-supporting wrapper as an example; allow building it
2019-01-22 16:51:18 +01:00
Austin Seipp
38aa0a3df4 z3: 4.8.3 -> 4.8.4
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Will Dietz
a034d90e3b z3: 4.8.1 -> 4.8.3
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3
2018-11-27 22:00:19 -06:00
Jörg Thalheim
abb0c81190
z3: restrict to x86_64
it uses x86-only header:

include <immintrin.h>
          ^~~~~~~~~~~~~
compilation terminated.
src/sat/sat_probing.cpp
make: *** [Makefile:182: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
src/sat/sat_parallel.cpp
builder for '/nix/store/vd2wkhic8g77izxv659ackh6hcaamic3-z3-4.8.1.drv' failed with exit code 2
cannot build derivation '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv': 1 dependencies couldn't be built
error: build of '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv' failed
2018-11-15 21:25:53 +00:00
Will Dietz
51e511130a z3: 4.7.1 -> 4.8.1 2018-10-16 12:28:06 -05:00
Mario Rodas
1c88d0c6bd z3: fix darwin build (#43526) 2018-07-14 21:49:47 +02:00
Austin Seipp
54e9f7dcbe z3: move to multiple output packages
The Z3 source code is effectively compiled into two completely separate
objects: the z3 binary file, and the libz3.so library -- but the binary is not
linked against the shared library, it simply incorporates all of the object
files. The Z3 code base results in an ~25MB object on x86_64-linux. As a
result, splitting bin/ and lib/ results in a 50% reduction in closure size.

(The include/ directory is also surprisingly large at .5MB...)

This also splits the python API into a completely separate .python attribute,
as well.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-07-12 15:48:48 -05:00
Will Dietz
edbebe7214 z3: 4.6.0 -> 4.7.1 2018-05-30 16:54:21 -05:00
Austin Seipp
86c5420a2e nixpkgs: remove z3 4.5.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-04-07 23:02:59 -05:00
Jörg Thalheim
6ec8fe0408 z3: also needs setuptools 2018-02-14 10:01:25 +00:00
Austin Seipp
ebeb95d18b z3: 4.5.0-2017-11-06 -> 4.6.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-03 21:44:56 -06:00
John Wiegley
2e93f93b2a z3_4_5_0: New expression, to access the release version's API 2017-12-14 23:32:37 -08:00
Austin Seipp
063e4dca79 z3: update to latest git
This has some nice improvements, like new string and real arithmetic solvers.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-09 13:20:01 -06:00
Matthew Bauer
99c868c010 use https://github.com for all homepages
GitHub does a redirect to https:// when you use http://

repology complains with:

“Homepage link "https://github.com/…" is dead (HTTP error 404) for more than a month.”

This will fix some of them (not all though)
2017-08-17 14:53:40 -07:00
Domen Kožar
af2cfc076f haskellPackages.z3: fix #16357 2017-01-03 23:10:24 +01:00
Gabriel Ebner
8c4aee4c79 z3: 4.4.1 -> 4.5.0 2016-11-08 16:14:16 -05:00
Frederik Rietdijk
8963dae343 z3: use python2 2016-10-18 23:16:07 +02:00
Ricardo M. Correia
194168b722 z3: 4.4.0 -> 4.4.1 2016-01-21 13:27:12 +01:00
Austin Seipp
da6eec001a nixpkgs: z3 4.3.2 -> 4.4.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-11 22:10:56 -05:00
Austin Seipp
75ab87edc8 nixpkgs: z3 is now MIT licensed.
It's also been moved to GitHub, meaning we can avoid some of the
hackiness in the original expression. This updates the Git revision, but
only so that it contains the proper license (it's otherwise equivalent
to Z3 v4.3.2)

Also, make sure the python API .py files exist besides the .pyc files.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-03-28 01:04:06 -05:00
Eric Seidel
eff828a275 z3: copy all headers into nix store 2015-03-26 13:19:41 -07:00
Austin Seipp
d1b06927bc nixpkgs: z3 4.3.1 -> 4.3.2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-01-23 11:00:55 -06:00
Austin Seipp
7d58646b08 z3/verifast: update license
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:09:24 -05:00
Austin Seipp
2646eac8b2 z3: version 4.3.1
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-21 02:50:54 -05:00