mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-22 08:17:37 +00:00
Code Activity
20739 commits 65 branches 58 tags 180 MiB
Commit graph

405 commits

Author SHA1 Message Date
Nikolaj Bjorner
8fc8b51002 Remove --clobber option from nightly release 
Remove the --clobber option from the nightly release command.
 2026-02-18 21:02:23 -08:00
Nikolaj Bjorner
8c78067d6e Add release trigger to documentation workflow 2026-02-18 21:02:23 -08:00
Nikolaj Bjorner
4c8b540020 Fix copy command for Linux Python packages 2026-02-18 21:02:23 -08:00
Nikolaj Bjorner
d9466be698 revert back to working build for manylinux arm 2026-02-18 21:02:22 -08:00
Nikolaj Bjorner
e8a8260081 manual attempt to fix up how wheels are copied based on old release.yml file 2026-02-18 21:02:22 -08:00
copilot-swe-agent[bot]
8fbf3f0169 Fix manylinux-python-arm64 to use native ARM64 container via QEMU 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:22 -08:00
copilot-swe-agent[bot]
f2ad141ddf 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-18 21:02:21 -08:00
copilot-swe-agent[bot]
76fd385464 Fix code-coverage workflow by adding --merge-mode-functions to gcovr commands 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:21 -08:00
copilot-swe-agent[bot]
6d2619aaf1 Recompile a3-python-v2 workflow with gh-aw v0.43.5 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:21 -08:00
copilot-swe-agent[bot]
867685aded Optimize a3-python-v2 workflow for better issue formatting 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:21 -08:00
Nikolaj Bjorner
a163acea97 fix underscore 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:21 -08:00
Nikolaj Bjorner
f278f3dd3b Fix indentation for publish-test-pypi job 2026-02-18 21:02:21 -08:00
Nikolaj Bjorner
15af4b94d8 Rename publish-test.pypi to publish-test-pypi 2026-02-18 21:02:21 -08:00
Nikolaj Bjorner
2280cf44aa publish test pypi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:21 -08:00
Nikolaj Bjorner
2247858de3 Update Linux binary handling in nightly workflow 
Replaced unzip commands with copy commands for Linux binaries.
 2026-02-18 21:02:21 -08:00
Nikolaj Bjorner
0749423c67 Add agentic workflow a3-python-v2 2026-02-18 21:02:20 -08:00
Nikolaj Bjorner
4183ed6d0f remove readmes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:20 -08:00
Nikolaj Bjorner
816b0d2b40 recompile aw 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:20 -08:00
copilot-swe-agent[bot]
f334ba4fd9 Add documentation for a3-python workflow fix 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:20 -08:00
copilot-swe-agent[bot]
f4302f6a25 Add sparse-checkout step to a3-python workflow for Python source files 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:20 -08:00
Nikolaj Bjorner
e0f7c351d7 Update nightly.yml 2026-02-18 21:02:20 -08:00
Nikolaj Bjorner
6bdd0353cf update 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:19 -08:00
copilot-swe-agent[bot]
b739cd2fb5 Fix YAML indentation in a3-python.md network field 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:19 -08:00
copilot-swe-agent[bot]
eef7d12667 Recompile a3-python.md workflow with gh-aw v0.43.2 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:19 -08:00
Nikolaj Bjorner
08eb25e14c Add network permissions to Python workflow 2026-02-18 21:02:19 -08:00
Nikolaj Bjorner
1e7be62bde Delete .github/workflows/README-a3-python.md 2026-02-18 21:02:19 -08:00
copilot-swe-agent[bot]
5400b39118 Add README documentation for a3-python workflow 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:18 -08:00
copilot-swe-agent[bot]
9cd53f1f79 Add a3-python agentic workflow 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:18 -08:00
Nikolaj Bjorner
ba0a33231c Enhance nightly workflow to include Linux builds 
Added support for Linux binaries in the nightly workflow.
 2026-02-18 21:02:18 -08:00
