mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 11:25:51 +00:00
Code Activity
16356 commits 24 branches 48 tags 158 MiB
Commit graph

1455 commits

Author SHA1 Message Date
fleisherdev
a863a91b13
Allow nightly builds to complete even if package signing fails - NOT published to nuget.org (#5951) 
Co-authored-by: jofleish <jofleish@microsoft.com>
 2022-04-07 08:19:21 +02:00
Nikolaj Bjorner
05ec77cb56 revert 2022-04-03 12:20:10 -07:00
Nikolaj Bjorner
321745fdb1 #5941 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-04-03 11:07:54 -07:00
Nikolaj Bjorner
b0605a9d36 Update nightly.yaml 2022-03-27 18:29:55 -10:00
Nikolaj Bjorner
cb1e16fd76 Update nightly.yaml for Azure Pipelines 2022-03-27 17:42:16 -10:00
Nikolaj Bjorner
da00deead8 disable arm 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-27 17:40:03 -10:00
Nikolaj Bjorner
ae07a53764 Update nightly.yaml for Azure Pipelines 2022-03-26 17:14:31 -10:00
Nikolaj Bjorner
a9a843294e try add ARM path for MacOS 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-26 17:10:23 -10:00
jofleish
42da9760f9 Continue on error in GitHub tagging 2022-03-24 12:35:10 -04:00
jofleish
a4af26e2f0 Shorten public feed to Z3Nightly 2022-03-23 16:25:34 -04:00
jofleish
bb4a2b97b6 remove project from public/org level feed 2022-03-23 14:28:43 -04:00
jofleish
b8c61ca278 continue on error in deploy 2022-03-23 12:31:35 -04:00
jofleish
3ffc3c2f97 continue on github tagging error 2022-03-23 12:30:52 -04:00
jofleish
1ee3de5409 temporary workaround for build 2022-03-23 12:25:31 -04:00
jofleish
d9e93d5f7c revert to buildid in version number 2022-03-23 09:53:15 -04:00
jofleish
13a33a3966 fix authentication input 2022-03-23 08:51:20 -04:00
jofleish
16f47954c0 Use camel case service name 2022-03-23 08:50:14 -04:00
jofleish
7bf2df1b7a Update nightly nuget service connection 2022-03-23 08:44:42 -04:00
jofleish
8273a20498 test publish to public project feed 2022-03-22 17:26:12 -04:00
John Fleisher
ce04c16a6f
Jfleisher/nightlynuget (#5916) 
* WiP: Test nightly version number change

* Fix debug assert

* WiP: test nuget publish to AzDo feed for nightly build

* WiP: Make Nuget deploy separate stage

* WiP: fix nightly stage name

* change nuget push to vstsfeed

* Try case sensitive name for artifacts

* WiP: use artifact folder names

* add Rev version to package

* WiP: build def variation on nightly build version

* WiP: use Build_BuildNumber and Build_DefinitionName

* WiP: using hyphen in nightly version

* Tag nightly packages with datetime

* fix commit

* Build.BuildId and Build.DefinitionName

* WiP: change suffix format to lead with alpha

* test z3public feed publish

* revert public publish test

* WiP: test build# versioning scheme

* WiP: another variant on version number for nightly

Co-authored-by: jfleisher <jofleish@microsoft.com>
Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-22 12:19:58 -07:00
Nikolaj Bjorner
a418678cd4 increment version number 2022-03-20 14:34:34 -07:00
Nikolaj Bjorner
1e8bae01e9 enable pypi in release pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-20 13:12:29 -07:00
Nikolaj Bjorner
9061ca58f1 call it macOSBuild 2022-03-19 15:25:50 -07:00
Nikolaj Bjorner
b5b9c85c40 call it UbuntuBuild 2022-03-19 15:24:53 -07:00
Nikolaj Bjorner
dfa65443e9 fix name for artifact 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-19 13:51:58 -07:00
Nikolaj Bjorner
fd1f5cdd0f fix callback type declarations for propagators 2022-03-19 12:24:46 -07:00
Nikolaj Bjorner
eaa2fb76ca update release pipeline with x86 Nuget 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-19 11:46:27 -07:00
Nikolaj Bjorner
81a5e56c89 publish to github 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-18 18:58:27 -07:00
Nikolaj Bjorner
39df8ee372 update win build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-18 17:39:58 -07:00
Nikolaj Bjorner
29e288367e pre-release pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-18 16:22:48 -07:00
Matt Thornton
4e0a2f5968
Dispose of intermediate Z3Objects created in dotnet api. (#5901) 
* Dispose of intermediate Z3Objects created in dotnet api.

* Set C# LangVersion to 8.0.

* Fix build errors.

* Fix warning about empty using statement.

* Fix Xor to only dispose of objects that it creates internally.
 2022-03-17 08:08:05 -07:00
Nikolaj Bjorner
e7ded9cdbd update to 2022 2022-03-08 08:36:19 -08:00
Nuno Lopes
689e2d41de remove a bunch of unneeded memory allocations 2022-02-25 16:08:23 +00:00
Emma Jane Bonestell
dc110f10a4
Update mk_util.py (#5864) 
Fix dynamic -lib opam builds on MSYS2
 2022-02-23 03:36:46 -08:00
Nikolaj Bjorner
456b8ee682 nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-02-21 04:18:05 -08:00
Nikolaj Bjorner
c47e5aff60 multi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-02-20 14:03:13 -08:00
Nikolaj Bjorner
cfe9846f0c multi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-02-20 13:59:42 -08:00
Nikolaj Bjorner
b38b6daba3 add option to disable FPMATH 2022-02-20 15:33:13 +02:00
Nikolaj Bjorner
14ee02183c nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-02-20 13:43:11 +02:00
Nikolaj Bjorner
e800269cee na 2022-02-20 13:05:53 +02:00
Nikolaj Bjorner
c25d710958 try out arch arm64 on the mac 2022-02-20 10:31:29 +02:00
Nikolaj Bjorner
4f6fcf8ea7 fix #5814 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-02-08 10:20:19 +02:00
Nikolaj Bjorner
b259f46f85 dependencies 2022-01-13 12:34:58 -08:00
Nikolaj Bjorner
08294d62e5 separate dependencies for qe_lite 2022-01-12 03:26:22 -08:00
Nikolaj Bjorner
9ac57fc510 update version number for next release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-09 17:11:08 -08:00
Nikolaj Bjorner
174889ad5e id 2022-01-08 16:28:12 -08:00
Nikolaj Bjorner
afbfea8ce6 name the package 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-08 15:52:50 -08:00
Nikolaj Bjorner
36ed1ffac2 update name of artifact 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-08 15:13:46 -08:00
Nikolaj Bjorner
40761ebb0d bug in script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-08 12:10:16 -08:00
Nikolaj Bjorner
c2aff52dd7 os-info back to common 2022-01-08 11:33:43 -08:00