21verses

Results 1 issues of 21verses

Adds canonicalization patterns and tests for `comb.truth_table`: - Folds truth tables with constant output (all true or all false entries) into `hw.constant` - Simplifies truth tables that depend on a...

Comb