mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 17:15:31 +00:00
Code Activity
15913 commits 23 branches 48 tags 157 MiB
Commit graph

66 commits

Author SHA1 Message Date
Nikolaj Bjorner
8e59b34338
Update README.md 2021-10-29 17:04:42 +02:00
Nikolaj Bjorner
f7a2d08e74
Update README.md 2021-10-11 10:32:47 -07:00
Nikolaj Bjorner
b3e63638f2
Update README.md 2021-07-31 18:02:13 -07:00
Nikolaj Bjorner
5533fc9dbc
Update README.md 2021-07-31 11:11:21 -07:00
Nikolaj Bjorner
206d7709d3
Update README.md 2021-06-15 12:25:03 -05:00
Nikolaj Bjorner
03947b2168 remove travis badge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 11:40:51 -07:00
Don Syme
504b6559ab
[WIP] Suggestion: build .NET package for both x86 and x64 and rename (#5021) 
* build package for x86

* build package for x86

* build package for x86

Co-authored-by: Don Syme <donsyme@fastmail.com>
 2021-02-11 09:29:32 -08:00
Nikolaj Bjorner
d591bf62c1 add to readme #4575 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-07-27 09:35:50 -07:00
Nikolaj Bjorner
4d586c2c13 remove stale references to gac/csc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-07-26 12:03:03 -07:00
Nikolaj Bjorner
f381d51c83 update badge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-29 14:04:12 -07:00
ahumenberger
d706d43712
Update README with infos about Julia bindings (#4298) 
* Update README for Julia bindings

* Fix links in readme

* Add hash of z3_jll

* Fix typo
 2020-05-12 19:34:47 -07:00
Anton Kochkov
50d58114cf
Fix the Julia bindings paragraph in README (#4068) 2020-04-23 10:05:50 -07:00
Nikolaj Bjorner
95a78b2450
updates to seq and bug fixes (#4056) 
* na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* fix #4037

* nicer output for skolem functions

* more overhaul of seq, some bug fixes

* na

* added offset_eq file

* na

* fix #4044

* fix #4040

* fix #4045

* updated ignore

* new rewrites for indexof based on #4036

* add shortcuts

* updated ne solver for seq, fix #4025

* use pair vectors for equalities that are reduced by seq_rewriter

* use erase_and_swap

* remove unit-walk

* na

* add check for #3200

* nits

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* name a type

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* remove fp check

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* remove unsound axiom instantiation for non-contains

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* fix rewrites

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* fix #4053

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* fix #4052

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-04-22 13:18:55 -07:00
Nikolaj Bjorner
9af4cc0fd6 links to API (related to issue in z3doc) 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-03 12:20:11 +01:00
Nikolaj Bjorner
cef5a26361 update README on cmake 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-06 08:43:54 +01:00
Nikolaj Bjorner
c1fa844460 format 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-17 10:01:11 -07:00
Nikolaj Bjorner
a82cee6984 add information about supported packages in README, fix #2642 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-17 10:00:41 -07:00
Nikolaj Bjorner
06ee09a113
Update README.md 2019-07-26 17:56:54 -07:00
Nikolaj Bjorner
07472d2563
Update README.md 2019-07-26 16:47:55 -07:00
Nikolaj Bjorner
42a1926cbb update readme 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-07-26 15:48:07 -07:00
Nikolaj Bjorner
6b5961ac1e update readme 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-07-26 15:47:24 -07:00
Yusuke Matsushita
53046df628
Merge navigations for stable and nightly builds 
Merged navigations for stable and nightly builds, reflecting the very recent update.
 2019-06-11 02:52:13 +09:00
Nikolaj Bjorner
9fa52153fa remove cz3 builds 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 18:19:32 -07:00
Nikolaj Bjorner
16fa1fa5db remove and 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 17:42:10 -07:00
Nikolaj Bjorner
9615974e76 add macz3 status 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-20 10:30:00 -08:00
Nikolaj Bjorner
5a94cece2e add macz3 status 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-20 10:29:00 -08:00
Nikolaj Bjorner
566bdf3a82 add self-contained section on where to retrieve binaries 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-17 09:55:15 -07:00
Nikolaj Bjorner
a6ad893f54 add instructions as gift for Klaus 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-17 09:47:44 -07:00
Bruce Mitchener
a76397d3b8 Refer to macOS rather than Mac OS / OSX. 2018-10-02 17:38:09 +07:00
Nikolaj Bjorner
b79440a21d add web assembly link 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-18 21:13:24 -07:00
Nikolaj Bjorner
393d25f661 add web assembly link 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-18 21:12:43 -07:00
Nikolaj Bjorner
bd2ed196e3 add correct badge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-25 19:36:21 -07:00
Nikolaj Bjorner
705439cb85 update build definition to 4 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-22 20:22:42 -07:00
Nikolaj Bjorner
d8462807c3 add missin bar 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-20 09:35:51 -07:00
Nikolaj Bjorner
db7844bef7 adding build definition 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-20 09:33:23 -07:00
Adrian Stanciu
45c60ed55c Update README.md 
Corrected path to Z3 Python interface
 2017-10-18 14:50:44 +03:00
Christoph M. Wintersteiger
690b17fc25 Removed Ubuntu x86 VSTS/CI build (not supported by VSTS anymore). 2017-10-06 12:33:47 +01:00
Nikolaj Bjorner
47f194e4c9 icon update, take 4 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-07-01 17:06:38 -07:00
Nikolaj Bjorner
cc4cc8e4fb icon update, take 3 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-07-01 17:05:31 -07:00
Nikolaj Bjorner
416d955cfb icon update, take 2 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-07-01 17:03:41 -07:00
Nikolaj Bjorner
934dd0db4a revert icon update 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-07-01 17:00:48 -07:00
Nikolaj Bjorner
031d7e1b59 use iterators, update build icon for osx 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-07-01 16:58:40 -07: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
Dan Liew
2badef9d0b Be more explicit about using Clang as the compiler as noted in #979. 
Referring to the ``mk_make.py`` line might lead someone to think they
need to modify the ``mk_make.py`` file rather than change the command
line invocation.
 2017-04-20 17:25:00 +01:00
Dan Liew
4b0f7bc222 Fix typo noted in #979. g++ is the default compiler rather than the gcc binary. 2017-04-20 17:22:05 +01:00
Nikolaj Bjorner
7b727fc725 remove scratch notes from readme 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-03-09 06:37:56 +01:00
Nikolaj Bjorner
e34996fa9d add notes to README based on feedback in #916 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-03-09 06:00:34 +01:00
Christoph M. Wintersteiger
d8e4966a11 Added win64 build badge 2017-01-14 14:18:37 +00:00
Christoph M. Wintersteiger
37916fe7e9 Update README.md 2017-01-13 21:33:11 +00:00
Martin R. Neuhäußer
22097efd4a Extend build scripts to support MinGW64 cross-compilation on Windows. 2016-06-10 16:43:57 +02:00