mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-05 15:33:59 +00:00
Code Activity
19969 commits 28 branches 52 tags 171 MiB
Commit graph

173 commits

Author SHA1 Message Date
Nikolaj Bjorner
01da267988
Update Pyodide workflow to use scheduled builds 2025-09-15 10:35:44 -07:00
Nikolaj Bjorner
93333eca66
Change GitHub Actions trigger to scheduled 2025-09-15 10:35:14 -07:00
Nikolaj Bjorner
c496787923
Change coverage schedule to run every two days 2025-09-15 10:34:59 -07:00
Nikolaj Bjorner
ff6a4f9b12
Add scheduled trigger for Android build workflow 2025-09-15 10:34:32 -07:00
Daily Perf Improver
a31656a705 Daily Perf Improver: Add build steps configuration 
This commit adds the GitHub Action configuration file for setting up
the Z3 build environment for performance development work.

The action includes:
- Installing build dependencies (cmake, ninja, python3, etc.)
- Cleaning any polluted source tree from previous Python builds
- Configuring CMake with RelWithDebInfo for performance work
- Building Z3 and test executables
- Cloning z3test repository for benchmarks
- Setting up performance measurement tools
- Creating micro-benchmark infrastructure

This configuration is based on the research and plan outlined in
issue #7872 and follows the standard CMake build process documented
in README-CMake.md.

