Changed
- State-space minimisation composes over streams of BDDs. The dedup pass unions
every group's rename and applies it in onecompose_mapstream at pass end;
the fold pass composes each relay into all its consumers in one stream per
fold event. Both share a single memo across the stream. The pass is 3–19%
faster depending on the cell. - Require espresso-logic 5.6.2, for its
bdd::Composertrait. Releases 5.6.0
and 5.6.1 are yanked.
Fixed
- Intra-doc links that pointed at private or out-of-scope items, so
cargo docis clean under-D warnings.
Full changelog: v0.1.0...v0.1.1