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

11 commits

Author SHA1 Message Date
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
Dan Liew 88fb31ac08 [TravisCI] Add RUN_API_EXAMPLES option so that we can disable 
building/running examples in some configurations.
 2017-10-16 08:56:17 +01:00
Dan Liew ad2a0a0085 [TravisCI] Don't print sanitizer suppressions by default because 
that breaks Z3's regression tests.
 2017-10-16 08:56:17 +01:00
Dan Liew fd391e75a6 [TravisCI] Fix Z3_BUILD_TYPE variable that was not propagated 
into the Docker image as an environment variable.
 2017-10-16 08:56:17 +01:00
Dan Liew db7b2e989d [TravisCI] Try to run the Python and .NET examples under ASan. 2017-10-16 08:56:17 +01:00
Dan Liew a991e44a25 [TravisCI] Fix typo in created directory for suppression files 2017-10-16 08:56:17 +01:00
Dan Liew 64ee9f168d [TravisCI] Add ASan/LSan/UBSan suppression files and use them in 
CI.
 2017-10-16 08:56:17 +01:00
Dan Liew 0633d5819f [TravisCI] Fix bug. PYTHON_EXECUTABLE should not be in common 
defaults. The location is dependent on the implementation.

This triggered a build failure on TravisCI because the location
of the default Python binary is different to what is in the Docker
container.
 2017-10-05 15:09:16 +01:00
Dan Liew 53fc6ac11b [TravisCI] Refactor as many CI default options as possible so that 
the Docker and "TravisCI macOS" builds share most of the same defaults
by sourcing the `ci_defaults.sh` file.
 2017-10-05 14:56:15 +01:00
Dan Liew 630863619b [TravisCI] Add Z3_WARNINGS_AS_ERRORS environment variable to 
control the `WARNINGS_AS_ERRORS` CMake option.
 2017-07-09 14:44:20 +01:00
Dan Liew 8310fed528 [TravisCI] Implement TravisCI build and testing infrastructure for Linux 
The Linux builds rely on Docker (using Ubuntu 16.04LTS and Ubuntu
14.04LTS) to build and test Z3 so that builds are easily reproducible.

A build status button has been added to `README.md` so that it is
easy to see the current build status.

More documentation can be found in `contrib/ci/README.md`.

This implementation currently tests 13 different configurations. If
build times become too long we can remove some of them.

Although it would be nice to test macOS builds that requires
significantly more work so I have left this as future work.
 2017-07-01 11:51:30 +01:00