mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-12 20:04:08 +00:00
Code Activity
20639 commits 57 branches 56 tags 173 MiB
Commit graph

387 commits

Author SHA1 Message Date
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
Nikolaj Bjorner
cf18a764f3
Update Windows.yml 2026-02-09 11:29:40 -08:00
Nikolaj Bjorner
3251ccdfd5 update release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-08 20:11:41 -08:00
Nikolaj Bjorner
2330e1419d update release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-08 20:10:43 -08:00
Nikolaj Bjorner
212e8735fb update to next version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-08 19:52:43 -08:00
Nikolaj Bjorner
45fd779621
Merge pull request #8541 from Z3Prover/copilot/update-nightly-build-test-process 
Add macOS dylib headerpad fix and CI validation
 2026-02-08 12:43:45 -08:00
Nikolaj Bjorner
85534f154d update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-08 12:42:35 -08:00
Nikolaj Bjorner
8c3aefca93
Delete .github/workflows/README-macos-headerpad.md 2026-02-08 11:25:40 -08:00
copilot-swe-agent[bot]
e685ea45ed Fix OCaml linker flag and align validation runners with build runners 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-08 17:26:30 +00:00
copilot-swe-agent[bot]
34d2d08364 Fix CMake variable name and clarify test path documentation 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-08 17:24:18 +00:00
copilot-swe-agent[bot]
af76ac69d6 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-08 17:23:04 +00:00
copilot-swe-agent[bot]
406e99b0d2 Fix install_name_tool command and runner consistency in validation jobs 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-08 17:19:57 +00:00
copilot-swe-agent[bot]
40c0b0cdb2 Add documentation for macOS headerpad validation 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-08 17:17:17 +00:00
copilot-swe-agent[bot]
8d404f6b87 Add macOS dylib headerpad validation to nightly and release workflows 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-08 17:16:32 +00:00
Nikolaj Bjorner
0ed85db8a2 update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-07 18:47:15 -08:00
copilot-swe-agent[bot]
e54bc3f428 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-06 07:03:53 +00:00
copilot-swe-agent[bot]
f2fb33223a Update code-simplifier to create discussions with git diffs 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-06 06:45:35 +00:00
Nikolaj Bjorner
772bc28470 Add agentic workflow code-simplifier 2026-02-05 12:32:59 -08:00
Copilot
1f855efa09
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-03 10:09:42 -08:00
dependabot[bot]
818e687c08
Bump githubnext/gh-aw from 0.37.24 to 0.40.0 (#8484) 
Bumps [githubnext/gh-aw](https://github.com/githubnext/gh-aw) from 0.37.24 to 0.40.0.
- [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.37.24...v0.40.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2026-02-03 10:08:49 -08:00
dependabot[bot]
6fe24baaec
Bump actions/cache from 4 to 5 (#8482) 
Bumps [actions/cache](https://github.com/actions/cache) from 4 to 5.
- [Release notes](https://github.com/actions/cache/releases)
- [Commits](https://github.com/actions/cache/compare/v4...v5)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2026-02-03 10:08:34 -08:00
dependabot[bot]
19da20c91a
Bump actions/download-artifact from 6.0.0 to 7.0.0 (#8481) 
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>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2026-02-03 10:08:09 -08:00
dependabot[bot]
7087adde9a
Bump actions/checkout from 5.0.1 to 6.0.2 (#8483) 
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>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2026-02-03 10:07:58 -08:00
dependabot[bot]
be15b342a4
Bump actions/setup-dotnet from 4 to 5 (#8485) 
Bumps [actions/setup-dotnet](https://github.com/actions/setup-dotnet) from 4 to 5.
- [Release notes](https://github.com/actions/setup-dotnet/releases)
- [Commits](https://github.com/actions/setup-dotnet/compare/v4...v5)

---
updated-dependencies:
- dependency-name: actions/setup-dotnet
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2026-02-03 10:07:44 -08:00
Copilot
cf624d6481
[WIP] Add workflow to validate nightly build (#8476) 
* Initial plan

* Add nightly-validation workflow for validating nightly builds

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-02 14:35:03 -08:00
Copilot
04ec450b02
Add workflow to build and cache Z3 for reuse across CI (#8466) 
* Initial plan

* Add Z3 build cache workflow and documentation

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

* Address code review feedback: improve cache strategy and documentation

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

* Fix cache restore-keys and update size documentation

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

* Delete .github/workflows/example-cached-z3.yml

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-01 16:49:41 -08:00
Copilot
74cbd6de32
Enable ad-hoc deeptest workflow execution via workflow_dispatch (#8448) 
* Initial plan

* Remove slash_command and blocking activation conditions from deeptest workflow

- Remove slash_command configuration to eliminate team membership and command position checks
- Simplify workflow to only support workflow_dispatch for ad-hoc execution
- Remove pre_activation job and complex activation conditions
- Update README to reflect workflow_dispatch-only usage
- Keep file_path input parameter for specifying source files to test

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-01-30 13:41:42 -08:00
Copilot
078be3bd65
Remove structured bindings refactoring from code conventions analyzer (#8428) 
* Initial plan

* Remove structured bindings focus from code conventions analyzer

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

* Regenerate code-conventions-analyzer.lock.yml after removing structured bindings

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-01-29 18:56:55 -08:00
Copilot
be7dc430a0
Add DeepTest agentic workflow for automated test generation (#8432) 
* Initial plan

* Create DeepTest agentic workflow for test generation

Co-authored-by: saikat107 <2145576+saikat107@users.noreply.github.com>

* Add documentation for DeepTest workflow

Co-authored-by: saikat107 <2145576+saikat107@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: saikat107 <2145576+saikat107@users.noreply.github.com>
 2026-01-29 18:53:12 -08:00
Copilot
b2f44b9b9b
Migrate PyPI publishing to Trusted Publishing (OIDC) (#8420) 
* Initial plan

* Migrate publish-pypi job to PyPI Trusted Publishing (OIDC)

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-01-28 10:43:45 -08:00