mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-16 18:20:00 +00:00
Code Activity
21992 commits 61 branches 58 tags 202 MiB
Commit graph

20 commits

Author SHA1 Message Date
Angelica Moreira
db46d52056
fix memory-safety-report to download artifacts via MCP tools (#8979) 
gh CLI is not available inside AWF so the agent could not download
artifacts. Switch to GitHub MCP actions toolset for artifact URLs
and add helper scripts for download and parsing.
 2026-03-15 10:12:49 -07:00
Nikolaj Bjorner
8ba5fb6698 compile updated workflows 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-03-12 13:33:37 -07:00
Nikolaj Bjorner
664c8ca73a compiled workflows 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-03-11 21:39:28 -07:00
dependabot[bot]
a53d63be85
Bump github/gh-aw from 0.45.6 to 0.57.0 
Bumps [github/gh-aw](https://github.com/github/gh-aw) from 0.45.6 to 0.57.0.
- [Release notes](https://github.com/github/gh-aw/releases)
- [Commits](https://github.com/github/gh-aw/compare/v0.45.6...v0.57.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2026-03-09 22:47:13 +00:00
Nikolaj Bjorner
30483d6cf2
Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 
Bump actions/download-artifact from 6.0.0 to 8.0.0
 2026-03-02 15:48:03 -08:00
Nikolaj Bjorner
ef648ff632
Merge pull request #8833 from Z3Prover/dependabot/github_actions/actions/upload-artifact-7.0.0 
Bump actions/upload-artifact from 6.0.0 to 7.0.0
 2026-03-02 15:47:48 -08:00
Nikolaj Bjorner
07742ed49f
Merge pull request #8834 from Z3Prover/dependabot/github_actions/actions/cache-5.0.3 
Bump actions/cache from 4.3.0 to 5.0.3
 2026-03-02 15:47:34 -08:00
Nikolaj Bjorner
ba88256a2a
Merge pull request #8836 from Z3Prover/dependabot/github_actions/actions/checkout-6.0.2 
Bump actions/checkout from 5.0.1 to 6.0.2
 2026-03-02 15:47:22 -08:00
dependabot[bot]
11d3a11cea
Bump github/gh-aw from 0.45.6 to 0.51.6 
Bumps [github/gh-aw](https://github.com/github/gh-aw) from 0.45.6 to 0.51.6.
- [Release notes](https://github.com/github/gh-aw/releases)
- [Commits](https://github.com/github/gh-aw/compare/v0.45.6...v0.51.6)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2026-03-02 23:44:00 +00:00
dependabot[bot]
e482052b37
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-03-02 23:42:08 +00:00
dependabot[bot]
867e768aa8
Bump actions/download-artifact from 6.0.0 to 8.0.0 
Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 6.0.0 to 8.0.0.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v6...v8)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2026-03-02 23:41:23 +00:00
dependabot[bot]
b7a4ddbcd5
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-03-02 23:40:54 +00:00
dependabot[bot]
a7e3635931
Bump actions/upload-artifact from 6.0.0 to 7.0.0 
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 6.0.0 to 7.0.0.
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](https://github.com/actions/upload-artifact/compare/v6...v7)

---
updated-dependencies:
- dependency-name: actions/upload-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-03-02 23:40:26 +00:00
Nikolaj Bjorner
48de0f8a5e updated compiled workflows 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-24 16:12:53 -08:00
Nikolaj Bjorner
fe5c15e1fc
Merge pull request #8743 from Z3Prover/dependabot/github_actions/github/gh-aw-0.49.5 
Bump github/gh-aw from 0.45.6 to 0.49.5
 2026-02-23 20:32:37 -08:00
Nikolaj Bjorner
55753ba36f
Merge pull request #8745 from Z3Prover/dependabot/github_actions/actions/download-artifact-7 
Bump actions/download-artifact from 4 to 7
 2026-02-23 20:31:58 -08:00
dependabot[bot]
a61de6023a
Bump actions/download-artifact from 4 to 7 
Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 4 to 7.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v4...v7)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2026-02-23 23:24:27 +00:00
dependabot[bot]
c3a97b5a03
Bump github/gh-aw from 0.45.6 to 0.49.5 
Bumps [github/gh-aw](https://github.com/github/gh-aw) from 0.45.6 to 0.49.5.
- [Release notes](https://github.com/github/gh-aw/releases)
- [Commits](https://github.com/github/gh-aw/compare/v0.45.6...v0.49.5)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2026-02-23 23:23:44 +00:00
dependabot[bot]
51e53b547a
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-23 23:22:21 +00:00
copilot-swe-agent[bot]
610a3d3c5a Add tactic-to-simplifier comparison agentic workflow 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-21 03:22:56 +00:00