mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-28 10:19:23 +00:00
Code Activity
18491 commits 46 branches 52 tags 178 MiB
Commit graph

1694 commits

Author SHA1 Message Date
Nikolaj Bjorner
b3b95dbc5c move installation directories to under bin 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-30 11:06:27 -08:00
Nikolaj Bjorner
9bd8e35581 adapt paths to new distribution 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-30 10:07:38 -08:00
Nikolaj Bjorner
f7ed4adfbb update path for win distributions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-29 19:47:05 -08:00
Nikolaj Bjorner
bef67f8523 special purpose dotnet copy 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-29 19:32:31 -08:00
Nikolaj Bjorner
4be8b7d88c update win-dist 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-29 18:47:29 -08:00
Nikolaj Bjorner
527f824adf update java install/build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-25 15:07:54 -08:00
Nikolaj Bjorner
c8c2e3a7b7 update java install/build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-25 15:05:33 -08:00
Nikolaj Bjorner
637ffcd491 Update mk_win_dist_cmake.py 2024-01-25 12:23:15 -08:00
Nikolaj Bjorner
9d59d86a1c update cmake build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-25 09:42:28 -08:00
Nikolaj Bjorner
ee2be7d642 attempting to build ARM 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-25 08:41:37 -08:00
Nikolaj Bjorner
133546625c update minor version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-24 09:24:46 -08:00
Nikolaj Bjorner
a7b564cafe update release scripts and notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-21 10:06:38 -08:00
Nikolaj Bjorner
302ebff704 prepare for release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-20 16:46:13 -08:00
Thomas Haas
d2706bab64
Fixes in Java's User Propagator (#7088) 
* Fixed decide callback for Java user propagators

* Java User Prop:
- Added return value to conflict
- Added consequence method
- Added missing access modifier to decideWrapper

* Removed type parameters of expressions in UserPropagatorBase

* Renamed propagateConflict to propagateConsequence
 2024-01-18 09:29:15 -08:00
Nikolaj Bjorner
7adb402a3f add missing dependencies 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-22 12:06:30 -08:00
Nikolaj Bjorner
e321643bf5 move sls core functionality to be independent of tactic 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-22 12:00:52 -08:00
Nikolaj Bjorner
4867073290 remove windowsArm64 from nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-17 10:04:49 -08:00
Christoph M. Wintersteiger
a2b490baa6
Disable Python compilation cache during build (#7057) 
* Disable Python compilation cache during build

* More pythonic check for none
 2023-12-14 07:26:52 -08:00
Nikolaj Bjorner
7c2e4f2f9c fiddle with what gets added to win-arm64 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-13 20:43:17 -08:00
Nikolaj Bjorner
f7d9a5ba93
Revert "Disable Python compilation cache during build (#7052)" (#7054) 
This reverts commit 8293be859f.
 2023-12-13 19:32:00 -08:00
Nikolaj Bjorner
c20b8cb978 nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-13 18:46:20 -08:00
Nikolaj Bjorner
995b40865b remove readme reference, add arm64 build to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-13 18:44:11 -08:00
Christoph M. Wintersteiger
8293be859f
Disable Python compilation cache during build (#7052) 
* Disable Python compilation cache during build

* Fix var name
 2023-12-13 18:05:33 -08:00
Nikolaj Bjorner
0f4e96ac5d fix character 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-10 20:50:32 -08:00
Nikolaj Bjorner
5fc039d6ea nuget spec: does this work? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-10 12:33:29 -08:00
Nikolaj Bjorner
5732c3c980 add readme under content 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-10 11:11:37 -08:00
Nikolaj Bjorner
91837c3aee try adding readme again 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-10 10:22:41 -08:00
Nikolaj Bjorner
6afed0819c update minor version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-06 07:13:07 -08:00
Nikolaj Bjorner
dce2f3d88f add release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-06 07:10:56 -08:00
Nikolaj Bjorner
b3ef74c86d remove readme for dist 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 18:50:23 -08:00
Nikolaj Bjorner
fc3a7655a5 try to put readme in root 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 18:06:17 -08:00
Nikolaj Bjorner
2c8d33851a add README path to mk_nuget_task 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 16:38:35 -08:00
Nikolaj Bjorner
8111d879cd add README path to mk_nuget_task 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 16:37:48 -08:00
Nikolaj Bjorner
1fde3e9fb8 update release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 16:16:27 -08:00
Nikolaj Bjorner
156426a0cf use / for package path 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 15:10:13 -08:00
Nikolaj Bjorner
111ce01702 update path reference to readme 2023-12-05 13:47:05 -08:00
Nikolaj Bjorner
d566eb3df7 include readme in package 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 13:04:25 -08:00
Nikolaj Bjorner
426d7f5810 remove reference to readme in nuget task 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 12:11:29 -08:00
NikolajBjorner
7c81ee0890 fix case of README.md in nuget 
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
 2023-12-05 09:02:08 -08:00
NikolajBjorner
669f665f24 update release pipeline 
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
 2023-12-05 08:19:20 -08:00
NikolajBjorner
aa2e54c5a4 update release pipeline 
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
 2023-12-05 08:18:33 -08:00
NikolajBjorner
23fcb4376f readme 
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
 2023-12-05 08:03:28 -08:00
NikolajBjorner
f5ae8c324c make a readme file 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 08:01:59 -08:00
Michał Górny
9ad4d50b5d
Use built-in importlib.resources on Python 3.9+ (#7042) 
Use built-in `importlib.resources` module rather than the external
`importlib_resources` package on Python 3.9 and newer.  The latter
is only intended as a backport for old Python versions, and since modern
Linux distributions may no longer support such old Python versions,
they also no longer provide importlib_resources (this is the case
on Gentoo).
 2023-12-05 07:49:32 -08:00
Rui Chen
4d4359f78a
fix shebang syntax issue (#7044) 2023-12-05 07:48:15 -08:00
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