mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 05:19:11 +00:00
Code Activity
19998 commits 49 branches 53 tags 182 MiB
Commit graph

88 commits

Author SHA1 Message Date
Steffen Smolka
0b26f7e0ee
Add support for building Z3 using Bazel. (#7646) 
Signed-off-by: Steffen Smolka <smolkaj@google.com>
 2025-05-15 08:47:29 -07:00
Nikolaj Bjorner
6e88d91214 add badge for ocaml cmake 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-04-19 13:46:40 -07:00
Nikolaj Bjorner
54c6b11621
Update README.md 
redist license pointer
 2025-03-07 11:47:32 -08:00
chausner
c7dfb619a2
Minor tweaks in README.md (#7504) 2025-01-07 14:31:45 -08:00
Nikolaj Bjorner
b6c0e6fe4b
Update README.md 2025-01-07 11:02:39 -08:00
Nikolaj Bjorner
a8a50695c9
Update README.md 2024-11-18 13:29:06 -08:00
Nikolaj Bjorner
24dfc17920
Update README.md 2024-11-18 11:54:34 -08:00
Nikolaj Bjorner
e380903d61
Update README.md 2024-11-16 19:20:04 -08:00
Kirill A. Korinsky
5cee19fa09
It uses C++20 BTW (#7429) 2024-10-20 20:00:36 -07:00
Páll Haraldsson
8b81bda469
Julia now used the C API. (#7388) 2024-09-24 15:17:11 +01:00
Nikolaj Bjorner
ea417bbf92
Update README.md 2024-08-28 10:32:07 -07:00
Nikolaj Bjorner
f9176fb4b7
Update README.md 2024-05-07 11:39:52 -07:00
Nikolaj Bjorner
e722dc7777 add status badge for windows build, remove windows build from Azure pipelines 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-20 16:30:08 -08:00
itehax
aa703160ce
Update README.md (#6960) 2023-10-23 15:28:02 -07:00
Jack·Boos·Yu
9118a93e44
[document] Add vcpkg instruction step (#6345) 2022-09-19 09:36:54 -07:00
Bruce Mitchener
1eb2472b19
README: Fix release notes link. (#6185) 2022-07-22 09:45:07 -07:00
Chaoqi Zhang
3439d2407b
Revert "doc: update readme (#5898)" (#5905) 
This reverts commit 313b87f3c6.
 2022-03-20 11:21:11 -07:00
Chaoqi Zhang
313b87f3c6
doc: update readme (#5898) 
add the command to `mkdir build` first
 2022-03-14 09:30:08 -07:00
Jan Vraný
8e18a94558
Update README with info about Smalltalk bindings (#5893) 2022-03-09 12:31:12 -08:00
Kaleb Crans
d4ea67a6e7
Fix a few typos in README (#5782) 2022-02-06 19:47:47 +02:00
Kevin Gibbons
2b934b601d
Add WebAssembly/TypeScript bindings (#5762) 
* Add TypeScript bindings

* mark Z3_eval_smtlib2_string as async
 2022-01-09 17:16:38 -08:00
Nikolaj Bjorner
5a77c30ce0
Update README.md 2021-12-25 17:36:28 -08:00
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