mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 09:34:08 +00:00
Code Activity
17486 commits 22 branches 48 tags 156 MiB
Commit graph

124 commits

Author SHA1 Message Date
Nikolaj Bjorner 59c41bd8ce increment release version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-01-18 07:59:47 -08:00
Nikolaj Bjorner 3012293c35 update release script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-01-17 19:10:26 -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 feda706d0d Update release.yml for Azure Pipelines 2023-01-14 06:24:26 -08:00
Nikolaj Bjorner 54524de784 Update release.yml for Azure Pipelines 2023-01-13 17:10:36 -08:00
Nikolaj Bjorner c33b1e3082 fixup manylinux reference in release script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-01-13 16:27:58 -08:00
Nikolaj Bjorner 234ff28d18 prepare release script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-01-13 16:15:27 -08: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 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
Nikolaj Bjorner 514eaf33aa Merge branch 'master' of https://github.com/z3prover/z3 2022-08-18 19:07:55 -07:00
Nikolaj Bjorner 600b4491aa don't forget parameter documentation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-08-18 19:07:39 -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
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 a2d44194a4 Update release.yml for Azure Pipelines 
set credential to key at nuget.org
 2022-07-30 05:20:33 +02:00
Nikolaj Bjorner 69b1337ca6 inc release number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-29 23:31:26 +02: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 c6dad4a9ea Update release.yml for Azure Pipelines 
Enable pypi publishing for 4.10 wheels
 2022-07-22 10:01:49 -07:00
Nikolaj Bjorner 9cd3b9cad7 Merge branch 'master' of https://github.com/z3prover/z3 2022-07-21 20:28:02 -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 59d47e3055 don't publish pypi yet 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-21 14:43:49 -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 2ae84f88df Update release.yml for Azure Pipelines 2022-07-06 09:10:16 -07:00
Nikolaj Bjorner 15391fc9b9 remove musll from release.yml 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-06 07:37:51 -07:00
Nikolaj Bjorner f1b7ab3d3f x64 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-06 01:53:26 -07:00
Nikolaj Bjorner 7f2ebf84a2 Remove package sub-directory from release script 2022-07-06 01:09:11 -07:00
Nikolaj Bjorner bda86726af macarm 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-05 20:02:27 -07:00
Nikolaj Bjorner 4f62336fa8 download arm64 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-05 18:23:32 -07:00
Nikolaj Bjorner 593d5be202 bind variables 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-05 17:21:59 -07:00
Nikolaj Bjorner 8b35b7becc bind variables 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-05 17:20:21 -07:00
Nikolaj Bjorner 594b5daa9d remove download of mullinux 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-05 17:18:04 -07:00
Nikolaj Bjorner 3ce6663536 update release script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-05 17:17:07 -07:00
Nikolaj Bjorner 73f35e067c Update release.yml for Azure Pipelines 
pre-release
 2022-07-05 17:13:55 -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
John Jones 361888f299
Generate bdist wheels for musllinux_1_1 (#6025) 2022-05-09 14:13:08 -07:00
Nikolaj Bjorner 3ae781039b inc version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-05 07:09:54 -07:00
Nikolaj Bjorner d420706eae enable pypi release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-04 17:16:30 -07:00
Nikolaj Bjorner 47459ca795 pre-release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-04 12:04:51 -07:00
Nikolaj Bjorner 0b453a4af5 set release version 2022-04-25 08:57:32 +01:00