about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/z3
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2024-01-30z3_4_12: 4.12.4 -> 4.12.5Mario Rodas1-2/+2
2023-12-31z3_4_12: 4.12.2 -> 4.12.4Lucas Van Laer1-2/+2
2023-12-06python3Packages.z3-solver: rename from z3Yifei Sun1-1/+1
2023-11-05treewide: change pythonForBuild to pythonOnBuildForHostAdam Joseph1-1/+1
2023-08-03treewide: noop: refer to `src.name` or similar in `sourceRoot` where appropri...Jan Malakhovski1-1/+1
2023-06-24z3_4_12: 4.12.1 -> 4.12.2Mario Rodas1-2/+2
2023-06-24z3_4_11: 4.11.0 -> 4.11.2Mario Rodas1-2/+2
2023-06-24z3: add changelog to metaMario Rodas1-0/+1
2023-05-06z3: 4.12.1Jack Leightcap1-0/+4
2023-04-17Merge pull request #217974 from pxrl/pxrl/z3Thomas Tuegel1-2/+2
2023-02-26treewide: python{ => .pythonForBuild}.interpreterAlyssa Ross1-1/+1
2023-02-24z3: 4.8.15 -> 4.8.17Paul1-2/+2
2023-02-07fstar: use proper z3 version and build .checked filesRicardo M. Correia1-2/+7
2023-02-03treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid1-2/+4
2023-02-03ocamlPackages treewide: strictDeps all packagesUlrik Strid1-2/+3
2023-01-13z3_4_4_0: remove, z3_4_7: removeAaron Jheng2-47/+0
2022-08-28z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0Ian Macalinao1-0/+4
2022-06-23z3_4_4_0: Fix build on darwin.Shea Levy1-0/+2
2022-04-05z3: Remove unused fetchpatchConnor Baker1-1/+0
2022-03-29z3: remove 4.6.0 and 4.5.0Connor Baker1-24/+0
2022-03-24z3: init 4.8.15, 4.7.1, 4.6.0, 4.5.0Connor Baker1-66/+91
2022-03-23treewide: rename name to pname&versionFelix Buehler1-1/+1
2022-01-02z3: 4.8.12 -> 4.8.14Sergei Trofimovich1-2/+20
2021-10-13treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriateAlyssa Ross1-1/+1
2021-09-24z3: 4.8.10 -> 4.8.12Bruce Collie1-2/+2
2021-07-18treewide: remove meta.versionFelix Buehler1-1/+0
2021-02-27z3: Add output for Java bindings (*.jar and *.so)Lorenz Leutgeb1-0/+5
2021-02-09z3: 4.8.9 -> 4.8.10Fabian Affolter1-23/+29
2021-01-24treewide: fix double quoted strings in meta.descriptionvolth1-1/+1
2021-01-16treewide: stdenv.lib -> libBen Siraphob3-11/+11
2020-11-27z3: enable build on non-x86_64 unix; checked the build on aarch64-linuxMichael Raskin1-1/+1
2020-11-27treewide: ran ./maintainers/scripts/update_redirected_urls.shPatrick Hilhorst1-1/+1
2020-10-26Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"Vladimír Čunát1-1/+2
2020-10-03z3_4_4_0: add old version for IsabelleJakub Kądziołka1-0/+41
2020-09-30ocamlPackages.z3: init at 4.8.9Vincent Laporte1-2/+16
2020-09-11z3: 4.8.8 -> 4.8.9Thomas Tuegel1-2/+2
2020-08-21z3: add ttuegel to maintainersThomas Tuegel1-1/+1
2020-08-21z3: 4.8.7 -> 4.8.8Thomas Tuegel1-2/+2
2020-08-15z3: Add Java Bindings (#92096)Lorenz Leutgeb1-12/+21
2019-12-14z3: 4.8.5 -> 4.8.7Austin Seipp1-3/+3
2019-06-10z3: 4.8.4 -> 4.8.5Will Dietz2-75/+5
2019-02-14z3: Patch file to get rid of python errorSamuel W. Flint2-0/+70
2019-01-22z3-tptp: initMichael Raskin1-0/+31
2019-01-08z3: 4.8.3 -> 4.8.4Austin Seipp1-2/+2
2018-11-27z3: 4.8.1 -> 4.8.3Will Dietz1-2/+2
2018-11-15z3: restrict to x86_64Jörg Thalheim1-1/+1
2018-10-16z3: 4.7.1 -> 4.8.1Will Dietz1-3/+3
2018-07-14z3: fix darwin build (#43526)Mario Rodas1-3/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-10 05:04:13 +0000