Skip to content

fissile 0.8.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 31 Aug 16:59
· 138 commits to main since this release
v0.8.2
2a4ed21

Changed

  • Testing: adopted grund's two non-citable test homes. The e2e corpus moved
    from e2e/cases to tests/e2e/cases (harness at tests/e2e/main.rs), the
    cross-part proofs that lived beside it in tests/ moved into
    tests/integration/, and every grund.toml [[kinds]] block's deprecated
    prefix key is now kind. Resolves #39. (PR #40)
Assets 14
Loading