3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-04-02 09:58:59 +00:00

Default branch

eef00e2023 · Add specbot-crash-analyzer agentic workflow (.md + .lock.yml) (#9198) · Updated 2026-04-02 08:10:56 +00:00

Branches

a8878bb594 · Initial plan · Updated 2026-01-23 05:07:15 +00:00

1647
1

024b19db1d · Initial plan · Updated 2026-01-22 04:01:55 +00:00

1656
1

cee443b5f6 · Initial plan · Updated 2026-01-19 22:06:09 +00:00

1678
1

5b904a20f9 · Initial plan · Updated 2026-01-19 01:50:15 +00:00

1681
1

6717c2a96c · Initial plan · Updated 2026-01-17 21:06:17 +00:00

1697
1

d197be85ca · Initial plan · Updated 2026-01-10 22:08:27 +00:00

1787
1

c2102c8dfb · Param tuning updates (#8137) · Updated 2026-01-09 22:14:44 +00:00

2027
34

2d9da2fd72 · Initial plan · Updated 2026-01-09 00:21:44 +00:00

1804
1
par

d04433ef70 · config parameters · Updated 2025-09-20 17:44:49 +00:00

2056
7

7652d5a3e4 · Merge branch 'master' of https://github.com/Z3Prover/z3 into perf/xxhash-optimization-8cab442e0c080529 · Updated 2025-09-18 14:07:05 +00:00

2060
4

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

2068
1

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

2075
1

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

2084
4

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

2246
104

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

3115
1

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

3374
436

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

3711
1660

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

4120
45
xor

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

4826
65

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

6002
19