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