<cr1901>
jix: Ahhh well, my fix was just merged, so I'll make a cherry-pick PR today to yosys/abc (or maybe just merge in changes?) https://github.com/berkeley-abc/abc/pull/291
kristianpaul has quit [Ping timeout: 260 seconds]
kristianpaul has joined #yosys
citypw has quit [Ping timeout: 260 seconds]
flag has quit [Ping timeout: 256 seconds]
flag has joined #yosys
flag has quit [Client Quit]
ec has joined #yosys
corecode has left #yosys [ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)]
_whitelogger has joined #yosys
flag has joined #yosys
flag has quit [Quit: leaving]
ec has quit [Remote host closed the connection]
ec has joined #yosys
kristianpaul has quit [Ping timeout: 256 seconds]
kristianpaul has joined #yosys
peepsalot has quit [Remote host closed the connection]