Nikolaj Bjorner
91ca02864c
arm64
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-04-08 14:59:22 +02:00
Nikolaj Bjorner
3821eb4134
fpflags
2022-04-08 14:47:38 +02:00
Nikolaj Bjorner
67434a3096
again
2022-04-08 14:40:55 +02:00
Nikolaj Bjorner
9533dbaf5c
missing arg specifier
2022-04-08 14:34:52 +02:00
Nikolaj Bjorner
746a4161af
more passing of parameters
2022-04-08 14:24:21 +02:00
Nikolaj Bjorner
cb6aba2315
more arm
2022-04-08 14:07:56 +02:00
Nikolaj Bjorner
79553261d1
no uname on nt
2022-04-08 07:02:32 +02:00
Nikolaj Bjorner
babac78c99
syntax error?
2022-04-08 06:59:07 +02:00
Nikolaj Bjorner
83d2aa85ec
add arm64 build path
2022-04-08 06:35:25 +02:00
Nikolaj Bjorner
2e91d66888
Update mk_util.py
...
use more meaningful name
2022-04-08 06:28:36 +02:00
Nikolaj Bjorner
c47bd1d01f
add arm64 auto-detect
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-04-07 13:43:35 +02:00
Nikolaj Bjorner
8c2909f52b
working on python make for arm
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-04-07 13:36:23 +02:00
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
