mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-19 15:04:42 +00:00
Code Activity
20410 commits 45 branches 58 tags 178 MiB
Commit graph

272 commits

Author SHA1 Message Date
Nikolaj Bjorner
e29289ad97 Add workflow_dispatch trigger to wip.yml 2026-02-18 20:57:12 -08:00
Nikolaj Bjorner
9887f050eb Update pyodide.yml 2026-02-18 20:57:12 -08:00
Copilot
3c0c29d37a Extend code-conventions-analyzer workflow with Z3-specific C++ modernization patterns (#8187) 
* Initial plan

* Update code-conventions-analyzer workflow with modern C++ preferences

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-18 20:57:11 -08:00
dependabot[bot]
50bf3221ea Bump actions/setup-dotnet from 4.3.1 to 5.0.1 (#8175) 
Bumps [actions/setup-dotnet](https://github.com/actions/setup-dotnet) from 4.3.1 to 5.0.1.
- [Release notes](https://github.com/actions/setup-dotnet/releases)
- [Commits](67a3573c9a...2016bd2012)

---
updated-dependencies:
- dependency-name: actions/setup-dotnet
  dependency-version: 5.0.1
  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-18 20:57:11 -08:00
dependabot[bot]
cc77bce3ed Bump actions/download-artifact from 6.0.0 to 7.0.0 (#8176) 
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-18 20:57:11 -08:00
dependabot[bot]
87cc6a4490 Bump actions/setup-java from 4.8.0 to 5.1.0 (#8177) 
Bumps [actions/setup-java](https://github.com/actions/setup-java) from 4.8.0 to 5.1.0.
- [Release notes](https://github.com/actions/setup-java/releases)
- [Commits](c1e323688f...f2beeb24e1)

---
updated-dependencies:
- dependency-name: actions/setup-java
  dependency-version: 5.1.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-18 20:57:11 -08:00
dependabot[bot]
29228ca475 Bump actions/checkout from 4.2.2 to 6.0.1 (#8178) 
Bumps [actions/checkout](https://github.com/actions/checkout) from 4.2.2 to 6.0.1.
- [Release notes](https://github.com/actions/checkout/releases)
- [Commits](https://github.com/actions/checkout/compare/v4.2.2...v6.0.1)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: 6.0.1
  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-18 20:57:11 -08:00
dependabot[bot]
e208e2f2c1 Bump astral-sh/setup-uv from 5.4.2 to 7.2.0 (#8179) 
Bumps [astral-sh/setup-uv](https://github.com/astral-sh/setup-uv) from 5.4.2 to 7.2.0.
- [Release notes](https://github.com/astral-sh/setup-uv/releases)
- [Commits](d4b2f3b6ec...61cb8a9741)

---
updated-dependencies:
- dependency-name: astral-sh/setup-uv
  dependency-version: 7.2.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-18 20:57:10 -08:00
Copilot
f08f97b555 Update API coherence checker to include OCaml bindings and remove Julia (#8168) 
* Initial plan

* Update API coherence checker to include OCaml bindings and remove Julia

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-18 20:57:10 -08:00
Copilot
c92fe7ced9 Change Code Conventions Analyzer to output to Discussions instead of Issues (#8163) 
* Initial plan

* Change Code Conventions Analyzer to use Discussions instead of Issues

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-18 20:57:09 -08:00
Nikolaj Bjorner
b4dcd8b34e remove ci-doctor 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:57:08 -08:00
Copilot
8cdc75e10d Build Warning Fixer: Build Z3 directly instead of reading workflow logs (#8148) 
* Initial plan

* Update Build Warning Fixer to build Z3 directly instead of reading logs

- Change workflow to pick a random build configuration and build Z3 directly
- Remove GitHub Actions toolset and agentic-workflows tool dependencies
- Update instructions to extract warnings from direct build output
- Increase timeout from 30 to 60 minutes to accommodate build time
- Add examples for wip.yml, cross-build.yml, and coverage.yml workflows

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-18 20:57:08 -08:00
Copilot
56cc0001ac Fix agentics-maintenance.yml: use pre-built gh-aw binary instead of building from source (#8147) 
* Initial plan

* Fix agentics-maintenance.yml: Replace Go build with pre-built binary installation

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

* Pin gh-aw installation script to v0.36.0 commit hash for security

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-18 20:57:08 -08:00
Copilot
13f6f8b82e Add agentic workflow for C++ coding conventions and modernization analysis (#8140) 
* Initial plan

* Add code conventions analyzer agentic workflow

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-18 20:57:07 -08:00
Copilot
17541fc4fd [WIP] Fix build warning fixer to access daily build logs (#8133) 
* Initial plan

* Update build-warning-fixer with correct tool usage and examples

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

* Add specific workflow targets to build-warning-fixer

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-18 20:57:06 -08:00
Copilot
2e7c7f47bb Remove GITHUB_READ_ONLY flag blocking Actions log retrieval in build-warning-fixer (#8128) 
* Initial plan

* Remove GITHUB_READ_ONLY=1 flag to allow log retrieval in build-warning-fixer

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-18 20:57:06 -08:00
Nikolaj Bjorner
d8a6007385 remove stale actions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:57:06 -08:00
Nikolaj Bjorner
50365e653b remove stale actions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:57:06 -08:00
Nikolaj Bjorner
c76deffb9a Delete .github/workflows/codeql-analysis.yml 2026-02-18 20:57:06 -08:00
Copilot
7fc54c86d9 Enable workflow log access for build-warning-fixer agent (#8123) 
* Initial plan

* Enable agentic-workflows MCP server for workflow log access

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-18 20:57:05 -08:00
Copilot
c02a20aa5a Upgrade agentic workflows to gh-aw v0.36.0 (#8122) 
* Initial plan

* Upgrade agentic workflows to gh-aw v0.36.0

- Applied automatic codemods (timeout_minutes → timeout-minutes, command → slash_command)
- Fixed pr-fix.md: push-to-pr-branch → push-to-pull-request-branch
- Updated include paths from agentics/shared/ to shared/
- Migrated @include syntax to {{#import}} syntax
- Moved shared workflow files to standard .github/workflows/shared/ location
- Ran gh aw init to refresh agent files and instructions
- All 8 workflows compile successfully

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-18 20:57:05 -08:00
Copilot
caff1debd3 Add agentic workflow for multi-language API coherence checking (#8119) 
* Initial plan

* Add API coherence checker agentic workflow

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-18 20:57:05 -08:00
Nikolaj Bjorner
6fca8d0940 Add GitHub Actions workflow for automatic build warning detection and fixing 
This workflow analyzes build warnings from CI runs of the Z3 theorem prover codebase. It extracts compiler warnings, creates fixes for straightforward issues, and generates pull requests with the changes. The process is designed to be conservative, ensuring that only safe and minimal changes are made to the codebase.
 2026-02-18 20:57:05 -08:00
Nikolaj Bjorner
ba3f4ef1e8 update aw to current version 2026-02-18 20:57:05 -08:00
Nikolaj Bjorner
76fbd62037 Update docs.yml 2026-02-18 20:57:02 -08:00
Copilot
00b3b1e698 Fix docs.yml workflow: specify working directory for npm commands (#8098) 
* Initial plan

* Fix docs.yml build by adding working-directory to npm steps

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-18 20:57:02 -08:00
Nikolaj Bjorner
3089fb0932 set build directory 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:57:02 -08:00
Nikolaj Bjorner
9c23119f43 Refactor documentation workflow to simplify installation 
Remove redundant command for installing Python package.
 2026-02-18 20:57:02 -08:00
Nikolaj Bjorner
0efa27ba83 Fix Z3BUILD environment variable in docs workflow 2026-02-18 20:57:02 -08:00
Nikolaj Bjorner
279a379a1e fix build dir 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:57:02 -08:00
Nikolaj Bjorner
1b76944c7d try adding wasm as separate step 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:57:01 -08:00
Nikolaj Bjorner
a01bd575c9 Update docs.yml 2026-02-18 20:57:01 -08:00
Nikolaj Bjorner
9aede918bd Modify docs.yml to generate JS documentation 
Updated documentation generation script to include JavaScript output.
 2026-02-18 20:57:01 -08:00
Nikolaj Bjorner
50bca45237 enable js 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:57:01 -08:00
Nikolaj Bjorner
17f8594756 include paramters 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:57:01 -08:00
Nikolaj Bjorner
cfdd3208c6 updated with env ocaml 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:57:01 -08:00
Nikolaj Bjorner
f81fe09ddb update doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:57:01 -08:00
Copilot
24eb0efbc0 Fix docs.yml workflow: update actions to v4 (#8095) 
* Initial plan

* Fix docs.yml workflow: update GitHub Actions to valid versions

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-18 20:57:01 -08:00
Nikolaj Bjorner
a2a4bb44c0 docs with ml bindings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:57:01 -08:00
Nikolaj Bjorner
1f14f7542b Modify docs.yml for deployment settings 
Updated the GitHub Actions workflow for documentation deployment, changing the publish directory and removing the push trigger.
 2026-02-18 20:57:01 -08:00
Nikolaj Bjorner
a60bd113dc Update publish directory for documentation deployment 2026-02-18 20:57:01 -08:00
Nikolaj Bjorner
71c20690e3 Update docs.yml 2026-02-18 20:57:01 -08:00
Copilot
604d04c8b3 Deploy docs to z3prover.github.io organization pages (#8094) 
* Initial plan

* Deploy docs to z3prover.github.io organization pages

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-18 20:57:01 -08:00
Nikolaj Bjorner
6367736a4a Simplify CI workflow by removing emscripten steps 
Removed unnecessary steps for emscripten setup and TypeScript/WASM build in the CI workflow.
 2026-02-18 20:57:01 -08:00
Nikolaj Bjorner
0f990b0c11 Add working directory for wasm build step 2026-02-18 20:57:00 -08:00
Nikolaj Bjorner
da2c4dde69 Update docs.yml 2026-02-18 20:57:00 -08:00
Nikolaj Bjorner
6d293a8b51 Update docs.yml 2026-02-18 20:57:00 -08:00
Copilot
d26fcdd8e9 Fix docs.yml workflow: resolve WASM/native library conflict in documentation generation (#8093) 
* Initial plan

* Fix docs.yml: Build native Z3 Python bindings before WASM to avoid library conflicts

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-18 20:57:00 -08:00
Copilot
dcd6414c7e Fix docs.yml workflow: remove conflicting native build step (#8091) 
* Initial plan

* Fix docs.yml workflow to properly build and deploy documentation

- Remove `no-install: true` from setup-emsdk step to properly install emscripten
- Remove `working-directory: src/api/js` from setup-emsdk step (not needed)
- Remove manual emsdk install/activate/source commands from Build wasm step
- Remove redundant native Z3 build step that conflicted with wasm build
- Simplify Generate Documentation step by removing redundant source command

The main issue was that the native Z3 build was creating a Makefile in the build/
directory before the wasm build ran. The wasm build script then saw the Makefile
existed and skipped the emconfigure step, but the native Makefile doesn't have a
libz3.a target, causing the build to fail. Removing the native build allows the
wasm build to properly configure its own build with emscripten.

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-18 20:57:00 -08:00
Nikolaj Bjorner
7f06ec3449 merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-18 20:57:00 -08:00