Default branch

master 5d74df7fee · Remove Azure Pipelines badge from README (#8241) · Updated 2026-01-19 00:38:08 +00:00

Branches

copilot/remove-azure-pipelines-badge a30ed912b6 · Remove Azure Pipelines badge from README.md · Updated 2026-01-19 00:34:32 +00:00	1 2
copilot/add-badges-to-readme 7fcd8047a4 · Add badges for CI and Nightly Build workflows to README.md · Updated 2026-01-19 00:30:06 +00:00	3 2
copilot/migrate-azure-pipelines-to-github-actions 709b515d45 · Disable test execution in CI workflow · Updated 2026-01-18 21:51:29 +00:00	6 5
copilot/add-rcf-api-in-typescript efa6bba5d4 · Remove power and infinitesimal comparison tests · Updated 2026-01-18 21:08:39 +00:00	18 14
copilot/migrate-release-yml-to-github-action 9916c42249 · Create GitHub Actions release.yml workflow · Updated 2026-01-18 20:25:21 +00:00	6 2
arie a199151f09 · revamp propagation to bottom-up from bounds to occurrences in polynomials · Updated 2026-01-18 19:51:59 +00:00	359 183
copilot/fix-update-version-file 51c871d447 · Add update_github_nightly_yml function to update .github/workflows/nightly.yml · Updated 2026-01-18 08:43:06 +00:00	8 2
copilot/remove-duplicate-python-wheels 43350eb9da · Remove duplicate manylinux wheels from PythonPackages artifact · Updated 2026-01-18 06:20:49 +00:00	9 2
lws 5727e1d040 · Add dynamic heuristic selection for levelwise projection · Updated 2026-01-18 05:20:19 +00:00	57 166
copilot/fix-nightly-yml-error 53fc11bada · Fix nightly release deployment by explicitly deleting tag · Updated 2026-01-17 22:44:50 +00:00	12 2
copilot/migrate-files-to-range-for-loops 4c03aa572b · Revert changes to z3++.h as requested · Updated 2026-01-17 21:25:31 +00:00	16 4
copilot/revert-range-based-loops 6717c2a96c · Initial plan · Updated 2026-01-17 21:06:17 +00:00	12 1
copilot/add-benchmark-export-function 1e296c3d4c · Fix TypeScript build error: remove redundant array length parameter · Updated 2026-01-17 20:14:45 +00:00	18 3
copilot/add-advanced-sequence-operations 3b16d73f47 · Add advanced sequence operations to C# API · Updated 2026-01-17 19:01:47 +00:00	18 2
copilot/add-advanced-sequence-operations-java e483213248 · Add 4-parameter checkContextMatch overload for consistency · Updated 2026-01-17 19:01:33 +00:00	18 4
copilot/update-code-conventions-analyzer-again 69f9e5ed7a · Update code-conventions-analyzer to run daily instead of weekly · Updated 2026-01-17 18:57:00 +00:00	18 2
copilot/fix-arm-to-x64-cross-compilation c8ec7bc757 · Address code review: improve arch flag handling · Updated 2026-01-17 14:17:58 +00:00	25 4
copilot/fix-error-in-ci-job 5fb260b320 · Update to Ubuntu 24.04 to support GCC 13 cross-compilers · Updated 2026-01-17 13:19:51 +00:00	28 3
copilot/fix-fallthrough-warnings 823ddba5f1 · Fix switch fall-through warnings with Z3_fallthrough attribute · Updated 2026-01-17 00:40:16 +00:00	35 2
copilot/fix-riscv-powerpc-build-errors 9d2c161d26 · Update cross-build workflow to use g++-12 for C++20 support · Updated 2026-01-17 00:25:52 +00:00	35 2