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

453 commits

Author SHA1 Message Date
Nikolaj Bjorner
99e1ba3a6e update macos runner id 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-19 19:12:44 -08:00
Nikolaj Bjorner
8a28bc28f1
Update nightly-validation.yml 2026-02-19 09:54:29 -08:00
Nikolaj Bjorner
33d4d38dee update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:37:48 -08:00
Nikolaj Bjorner
9d3cc4afc9 remove deprecated workflows 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 12:00:18 -08:00
copilot-swe-agent[bot]
9499b1089c Add --go flag to mk_api_doc.py calls and remove go directory overwrite code 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 19:30:07 +00:00
Nikolaj Bjorner
c9720aa330 fixup docs.ytml 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 08:36:03 -08:00
Nikolaj Bjorner
a077371520 update go doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 08:27:47 -08:00
Nikolaj Bjorner
136bf0b5eb
Update documentation generation to include Go 2026-02-17 18:36:04 -08:00
Nikolaj Bjorner
abb83018df new repository agnostic workflow 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-17 16:27:08 -08:00
Nikolaj Bjorner
5a91b0e6e9 recompile workflows 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-17 15:45:34 -08:00
Nikolaj Bjorner
6ef869bf8b
Remove checkout steps from A3 Python workflow 
Removed steps for checking out Python source files.
 2026-02-17 15:39:23 -08:00
Nikolaj Bjorner
ad5e805ec9
Remove checkout steps from A3 Python workflow 
Removed steps for checking out Python source files.
 2026-02-17 15:39:01 -08:00
copilot-swe-agent[bot]
5a0ed8e0f7 Document upgrade changes and verify workflow compilation 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-17 23:34:37 +00:00
copilot-swe-agent[bot]
e6b58ac7dc Upgrade agentic workflows to gh-aw v0.45.6 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-17 23:33:27 +00:00
copilot-swe-agent[bot]
23d6262f7d Fix shell substitution in a3-python-v2 workflow as well 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-17 04:16:11 +00:00
copilot-swe-agent[bot]
f28b7ce440 Remove problematic shell substitution from a3-python workflow 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-17 04:15:41 +00:00
copilot-swe-agent[bot]
a467a49453 Initial plan: Fix a3-python.md workflow shell substitution issue 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-17 04:15:08 +00:00
Nikolaj Bjorner
f9daab94d4
Merge pull request #8658 from Z3Prover/dependabot/github_actions/githubnext/gh-aw-0.45.1 
Bump githubnext/gh-aw from 0.42.17 to 0.45.1
 2026-02-16 19:40:30 -08:00
Nikolaj Bjorner
5c41b93498
Merge pull request #8659 from Z3Prover/dependabot/github_actions/actions/download-artifact-7.0.0 
Bump actions/download-artifact from 6.0.0 to 7.0.0
 2026-02-16 19:40:15 -08:00
Nikolaj Bjorner
88b004b5b6
Merge pull request #8660 from Z3Prover/dependabot/github_actions/actions/checkout-6.0.2 
Bump actions/checkout from 5.0.1 to 6.0.2
 2026-02-16 19:34:55 -08:00
Nikolaj Bjorner
86a12f4836
Merge pull request #8661 from Z3Prover/dependabot/github_actions/github/gh-aw-0.45.1 
Bump github/gh-aw from 0.43.15 to 0.45.1
 2026-02-16 19:34:43 -08:00
dependabot[bot]
d241c7e745
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-16 22:15:45 +00:00
dependabot[bot]
f2f2d37a3f
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-16 22:15:27 +00:00
dependabot[bot]
93afd93766
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-16 22:13:44 +00:00
dependabot[bot]
7319b08b7f
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-16 22:13:09 +00:00
dependabot[bot]
a0d47dc65e
Bump githubnext/gh-aw from 0.42.17 to 0.45.1 
Bumps [githubnext/gh-aw](https://github.com/githubnext/gh-aw) from 0.42.17 to 0.45.1.
- [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.42.17...v0.45.1)

---
updated-dependencies:
- dependency-name: githubnext/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-16 22:12:48 +00:00
Nikolaj Bjorner
144c352f7d
Merge pull request #8650 from Z3Prover/copilot/fix-sparse-checkout-error 
Fix sparse-checkout initialization in a3-python workflows
 2026-02-16 10:11:57 -08:00
copilot-swe-agent[bot]
479a6d3d3b Add Go bindings to API coherence checker workflow 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-16 17:50:48 +00:00
Nikolaj Bjorner
1924066ff0 update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-16 09:47:37 -08:00
Nikolaj Bjorner
dd10826c99
Merge pull request #8646 from Z3Prover/copilot/build-go-bindings-ci 
Enable Go bindings in ubuntu-cmake CI builds
 2026-02-16 09:45:42 -08:00
copilot-swe-agent[bot]
e3981e5213 Fix git sparse-checkout initialization in a3-python workflows 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-16 17:45:25 +00:00
Nikolaj Bjorner
e553ee2110 revert to last working flows 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-16 09:29:10 -08:00
copilot-swe-agent[bot]
c454b14c24 Add Go bindings support to ubuntu-cmake CI builds 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-16 05:34:36 +00:00
copilot-swe-agent[bot]
15c9455c7d 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-16 04:54:37 +00:00
copilot-swe-agent[bot]
d6300b995c 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-16 01:33:43 +00:00
Nikolaj Bjorner
1463b1ef08
Merge pull request #8611 from Z3Prover/copilot/fix-action-run-error 
Fix sparse-checkout initialization in a3-python workflows
 2026-02-15 17:23:06 -08:00
Nikolaj Bjorner
e2486eff77 upgrade workflows 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-13 08:57:00 -08:00
copilot-swe-agent[bot]
8a49ca490f Fix git sparse-checkout error in a3-python workflows 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-13 03:54:06 +00: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