Skip to content

v0.6.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 13 May 22:02
Immutable release. Only release title and notes can be modified.
v0.6.0
aa7e8a6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

0.6.0 (2026-05-13)

⚠ BREAKING CHANGES

  • model: refuse unsafe pickle checkpoints unless opted in (#157)
  • model: adapt model input shape in backends (#152)
  • reporting: redesign report and implement html reporter (#139)

Features

  • infra: chips for every panel-producing log (#149) (#150) (d75b7a9)
  • infra: error-rethrow layer for wrapped third-party libs (#140) (1bdd2b6)
  • infra: raitap-deps — auto-detect uv extras from Hydra config (#100) (#155) (6d4cb71)
  • model: adapt model input shape in backends (#152) (d04bab7)
  • reporting: redesign report and implement html reporter (#139) (f80df50)
  • robustness: per-logit output bounds for MarabouAssessor (#142) (aa11125)
  • robustness: visualise MarabouAssessor per-logit output bounds (#145) (5dc9ec1)

Bug fixes

  • model: refuse unsafe pickle checkpoints unless opted in (#157) (1f0cb66)
Assets 3
Loading