Default branch

master 1b39b0e50f · Fix SIGSEGV in nlsat from incorrect algebraic number comparison (#10129) · Updated 2026-07-15 00:08:08 +00:00

Branches

veanes/range-set-integration bd3cf8514c · Add range-set integration handoff plan · Updated 2026-06-26 17:26:37 +00:00	133 1
gomory-cut-history 4076820fe7 · lp: add cross-round orthogonality for efficacy Gomory cut selection · Updated 2026-06-26 00:23:04 +00:00	142 4
efficacy-cut-filter c4ac986c42 · lp: add efficacy-augment Gomory mode (keep fractional cut + diversify by efficacy) · Updated 2026-06-25 22:50:37 +00:00	142 3
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	143 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	170 1
copilot/historical-nlsat-regression-tests f210adb011 · Initial plan · Updated 2026-06-15 14:29:26 +00:00	197 1
veanes-derive 06a395fc49 · test: unit tests for OP_RE_CHARCLASS · Updated 2026-06-15 06:53:29 +00:00	197 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	215 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	215 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	219 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	232 1
copilot/fix-failing-build-and-report-job 2140f76881 · Initial plan · Updated 2026-06-06 20:19:49 +00:00	239 1
copilot/zipt-review-sls-seq-plugin-code-quality-improvemen 40c8bf1dcd · Initial plan · Updated 2026-06-05 01:16:42 +00:00	245 1
copilot/zipt-review-sls-seq-plugin-code-improvements 108ee49bfc · Initial plan · Updated 2026-06-05 01:15:34 +00:00	254 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	256 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	261 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	281 1
copilot/fix-z3-crash-fstar-example 84803371d4 · Initial plan · Updated 2026-05-27 21:34:29 +00:00	282 1
copilot/fix-warning-messages a6b5f9be30 · Polish Windows getenv helper portability · Updated 2026-05-27 17:10:43 +00:00	287 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	292 1