mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-14 12:51:48 +00:00
Code Activity
20707 commits 53 branches 57 tags 174 MiB
Commit graph

20707 commits

This branch
This branch
All branches
Author SHA1 Message Date
copilot-swe-agent[bot]
d731ce0a67 Initial plan 2026-02-13 12:30:54 +00:00
copilot-swe-agent[bot]
2579965a53 Initial plan 2026-02-13 12:30:03 +00:00
copilot-swe-agent[bot]
55f13f72ff Initial plan 2026-02-13 12:30:03 +00:00
copilot-swe-agent[bot]
e54b3ca0c8 Initial plan 2026-02-13 12:30:03 +00:00
copilot-swe-agent[bot]
9af4c8c630 Initial plan 2026-02-13 12:30:03 +00:00
copilot-swe-agent[bot]
dc34d4b194 Initial plan 2026-02-13 12:24:14 +00:00
copilot-swe-agent[bot]
ba754d1f98 Initial plan 2026-02-13 12:24:14 +00:00
copilot-swe-agent[bot]
099fd919cd Initial plan 2026-02-13 12:24:14 +00:00
copilot-swe-agent[bot]
bf37769dcb Initial plan 2026-02-13 12:24:14 +00:00
copilot-swe-agent[bot]
b10d49b88d Initial plan 2026-02-13 12:23:08 +00:00
copilot-swe-agent[bot]
ed1e6fcf29 Initial plan 2026-02-13 12:23:08 +00:00
copilot-swe-agent[bot]
bbe12aaad6 Initial plan 2026-02-13 12:23:08 +00:00
copilot-swe-agent[bot]
c7280e913c Initial plan 2026-02-13 12:23:08 +00:00
copilot-swe-agent[bot]
d1f3a4398c Initial plan 2026-02-13 12:18:25 +00:00
Copilot
295dbc601d Eliminate unnecessary copies with std::move for ref-counted types (#8591) 2026-02-13 12:18:25 +00:00
Nikolaj Bjorner
19ad2d5375 add tool 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
6bb039045e Remove RuntimeIdentifier to fix assembly loading on macOS 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
7e452d9379 Fix test-nuget on macOS by rewriting csproj with proper configuration 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
d5fdcb8fcd Initial plan 2026-02-13 12:18:25 +00:00
Nikolaj Bjorner
07278545ca increment minor version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-13 12:18:25 +00:00
Nikolaj Bjorner
e8e10cca5e update release to dedup and include manylinux 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
515a0a193b Replace Python deduplication script with shell commands 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
48e6e8538d Fix EOF handling in bash read and improve empty content detection 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
f1117de500 Add proper error handling for empty file list and preserve filepath integrity 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
6b5f7b21e6 Improve file handling to properly handle special characters 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
d1146a74c0 Fix nightly build workflow by removing --clobber and adding deduplication 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
2f374a75b4 Initial plan 2026-02-13 12:18:25 +00:00
Nikolaj Bjorner
21cb8b3b01 Modify behavior for division by zero 
Allow division by zero in z3 expressions without raising an error.
 2026-02-13 12:18:25 +00:00
Nikolaj Bjorner
b27a8a0d5f Delete src/api/python/test_critical_fixes.py 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
3113759dab Fix error message capitalization for Python conventions 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
8b6aa64f37 Add comprehensive tests for Python API bug fixes 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
c6eb275130 Fix 9 critical assert statements and RatVal division by zero (Priority 1) 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
5c6dff2940 Initial plan 2026-02-13 12:18:25 +00:00
Nikolaj Bjorner
67f77a9aa4 bump version to prepare for release with wheels and npm 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-13 12:18:25 +00:00
Nikolaj Bjorner
c7df26e233 Remove --clobber option from nightly release 
Remove the --clobber option from the nightly release command.
 2026-02-13 12:18:25 +00:00
Nikolaj Bjorner
a548b3903f Add release trigger to documentation workflow 2026-02-13 12:18:25 +00:00
Nikolaj Bjorner
e2cf229df2 Remove assertion for number of watches in normalize 2026-02-13 12:18:25 +00:00
Nikolaj Bjorner
0ec79e17cc Fix copy command for Linux Python packages 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
27169eb0f7 Fix BOUNDS and ASSERT_FAIL issues in Python API 
- Add negative index support to AstVector.__setitem__, ModelRef.__getitem__, ApplyResult.__getitem__
- Replace bare assertions with proper Z3Exception in z3num.Numeral methods
- All changes tested and validated with comprehensive test suite

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
f7e5cf7e0c Initial plan 2026-02-13 12:18:25 +00:00
copilot-swe-agent[bot]
fce08b2941 Remove custom starts_with methods in favor of C++20 std::string::starts_with 
The custom starts_with() helper methods are redundant since Z3 uses C++20,
which includes std::string::starts_with() as a member function. Updated all
call sites to use the standard library method.

Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-12 08:24:53 +00:00
copilot-swe-agent[bot]
bb177988eb Apply code simplification improvements 
- Consolidated two contains() methods into single template function
- Added const correctness to helper methods in argument_parser.h
- Improved string handling (replaced substr with compare, return "" instead of std::string())
- Fixed indentation in nlsat_solver.cpp nested loop
- Modernized empty container return syntax in lp.cpp

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-12 02:59:21 +00:00
copilot-swe-agent[bot]
160b98786f Initial plan 2026-02-12 02:42:39 +00:00
Nikolaj Bjorner
3c1a82f80c revert back to working build for manylinux arm 2026-02-11 17:45:29 -08:00
Nikolaj Bjorner
eec44bd5d5 manual attempt to fix up how wheels are copied based on old release.yml file 2026-02-11 17:40:34 -08:00
Nikolaj Bjorner
ae51cb04ba #8552 
make it recompile constraints with duplicates
 2026-02-11 17:38:45 -08:00
Nikolaj Bjorner
fb172b67ac small update to testing on p.m_sls_worker instead of should_run_sls 2026-02-11 17:38:45 -08:00
Copilot
20fef3f449
Eliminate unnecessary copy operations in function parameters and range-based loops (#8589) 2026-02-11 21:14:32 +00:00
Nikolaj Bjorner
f76c30b3bd
Merge pull request #8590 from Z3Prover/copilot/fix-nightly-build-workflow 
[WIP] Fix failing GitHub Actions job in Nightly Build workflow
 2026-02-11 12:59:03 -08:00
copilot-swe-agent[bot]
3f96355772 Fix manylinux-python-arm64 to use native ARM64 container via QEMU 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-11 20:55:30 +00:00