3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-19 00:38:57 +00:00

Default branch

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

Branches

a30ed912b6 · Remove Azure Pipelines badge from README.md · Updated 2026-01-19 00:34:32 +00:00

1
2

7fcd8047a4 · Add badges for CI and Nightly Build workflows to README.md · Updated 2026-01-19 00:30:06 +00:00

3
2

709b515d45 · Disable test execution in CI workflow · Updated 2026-01-18 21:51:29 +00:00

6
5

efa6bba5d4 · Remove power and infinitesimal comparison tests · Updated 2026-01-18 21:08:39 +00:00

18
14

9916c42249 · Create GitHub Actions release.yml workflow · Updated 2026-01-18 20:25:21 +00:00

6
2

a199151f09 · revamp propagation to bottom-up from bounds to occurrences in polynomials · Updated 2026-01-18 19:51:59 +00:00

359
183

51c871d447 · Add update_github_nightly_yml function to update .github/workflows/nightly.yml · Updated 2026-01-18 08:43:06 +00:00

8
2

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

53fc11bada · Fix nightly release deployment by explicitly deleting tag · Updated 2026-01-17 22:44:50 +00:00

12
2

4c03aa572b · Revert changes to z3++.h as requested · Updated 2026-01-17 21:25:31 +00:00

16
4

6717c2a96c · Initial plan · Updated 2026-01-17 21:06:17 +00:00

12
1

1e296c3d4c · Fix TypeScript build error: remove redundant array length parameter · Updated 2026-01-17 20:14:45 +00:00

18
3

3b16d73f47 · Add advanced sequence operations to C# API · Updated 2026-01-17 19:01:47 +00:00

18
2

e483213248 · Add 4-parameter checkContextMatch overload for consistency · Updated 2026-01-17 19:01:33 +00:00

18
4

69f9e5ed7a · Update code-conventions-analyzer to run daily instead of weekly · Updated 2026-01-17 18:57:00 +00:00

18
2

c8ec7bc757 · Address code review: improve arch flag handling · Updated 2026-01-17 14:17:58 +00:00

25
4

5fb260b320 · Update to Ubuntu 24.04 to support GCC 13 cross-compilers · Updated 2026-01-17 13:19:51 +00:00

28
3

823ddba5f1 · Fix switch fall-through warnings with Z3_fallthrough attribute · Updated 2026-01-17 00:40:16 +00:00

35
2

9d2c161d26 · Update cross-build workflow to use g++-12 for C++20 support · Updated 2026-01-17 00:25:52 +00:00

35
2