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

1374 commits

Author SHA1 Message Date
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
Iain Scott c18f012c83
Remove x64 suffix from NuGet package names. (#5292) 2021-05-21 13:51:02 -07:00
Matt Thornton ce1a48486e
Fix NuGet package name and glibc rid. (#5290) 2021-05-21 08:41:29 -07:00
Nikolaj Bjorner a59dcfdeab update python tag 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-20 15:23:39 -07:00
Matt Thornton 9cc1549dbe
Use osx-x64 for mac rid rather than macos. (#5288) 2021-05-20 15:19:31 -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 887b62efe6 another patch 2021-04-07 18:20:45 -07:00
Nikolaj Bjorner 6e1ac19c44 new name 2021-04-07 17:43:32 -07:00
Nikolaj Bjorner 90995b63c3 fix nightly 2021-04-07 15:43:39 -07:00
Nikolaj Bjorner eb13ad14e5 python build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-03-17 16:26:44 -07:00
Nikolaj Bjorner ab0735fde2 separate component for asserted_formulas to break dependency cycles 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-03-17 15:51:38 -07:00
Nikolaj Bjorner 25343232ca add dependency 2021-03-17 15:36:02 -07:00
Nikolaj Bjorner ddbcd08d46 move asserted_formulas to solver scope 2021-03-17 15:02:16 -07:00
Andrew V. Jones d0515dca50
Circular seq axioms node (#5104) 
* Dealing with ambiguity when calling 'find_file' #5089

Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>

* Correcting ambiguity when calling 'find_file' if the file is in the current src dir #5089

Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>

* Ensuring consistency when obtaining the original include #5089

Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>
 2021-03-16 06:58:54 -07:00
Nikolaj Bjorner d03fdf5fed more descriptive naming convention 2021-03-15 15:48:33 -07:00
Nikolaj Bjorner 4b3fecc35e remove dependency on ast from params 2021-03-15 15:40:41 -07:00
Nikolaj Bjorner 1cb0dbae51 missing dependency for python build 2021-03-14 20:45:30 -07:00
Nikolaj Bjorner 8412ecbdbf fixes to new solver, add mode for using nlsat solver eagerly from nla_core 2021-03-14 13:57:04 -07:00
Nikolaj Bjorner bef6f1a729 fix build 2021-03-02 13:51:58 -08:00
Nuno Lopes d396d46bd1 let's test if all the buildbots are happy with C++17 
it's stil a bit too early for C++20
 2021-02-18 18:13:10 +00: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 1d12b72bbc log classificaiton 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 14:43:05 -08:00