Default branch

master dd09603f4d · fix the logic of adding all coefficients and blocking double insertions in m_todo · Updated 2026-02-09 01:01:51 +00:00

Branches

copilot/fix-memory-leak-issue b13784b3e0 · Revert "Fix memory leak in mpz pointer tagging implementation" · Updated 2026-02-08 23:08:31 +00:00	2 3
copilot/update-readme-status-badges 5aa18e0af6 · Remove OCaml Build badge from README status table · Updated 2026-02-08 21:36:09 +00:00	3 0	Included
copilot/update-nightly-build-test-process 8eff8dc9c8 · Merge branch 'master' into copilot/update-nightly-build-test-process · Updated 2026-02-08 19:28:21 +00:00	8 0	Included
copilot/remove-unnecessary-swap-uses 811f38cfd1 · Replace user-defined swap with move semantics in multiple files · Updated 2026-02-08 19:02:20 +00:00	17 2
copilot/refactor-mk-or-and-helpers 9e391cf8cd · Changes before error encountered · Updated 2026-02-07 13:40:48 +00:00	40 4
copilot/adopt-initializer-list-ast be73071ad5 · Changes before error encountered · Updated 2026-02-07 13:13:41 +00:00	40 2
simplify-redundant-else-nlsat-2026-02-05-5e8d9ec4f8d0de54 394779661b · Simplify nlsat code by removing redundant else statements · Updated 2026-02-05 21:01:20 +00:00	70 1
copilot/modernize-mk-or-xor-apis 682499fb44 · Revert incorrect change to nlarith_util.cpp - local mk_or needs explicit size · Updated 2026-02-03 18:40:35 +00:00	75 3
copilot/support-free-threaded-python 38d6107de4 · Address code review feedback: clarify GIL flag and translate behavior · Updated 2026-02-02 17:08:52 +00:00	84 3
copilot/fix-z3-segfault-issue-again ac22b4822a · Add explanatory comment for parameter count validation · Updated 2026-02-01 22:24:24 +00:00	90 3
copilot/expose-polymorphic-datatypes-api 317755776d · Remove polymorphic_datatypes_example.cpp to fix build - multiple main definitions · Updated 2026-02-01 16:48:19 +00:00	133 5
copilot/clear-cache-code-conventions df0b658e5d · Clear cache for code-conventions-analyzer by changing cache key · Updated 2026-01-31 23:42:14 +00:00	93 2
fix/unused-parameter-warnings-448b199a51489794 0ca1668cce · Fix unused parameter warnings in empty function implementations · Updated 2026-01-31 23:30:50 +00:00	94 1
fix/compiler-warnings-test-files-20260128-25692ce5cd43f7cb e237100137 · Fix compiler warnings in test files · Updated 2026-01-28 23:29:48 +00:00	113 1
copilot/fix-assertion-violation-z3 1c4f8f17f3 · Improve exp_delta clamping to handle negative values symmetrically · Updated 2026-01-28 17:43:39 +00:00	114 4
copilot/fix-z3-segfault-issue b744bc9a97 · Fix condition to check sort size in datatype declaration · Updated 2026-01-27 21:56:11 +00:00	134 5
specbot/vector-specifications-904856bde7a3c128 e62354d3f6 · Add formal specifications to vector class · Updated 2026-01-27 21:03:44 +00:00	123 1
copilot/refactor-theory-bv-structured-bindings f6c5aa34a0 · Initial plan · Updated 2026-01-27 17:58:14 +00:00	134 1
copilot/refactor-factor-rewriter-structured-bindings 82fc7643af · Initial plan · Updated 2026-01-27 17:58:05 +00:00	134 1
arie a15854869b · combine backtracking methods · Updated 2026-01-26 05:48:58 +00:00	569 192