Skip to content

v0.7.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 27 Aug 20:56
· 17 commits to main since this release
v0.7.0
93da86b
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

New Features

  • Generalize the shared-position proof for nested breakout switchers by @kylejcaron in #43
  • Add DriverTree, a decomposition report with nested breakout switching by @kylejcaron in #44

Maintenance

  • Update changelog for v0.6.0 by @github-actions[bot] in #42
  • Run CI on pull requests to any base branch by @kylejcaron in #46
  • Judge additive decompositions at their endpoints too by @kylejcaron in #47

Full Changelog: v0.6.0...v0.7.0

Contributors

kylejcaron
Assets 2
Loading