3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-14 08:26:39 +00:00

Default branch

fd5455422e · fix #7725 - proofs are only possible if context was created with proofs enabled · Updated 2025-07-12 07:14:23 +00:00

Branches

12d4ec7eda · Complete datatype implementation with full Context integration and tests · Updated 2025-07-12 08:09:48 +00:00

0
5

d2ada6a772 · tidy · Updated 2025-07-11 20:40:55 +00:00

2
6

6d1baffe16 · Restrict SHA256 hash generation to source code archives only · Updated 2025-07-11 16:23:40 +00:00

2
3
thr

47714163cb · try permanent ban · Updated 2025-07-03 17:01:43 +00:00

11
2

2b3d2ea055 · another try to avoid the race with atomic swap · Updated 2025-07-03 01:14:29 +00:00

11
2

755c39873b · Fix git describe command in CMake configuration · Updated 2025-07-02 16:01:33 +00:00

16
2

2788b8f49d · Optimize get_constructor_by_name: use func_decl* parameter, add linear search optimization for small datatypes, and ensure non-null postcondition · Updated 2025-07-02 15:11:32 +00:00

18
4

ac27b4d6a2 · fix the debug build · Updated 2025-07-01 19:34:02 +00:00

22
9

fcbf9a07a3 · Fix datatype performance by optimizing get_constructor_accessors for 0-ary constructors · Updated 2025-07-01 18:14:54 +00:00

22
3

c1c89cc047 · Replace static_cast with usize utility function · Updated 2025-06-30 16:26:26 +00:00

25
3

bf771eb5a4 · Revert "Revert "Fix source installation to create dist-info directory for pac…" · Updated 2025-06-29 16:12:38 +00:00

25
1

d86be5e16e · Revert "Fix source installation to create dist-info directory for package dis…" · Updated 2025-06-29 16:11:01 +00:00

26
1

0ba7b562d3 · Fix pydoc doctest failures by updating expected output format · Updated 2025-06-28 02:06:24 +00:00

30
2

e21a4d2214 · Improve Extract function documentation to clarify bit-vector vs sequence usage · Updated 2025-06-27 17:18:22 +00:00

32
2

4c468ccf90 · Remove hardcoded version from pyproject.toml, use dynamic version from setup.py · Updated 2025-06-27 02:36:31 +00:00

45
6

ae21d2d98e · Update lar_solver.cpp · Updated 2025-06-21 03:26:02 +00:00

53
6

ad9d9d12fb · Add normalization for to_int expressions in division by zero contexts · Updated 2025-06-20 21:55:35 +00:00

53
3

e37c7068ec · Update nightly.yaml · Updated 2025-06-19 17:08:09 +00:00

63
3

f81d9735e9 · Update prd.yml · Updated 2025-06-18 00:03:24 +00:00

56
0
Included
pr

2708635b94 · remove experiment from pr · Updated 2025-05-19 10:24:14 +00:00

125
13