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

91 commits

Author SHA1 Message Date
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
Chris Moore a8f26ae1d8 Fixes the git submodule error discussed in https://github.com/Z3Prover/z3/pull/1552 2018-10-15 10:09:41 -05:00
Nikolaj Bjorner 69f35a2970
Merge branch 'master' into intel-compiler 2018-10-02 11:54:52 -07:00
Bruce Mitchener a76397d3b8 Refer to macOS rather than Mac OS / OSX. 2018-10-02 17:38:09 +07:00
Nikolaj Bjorner be8a9c611e incorporate #1854 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-01 19:49:18 -07:00
Michał Janiszewski 5c9b1c7b11 Add support for Intel Compiler 2018-10-01 21:45:01 +02:00
Nikolaj Bjorner 0520d1a1f6 remove trial with mfsr flag 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-06-08 07:38:30 -07:00
Nikolaj Bjorner d7f51f2443 try flags to fix gcc build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-06-06 18:20:23 -07:00
Nikolaj Bjorner 50c93d1ad4 merge with 4.7.1 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-22 17:10:36 -07:00
Nikolaj Bjorner 3b1b82bef0 bumping version number by 1 for release tagging 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-22 10:19:38 -07:00
Daniel Schemmel 7467368266
Use CMake's own mechanism for selecting language version if CMake version is new enough 2018-05-21 07:35:43 +02:00
Nikolaj Bjorner 78b9f0686a merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 07:43:29 -07:00
Nikolaj Bjorner 2dc92e2b94 merge with pull request #1557 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-07 17:22:49 -07:00
Nikolaj Bjorner 21a3b9c8e2 increment version number due to ABI/API breaking change #1556 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-31 05:20:47 -07:00
Pierre Pronchery 5f7bd993de Add support for NetBSD 
Originally from David Holland <dholland@NetBSD.org>.
 2018-03-13 21:59:35 +01:00
Nikolaj Bjorner 3d9139f6ef bump revision 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-10 12:07:55 -08:00
Nikolaj Bjorner e5a1981694 disable GCC flag change to see if this affects build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-09 15:40:35 -05:00
Nikolaj Bjorner 4e31794c44
Merge pull request #1519 from waywardmonkeys/colorize-output-with-ninja 
Force color output with Ninja.
 2018-03-09 05:18:50 -05:00
Bruce Mitchener 878a6ca14f Fix typos. 2018-03-09 14:30:43 +07:00
Bruce Mitchener 0b54a91513 Force color output with Ninja. 2018-03-07 13:29:13 +07:00
Dan Liew e9be339d9d [CMake] Fix #1437. 
The `clock_gettime()` function in glibc < 2.17 required linking against
librt. Until #1437 nobody had tried using the CMake build system with
a really old version of glibc (in this case 2.12).

The python build system always linked against librt but the CMake build
system never tried to link against it leading to link failures.

This patch teaches the CMake build system to detect if librt is required
when linking against `clock_gettime()` and adds `rt` as a link
dependency if necessary.
 2018-01-03 12:50:42 +00:00
Christoph M. Wintersteiger 63951b815d Bumped version number. 2017-12-18 18:58:21 +00:00
Nikolaj Bjorner b96dacfff2 set version, fix build of test files 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-11-30 08:42:01 -08:00
Nikolaj Bjorner d1ee5431a7 Update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-11-28 14:19:30 -08:00
Nikolaj Bjorner e1d08e9526 remove reinterpret cast occurrences that require disabling strict alias analysis #987 #1210 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-08-17 20:41:29 -07:00
Nuno Lopes 4b00bc636b revert the patch to remove no-strict-aliasing 
VS 2012 doesnt support C++11 unions..
 2017-08-14 23:00:59 +01:00
Nuno Lopes 2473c69679 Drop no-strict-aliasing and fix 2 places where it was violated 2017-08-14 20:09:49 +01:00
Dan Liew e898f515f7 [CMake] Change how the default value of USE_OPENMP is set. 
This change means if the user explicitly passes `-DUSE_OPENMP=ON` to
CMake during the first configure and the compiler does not support
OpenMP the configure will fail but if the user doesn't specify it the
build system will automatically enable/disable OpenMP support depending
on whether it is supported by the compiler.

This is an improvement on the previous behaviour because previously we
would just emit a warning if `-DUSE_OPENMP=ON` was passed and the
compiler didn't support OpenMP.
 2017-08-12 18:37:03 +01:00
Nikolaj Bjorner 2b82fd5d0c updated include directives 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-08-01 10:51:47 -07:00
Daniel Perelman b06b9eeb35 Adding ENABLE_CFI flag to CMake. 2017-07-26 16:31:28 -07:00
Dan Liew 80c0c4f663 [CMake] Fix detection of git description and hash for CMake 2.8.12 2017-06-24 15:15:27 +01:00
Dan Liew 3229bedb36 [CMake] Unbreak the configure step for CMake 2.8.12 2017-06-24 14:41:33 +01:00
Dan Liew 489077a3eb [CMake] Remove use of INSTALL_PREFIX argument to 
`configure_package_config_file()`. This argument wasn't available
until CMake 3.1 and we don't appear to be really using it anyway.
 2017-06-24 14:16:48 +01:00
Dan Liew 5a8205cb0c [CMake] Unbreak detection of pthreads for CMake versions < 3.4 2017-06-24 14:05:25 +01:00
Dan Liew ed038c2a10 [CMake] Fix CMake warning about CMP0042 on macOS 2017-06-22 09:42:22 +01:00
Dan Liew 5be503798f [CMake] Remove bootstrap check. Now that the CMake files are in 
their correct location we don't need it anymore.
 2017-06-12 11:59:38 +01:00
Nikolaj Bjorner cfd598fabb Merge pull request #1036 from delcypher/cmake_remove_foci2_stub 
[CMake] Remove FOCI2 stub code.
 2017-05-22 09:20:54 -07:00
Dan Liew 702347ddac [CMake] Add CMake option API_LOG_SYNC that corresponds to the 
`--log-sync` option added to the python/Makefile build system
added in dee7c29b19 .
 2017-05-22 17:11:25 +01:00
Dan Liew a15419cf46 [CMake] Remove FOCI2 stub code. 
The CMake build system doesn't need to support FOCI2 because it
has been removed from Z3's codebase in 4b61a864e2 .
 2017-05-22 16:45:13 +01:00
Nikolaj Bjorner 911b24784a merge LRA 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-09 10:46:11 -07:00
Nikolaj Bjorner 579b914d78 add configuration per Dan Liew's comment 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-08 10:02:09 -07:00