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

425 commits

Author SHA1 Message Date
Nikolaj Bjorner
e2486eff77 upgrade workflows 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-13 08:57:00 -08:00
Nikolaj Bjorner
83b60990b1 add tool 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-12 19:40:19 -08:00
Nikolaj Bjorner
3f15666441
Merge pull request #8603 from Z3Prover/copilot/fix-github-actions-job 
Fix macOS NuGet validation: remove RuntimeIdentifier to match package structure
 2026-02-12 19:25:17 -08:00
Nikolaj Bjorner
a81f691899 increment minor version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-12 17:31:50 -08:00
copilot-swe-agent[bot]
fc6140e489 Remove RuntimeIdentifier to fix assembly loading on macOS 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-12 21:24:22 +00:00
copilot-swe-agent[bot]
1ea2b0865a Fix test-nuget on macOS by rewriting csproj with proper configuration 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-12 21:22:30 +00:00
Nikolaj Bjorner
f80414f4bb update release to dedup and include manylinux 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-12 11:38:41 -08:00
copilot-swe-agent[bot]
97bdef79b5 Replace Python deduplication script with shell commands 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-12 18:21:25 +00:00
copilot-swe-agent[bot]
24d9a62356 Fix EOF handling in bash read and improve empty content detection 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-12 17:43:37 +00:00
copilot-swe-agent[bot]
a1f5016f02 Add proper error handling for empty file list and preserve filepath integrity 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-12 17:42:24 +00:00
copilot-swe-agent[bot]
c1603fc65a Improve file handling to properly handle special characters 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-12 17:41:02 +00:00
copilot-swe-agent[bot]
6bc44183bc Fix nightly build workflow by removing --clobber and adding deduplication 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-12 17:39:24 +00:00
Nikolaj Bjorner
e6d32f3d40 bump version to prepare for release with wheels and npm 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-12 08:59:40 -08:00
Nikolaj Bjorner
0be5434f29
Remove --clobber option from nightly release 
Remove the --clobber option from the nightly release command.
 2026-02-12 08:21:54 -08:00
Nikolaj Bjorner
7c42ec3b25
Add release trigger to documentation workflow 2026-02-12 07:53:21 -08:00
Nikolaj Bjorner
3974bd1f45
Fix copy command for Linux Python packages 2026-02-12 06:59:06 -08: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
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]
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
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
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]
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
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
46ad0f67b3 Add agentic workflow a3-python-v2 2026-02-10 19:53:13 -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
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
Nikolaj Bjorner
71bf76e76c update 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 15:59:03 -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]
826581e2ef Recompile a3-python.md workflow with gh-aw v0.43.2 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-10 23:10:24 +00:00
Nikolaj Bjorner
426d1ae923
Add network permissions to Python workflow 2026-02-10 15:08:36 -08:00
Nikolaj Bjorner
53cae328c4
Merge pull request #8569 from Z3Prover/copilot/create-a3-python-workflow 
Add a3-python workflow for automated Python code analysis
 2026-02-10 13:17:12 -08:00
Nikolaj Bjorner
7e5ffd722c
Enhance nightly workflow to include Linux builds 
Added support for Linux binaries in the nightly workflow.
 2026-02-10 13:15:28 -08:00
Nikolaj Bjorner
bc74dae836
Delete .github/workflows/README-a3-python.md 2026-02-10 13:04:59 -08:00
copilot-swe-agent[bot]
bb0b8dab31 Add README documentation for a3-python workflow 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-10 20:53:54 +00:00
copilot-swe-agent[bot]
b5b6c4c124 Add a3-python agentic workflow 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-10 20:52:50 +00:00
Nikolaj Bjorner
b8a036816e
Merge pull request #8561 from Z3Prover/dependabot/github_actions/githubnext/gh-aw-0.42.17 
Bump githubnext/gh-aw from 0.40.0 to 0.42.17
 2026-02-10 10:26:42 -08:00
Nikolaj Bjorner
aa9275f8f5
Merge pull request #8560 from Z3Prover/dependabot/github_actions/github/gh-aw-0.42.17 
Bump github/gh-aw from 0.42.6 to 0.42.17
 2026-02-10 10:26:32 -08:00
dependabot[bot]
99a7eb9a40
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-10 00:44:41 +00:00
dependabot[bot]
a93cc405e7
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-10 00:43:56 +00:00
dependabot[bot]
2ccb0b3fae
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-10 00:43:44 +00:00