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

419 commits

Author SHA1 Message Date
dependabot[bot]
0cb36f99dc Bump actions/checkout from 5.0.1 to 6.0.2 
Bumps [actions/checkout](https://github.com/actions/checkout) from 5.0.1 to 6.0.2.
- [Release notes](https://github.com/actions/checkout/releases)
- [Commits](https://github.com/actions/checkout/compare/v5.0.1...v6.0.2)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: 6.0.2
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-02-18 21:02:28 -08:00
dependabot[bot]
7d58011129 Bump github/gh-aw from 0.43.15 to 0.45.1 
Bumps [github/gh-aw](https://github.com/github/gh-aw) from 0.43.15 to 0.45.1.
- [Release notes](https://github.com/github/gh-aw/releases)
- [Commits](https://github.com/github/gh-aw/compare/v0.43.15...v0.45.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2026-02-18 21:02:28 -08:00
dependabot[bot]
f2a41ca9f0 Bump actions/cache from 4.3.0 to 5.0.3 
Bumps [actions/cache](https://github.com/actions/cache) from 4.3.0 to 5.0.3.
- [Release notes](https://github.com/actions/cache/releases)
- [Commits](https://github.com/actions/cache/compare/v4.3.0...v5.0.3)

---
updated-dependencies:
- dependency-name: actions/cache
  dependency-version: 5.0.3
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-02-18 21:02:28 -08:00
copilot-swe-agent[bot]
0ef12e3468 Fix git sparse-checkout initialization in a3-python workflows 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:27 -08:00
copilot-swe-agent[bot]
436a2f887c Add Go bindings to API coherence checker workflow 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:27 -08:00
Nikolaj Bjorner
fa5f5c5824 update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:27 -08:00
copilot-swe-agent[bot]
e9fcdd46c6 Add Go bindings support to ubuntu-cmake CI builds 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:27 -08:00
Nikolaj Bjorner
2da80914cc revert to last working flows 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:27 -08:00
copilot-swe-agent[bot]
3930647e37 Fix template interpolation failure in agentic workflows 
Remove shell command substitution syntax $(date +%Y-%m-%d) from workflow
markdown files that was causing template interpolation to fail. The shell
syntax is not valid in the context/frontmatter section that gets processed
by the template engine.

Fixed files:
- .github/workflows/a3-python-v2.md
- .github/workflows/a3-python.md
- .github/workflows/code-simplifier.md

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:26 -08:00
copilot-swe-agent[bot]
5202b40309 Fix a3-python-v2 workflow compilation error 
- Remove invalid source reference to non-existent commit
- Fix network domains: 'default' → 'defaults'
- Remove serena tools configuration
- Recompile workflow with gh-aw v0.45.0

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:25 -08:00
copilot-swe-agent[bot]
068e8c70c4 Fix git sparse-checkout error in a3-python workflows 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:25 -08:00
Nikolaj Bjorner
adacc27644 upgrade workflows 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:24 -08:00
Nikolaj Bjorner
61d8547a25 add tool 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:24 -08:00
copilot-swe-agent[bot]
d75fbe766e Remove RuntimeIdentifier to fix assembly loading on macOS 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:24 -08:00
copilot-swe-agent[bot]
4903917bc5 Fix test-nuget on macOS by rewriting csproj with proper configuration 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:24 -08:00
Nikolaj Bjorner
36342f9821 increment minor version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:24 -08:00
Nikolaj Bjorner
fdb4a4d3a5 update release to dedup and include manylinux 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:24 -08:00
copilot-swe-agent[bot]
ba75aae688 Replace Python deduplication script with shell commands 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:24 -08:00
copilot-swe-agent[bot]
5fc29434dd Fix EOF handling in bash read and improve empty content detection 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:24 -08:00
copilot-swe-agent[bot]
d7f87d7b19 Add proper error handling for empty file list and preserve filepath integrity 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:24 -08:00
copilot-swe-agent[bot]
86c2fa7a9d Improve file handling to properly handle special characters 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:24 -08:00
copilot-swe-agent[bot]
9fe340cced Fix nightly build workflow by removing --clobber and adding deduplication 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 21:02:24 -08:00
Nikolaj Bjorner
5b54e4197e bump version to prepare for release with wheels and npm 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 21:02:23 -08:00
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