mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 01:54:08 +00:00
Code Activity
18297 commits 23 branches 48 tags 156 MiB
Commit graph

1649 commits

Author SHA1 Message Date
Nikolaj Bjorner 389aea3330 update release notes, update version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-04 19:48:43 -08:00
Nikolaj Bjorner 5e3f1d988b update release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-04 19:38:52 -08:00
Nikolaj Bjorner f7415bb677 install importlib-resources for ubuntu doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-04 10:32:02 -08:00
Nikolaj Bjorner 1d4644f718 fix typos in script 2023-11-28 16:50:28 -08:00
Bruce Mitchener 3422f44cea
Fix syntax warning when using Python 3.12. (#7022) 
This happens when generating the Python API and you are using
Python 3.12 in the build environment:

```
.../z3/scripts/update_api.py:1828: SyntaxWarning: invalid escape sequence '\#'
```

This was a `DeprecationWarning` previously, but Python 3.12 changed
it to a `SyntaxWarning` to make it more visible. The release notes
indicate that this will be a syntax error in the future.
 2023-11-28 07:55:25 -08:00
Nikolaj Bjorner c0ee4e9613 pip install importlib resources 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-11-14 10:02:24 -08:00
Nikolaj Bjorner 1ce95d3859 pip install importlib resources 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-11-14 10:01:13 -08:00
Nikolaj Bjorner 37b283fab9 use python3 in nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-11-14 08:54:10 -08:00
Nikolaj Bjorner 7ed27a1f41 prepare release script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-11-14 08:48:19 -08:00
Nikolaj Bjorner f6c9ead10c #6964 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-10-27 13:17:20 -07:00
rsetaluri d5fe4b0d78
Update script to use importlib_resources (#6949) 
To avoid a deprecation warning, this change updates scripts/update_api.py
to use 'importlib_resources' instead of 'pkg_resources'.

See https://setuptools.pypa.io/en/latest/pkg_resources.html and
https://importlib-resources.readthedocs.io/en/latest/migration.html for
more information.
 2023-10-24 13:19:44 -07:00
John Fleisher 858477f3e3
Add c++ flags for vulcan assembly compliance (#6906) 2023-09-18 09:03:56 -07:00
Sijmen 0a444f357a
Slightly improve Z3_LIBRARY_PATH error message (#6895) 2023-09-11 12:58:03 -07:00
Nikolaj Bjorner a8c4384536 download 20.04 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-08-18 07:58:48 -07:00
Nikolaj Bjorner 63f18a1d99 #6822 - change to 2.31 for nuget packaging 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-08-17 18:47:05 -07:00
Nikolaj Bjorner 50717fb655 update pattern for glibc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-08-15 09:32:43 -07:00
Nikolaj Bjorner 23da36126a update nightly to pull arm 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-08-03 11:01:49 -07:00
Nikolaj Bjorner 3df6cd2c5f update nightly to pull arm 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-08-03 10:26:12 -07:00
Nikolaj Bjorner 4bfe9a895a update nightly to pull arm 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-08-03 10:04:23 -07:00
Nikolaj Bjorner 0478ab1498 update nightly script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-08-02 17:16:32 -07:00
Nikolaj Bjorner 8d48ff44c4 update nightly script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-08-02 17:10:23 -07:00
NikolajBjorner 260cb337de try to instrument nightly with aarch compiler for arm64 
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
 2023-08-02 11:25:16 -07:00
NikolajBjorner ea95f8086f try to instrument nightly with aarch compiler for arm64 
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
 2023-08-02 11:24:32 -07:00
Nikolaj Bjorner d33d8ac07a revert setting arm on linux 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-08-02 10:55:03 -07:00
Nikolaj Bjorner 9b5727adde enable arm for non-osx 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-08-02 10:51:52 -07:00
Nikolaj Bjorner afe1218bc6 update release.yml with linux-arm64 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-07-31 10:46:16 -07:00
Nikolaj Bjorner 6c5434f988 rename artifacts apart 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-07-28 11:40:37 -07:00
Nikolaj Bjorner 1b2b8809c0 try to add Ubuntu ARM64 to nightly #6835 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-07-28 11:10:14 -07:00
Nikolaj Bjorner df8ccce08e #6822 string matching against version number of glibc to ensure inclusino 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-07-21 11:03:20 -07:00
Nikolaj Bjorner e8a38c5482 build fixes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-07-18 19:14:45 -07:00
Nikolaj Bjorner 3d8f75b3d8 enable on-clause with dependencies 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-07-18 16:59:02 -07:00
THE Spellchecker dc0887db5a
Typo Fixes (#6803) 2023-07-09 11:56:10 -07:00
Jerry James f5c069f899
Fix regular expression strings with escapes (#6797) 2023-07-07 09:57:07 -07:00
Nikolaj Bjorner 81068981aa fix #6746, fix type errors in java bindings 2023-06-03 09:41:29 +02:00
Clemens Eisenhofer 82667bd86b
Fix UP's decide callback (#6707) 
* Query Boolean Assignment in the UP

* UP's decide ref arguments => next_split

* Fixed wrapper

* More fixes
 2023-06-02 09:52:54 +02:00
ditto 11264c38d8
Java user propagator interface (#6733) 
* Java API: user propagator interface

* Java API: improved user propagator interface

* Java API: Add UserPropagatorBase.java

* Remove redundant header file

* Initialize `JavaInfo` object and error handling

* Native.UserPropagatorBase implements AutoCloseable

* Add Override annotation
 2023-05-24 18:27:28 +01:00
Nikolaj Bjorner f928b44606 update version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-05-12 14:53:52 -07:00
Nikolaj Bjorner e417f7d785 updated release notes for 12.2 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-05-12 12:59:04 -07:00
Nikolaj Bjorner ba911009e4 disable publish 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-05-11 16:54:40 -07:00
Nikolaj Bjorner 6aaaa3b015 fix #6660 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-03-31 09:58:28 -07:00
Kevin Phoenix 1a9990a92f
Use sys.getdefaultencoding() instead of sys.stdout.encoding (#6612) 2023-02-28 11:46:10 -08:00
Nikolaj Bjorner a150e58893 update release script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-02-07 09:21:02 -08:00
Nikolaj Bjorner f3ae7692ca update stage name 2023-02-06 16:08:14 -08:00
Nikolaj Bjorner c1cadd37cc update stage name 2023-02-06 16:07:12 -08:00
Nikolaj Bjorner a7231027c3 try side-by-side nightly 2023-02-06 16:04:54 -08:00
Nikolaj Bjorner 992793bd56 update nuget packaging targets #6570 2023-02-05 21:35:22 -08:00
Nikolaj Bjorner 550619bfcf add API for creating and attaching simplifiers 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-01-31 17:06:03 -08:00
Nikolaj Bjorner d263b373ed update release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-01-31 12:19:33 -08:00
Nikolaj Bjorner 6022c17131 Add simplification customization for SMTLIB2 
Add the ability to customize incremental pre-processing simplification for the SMTLIB2 front-end. The main new capability is to use pre-processing tactics in incremental mode that were previously not available. The main new capabilities are
- solve-eqs
- reduce-args
- elim-unconstrained
There are several more. Documentation and exposed simplifiers are populated incrementally. The current set of supported simplifiers can be inspected by using z3 with the --simplifiers flag or referring to https://microsoft.github.io/z3guide/docs/strategies/simplifiers

Some pending features are:
- add the ability to update parameters to simplifiers similar to how tactics can be controlled using parameters.
- expose simplification solvers over the binary API.
 2023-01-30 22:38:51 -08:00
Nikolaj Bjorner dd0decfe5d create simplifier_solver wrapper to supply simplifier layer 
move sat_smt_preprocess to solver
fix bugs in model_reconstruction_trail for dependency replay

This is a preparatory step for exposing pre-processing as tactics.
 2023-01-30 16:12:25 -08:00