mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 21:09:11 +00:00
Code Activity
19852 commits 49 branches 53 tags 182 MiB
Commit graph

302 commits

Author SHA1 Message Date
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