Default branch

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

Branches

code-simplifier/ho-matcher-cleanup-f0f6aa456434d8f9 591fd2b293 · simplify ho_matcher::whnf: rename shadowed variable, remove commented-out debug code · Updated 2026-05-24 05:38:50 +00:00	0 1
copilot/fix-soundness-errors 69b78bf072 · Narrow TPTP parser restoration catches · Updated 2026-05-23 23:19:22 +00:00	1 8
simplify/ho-matching-cleanup-38569d1caae40a01 3cf1d66510 · Simplify smt_quantifier.cpp: clean up higher-order matching code · Updated 2026-05-23 05:41:10 +00:00	2 1
skinny 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
copilot/fix-smtlib-crash eeddc94647 · fix tptp errors · Updated 2026-05-20 22:19:27 +00:00	19 0	Included
code-simplifier/api-ast-cleanup-4ed0cbc8fa0de80a b6400e8e3d · simplify api_ast.cpp: remove dead code and empty comment · Updated 2026-05-19 05:41:39 +00:00	23 1
lll_cube bed532442b · lll-cube: restore C(B) monotonicity, hoist invariants, cap candidate q · Updated 2026-05-16 14:31:03 +00:00	49 7
copilot/refactor-complex-functions c0d554362a · Refactor static_features::update_core into auxiliary helpers · Updated 2026-05-15 22:24:53 +00:00	24 1
code-simplifier/parallel-tactical2-cleanup-4523a748528db749 7ea6e9bed4 · simplify parallel_tactical2: use std::min and consistent mk_not · Updated 2026-05-14 05:35:11 +00:00	29 1
code-simplify/parallel-tactical2-cleanup-b3bfc19dbe2c3209 4626b7cf22 · Simplify parallel_tactical2.cpp: fix naming, cast, and expr_ref construction · Updated 2026-05-13 05:35:41 +00:00	39 1
copilot/fix-soundness-bug-fp-to-real 6b22e37606 · fix(fp): correct negative exponent handling in fp.to_real conversion · Updated 2026-05-13 00:40:18 +00:00	41 2
copilot/test-copilot-integration a4e2d91713 · Update publish workflow to use master-branch report and new discussion title · Updated 2026-05-13 00:07:11 +00:00	44 5
copilot/investigate-z3-hang-on-constraint bb9a714124 · Fix: add mod simplification rule for (mod (+ ... k*y ...) y) = (mod (+ ...) y) · Updated 2026-05-12 23:52:29 +00:00	42 2
code-simplifier/2026-05-12-parallel-cleanup-f8f49e50b64075b4 3c82e00ff4 · Simplify parallel SMT code: clean comments and deduplicate stat computation · Updated 2026-05-12 05:31:30 +00:00	46 1
fmcad26_artifact c383004968 · add ablate_backtracking experiment · Updated 2026-05-10 20:04:50 +00:00	50 2
copilot/fix-sat-smt-invalid-model 35654e7511 · Refine api_bug sat.smt regression test setup clarity · Updated 2026-05-08 17:55:39 +00:00	49 5
code-simplifier/reduce-cgo-boilerplate-9ff982dd277661de 0759e2fdde · simplify Go bindings: extract CGo slice conversion helpers · Updated 2026-05-04 21:14:37 +00:00	52 1
code-simplifier/fix-qfnia-whitespace-cf80a67b51cb8194 779892c166 · fix whitespace inconsistencies in qfnia_tactic.cpp · Updated 2026-05-02 21:01:26 +00:00	53 1
code-simplifier/mam-null-check-clarity-aafb33886f073273 eb6c4057e7 · Reorder null check before side effect in mam.cpp · Updated 2026-04-29 21:07:16 +00:00	58 1