Repository navigation

Add CI harness - #9

Merged

disteph merged 14 commits into

codex/github-ci-windows-harness

Apr 30, 2026

Merged

Add CI harness#9
disteph merged 14 commits into
masterfrom
codex/github-ci-windows-harness

Commits on Apr 2, 2026
- Add GitHub CI with Windows JNI harness
  disteph
  committed
  c5ff1f1
- Fix GitHub CI checkout and Yices pin
  disteph
  committed
  58b6d02
- Include gmaketest in Yices sparse checkout
  disteph
  committed
  9ff6067
- Update JNI status constants for Yices 2.7
  disteph
  committed
  a0bf50a
- Align Java value tags with Yices 2.7
  disteph
  committed
  45c2ab4
- Allow null parameters in context checks
  disteph
  committed
  8c2a658
Commits on Apr 29, 2026
- Fix Windows Yices dist path detection
  disteph
  committed
  bf8968e
- Update Windows JNI status constants for Yices 2.7
  disteph
  committed
  ee77d75
- Align Windows JNI and constructors with Yices 2.7
  disteph
  committed
  96ca981
- Add Windows JNI context check exports
  disteph
  committed
  34d1cd2
- Complete Windows JNI parity with Unix bindings
  disteph
  committed
  0cf91c3
- Enable Yices 2.6.4 features in Windows JNI
  disteph
  committed
  196526a
- Bound thread stress test in CI
  disteph
  committed
  2872d1b
- Use deterministic CI test baseline
  disteph
  committed
  1b4e564