Skip to content

v0.13.0

Choose a tag to compare

View all tags
@danieljustus danieljustus released this 26 Aug 07:24
· 46 commits to main since this release
v0.13.0
51654eb
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's changed

Cross-language contracts

  • Add contracts/*.json fixtures for the exit-code table, update-check invariants, config-path pattern, and JSON encoding/stdio rules, plus Go tests asserting this repo's behavior against them (#170, closes #155). symaira-appkit's Swift port can now assert against the same fixtures instead of relying on prose staying in sync.
  • Correct two stale references in docs/cross-language-conventions.md: the error-type examples now point at symcockpit's SymOperateCore.AutomationError / SymTuneCore.TuneError (the old symoperate/symtune packages were archived), and the file-locking extraction candidate pointing at the archived symaira-scope repo is removed.

Full Changelog: v0.12.1...v0.13.0

Assets 2
Loading