Skip to content

spar v0.22.0

Choose a tag to compare

@github-actions github-actions released this 30 Jun 23:44
· 138 commits to main since this release
v0.22.0
9148635

What's Changed

  • chore(planning): record TAS-composition soundness NO-GO + simulator-floor gate (#141) by @avrabe in #304
  • chore: gitignore cargo-mutants output dirs by @avrabe in #305
  • chore(planning): scope v0.22.0 to Deployable TSN synthesis (4 items) by @avrabe in #306
  • feat(analysis): authoritative network-wide NC bound = min(PLP,TFA) (REQ-NC-PLP-MIN-001) by @avrabe in #307
  • feat(analysis): verify wrpc-binding resolves to a bus (REQ-WRPC-BINDING-003) by @avrabe in #308
  • feat(network): guard-band-aware 802.1Qbv GCL splitting (REQ-TSN-SYNTH-QBV-GUARDBAND-001) by @avrabe in #309
  • chore(release): bump to v0.22.0 by @avrabe in #310

Full Changelog: v0.21.0...v0.22.0