Default branch

master cb5fb390bc · fix #8102 · Updated 2025-12-23 17:44:22 +00:00

Branches

arie 6ec3b59ad9 · clean up, add comments · Updated 2025-12-23 23:15:50 +00:00	215 169
lws 78e225f1ca · fix the duplicate bug · Updated 2025-12-23 06:15:09 +00:00	63 133
copilot/request-lower-glibc-baseline 079f30d160 · Limit parallelism to avoid QEMU compiler crashes · Updated 2025-12-21 21:33:49 +00:00	52 4
copilot/fix-docs-yml-build 5fcc5efedd · Fix docs.yml build by adding working-directory to npm steps · Updated 2025-12-19 22:42:50 +00:00	11 2
nl2lin 543a473993 · Update nlsat_explain.cpp · Updated 2025-12-17 03:55:26 +00:00	41 34
copilot/fix-assertion-violation-nra-solver 24769b5ac0 · Remove UNREACHABLE() macros from nra_solver.cpp constraint validation · Updated 2025-12-16 23:34:55 +00:00	39 2
copilot/fix-action-docs-yml cfe120a45e · Fix docs.yml workflow to properly build and deploy documentation · Updated 2025-12-16 23:03:25 +00:00	40 2
copilot/fix-typescript-documentation-issue 57c8b5a2c4 · Clarify documentation generation step name · Updated 2025-12-15 22:35:08 +00:00	53 4
copilot/fix-delete-character-output 90e68aaf9c · Fix DEL character encoding in string literals · Updated 2025-12-15 21:32:11 +00:00	54 2
copilot/fix-maximize-ac-sharing-init 06e38fb0b9 · Fix lazy initialization of maximize_ac_sharing rewriter · Updated 2025-12-12 09:23:37 +00:00	59 2
finite-sets 1d3f6a7c70 · remove incorrect assertion, make sat case for range + size conservative · Updated 2025-12-06 21:07:14 +00:00	198 137
copilot/fix-vcpkg-warning-issues 9288c1a771 · Disable C++98 compatibility warnings for Clang to fix vcpkg build freeze · Updated 2025-12-03 16:15:15 +00:00	65 2
restore_sp e3242693c1 · enable logging of mbp lemmas · Updated 2025-12-03 02:46:07 +00:00	66 2
order_switch 59709ae4a5 · try reordering before analyzing bounds · Updated 2025-11-24 22:44:22 +00:00	99 2
coi c32b6135a1 · remove unused functionality · Updated 2025-11-23 16:58:05 +00:00	135 2
copilot/fix-z3-solver-unknown-results b299a72980 · Add threading test for Z3_solver_translate and remove standalone test · Updated 2025-11-22 00:52:17 +00:00	134 4
copilot/add-example-for-z3-parser-context d9499fb00b · Add Z3_parser_context examples for C and C++ · Updated 2025-11-20 17:49:58 +00:00	134 2
parallel abbbc3c530 · Small bugfix in compute_sibling_resolvent (#8031) · Updated 2025-11-17 01:00:17 +00:00	198 33
copilot/add-cmake-option-python-bindings 74501e2c48 · Disable executable and test builds when not building libz3 core · Updated 2025-11-16 18:43:49 +00:00	135 4
copilot/fix-nuget-package-dll a864fbdf27 · Add documentation and improve code comments · Updated 2025-11-16 18:22:29 +00:00	135 3