dependabot[bot]
25b48a74f8 Bump githubnext/gh-aw from 0.40.0 to 0.42.17 
Bumps [githubnext/gh-aw](https://github.com/githubnext/gh-aw) from 0.40.0 to 0.42.17.
- [Release notes](https://github.com/githubnext/gh-aw/releases)
- [Changelog](https://github.com/github/gh-aw/blob/main/CHANGELOG.md)
- [Commits](https://github.com/githubnext/gh-aw/compare/v0.40.0...v0.42.17)

---
updated-dependencies:
- dependency-name: githubnext/gh-aw
  dependency-version: 0.42.17
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-02-18 21:02:18 -08:00
dependabot[bot]
2e4a7c7138 Bump github/gh-aw from 0.42.6 to 0.42.17 
Bumps [github/gh-aw](https://github.com/github/gh-aw) from 0.42.6 to 0.42.17.
- [Release notes](https://github.com/github/gh-aw/releases)
- [Changelog](https://github.com/github/gh-aw/blob/main/CHANGELOG.md)
- [Commits](https://github.com/github/gh-aw/compare/v0.42.6...v0.42.17)

---
updated-dependencies:
- dependency-name: github/gh-aw
  dependency-version: 0.42.17
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-02-18 21:02:18 -08:00
dependabot[bot]
06e6d55346 Bump actions/download-artifact from 6.0.0 to 7.0.0 
Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 6.0.0 to 7.0.0.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v6...v7)

---
updated-dependencies:
- dependency-name: actions/download-artifact
  dependency-version: 7.0.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-02-18 21:02:18 -08:00
Nikolaj Bjorner
fc6355cbe2 Update Windows.yml 2026-02-18 21:02:17 -08:00
Nikolaj Bjorner
b8cfce92a8 update release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:16 -08:00
Nikolaj Bjorner
2aab7481d9 update release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:16 -08:00
Nikolaj Bjorner
a7dbe1698b update to next version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:16 -08:00
Nikolaj Bjorner
1387b2a759 Delete .github/workflows/README-macos-headerpad.md 2026-02-18 21:02:15 -08:00
copilot-swe-agent[bot]
51fd4b2806 Fix OCaml linker flag and align validation runners with build runners 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:15 -08:00
copilot-swe-agent[bot]
3c401f186b Fix CMake variable name and clarify test path documentation 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:15 -08:00
copilot-swe-agent[bot]
3ae8d7026a Apply headerpad fix to build systems (Python and CMake) and fix validation test paths 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:10 -08:00
copilot-swe-agent[bot]
c291c7cf95 Fix install_name_tool command and runner consistency in validation jobs 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 20:58:08 -08:00
copilot-swe-agent[bot]
2b3afe12a3 Add documentation for macOS headerpad validation 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 20:58:08 -08:00
copilot-swe-agent[bot]
bde5553815 Add macOS dylib headerpad validation to nightly and release workflows 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 20:58:08 -08:00
Nikolaj Bjorner
d24561005d update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:58:08 -08:00
Nikolaj Bjorner
ccaa346a46 update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:58:07 -08:00
copilot-swe-agent[bot]
edca1ed5c3 Change code-simplifier to create GitHub issues instead of discussions and set schedule to run once daily at midnight UTC 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 20:58:04 -08:00
copilot-swe-agent[bot]
4cb12f94a3 Update code-simplifier to create discussions with git diffs 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 20:58:04 -08:00
Nikolaj Bjorner
b5154a0924 Add agentic workflow code-simplifier 2026-02-18 20:58:03 -08:00
Nikolaj Bjorner
d1efd3416b updates 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:58:03 -08:00
Copilot
850ee38dca Fix nightly validation workflow failures and add Python wheel tests (#8490) 
* Initial plan

* Fix nightly validation workflow issues and add Python wheel tests

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 20:58:03 -08:00