Default branch

master 0b8335e776 · Set pi.avoid_skolems=false for TPTP solver runs (#10100) · Updated 2026-07-13 02:21:25 +00:00

Branches

fix/iss-6174-mbqi-ho-var-enum-timeout-861d52f0281e5cde f5a28aacf5 · Fix MBQI ho_var term-enumeration timeout regression (iss-6174/small.smt2) · Updated 2026-06-25 09:17:13 +00:00	115 1
faster_find_fs ef554ad480 · lp: lazily skip move_non_basic_columns_to_bounds unless a cut will run · Updated 2026-06-19 22:39:55 +00:00	142 1
copilot/historical-nlsat-regression-tests f210adb011 · Initial plan · Updated 2026-06-15 14:29:26 +00:00	169 1
veanes-derive 06a395fc49 · test: unit tests for OP_RE_CHARCLASS · Updated 2026-06-15 06:53:29 +00:00	169 6
simplify/seq-subset-dead-code-cleanup-2026-06-10-f1c5715ec2b16346 f37b56439a · simplify: remove dead code in seq_subset and delete gmon.out · Updated 2026-06-10 06:15:28 +00:00	187 1
copilot/diagnose-failures e093be8b60 · seq_rewriter: add missing concat rewrites for nullable/full-seq/star cases (#9782) · Updated 2026-06-09 21:38:38 +00:00	187 0	Included
copilot/diagnose-query-failures a5495b78fa · Avoid invalidated column-cell references in LP pivot paths (#9783) · Updated 2026-06-09 14:36:05 +00:00	191 0	Included
code-simplifier/skill-scripts-cleanup-4bc53e9e7fe7fe0e 4dec7b1324 · simplify skill scripts: expose find_repo_root, fix split string, simplify label · Updated 2026-06-08 05:59:22 +00:00	204 1
copilot/fix-failing-build-and-report-job 2140f76881 · Initial plan · Updated 2026-06-06 20:19:49 +00:00	211 1
copilot/zipt-review-sls-seq-plugin-code-quality-improvemen 40c8bf1dcd · Initial plan · Updated 2026-06-05 01:16:42 +00:00	217 1
copilot/zipt-review-sls-seq-plugin-code-improvements 108ee49bfc · Initial plan · Updated 2026-06-05 01:15:34 +00:00	226 509
code-simplifier/remove-unused-defined-names-fed46dd0fdcfc07b bc4e26233d · Remove unused defined_names and simplify contains return · Updated 2026-06-03 05:59:33 +00:00	228 1
code-simplifier/model-core-cleanup-53966070efa0376a 156bf81349 · simplify model_core.h: remove unused typedef, fix trailing whitespace, simplify get_some_const_interp · Updated 2026-06-02 05:55:22 +00:00	233 1
simplify/choice-axiom-consistency-e33de7949014eecb 62dd0b223a · simplify: align choice axiom naming and inline literal in theory_array_full · Updated 2026-05-28 05:45:50 +00:00	253 1
copilot/fix-z3-crash-fstar-example 84803371d4 · Initial plan · Updated 2026-05-27 21:34:29 +00:00	254 1
copilot/fix-warning-messages a6b5f9be30 · Polish Windows getenv helper portability · Updated 2026-05-27 17:10:43 +00:00	259 5
code-simplifier/fix-pop-app-frame-indentation-d94e72b433144153 56f4d5a68e · smt2parser: fix indentation in pop_app_frame else block · Updated 2026-05-27 05:50:58 +00:00	264 1
copilot/fix-smtlib-crash eeddc94647 · fix tptp errors · Updated 2026-05-20 22:19:27 +00:00	294 0	Included
lll_cube bed532442b · lll-cube: restore C(B) monotonicity, hoist invariants, cap candidate q · Updated 2026-05-16 14:31:03 +00:00	324 7
copilot/fix-apply-qe-performance e503ead008 · Address review feedback for qe-lite BV case split changes · Updated 2026-04-21 20:37:53 +00:00	358 3