Issues
- 0
Incorrect verification
#130 opened by Swire42 - 0
Backend error with `--enable-simplifier`
#119 opened by mn416 - 0
Covering the zero case in toSigned
#95 opened by francislaus - 2
NameBits question
#51 opened by ret - 2
Remove netlist entries for const components
#36 opened by mn416 - 0
Remove netlist entries for const components
#35 opened by mn416 - 1
Packing sum-types
#31 opened by christiaanb - 2
Have `when` work also not within `always`
#11 opened by gameboo