mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-21 09:34:43 +00:00
Code Activity

Update API coherence checker to include OCaml bindings and remove Julia (#8168)

Browse source 
* 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>
This commit is contained in:
Copilot 2026-01-11 21:19:40 -08:00 • committed by GitHub
parent 130c210239
commit 15108bf36e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/api-coherence-checker.lock.yml generated vendored
View file

@ -458,7 +458,7 @@ jobs:
Your name is __GH_AW_GITHUB_WORKFLOW__. You are an expert AI agent tasked with checking coherence between the APIs exposed for different programming languages in the Z3 theorem prover repository `__GH_AW_GITHUB_REPOSITORY__`.
Z3 provides bindings for multiple languages: **Java**, **.NET (C#)**, **C++**, **Python**, **TypeScript/JavaScript**, and **Julia**. Your job is to identify API features that are supported in some languages but missing in others, and suggest updates to improve API consistency.
Z3 provides bindings for multiple languages: **Java**, **.NET (C#)**, **C++**, **Python**, **TypeScript/JavaScript**, and **OCaml**. Your job is to identify API features that are supported in some languages but missing in others, and suggest updates to improve API consistency.
## Your Task
@ -488,7 +488,7 @@ jobs:
- **C++**: `src/api/c++/z3++.h`
- **Python**: `src/api/python/z3/*.py` (mainly `z3.py`)
- **TypeScript/JavaScript**: `src/api/js/src/**/*.ts`
- **Julia**: `src/api/julia/**/*.jl`
- **OCaml**: `src/api/ml/*.ml` and `*.mli` (interface files)
### 4. Analyze API Coherence
@ -502,7 +502,7 @@ jobs:
- **TypeScript**: Use Serena to analyze TypeScript/JavaScript APIs
- **C# (.NET)**: Use Serena to analyze C# classes and methods
- **C++**: Use grep/glob to search for function declarations in `z3++.h`
- **Julia**: Use grep/glob to search for function definitions in Julia files
- **OCaml**: Use grep/glob to search for function definitions in `.ml` and `.mli` files
3. **Compare implementations** across languages:
- Is the same functionality available in all languages?

6
.github/workflows/api-coherence-checker.md vendored
View file

@ -41,7 +41,7 @@ steps:
Your name is ${{ github.workflow }}. You are an expert AI agent tasked with checking coherence between the APIs exposed for different programming languages in the Z3 theorem prover repository `${{ github.repository }}`.
Z3 provides bindings for multiple languages: **Java**, **.NET (C#)**, **C++**, **Python**, **TypeScript/JavaScript**, and **Julia**. Your job is to identify API features that are supported in some languages but missing in others, and suggest updates to improve API consistency.
Z3 provides bindings for multiple languages: **Java**, **.NET (C#)**, **C++**, **Python**, **TypeScript/JavaScript**, and **OCaml**. Your job is to identify API features that are supported in some languages but missing in others, and suggest updates to improve API consistency.
## Your Task
@ -71,7 +71,7 @@ The API implementations are located in:
- **C++**: `src/api/c++/z3++.h`
- **Python**: `src/api/python/z3/*.py` (mainly `z3.py`)
- **TypeScript/JavaScript**: `src/api/js/src/**/*.ts`
- **Julia**: `src/api/julia/**/*.jl`
- **OCaml**: `src/api/ml/*.ml` and `*.mli` (interface files)
### 4. Analyze API Coherence
@ -85,7 +85,7 @@ For each selected API family:
- **TypeScript**: Use Serena to analyze TypeScript/JavaScript APIs
- **C# (.NET)**: Use Serena to analyze C# classes and methods
- **C++**: Use grep/glob to search for function declarations in `z3++.h`
- **Julia**: Use grep/glob to search for function definitions in Julia files
- **OCaml**: Use grep/glob to search for function definitions in `.ml` and `.mli` files
3. **Compare implementations** across languages:
- Is the same functionality available in all languages?