Jim Meyer 88357775ad docs(windows): align Z3 pin with z3-sys 0.13 (#3561) ...

z3-sys 0.13 generates bindings for the Z3 5.x series and resolves
GH_RELEASE_VERSION to 5.1.0 for the prebuilt-release path. The Windows
wrapper still pinned Z3_SYS_Z3_VERSION to 4.16.0, so a prebuilt Windows
build would fetch an archive that does not match the generated bindings.

Move the wrapper pin to 5.1.0 and update the contributor, architecture,
and skill references that still named 4.16.0.

Signed-off-by: Jim Meyer <jimeyer@nvidia.com>

2026-09-22 19:29:24 +00:00

..

scripts

docs(windows): align Z3 pin with z3-sys 0.13 (#3561)

2026-09-22 19:29:24 +00:00

ci.toml

ci(rust): reject stale Cargo lockfiles (#3227)

2026-09-11 08:52:41 +00:00

docker.toml

feat(isolation): implement the RFC 0012 sandbox architecture (#2942)

2026-09-16 00:49:14 +00:00

docs.toml

docs(fern): move published docs into docs tree (#796)

2026-04-09 15:02:27 -07:00

gateway.toml

refactor(compute): decouple gateway driver composition (#2823)

2026-09-01 21:13:45 +00:00

go.toml

fix(ci): upstream Windows SDK validation support (#3327)

2026-09-15 22:34:36 +00:00

helm.toml

feat(isolation): implement the RFC 0012 sandbox architecture (#2942)

2026-09-16 00:49:14 +00:00

keycloak.toml

fix(auth): harden OIDC trust root retrieval (#3332)

2026-09-15 17:00:45 +00:00

license.toml

chore: simplify contributing workflow and documentation (#92)

2026-03-04 13:06:32 -08:00

markdown.toml

feat(gateway,cli): windows compilation support (#2496)

2026-08-11 21:00:36 +00:00

notices.toml

feat(sbom): add SBOM generation, license resolution, and CSV export tooling (#239)

2026-03-11 15:34:00 -07:00

package.toml

chore(snap): remove early snap packaging (#1648)

2026-06-08 22:09:09 -07:00

parity.toml

fix(ci): upstream Windows SDK validation support (#3327)

2026-09-15 22:34:36 +00:00

python.toml

fix(python): use portable empty-array expansion for macOS Bash 3.x (#3413)

2026-09-17 16:30:58 +00:00

rust.toml

feat(isolation): implement the RFC 0012 sandbox architecture (#2942)

2026-09-16 00:49:14 +00:00

sandbox.toml

refactor(cli): remove gateway lifecycle management (#1221)

2026-05-07 09:54:13 -07:00

sbom.toml

fix(sbom): detect sha256 hashes in expression-form licenses in needs_fix (#1911)

2026-08-11 18:45:22 +00:00

term.toml

chore: rename project from NemoClaw to OpenShell (#198)

2026-03-10 11:49:09 -07:00

test.toml

refactor(runtime): retire Community image dependencies (#3386)

2026-09-22 14:43:51 +02:00

typescript.toml

fix(exec): preserve output after stdin EOF and verify stream completion (#3359)

2026-09-22 14:11:06 +00:00

version.toml

chore: simplify contributing workflow and documentation (#92)

2026-03-04 13:06:32 -08:00

vm.toml

ci(vm): cleanup vm build infra (#1186)

2026-05-06 08:58:02 -07:00

windows.toml

ci(windows): add Windows MSVC CI jobs (#2738)

2026-09-10 23:53:01 +00:00