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

1498 commits

Author SHA1 Message Date
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
Nikolaj Bjorner d391043ffd only one arch at a time 2022-01-08 11:32:08 -08:00
Nikolaj Bjorner 2c44454a17 self -> env 2022-01-08 10:58:36 -08:00
Nikolaj Bjorner d6ce05009b try separate x86 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-08 10:14:28 -08:00
Nikolaj Bjorner 5ec7a66a45 change class name, add comment 2022-01-04 22:02:14 -08:00
Nikolaj Bjorner 964a5cd761 lump java together 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-04 20:48:05 -08:00
Nikolaj Bjorner ef3dd32364 some cleanup 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-04 20:21:53 -08:00
Nikolaj Bjorner 7d311ac2ef use netstandard 2.0 per recommendations 
seems that now the recommended starting point is 2.0 and not lower.
 2021-12-25 13:44:49 -08:00
Nikolaj Bjorner ecf41972b1 increase minor version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-12-23 14:41:52 -08:00
Nikolaj Bjorner dc09d3c5ea fix typo 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-12-23 14:41:52 -08:00
Nikolaj Bjorner df8f9d7dcb Update release.yml for Azure Pipelines 2021-12-23 12:43:00 -08:00
Nikolaj Bjorner bd2a53c475 Update release.yml for Azure Pipelines 2021-12-23 11:48:08 -08:00
Nikolaj Bjorner 5d4420a763 Update release.yml for Azure Pipelines 2021-12-23 11:46:47 -08:00
Nikolaj Bjorner a00d68fe5a update release scripts and notes in master 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-12-23 11:43:38 -08:00
Anton Kochkov f11fcec082
Migrate from deprecated distutils.sysconfig in scripts (#5729) 2021-12-22 07:59:13 -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 4641a20f4f #5700 - Add download x86 as part of release NuGet 
x86 is part of nightly NuGet but was not added to the release pipeline.
 2021-12-16 13:50:31 -08:00
Nikolaj Bjorner 4587575649 if you read this commit message you probably are a programmer who has no life 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-11-18 20:25:47 -08:00
Nikolaj Bjorner 43a827c931 Update release.yml for Azure Pipelines 2021-11-18 16:05:22 -08:00
Nikolaj Bjorner 71d5d2486c Update release.yml for Azure Pipelines 2021-11-18 15:01:43 -08:00
Nikolaj Bjorner 72f28f06e4 Update release.yml for Azure Pipelines 2021-11-18 14:05:13 -08:00
Nikolaj Bjorner b95ba89dbe update release pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-11-18 13:09:13 -08:00
Nikolaj Bjorner feadfbfba4 enable publish 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-11-18 12:00:44 -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 c826b64e35 prepare release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-11-16 09:41:51 -08:00
Weng Shiwei 723b755ca7
Fix the command of install_name_tool -id. (#5622) 
* Fix the command of `install_name_tool -id`.

* Fix: don't call `ml_example.byte`.
 2021-10-27 11:10:45 +02:00
Weng Shiwei 066076557f
Add post-install testing for ocaml binding. (#5617) 
* Add path flags for cc loader (linux).

* Fix os linking and loading problem (maybe on #4840).

* Add post-install test of OCaml binding on ubuntu.

* Minor.

* Tentative CI for macos.
 2021-10-25 11:21:02 +02:00
Weng Shiwei cd8d8bbb63
Fix runtime search path for shared-lib and add '-static' to the name of static-lib. (#5616) 
* Fix runtime search path for shared-lib and add '-static' to static-lib.

* Revert the change on `META.in`.
 2021-10-21 18:27:54 -04:00
Nuno Lopes 9b5ec6d004 logging cleanup 
move everything out-of-line as common path doesn't log
fix some race conditions on file ptr vs enable_logging vars
 2021-08-29 12:24:19 +01:00
Nuno Lopes 1f4a7c5101 logging: don't call the returned function twice (one for log, one for return) 
Z3_simplify() does RETURN_Z3(simplify(...)), hence the function was being called twice
it turns out simplify is not idempotent, so calling it twice can result in different results
thus breaking the log.
 2021-08-29 11:06:19 +01:00
Nikolaj Bjorner 9c7d9f06ed #5497 2021-08-22 17:22:37 -07:00
Karlheinz Friedberger 764e033bf4
Specify and document value for environment variable for loading native library in Java bindings (#5477) 
* limit range of environment variable for loading the native library in Java to "true".

This change specifies the range of values that are allowed to set the environment
variable "z3.skipLibraryLoad".
Only the value "true" (in upper-, lower-, and mixed-case is accepted as valid value.
Other values, such as "false", "0", "1", "foo", an empty or a missing value are
evaluated to "false" and cause the default loading of the native library.

* adding documentation about environment variable for (not) loading the native library in Java.

This is a follow-up commit for #4667 to provide a publicly visible documentation.
 2021-08-13 14:54:02 -07:00
Nikolaj Bjorner 6dfaaa43cd jobs 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-07-30 22:38:56 -07:00
Nikolaj Bjorner 3f6a7748fa jobs 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-07-30 22:38:16 -07:00
Nikolaj Bjorner ce23798cd0 coverage.yml 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-07-30 22:36:14 -07:00
Nikolaj Bjorner 211a6c8752 rename 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-07-29 11:32:20 -07:00
Nikolaj Bjorner d0686671c5 Merge branch 'master' of https://github.com/z3prover/z3 2021-07-29 11:31:45 -07:00
Nikolaj Bjorner db5252a81b add dummy 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-07-29 11:31:39 -07:00
0152la 72d3074a44
Add Ubuntu CMake Coverage CI step (#5442) 
Adds an extra step to CI jobs which executes the Z3 test suite with
coverage enabled, and additionally executed coverage-enhancing tests
added to z3test.
 2021-07-29 11:29:49 -07:00
Nikolaj Bjorner a3010c8875 version inc, bvsort->bitvecsort 2021-07-13 17:14:47 +02:00
Nikolaj Bjorner 3a402ca2c1 Update release.yml for Azure Pipelines 2021-07-13 15:25:23 +02:00
Nikolaj Bjorner 75a5de99ca Update release.yml for Azure Pipelines 2021-07-13 15:24:19 +02:00
Nikolaj Bjorner 4c53655be7 add z3doc build to release script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-07-11 23:26:48 +02:00
Nikolaj Bjorner 10ad5bae21 increment version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-07-11 06:17:58 +02:00
Nikolaj Bjorner bc2e6ce037 Update release.yml for Azure Pipelines 2021-07-10 22:42:02 +02:00
Nikolaj Bjorner 34885562e0 try without #!/bin/env python #5397 2021-07-10 15:20:56 +02:00
Iain Scott d61d5081a2
Delete unused NuGet release script. (#5351) 2021-06-16 10:48:51 -05:00
Nikolaj Bjorner 39af2a188d centos -> glibc 2021-06-04 15:54:19 -07:00
Nikolaj Bjorner 84b86ac8d2 updated ref to esrp 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 15:13:34 -07:00
Nuno Lopes 2f9be23d90 attempt to fix MSVC build 2021-06-04 19:49:59 +01:00
Nikolaj Bjorner 88ec0f9fdd undo cxx hoist 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 11:39:46 -07:00
Nikolaj Bjorner 3655c399f5 hoist c++ flags 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 11:33:56 -07:00
Nikolaj Bjorner 654e53e762 auxiliary build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 11:15:13 -07: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
Iain Scott 48beb814f5
Use more generic linux-x64 for NuGet rid instead of specific ubuntu, debian, etc. (#5310) 2021-05-28 13:53:52 -07:00
Nikolaj Bjorner 8ba0fb5b58 rounding mode sort removed for incompatibility 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-21 16:18:43 -07:00