Commit Graph

69 Commits

Author SHA1 Message Date
Felix Buehler
47891a407b z3: remove 'with lib;' 2024-08-16 16:09:03 +02:00
Alexis Hildebrandt
755b915a15 treewide: Remove indefinite article from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
2024-06-09 23:07:45 +02:00
stuebinm
ff1a94e523 treewide: add meta.mainProgram to packages with a single binary
The nixpkgs-unstable channel's programs.sqlite was used to identify
packages producing exactly one binary, and these automatically added
to their package definitions wherever possible.
2024-03-19 03:14:51 +01:00
Mario Rodas
4fadc26e4a z3_4_12: 4.12.4 -> 4.12.5
Diff: https://github.com/Z3Prover/z3/compare/z3-4.12.4...z3-4.12.5

Changelog: https://github.com/Z3Prover/z3/releases/tag/z3-4.12.5
2024-01-30 04:20:00 +00:00
Lucas Van Laer
696735c9d2 z3_4_12: 4.12.2 -> 4.12.4 2023-12-31 14:12:54 +01:00
Yifei Sun
3d0affa9c9
python3Packages.z3-solver: rename from z3 2023-12-06 12:30:03 -05:00
Adam Joseph
bc2d598878 treewide: change pythonForBuild to pythonOnBuildForHost 2023-11-05 17:42:12 -08:00
Jan Malakhovski
5852f26bdc treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 1: trivial cases 2023-08-03 16:32:03 +00:00
Mario Rodas
cce7280539 z3_4_12: 4.12.1 -> 4.12.2
https://github.com/Z3Prover/z3/releases/tag/z3-4.12.2
2023-06-24 04:20:00 +00:00
Mario Rodas
f87301f5f1 z3_4_11: 4.11.0 -> 4.11.2
https://github.com/Z3Prover/z3/releases/tag/z3-4.11.2
2023-06-24 04:20:00 +00:00
Mario Rodas
2c0a8e5050 z3: add changelog to meta 2023-06-24 04:20:00 +00:00
Jack Leightcap
48ac8a3bac
z3: 4.12.1
https://github.com/Z3Prover/z3/releases/tag/z3-4.12.1

declare most recent minor version.

Signed-off-by: Jack Leightcap <jack.leightcap@trailofbits.com>
2023-05-06 04:48:46 -04:00
Thomas Tuegel
ccf7156d8d
Merge pull request #217974 from pxrl/pxrl/z3
z3: 4.8.15 -> 4.8.17
2023-04-17 10:03:07 -05:00
Alyssa Ross
2bfa93e01c
treewide: python{ => .pythonForBuild}.interpreter
It won't be enough to fix cross in all cases, but it is in at least
one: pywayland.  I've only made the change in cases I'm confident it's
correct, as it would be wrong to change this when python.interpreter
is used in wrappers, and possibly when it's used for running tests.
2023-02-26 20:26:17 +00:00
Paul
0351445e24 z3: 4.8.15 -> 4.8.17
The motivation for bumping to 4.8.17 is to permit the latest version of
solc to be built with z3.
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.17
2023-02-24 07:01:31 +01:00
Ricardo M. Correia
113cdbd29d fstar: use proper z3 version and build .checked files 2023-02-07 14:47:17 +00:00
Ulrik Strid
376e9ceead treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
Ulrik Strid
c53a63adf1 ocamlPackages treewide: strictDeps all packages 2023-02-03 08:59:34 +01:00
Aaron Jheng
3452c10bb4
z3_4_4_0: remove, z3_4_7: remove 2023-01-13 03:44:17 +00:00
Ian Macalinao
c05b66233e
z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0 2022-08-28 11:06:19 -05:00
Shea Levy
4d781f329d
z3_4_4_0: Fix build on darwin. 2022-06-23 12:40:46 -04:00
Connor Baker
923fad863c
z3: Remove unused fetchpatch 2022-04-05 09:22:52 -04:00
Connor Baker
57961e1a5e z3: remove 4.6.0 and 4.5.0 2022-03-29 23:46:27 -04:00
Connor Baker
0489a21577 z3: init 4.8.15, 4.7.1, 4.6.0, 4.5.0 2022-03-24 16:44:24 -04:00
Felix Buehler
3bc5196252 treewide: rename name to pname&version 2022-03-23 22:55:50 +01:00
Sergei Trofimovich
369d7bb4ca z3: 4.8.12 -> 4.8.14
While at it added trivial updater plumbing.
2022-01-02 12:45:59 -06:00
Alyssa Ross
851b719ac6 treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate 2021-10-13 17:39:37 +00:00
Bruce Collie
3e213b8699 z3: 4.8.10 -> 4.8.12 2021-09-24 11:46:21 +01:00
Felix Buehler
82cb33a0ae treewide: remove meta.version 2021-07-18 00:07:38 +02:00
Lorenz Leutgeb
7306864977
z3: Add output for Java bindings (*.jar and *.so) 2021-02-27 09:01:25 +01:00
Fabian Affolter
5247884859 z3: 4.8.9 -> 4.8.10 2021-02-09 12:07:38 +01:00
volth
bc0d605cf1 treewide: fix double quoted strings in meta.description
Signed-off-by: Ben Siraphob <bensiraphob@gmail.com>
2021-01-24 19:56:59 +07:00
Ben Siraphob
badf51221d treewide: stdenv.lib -> lib 2021-01-16 17:58:11 +07:00
Michael Raskin
3ed321dfab z3: enable build on non-x86_64 unix; checked the build on aarch64-linux 2020-11-27 11:52:07 +01:00
Patrick Hilhorst
a6b3bb24e4
treewide: ran ./maintainers/scripts/update_redirected_urls.sh 2020-11-27 01:23:57 +01:00
Vladimír Čunát
336bc8283b
Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"
This reverts commit c778945806.

I believe this is exactly what brings the staging branch into
the right shape after the last merge from master (through staging-next);
otherwise part of staging changes would be lost
(due to being already reachable from master but reverted).
2020-10-26 08:19:17 +01:00
Jakub Kądziołka
8205e12a45
z3_4_4_0: add old version for Isabelle 2020-10-03 21:32:22 +02:00
Vincent Laporte
cc739e1c67 ocamlPackages.z3: init at 4.8.9 2020-09-30 22:03:17 +02:00
Thomas Tuegel
87c7d1d4f8
z3: 4.8.8 -> 4.8.9 2020-09-11 14:38:43 -05:00
Thomas Tuegel
616dd214d1 z3: add ttuegel to maintainers 2020-08-21 19:05:55 -07:00
Thomas Tuegel
1f512d7804 z3: 4.8.7 -> 4.8.8 2020-08-21 19:05:55 -07:00
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