mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-17 18:06:40 +00:00
Code Activity
19811 commits 43 branches 51 tags 169 MiB

Default branch

master

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

Branches

copilot/fix-7735

ef93867edb · Add test case for quantifier weight fix · Updated 2025-07-15 16:11:15 +00:00
0
3
 ZIP  TAR.GZ
copilot/fix-7621

12d4ec7eda · Complete datatype implementation with full Context integration and tests · Updated 2025-07-12 08:09:48 +00:00
0
5
 ZIP  TAR.GZ
nl2lin

d2ada6a772 · tidy · Updated 2025-07-11 20:40:55 +00:00
2
6
 ZIP  TAR.GZ
copilot/fix-7728

6d1baffe16 · Restrict SHA256 hash generation to source code archives only · Updated 2025-07-11 16:23:40 +00:00
2
3
 ZIP  TAR.GZ
thr

47714163cb · try permanent ban · Updated 2025-07-03 17:01:43 +00:00
11
2
 ZIP  TAR.GZ
m_ctx

2b3d2ea055 · another try to avoid the race with atomic swap · Updated 2025-07-03 01:14:29 +00:00
11
2
 ZIP  TAR.GZ
copilot/fix-7715

755c39873b · Fix git describe command in CMake configuration · Updated 2025-07-02 16:01:33 +00:00
16
2
 ZIP  TAR.GZ
copilot/fix-7709-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
 ZIP  TAR.GZ
stats

ac27b4d6a2 · fix the debug build · Updated 2025-07-01 19:34:02 +00:00
22
9
 ZIP  TAR.GZ
copilot/fix-7709

fcbf9a07a3 · Fix datatype performance by optimizing get_constructor_accessors for 0-ary constructors · Updated 2025-07-01 18:14:54 +00:00
22
3
 ZIP  TAR.GZ
copilot/fix-7707

c1c89cc047 · Replace static_cast with usize utility function · Updated 2025-06-30 16:26:26 +00:00
25
3
 ZIP  TAR.GZ
revert-7704-revert-7695-copilot/fix-7692

bf771eb5a4 · Revert "Revert "Fix source installation to create dist-info directory for pac…" · Updated 2025-06-29 16:12:38 +00:00
25
1
 ZIP  TAR.GZ
revert-7695-copilot/fix-7692

d86be5e16e · Revert "Fix source installation to create dist-info directory for package dis…" · Updated 2025-06-29 16:11:01 +00:00
26
1
 ZIP  TAR.GZ
copilot/fix-7702

0ba7b562d3 · Fix pydoc doctest failures by updating expected output format · Updated 2025-06-28 02:06:24 +00:00
30
2
 ZIP  TAR.GZ
copilot/fix-7699

e21a4d2214 · Improve Extract function documentation to clarify bit-vector vs sequence usage · Updated 2025-06-27 17:18:22 +00:00
32
2
 ZIP  TAR.GZ
copilot/fix-7692

4c468ccf90 · Remove hardcoded version from pyproject.toml, use dynamic version from setup.py · Updated 2025-06-27 02:36:31 +00:00
45
6
 ZIP  TAR.GZ
copilot/fix-7690

ae21d2d98e · Update lar_solver.cpp · Updated 2025-06-21 03:26:02 +00:00
53
6
 ZIP  TAR.GZ
copilot/fix-7677

ad9d9d12fb · Add normalization for to_int expressions in division by zero contexts · Updated 2025-06-20 21:55:35 +00:00
53
3
 ZIP  TAR.GZ
pr-test

e37c7068ec · Update nightly.yaml · Updated 2025-06-19 17:08:09 +00:00
63
3
 ZIP  TAR.GZ
7677-potential-issue-in-arithmetic-optimization

f81d9735e9 · Update prd.yml · Updated 2025-06-18 00:03:24 +00:00
56
0
 Included
 ZIP  TAR.GZ