Navigation:
Browse pkgsrc
(this page)| 2025-03-04 06:09:51 by Adam Ciarcinski | Files touched by this commit (3) |
Log message: z3: allow building on all platforms |
| 2025-02-26 10:59:42 by Thomas Klausner | Files touched by this commit (1) |
Log message: z3: this now requires C++20 |
2025-02-20 11:27:01 by Adam Ciarcinski | Files touched by this commit (6) |  |
Log message: z3 py-z3: updated to 4.14.0 4.14.0 bump timeout for jobs Update release.yml for Azure Pipelines Update nightly.yaml for Azure Pipelines Update azure-pipelines.yml for Azure Pipelines fix unit test convert def into expression tree adjust solve_for to handle rationals fixes to failure conditions for unification remove verbose output Add unification based projection function |
| 2024-08-13 11:21:07 by Adam Ciarcinski | Files touched by this commit (5) | |
Log message: z3 py-z3: updated to 4.13.0 Version 4.13.0 - add ARM64 wheels for Python, thanks to Steven Moy, smoy |
| 2024-03-31 00:10:48 by Havard Eidnes | Files touched by this commit (1) |
Log message: math/z3: add mk/atomic64.mk, to make this build on NetBSD/macppc. |
| 2024-02-21 11:50:35 by Nia Alarie | Files touched by this commit (2) |
Log message: z3: Requires a C++17 compiler |
| 2024-01-23 21:01:04 by Adam Ciarcinski | Files touched by this commit (5) | |
Log message: z3 py-z3: updated to 4.12.5 z3-4.12.5 update release scripts and notes track quantifier instantiation method in proof hint prepare for release add status badge for windows build, remove windows build from Azure pipelines add Windows build free memory the clean way free memory the clean way encapsulate anum functionality add explicit move constructor to deal with unit test regression test-z3 \ algebraic on Windows/debug - encapsulate mpz a bit more |
| 2023-08-14 07:25:36 by Thomas Klausner | Files touched by this commit (1247) |
Log message: *: recursive bump for Python 3.11 as new default |
| 2023-05-25 12:53:24 by Jonathan Perkin | Files touched by this commit (2) |
Log message: z3: Avoid ambiguous function call. |
| 2023-05-17 09:55:32 by Adam Ciarcinski | Files touched by this commit (2) | |
Log message: z3 py-z3: updated to 4.12.2 z3-4.12.2 updated release notes for 12.2 disable publish remove output reformat code to remove brackets Implement proposed smtlib2 bitvector overflow predicates Merge branch 'master' of https://github.com/z3prover/z3 JS/TS: add Optimize class remove debug output make default argument to ensure_def and mk_def explicit |
New packages: