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

131 commits

Author SHA1 Message Date
Han Gao 3d87d86c28
github action: add riscv64/aarch64/powerpc64 cross compile (#5897) 
* github action: add riscv64/aarch64/powerpc64 cross compile

Signed-off-by: Han Gao <rabenda.cn@gmail.com>

* fix: build on non-x86 platform

Signed-off-by: Revy <rabenda.cn@gmail.com>
 2022-03-16 07:30:20 -07: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 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 a3010c8875 version inc, bvsort->bitvecsort 2021-07-13 17:14:47 +02:00
Nikolaj Bjorner 10ad5bae21 increment version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-07-11 06:17:58 +02:00
Nuno Lopes 7cda90c06a cmake: build with -fvisibility-inlines-hidden 2021-06-04 19:51:40 +01:00
Rolf Eike Beer 7f8e2a9f75
clean up CMake code (#5182) 
* CMake: simplify FindGMP.cmake

Remove printing of all the different variables, and let FPHSA output the library
name. Add an imported target, which bundles the library and the include
directories for easier usage.

* fix build: vector::c_ptr() now is vector::data()

* CMake: use Threads::Threads imported module

Otherwise the setting of THREADS_PREFER_PTHREAD_FLAG has no effect.

* CMake: remove needless policy setting

The minimum required version is CMake 3.4, where these policies are already set
to new because they were introduced earlier.

* CMake: remove needless variable expansion
 2021-04-14 10:29:15 -07:00
Andrew V. Jones e8917a1a9f
Correcting 'String' to 'STRING' to resolve CMake warning (#5091) 
Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>
 2021-03-09 15:14:57 -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 fb48481860 update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 12:51:48 -08:00
Ding Fei da0e140e1c
fix git dir for git-dependency in cmake (#4759) 
This is not fixed as #1993 stated.

Co-authored-by: Ding Fei <fei.ding@ustchcs.com>
 2020-10-28 10:08:13 -07:00
Nikolaj Bjorner d56dd1db7b update version' 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-09-11 04:37:35 -07:00
Jacob Lifshay 4dc7089cc4
add android support (#4545) 
built successfully in termux on aarch64 android 10 using:
cmake -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/data/data/com.termux/files/usr/ -DCMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR=/data/data/com.termux/files/usr/lib/cmake/z3 <path/to/z3>
 2020-06-26 14:58:01 -07:00
FabianWolff 30a3618ebf
Fix build failure on riscv64 (#4506) 2020-06-07 12:27:54 -07:00
Anton Kochkov 7e84a48069
Add pkg-config file (#4368) 
* Add pkg-config file

* Copy z3.cmake.in to the Docker for CI
 2020-05-21 09:10:41 -07:00
Nikolaj Bjorner 17b8db95c1 inc version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-08 15:05:01 -07:00
Alberto Garcia Illera 53c14bd554
Use Position Independent Code flag on Static library builds (#4043) 
Not compiling libz3 with `-fPIC` may lead to errors when using it in his static flavor from a shared library.

Related https://github.com/Z3Prover/z3/issues/4038
 2020-04-22 10:52:05 -07:00
Nikolaj Bjorner 17fb07875d follow up on #2737 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-25 08:35:28 -08:00
Nikolaj Bjorner a0dcad0221 fix #2708 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-19 21:36:13 -08:00
Nikolaj Bjorner e45bafe9bf increase version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-19 14:17:48 -08:00
Nikolaj Bjorner 3669543553 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 23:06:48 -08:00
Nikolaj Bjorner 48554f0fb6 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 21:07:12 -08:00
Nikolaj Bjorner b50f8508f2 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 20:50:53 -08:00
Nikolaj Bjorner e9d9792524 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 20:39:04 -08:00
Nikolaj Bjorner 3ab9a1c88c remove deprecated USE_OPENMP, rename API_LOG_SYNC to Z3_API_LOG_SYNC (tiny part of #2709) 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 20:24:29 -08:00
Samuel Thibault da061bbcc3 Add hurd support 
Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
 2019-11-03 01:22:44 -08:00
Nikolaj Bjorner bba9d11fba fix minor version back to 7 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-02 21:12:00 -07:00
Nikolaj Bjorner 0b06a9b5d8 fix minor version numbering 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-23 01:57:03 -07:00
Nikolaj Bjorner bdecd2298c fix verion numbering 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-22 09:17:17 -07:00
Nikolaj Bjorner 22b6233e62 increment version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-22 08:31:10 -07:00
Ben Niu 962d0dda78
Pass /RELEASE to MSVC linker 
Without /RELEASE passed to MSVC linker, the checksum field in exe/dll is not calculated. When you load the exe/dll in windbg (e.g., windbg -z libz3.dll), a warning "Unable to verify checksum" will show. With /RELEASE passed to linker, the warning will be gone.
 2019-07-04 08:08:32 -07:00
Daniel Kirchner 29e6ab8335 Generate Z3ConfigVersion.cmake. 2019-06-08 02:50:07 +02:00
Nikolaj Bjorner 51532ba446 remove stale config #2318 thanks @ekpyron 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 17:08:22 -07:00
Nuno Lopes 6e6e7d51a1 cmake: addd SINGLE_THREADED option 2019-06-05 15:44:25 +01:00
Nikolaj Bjorner 9262908ebb mux 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 09:06:17 +01:00
Nikolaj Bjorner 60e4cad7f1 increase minor version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-05-31 17:01:42 -07:00
Charlie Barto 167f968fa8 Change from BINARY_DIR to PROJECT_BINARY_DIR 2019-05-15 11:25:40 -07:00
Nuno Lopes c0f7afacc4 bump cmake minimum version to 3.4 as it was released 3+ years ago 
some misc compiler flags cleanup
 2019-03-07 09:58:36 +00:00
Nuno Lopes 7ad4ced12f librt no longer needed(?) 2019-03-06 12:16:48 +00:00
Nuno Lopes c4d9754eef cmake: remove old directive 2019-03-06 11:12:18 +00:00
Bruce Mitchener 947687d350 Allow emscripten builds. 2018-12-27 09:24:12 -05:00
Nikolaj Bjorner e1dc553228 inc version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-12-20 13:15:50 -08:00
Bruce Mitchener 51a947b73d Change how 64 bit builds are detected. 
Instead of doing this at configure time, we look at the actual
compile time status. This also avoids hardcoding checks based on
what CPU architecture is present, which doesn't work when Z3 is
being built on non-x86_64 platforms.
 2018-12-09 16:16:20 +07:00
Bruce Mitchener fbc33b20c8 cmake: Allow saving clang's optimization records. 
This gives some insight into what the compiler has decided to do
or not do.
 2018-11-30 19:52:57 +07:00
Nikolaj Bjorner e83e9b02df increment version number to 4.8.4 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-19 15:17:55 -08:00
Nikolaj Bjorner 0f0287d129 prepare release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-28 17:42:16 -05:00
Nikolaj Bjorner 7cc6d84e6f merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-19 21:02:15 -07:00
Nikolaj Bjorner 694a6a26c9 bump version, add double access 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-19 20:20:08 -07:00
Nikolaj Bjorner 8431a54190
Merge pull request #1878 from 0xCM/master 
Fixes git error discussed in  https://github.com/Z3Prover/z3/pull/1552
 2018-10-16 17:05:53 -07:00
Nikolaj Bjorner 016872a5e0 increment patch 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-15 12:44:19 -07:00