3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-15 08:56:40 +00:00
Commit graph

301 commits

Author SHA1 Message Date
Nikolaj Bjorner
8d48ff44c4 update nightly script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-08-02 17:10:23 -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
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
f928b44606 update version number
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-05-12 14:53:52 -07: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
59c41bd8ce increment release version
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-01-18 07:59:47 -08:00
Nikolaj Bjorner
7368f9f7d3 increase build version, better propagation in euf-egraph, handle assumptions in sat.smt
- increase build version to 4.12.1. This prepares updated release for MacOs-11 build on x86
- move literal propagation mode in euf-egraph to a callback and traversal of equivalence class. Track antecedent by newest equality instead of root. This makes equality propagation to literals have similar behavior as in legacy solver and appears to result in a speedup (10% fewer conflicts on QF_UF/QG-classification/qg5/iso_icl478.smt2 in preliminary testing)
- fix interaction of pre-processing and assumptions. Pre-processing has to freeze assumption literals so they don't get eliminated. This is similar to dependencies that are already frozen.
2023-01-17 14:07:07 -08:00
Nikolaj Bjorner
c8f197d0ca specify macos-11 in nightly to force os11 build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-01-16 16:30:46 -05:00
Nikolaj Bjorner
60fef928cc missing code signing
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-01-13 16:12:48 -08:00
Nikolaj Bjorner
42fbf23a8f update code signing
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-01-13 14:01:18 -08:00
Nikolaj Bjorner
d204413f2a remove update
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-01-12 17:54:42 -08:00
Nikolaj Bjorner
85abbb8188 include apt-get update for doc build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-01-12 16:58:42 -08:00
Nikolaj Bjorner
e4bd406675 update version of manylinux 2023-01-12 16:27:33 -08:00
Nikolaj Bjorner
a90c4f65cf increment version per release notes
incrementing minor version because the API has a new function.
This breaks log replay against old dlls and inclusion against z3++.h.
2022-10-19 13:21:26 -07:00
Nikolaj Bjorner
ff679e0fce increment version number 2022-09-11 19:02:44 -07:00
Nikolaj Bjorner
8e6f17ebd0 inc version
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-09-03 15:47:12 -07:00
John Fleisher
f72cdda5fb
Change to 4 digit assembly version (#6297)
* WiP: test build specific version number

* update mk_win_dist for assembly-version

* Add print statements for version

* remove stray semicolon

* undo quote change in projectstr

* nit fixes

* revert print formatting for Mac build

* fix spaces
2022-08-31 06:46:06 -07:00
Nikolaj Bjorner
540e36e6cb roll version number
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-08-18 15:47:08 -07:00
John Fleisher
b3f4d3fdc7
Publish Z3 symbols (#6280)
* WiP: publish symbols for package

* set debugtype to full

* fix internal nuget feed publishing

* Try pipeline github authorization

* Update github service connection

* WiP: try symbol publish in build

* try Z3Prover for GitHub connection

* WiP: collect symbols

* revert symbol type to pdbonly (only portable is not supported for publishing)

* Publish symbols in nightly and release

* Revert this: comment out publish to test release build pipe

* restore publishing

* Turn of index sources to eliminate warning that it is not supported for Github

Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-08-17 07:30:55 -07:00
Nikolaj Bjorner
45a4b810de fixup github connection
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-08-16 15:12:05 -07:00
Nikolaj Bjorner
21033790be add parameter documentation to nightly 2022-08-16 15:07:19 -07:00
jofleish
88b3e0c944 Update github service connection 2022-08-15 12:24:25 -07:00
jofleish
88f4664c65 Standardize ubutu-latest vmImage 2022-08-15 07:55:45 -07:00
Nikolaj Bjorner
a6fe260354 update minor versin number to ABI change to remove Z3_bool from z3_api.h
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-30 06:31:22 +02:00
Nikolaj Bjorner
591d485358 update versions
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-30 05:26:43 +02:00
Nikolaj Bjorner
3a8eb1e7ec increase version number
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-22 12:43:19 -07:00
Nikolaj Bjorner
845e852dba increment to include python fixes
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-22 11:44:32 -07:00
Nikolaj Bjorner
adcb3e8f86 set version number
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-21 20:27:50 -07:00
Nikolaj Bjorner
faf6c02cf8 remove --js from nightly and release doc builds as the npm run 'check-engine' fails
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-12 07:46:06 -07:00
Nikolaj Bjorner
4dc88f0993 add --js to nightly and release scripts, nb @ritave
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-11 20:37:50 -07:00
Nikolaj Bjorner
9d9414c111 inc version number 2022-07-06 14:00:40 -07:00
Nikolaj Bjorner
cc841caf08 increment minor version for dev branch
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-06 10:15:34 -07:00
Nikolaj Bjorner
282c786f1c setting version to release
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-05 11:51:12 -07:00
Nikolaj Bjorner
93a0322cac update distribution scripts 2022-06-02 11:48:12 -07:00
Nikolaj Bjorner
366860be46 change to osx-11.0
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-02 07:21:48 -07:00
Nikolaj Bjorner
c7560e1394 change to osx-11.0
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-02 07:20:28 -07:00
Nikolaj Bjorner
4191d84e58 change to 11.0
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-02 07:12:45 -07:00
Nikolaj Bjorner
6396cfd6e7 os
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-01 21:20:19 -07:00
Nikolaj Bjorner
9ed7fd9454 Update nightly.yaml for Azure Pipelines 2022-06-01 19:17:27 -07:00
Nikolaj Bjorner
aa8e89c5f3 try macos12 for arm64
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-01 19:11:17 -07:00
Nikolaj Bjorner
bffa7ff2f6 add hint verification, combine bounds/farkas into one rule
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-29 10:12:05 -07:00
Nikolaj Bjorner
36ad377a7d na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-29 09:21:43 -07:00
Nikolaj Bjorner
9ec34d96ce comment out muslinux build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 18:14:42 -07:00
Nikolaj Bjorner
6abea2de2c fix nightly, fix regression identified by Nuno
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 18:03:15 -07:00
Nikolaj Bjorner
ddc3445707 try to add back musllinux
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 14:47:39 -07:00
Nikolaj Bjorner
35db0ae58b workaround manylinux build failure (it is advertized as a compiler bug)
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 14:34:58 -07:00
Nikolaj Bjorner
d09d37cb10 wt$
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 14:27:22 -07:00