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

591fd2b293 · simplify ho_matcher::whnf: rename shadowed variable, remove commented-out debug code · Updated 2026-05-24 05:38:50 +00:00

0
1

69b78bf072 · Narrow TPTP parser restoration catches · Updated 2026-05-23 23:19:22 +00:00

1
8

3cf1d66510 · Simplify smt_quantifier.cpp: clean up higher-order matching code · Updated 2026-05-23 05:41:10 +00:00

2
1

ad278c5fdc · remove an option and cache expansion sizes · Updated 2026-05-22 15:53:07 +00:00

9
4
c3

c18aa647e1 · Removed recursion from regex unwinding · Updated 2026-05-22 13:15:48 +00:00

139
486

eeddc94647 · fix tptp errors · Updated 2026-05-20 22:19:27 +00:00

19
0
Included

b6400e8e3d · simplify api_ast.cpp: remove dead code and empty comment · Updated 2026-05-19 05:41:39 +00:00

23
1

bed532442b · lll-cube: restore C(B) monotonicity, hoist invariants, cap candidate q · Updated 2026-05-16 14:31:03 +00:00

49
7

c0d554362a · Refactor static_features::update_core into auxiliary helpers · Updated 2026-05-15 22:24:53 +00:00

24
1

7ea6e9bed4 · simplify parallel_tactical2: use std::min and consistent mk_not · Updated 2026-05-14 05:35:11 +00:00

29
1

4626b7cf22 · Simplify parallel_tactical2.cpp: fix naming, cast, and expr_ref construction · Updated 2026-05-13 05:35:41 +00:00

39
1

6b22e37606 · fix(fp): correct negative exponent handling in fp.to_real conversion · Updated 2026-05-13 00:40:18 +00:00

41
2

a4e2d91713 · Update publish workflow to use master-branch report and new discussion title · Updated 2026-05-13 00:07:11 +00:00

44
5

bb9a714124 · Fix: add mod simplification rule for (mod (+ ... k*y ...) y) = (mod (+ ...) y) · Updated 2026-05-12 23:52:29 +00:00

42
2

3c82e00ff4 · Simplify parallel SMT code: clean comments and deduplicate stat computation · Updated 2026-05-12 05:31:30 +00:00

46
1

c383004968 · add ablate_backtracking experiment · Updated 2026-05-10 20:04:50 +00:00

50
2

35654e7511 · Refine api_bug sat.smt regression test setup clarity · Updated 2026-05-08 17:55:39 +00:00

49
5

0759e2fdde · simplify Go bindings: extract CGo slice conversion helpers · Updated 2026-05-04 21:14:37 +00:00

52
1

779892c166 · fix whitespace inconsistencies in qfnia_tactic.cpp · Updated 2026-05-02 21:01:26 +00:00

53
1

eb6c4057e7 · Reorder null check before side effect in mam.cpp · Updated 2026-04-29 21:07:16 +00:00

58
1