> AI-generated content by [Daily Perf Improver](https://github.com/Z3Prover/z3/actions/runs/17735701277) may contain mistakes.
 2025-09-15 14:05:21 +00:00
Don Syme
25a79d73b1 update workflows and use token for safe outputs 2025-09-15 15:00:15 +01:00
Nikolaj Bjorner
6afa1c5be8 add back coverage module 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-09-14 05:16:54 -07:00
Don Syme
f0c788581a
Merge pull request #7871 from Z3Prover/add-workflow-githubnext-agentics-daily-perf-improver-9993 
Add workflow: githubnext/agentics/daily-perf-improver
 2025-09-12 23:47:59 +01:00
Don Syme
095e0f5db8 Add workflow: githubnext/agentics/daily-perf-improver 2025-09-12 23:47:24 +01:00
Daily Test Coverage Improver
cc8e2f372b Add coverage steps configuration for Daily Test Coverage Improver 
This adds the GitHub Action configuration needed to:
- Build Z3 with coverage instrumentation using clang/gcov
- Run comprehensive test suite including unit tests, regression tests, and examples
- Generate HTML coverage reports with detailed file-by-file analysis
- Upload coverage reports as artifacts for analysis

The configuration is based on the existing disabled coverage.yml workflow
and follows Z3's CMake build system with Ninja generator.

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>
 2025-09-12 22:41:18 +00:00
Don Syme
f0ffa60675 fix workflows 2025-09-12 23:19:13 +01:00
Don Syme
19f8001dd9 Add workflow: githubnext/agentics/daily-test-improver 2025-09-12 22:17:17 +01:00
dependabot[bot]
e6b0b2d1b4
Bump actions/setup-node from 4 to 5 (#7858) 
Bumps [actions/setup-node](https://github.com/actions/setup-node) from 4 to 5.
- [Release notes](https://github.com/actions/setup-node/releases)
- [Commits](https://github.com/actions/setup-node/compare/v4...v5)

---
updated-dependencies:
- dependency-name: actions/setup-node
  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>
 2025-09-10 13:31:50 -07:00
dependabot[bot]
d375d97576
Bump actions/checkout from 4 to 5 (#7773) 
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v4...v5)

---
updated-dependencies:
- dependency-name: actions/checkout
  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>
 2025-08-12 15:19:32 -07:00
Copilot
6486d9290a
Add .github/copilot-instructions.md with comprehensive Z3 development guide (#7766) 
* Initial plan

* Add comprehensive .github/copilot-instructions.md with validated build commands and timing

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

* Remove test_example binary file from repository

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>
 2025-08-12 15:18:52 -07:00
Nikolaj Bjorner
44cd38c9ff
Update msvc-static-build.yml 2025-07-23 10:32:56 -07:00
Shiwei Weng 翁士伟
c2efd3dc6d
Update on building OCaml binding with CMake (#7698) 
* fix: add generating META for ocamlfind.

* Patch macos. We need to keep the `@rpath` and use environment var to enable the test because we need to leave it to be fixed by package managers.

* Trigger CI.

* Debug.

* Debug.

* Debug.

* Debug.

* Debug.

* Debug.

* Hacky fix for ocaml building warning.

* Fix typo and rename variables.
 2025-06-27 17:55:58 -07:00
Nikolaj Bjorner
f81d9735e9
Update prd.yml 2025-06-17 17:03:24 -07:00
Nikolaj Bjorner
7b432ae608
Rename labeler.yml to labeller.yml 
fix spelling error
 2025-06-13 10:51:04 -07:00
Nikolaj Bjorner
638921457d
Create dedup.yml 2025-06-13 07:59:31 -07:00
Peli de Halleux
3927fdb55f
enable debug logging on labeler workflow (#7681) 2025-06-12 09:39:58 -07:00
Nikolaj Bjorner
4584d1d78f
Create labeler.yml 2025-06-12 07:36:21 -07:00
Nikolaj Bjorner
8d67feef9f
Update prd.yml 2025-05-17 17:39:37 -07:00
Nikolaj Bjorner
a4e7123437
Update prd.yml 2025-05-17 17:34:43 -07:00
Nikolaj Bjorner
a7fbddd049
Update prd.yml 2025-05-17 17:24:14 -07:00
Nikolaj Bjorner
33812201cb
Create prd.yml 2025-05-16 14:15:52 -07:00
Shiwei Weng 翁士伟
f7aec02503
WIP: Migrating OCaml binding to CMake (#7254) 
* Update doc for `mk_context`.

* Migrating to cmake.

* Migrating to cmake. It builds both internal or external libz3.

* Start to work on platform-specific problem.

* Messy notes.

* debug.

* Cleanup a bit.

* Fixing shared lib extension.

* Minor.

* Resume working on this PR.

* Remove including `AddOCaml`.

* Keep `z3.ml` and `z3.mli` in the src but specify the generated file in the bin.

* Keep `ml_example.ml` in the src.

* Try github action for ocaml.

* Add workflow using matrix.

* Fix mac linking once more.

* Bypass @rpath in building sanity check.
 2025-04-19 13:41:27 -07:00
Nikolaj Bjorner
382bd05d1b gitignore 2025-03-12 17:18:37 -07:00
Nikolaj Bjorner
8ae24e2b38 update release version 2025-01-31 09:29:28 -08:00
dependabot[bot]
1d622a678e
Bump docker/build-push-action from 6.12.0 to 6.13.0 (#7535) 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.12.0 to 6.13.0.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v6.12.0...v6.13.0)

---
updated-dependencies:
- dependency-name: docker/build-push-action
  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>
 2025-01-31 09:26:49 -08:00
dependabot[bot]
45ff1f4df3
Bump docker/build-push-action from 6.10.0 to 6.12.0 (#7516) 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.10.0 to 6.12.0.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v6.10.0...v6.12.0)

---
updated-dependencies:
- dependency-name: docker/build-push-action
  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>
 2025-01-21 14:38:40 -08:00
Nikolaj Bjorner
17faabea9e
Update msvc-static-build-clang-cl.yml 
use windows latest.
 2025-01-11 17:51:33 -08:00
Nikolaj Bjorner
af0113f41f Disable the Code Coverage workflow 2025-01-07 11:01:49 -08:00
Kevin Gibbons
e5f8327483
Update emscripten (#7473) 
* fixes for newer emscripten thread handling behavior

* fix return type for async wrapper functions

* update prettier

* update typescript and fix errors

* update emscripten version in CI

* update js readme about tests
 2024-12-06 18:11:14 -08:00
dependabot[bot]
6ea4110b30
Bump docker/build-push-action from 6.9.0 to 6.10.0 (#7469) 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.9.0 to 6.10.0.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v6.9.0...v6.10.0)

---
updated-dependencies:
- dependency-name: docker/build-push-action
  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>
 2024-12-02 15:39:49 -08:00
Nikolaj Bjorner
36725758eb fix typos POLING -> POLLING in setup.py and remove unused CFLAGS 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-21 11:32:38 -08:00
Nikolaj Bjorner
94f0aff47f remove the use-pthread 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-19 19:55:03 -08:00
Nikolaj Bjorner
76795a44e4 remove -pthread from options 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-19 19:50:47 -08:00
Nikolaj Bjorner
10d9c81957 adapt for pyodide built 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-19 18:51:04 -08:00
Nikolaj Bjorner
7de0c29f12
Update pyodide.yml 
try using flags from js/scripts/build-wasm.ts
 2024-11-19 12:58:08 -08:00
Nikolaj Bjorner
836802ed71
Update pyodide.yml 
add back build flags in script
 2024-11-16 13:36:38 -08:00
Nikolaj Bjorner
cdc483374c
Update pyodide.yml 
remove z3num doctest, add artifact upload
 2024-11-16 13:01:03 -08:00
Nikolaj Bjorner
00c5600b09
Update pyodide.yml 
tidy, remove build flags as they are now in setup.py
 2024-11-16 12:36:53 -08:00
Nikolaj Bjorner
e4e5735620 update to set single threaded 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-16 09:12:32 -08:00
Nikolaj Bjorner
8bfe403dd3
Update pyodide.yml 2024-11-16 08:11:36 -08:00
Nikolaj Bjorner
60b14f3675
Update pyodide.yml 2024-11-16 08:05:17 -08:00
Nikolaj Bjorner
e7d083304b
Update pyodide.yml 2024-11-15 19:29:28 -08:00
Nikolaj Bjorner
bd5f8b17d6
Update pyodide.yml 2024-11-15 19:26:24 -08:00
Nikolaj Bjorner
751d666e16
Update pyodide.yml 2024-11-15 19:16:54 -08:00
Nikolaj Bjorner
24f9a86539
Update pyodide.yml 2024-11-15 18:49:51 -08:00