Skip to content

馃悰 Fix reading a latched AIGER file into a combinational network - #705

Merged
myskyko merged 2 commits into
lsils:masterfrom
marcelwa:upstream-aiger-reader-latches
Aug 29, 2026
Merged

馃悰 Fix reading a latched AIGER file into a combinational network#705
myskyko merged 2 commits into
lsils:masterfrom
marcelwa:upstream-aiger-reader-latches

Warn when flattening latched AIGER

4d2aa08
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Clang 11
succeeded Aug 29, 2026 in 12m 50s