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

286 commits

Author SHA1 Message Date
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 e7ded9cdbd update to 2022 2022-03-08 08:36:19 -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 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 d391043ffd only one arch at a time 2022-01-08 11:32:08 -08:00
Nikolaj Bjorner db62038845 Update nightly.yaml 
see if this gets us past the upload to GitHub issue
 2021-12-16 14:20:40 -08:00
Nikolaj Bjorner 5194aa186a nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-11-17 09:36:50 -08:00
Nikolaj Bjorner 1752055aa6 update nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-11-16 09:49:16 -08:00
Nikolaj Bjorner 7ce88ec032 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 11:02:00 -07:00
Nikolaj Bjorner dea7c92730 updated nightly 2021-06-04 10:54:32 -07:00
Nikolaj Bjorner a59dcfdeab update python tag 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-20 15:23:39 -07:00
Nikolaj Bjorner a166aca48e na 2021-04-08 15:48:07 -07:00
Nikolaj Bjorner 9ef7cf1e81 test old connection 2021-04-08 12:14:29 -07:00
Nikolaj Bjorner 6e1ac19c44 new name 2021-04-07 17:43:32 -07:00
Nikolaj Bjorner 85f0084e9c set options and change VS for nightly 2021-02-12 13:41:30 -08:00
Nikolaj Bjorner 80d297dca2 Try to move using windows latest instead of VS2017 2021-02-12 12:45:21 -08:00
Nikolaj Bjorner d0c96abe30 log classificaiton 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 14:44:05 -08:00
Nikolaj Bjorner 98eae28fca try to update setup.py to libc naming 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 11:52:05 -08:00
Nikolaj Bjorner b6294ab235 is glibc the new centos? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 11:17:33 -08:00
Nikolaj Bjorner c03bd5e1c8 is glibc the new centos? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 11:17:04 -08:00
Nikolaj Bjorner 5d46ac0aca is glibc the new centos? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 11:14:39 -08:00
Nikolaj Bjorner b7d1d03b08 try revert to u18 for centos zip 2021-02-11 10:36:48 -08:00
Nikolaj Bjorner 2301fce65e it helps to spell 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 09:44:03 -08:00
Nikolaj Bjorner 9883a0b983 downgrade to Ubuntu 18 for ocaml doc build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 09:43:22 -08:00
Don Syme 504b6559ab
[WIP] Suggestion: build .NET package for both x86 and x64 and rename (#5021) 
* build package for x86

* build package for x86

* build package for x86

Co-authored-by: Don Syme <donsyme@fastmail.com>
 2021-02-11 09:29:32 -08:00
Nikolaj Bjorner c623e2db28 typo 2021-02-01 09:14:26 -08:00
Nikolaj Bjorner 60cc9d8182 set unicode by default 2021-01-31 11:32:33 -08:00
Nikolaj Bjorner 39bfdbd8c0 make the right diretory 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-30 05:01:16 -08:00
Nikolaj Bjorner c99b805c14 mld 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-29 18:37:38 -08:00
Nikolaj Bjorner 34c34b68ee one more nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-29 16:40:59 -08:00
Nikolaj Bjorner 41a4d102f4 try ocamlfind in the loop 
Thanks to @c-cube
 2021-01-29 13:37:16 -08:00
Nikolaj Bjorner b11203e2d2 try local env 2021-01-29 08:41:14 -08:00
Nikolaj Bjorner 1d7cabaf9a typo 2021-01-29 08:15:40 -08:00
Nikolaj Bjorner a2d344c401 use build path 2021-01-29 07:32:04 -08:00
Nikolaj Bjorner 1f71aeded9 ocamldoc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-29 06:47:10 -08:00
Nikolaj Bjorner 5c9b205dfc run mk_api_doc in the same environment as make where opan config env is used 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-29 06:25:24 -08:00
Nikolaj Bjorner 8a229bf684 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 22:39:02 -08:00
Nikolaj Bjorner c271a42a2e change zip command 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 21:01:08 -08:00
Nikolaj Bjorner a526eea123 doc/api not doc/html 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 20:01:46 -08:00
Nikolaj Bjorner 1800b48258 zip doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 19:38:51 -08:00
Nikolaj Bjorner c8aab1972a have nightly generate doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 16:05:41 -08:00
Nikolaj Bjorner 3d4a43f07b have nightly generate doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 16:04:08 -08:00
Nikolaj Bjorner 7068ccdebd have nightly generate doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 16:01:42 -08:00
Nikolaj Bjorner d08814a1fe have nightly generate doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 15:57:01 -08:00
Nikolaj Bjorner fb48481860 update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 12:51:48 -08:00
Nikolaj Bjorner 6284f6fb03 Update nightly.yaml for Azure Pipelines 2020-12-22 14:45:15 -08:00
Nikolaj Bjorner 9d22cf4d4f add signing to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-22 13:13:04 -08:00
Nikolaj Bjorner 0ed33af279 Update nightly.yaml for Azure Pipelines 2020-12-22 11:52:09 -08:00
Nikolaj Bjorner 8692fcdf3b Update nightly.yaml for Azure Pipelines 2020-12-22 10:47:33 -08:00
Nikolaj Bjorner d72f6c80df Update nightly.yaml for Azure Pipelines 2020-12-22 09:58:03 -08:00
Nikolaj Bjorner 010d578e8f sym file 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 18:08:23 -08:00
Nikolaj Bjorner 3576b66e32 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 15:46:42 -08:00
Nikolaj Bjorner 0c94d6dab6 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 13:43:50 -08:00
Nikolaj Bjorner d67f9fb3f1 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 13:07:00 -08:00
Nikolaj Bjorner 835dd9414f nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 13:06:26 -08:00
Nikolaj Bjorner 3121c39a14 nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 13:04:00 -08:00
Nikolaj Bjorner d0fbeb11c9 Update nightly.yaml for Azure Pipelines 2020-12-21 11:57:00 -08:00
Nikolaj Bjorner a72856111b add destination to custom command 2020-12-21 11:42:04 -08:00
Nikolaj Bjorner a164087384 remove cheap-eqs option as there is already propagate_eqs 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 11:04:04 -08:00
Nikolaj Bjorner 5866d6ee3f custom 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 09:40:08 -08:00
Nikolaj Bjorner 84a7f3fcd0 quote? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 08:54:46 -08:00
Nikolaj Bjorner 5a20413d04 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 18:03:06 -08:00
Nikolaj Bjorner 715b1fd393 try snupkg parameter 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 17:54:11 -08:00
Nikolaj Bjorner 9e54cd63dc wrap remove/move 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 16:19:21 -08:00
Nikolaj Bjorner d94244b236 shutil.remove -> os.remove 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 13:59:17 -08:00
Nikolaj Bjorner 726853de4e add stages 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 13:57:54 -08:00
Nikolaj Bjorner b108f5163d add stages 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 13:56:54 -08:00
Nikolaj Bjorner 359d66b579 Update nightly.yaml for Azure Pipelines 2020-12-19 18:42:32 -08:00
Nikolaj Bjorner 76a4bf5fa0 Update nightly.yaml for Azure Pipelines 2020-12-19 18:42:10 -08:00
Nikolaj Bjorner 64a92f720b new nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-19 18:24:02 -08:00
Nikolaj Bjorner c100a18b37 use ReleaseVersion macro 2020-12-19 17:34:54 -08:00
Nikolaj Bjorner 3cd49d56c2 Update nightly.yaml for Azure Pipelines 2020-12-19 17:29:26 -08:00
Nikolaj Bjorner 5ce3c18fd0 Update nightly.yaml for Azure Pipelines 2020-12-19 16:59:07 -08:00
Nikolaj Bjorner e8b506a172 update for nuget 2020-12-19 16:56:25 -08:00
Nikolaj Bjorner 4039785bb6 initial steps for including symbols 
@ahelwer - seems several steps are involved for enableing snupkg. I will try to see if I can get there. The NugetCommand@2 specifies whether to include symbols, but I haven't found the portion where it allows the user to specify the name of the package (to snukpg instead of nupkg).
 2020-12-19 16:44:05 -08:00
Nikolaj Bjorner fdd3e6c4c2 Update nightly.yaml for Azure Pipelines 2020-11-10 16:26:06 -08:00
Nikolaj Bjorner 8c60e7b8f4 Update nightly.yaml for Azure Pipelines 2020-11-10 16:24:56 -08:00
Nikolaj Bjorner 41cc037204 change manylinux to ubuntu-latest 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-11-10 16:17:35 -08:00
Nuno Lopes 07e5b228a2 try to fix nightly build by moving to python3. python2 isn't supported anymore by setuptools 2020-05-31 11:40:13 +01:00
Andrew Helwer ea3b149575
Script assembly signing & NuGet package creation in Azure Pipelines (#2862) 
Windows x86/x64 builds now parallelized
Windows assemblies now signed
NuGet package created
NuGet package signed
NuGet package published to NuGet.org
 2020-01-16 18:34:01 -08:00
Andrew Helwer a72f848fde Nightly pipeline now uses SNK file in repo 2020-01-03 13:15:51 -08:00
Nikolaj Bjorner 4a94abe7d7 Update nightly.yaml 
update name
 2019-12-20 23:18:19 -08:00
Nikolaj Bjorner b13e7b9df3 Update nightly.yaml 
again
 2019-12-20 22:29:47 -08:00
Nikolaj Bjorner c8703cbc42 Update nightly.yaml 
try again
 2019-12-20 22:26:14 -08:00
Nikolaj Bjorner 8a75e9090b Update nightly.yaml 
mac -> osx
 2019-12-20 21:16:11 -08:00
Nikolaj Bjorner c5d31be613 Update nightly.yaml 
add Python top zip
 2019-12-20 21:12:13 -08:00
Nikolaj Bjorner 495658e07a try adding macos to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-20 20:16:28 -08:00
Nikolaj Bjorner a8049c7feb update nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-24 16:34:41 -07:00
Nikolaj Bjorner 9847675095 fix #2647 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-22 08:26:40 -07:00
Nikolaj Bjorner bfc30440ac update nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 13:57:45 -07:00
Nikolaj Bjorner 9fae4a16e6 update nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 12:35:12 -07:00
Nikolaj Bjorner 4051fbd8b2 update nuget packaging 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 11:19:28 -07:00
Nikolaj Bjorner f086f01ae0 update nuget script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 10:09:37 -07:00
Nikolaj Bjorner 928e08f28f update nightly runner 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 09:31:28 -07:00
Nikolaj Bjorner af442cf281 update nightly runner 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 09:29:43 -07:00
Nikolaj Bjorner 0756581a99 add nuget stage to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 08:22:18 -07:00
Nikolaj Bjorner 5c78f855ad re-add deletion for nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-21 07:49:57 -07:00
Nikolaj Bjorner 09523a4bca temporary remove delete from nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-14 01:44:40 -07:00
Audrey Dutcher ec5b148ecc Add python packaging build and deployment with Azure 2019-08-14 22:00:21 -07:00
Nikolaj Bjorner 90098633ef remove target from nightl' 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-30 08:36:37 +03:00
Nikolaj Bjorner 6f08c0788f put back delete step in nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-29 21:00:41 +03:00
Nikolaj Bjorner 6e994f9279 temporarily disable delete 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-29 20:09:33 +03:00
Nikolaj Bjorner 8a129a3e6f try replace for nightly to address #2362 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-28 21:23:52 -07:00
Nikolaj Bjorner 165c0ef3e1 disable windows validation for now 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 17:42:47 -07:00
Nikolaj Bjorner da6e3efa97 try with \ instead of / 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 17:28:27 -07:00
Nikolaj Bjorner 9d783628db add regression tests to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 16:55:02 -07:00
Nikolaj Bjorner 6bbe924063 try with create action to change commit id 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 16:48:59 -07:00
Nikolaj Bjorner 9f02acffbb use tmp 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 14:51:33 -07:00
Nikolaj Bjorner bd0ecdd6de omit target path 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 14:48:44 -07:00
Nikolaj Bjorner af8f0a7312 try consolidation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 13:50:06 -07:00
Nikolaj Bjorner 9b4f327e29 set upload mode to replace 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 20:03:20 -07:00
Nikolaj Bjorner e0a1db869f consolidate nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 18:50:37 -07:00