3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-24 19:06:21 +00:00

Default branch

459629c662 · bugfixes to ho_matcher · Updated 2026-05-24 01:06:04 +00:00

Branches

8e8799dbd3 · Add comprehensive issue templates for improved triage · Updated 2025-09-17 15:51:12 +00:00

2186
1

be174cef87 · Add .clang-format file for consistent C++ code formatting · Updated 2025-09-17 01:34:15 +00:00

2193
1

7c51accb30 · fix build · Updated 2025-09-17 00:08:19 +00:00

2202
4

ea4bec9d03 · internalize assertions during simplify · Updated 2025-09-12 00:40:41 +00:00

2364
104

cb2c497466 · Add Pyodide CI and tests · Updated 2024-11-14 20:08:58 +00:00    mirrors

3233
1

487a544274 · remove test code · Updated 2024-07-30 04:05:41 +00:00    mirrors

3492
436

134f677ec3 · skip empty layers · Updated 2023-12-22 12:25:45 +00:00    mirrors

3829
1660

8568ab5a64 · formulate setting · Updated 2023-08-31 20:20:25 +00:00    mirrors

4238
45
xor

8855163ccf · Fixed justification · Updated 2022-12-10 21:29:31 +00:00    mirrors

4944
65

ec1a04bbb5 · merge · Updated 2022-01-07 20:57:39 +00:00    mirrors

6120
19
rs

4028ffa995 · merge · Updated 2020-03-03 02:16:07 +00:00    mirrors

9326
2