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

20674 commits

This branch
This branch
All branches
Author SHA1 Message Date
copilot-swe-agent[bot]
055bce306a Remove dlimit variable in theory_recfun.cpp disable_guard - use direct call 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-12 18:08:51 +00:00
copilot-swe-agent[bot]
9cdcb56cd6 Revert std::move in smt_internalizer.cpp - variable used after push 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-12 17:50:18 +00:00
copilot-swe-agent[bot]
a9628780b5 Revert std::move on returned local variables - prevents copy elision 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-12 10:35:19 +00:00
copilot-swe-agent[bot]
eec9cb7a4b Apply std::move to obj_map return in opt_preprocess.cpp 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-12 09:21:03 +00:00
copilot-swe-agent[bot]
d60e94c48e Apply std::move to vector/container return values (5 files) 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-12 09:19:32 +00:00
copilot-swe-agent[bot]
ee7dc9a1cc Apply std::move to 3 more expr_ref/app_ref in sat/smt/ (batch 3) 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-12 08:57:03 +00:00
copilot-swe-agent[bot]
6e75c971f3 Apply std::move to 6 more expr_ref/app_ref variables in smt/ (batch 2) 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-12 08:55:52 +00:00
copilot-swe-agent[bot]
fb56d8462e Revert incorrect std::move in macro_replacer.cpp - variable used before move 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-12 08:29:38 +00:00
copilot-swe-agent[bot]
018bb83ea1 Apply std::move to expr_ref variables not used after push_back (3 files) 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-12 08:24:14 +00:00
copilot-swe-agent[bot]
a2f3d647e1 Revert incorrect std::move around std::make_pair - make_pair already returns rvalue 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-11 21:56:23 +00:00
copilot-swe-agent[bot]
2d9d91c5cc Apply std::move to all remaining push_back/insert with std::make_pair (~100+ files) 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-11 21:50:38 +00:00
copilot-swe-agent[bot]
6bad27a56b Add std::move for std::make_pair in 8 more files (insert and push_back) 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-11 21:41:34 +00:00
copilot-swe-agent[bot]
d88c766479 Optimize push_back with std::move for std::make_pair in 6 files 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
 2026-02-11 21:39:10 +00:00
copilot-swe-agent[bot]
d68c51f6e7 Initial plan 2026-02-11 21:16:58 +00: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
copilot-swe-agent[bot]
fb8c01a2a8 Initial plan 2026-02-11 20:53:01 +00:00
Nuno Lopes
836a76c78a
Remove copies (#8583) 2026-02-11 18:14:36 +00:00
Nikolaj Bjorner
0da28c6d19
Merge pull request #8588 from Z3Prover/copilot/update-nightly-workflow 
Refactor nightly.yml: complete manylinux wheel production in dedicated jobs
 2026-02-11 09:34:38 -08:00
copilot-swe-agent[bot]
1a7263e167 Refactor manylinux wheel production in nightly.yml workflow 
- Fix ARM64 auditwheel repair to use manylinux_2_28_aarch64 platform
- Update python-package job to copy pre-built manylinux wheels directly
- Remove Linux wheel rebuilding from python-package job
- Fix artifact naming: change PythonPackage to PythonPackages in publish-test-pypi

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-11 17:21:29 +00:00
copilot-swe-agent[bot]
96a6d0ef99 Initial plan 2026-02-11 17:19:13 +00:00
Nikolaj Bjorner
7e80914de8
Merge pull request #8585 from Z3Prover/copilot/fix-gcovr-command-issue 
Fix code-coverage workflow: add --merge-mode-functions flag to gcovr
 2026-02-11 08:52:51 -08:00
Nikolaj Bjorner
3609bf4aa6
Merge pull request #8584 from Z3Prover/copilot/optimize-prompt-layout 
Optimize a3-python-v2 workflow: limit issue body to top 5 findings, classify pre-conditions as false positives
 2026-02-11 03:22:48 -08:00
copilot-swe-agent[bot]
46d13597ad Fix code-coverage workflow by adding --merge-mode-functions to gcovr commands 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-11 11:21:30 +00:00
copilot-swe-agent[bot]
682ed62dd7 Recompile a3-python-v2 workflow with gh-aw v0.43.5 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-11 11:21:05 +00:00
copilot-swe-agent[bot]
2e7cf9cc74 Initial plan 2026-02-11 11:19:29 +00:00
copilot-swe-agent[bot]
385d8746ab Optimize a3-python-v2 workflow for better issue formatting 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-11 11:06:08 +00:00
copilot-swe-agent[bot]
7382174029 Initial plan 2026-02-11 11:02:38 +00:00
Nikolaj Bjorner
c006174c90 fix underscore 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-11 02:36:16 -08:00
Nikolaj Bjorner
2a337915e0
Fix indentation for publish-test-pypi job 2026-02-10 20:48:00 -08:00
Nikolaj Bjorner
e53f5c8543
Rename publish-test.pypi to publish-test-pypi 2026-02-10 20:46:54 -08:00
Nikolaj Bjorner
770eb960be publish test pypi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 20:45:36 -08:00
Nikolaj Bjorner
33c79d5ee8
Update Linux binary handling in nightly workflow 
Replaced unzip commands with copy commands for Linux binaries.
 2026-02-10 20:28:15 -08:00
Nikolaj Bjorner
ffd9207bc5 fix #8572 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 20:22:27 -08:00
Nikolaj Bjorner
b0937d06fa
Merge pull request #8580 from Z3Prover/add-workflow-a3-a3-python-v2.md-6734 
Add agentic workflow a3-python-v2
 2026-02-10 19:53:25 -08:00
Nikolaj Bjorner
46ad0f67b3 Add agentic workflow a3-python-v2 2026-02-10 19:53:13 -08:00
Nikolaj Bjorner
a91c5c58bd v2 workflow 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 19:52:07 -08:00
Nikolaj Bjorner
b086050568 remove readmes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 17:39:09 -08:00
Nikolaj Bjorner
74502a969c recompile aw 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 17:27:30 -08:00
Nikolaj Bjorner
2bc6bf05c1
Merge pull request #8574 from Z3Prover/copilot/fix-a3-python-file-processing 
Fix a3-python workflow sparse-checkout to include Python source files
 2026-02-10 17:26:16 -08:00
Nikolaj Bjorner
cc98815ab4
Update nightly.yml 2026-02-10 17:23:45 -08:00
Nikolaj Bjorner
9f35314188 fix #8552 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 17:21:14 -08:00
copilot-swe-agent[bot]
c31844f298 Add documentation for a3-python workflow fix 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-11 00:33:36 +00:00
copilot-swe-agent[bot]
25fc58c717 Add sparse-checkout step to a3-python workflow for Python source files 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-11 00:33:03 +00:00
copilot-swe-agent[bot]
e1d48b6295 Initial plan 2026-02-11 00:30:13 +00:00
Nikolaj Bjorner
71bf76e76c update 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 15:59:03 -08:00
Nikolaj Bjorner
6dc326dd20
Merge pull request #8573 from Z3Prover/copilot/fix-a3-python-documentation 
Fix YAML indentation in a3-python.md frontmatter
 2026-02-10 15:57:44 -08:00
copilot-swe-agent[bot]
da210a73b8 Fix YAML indentation in a3-python.md network field 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-10 23:56:03 +00:00
copilot-swe-agent[bot]
79c9bd7972 Initial plan 2026-02-10 23:53:28 +00:00