gruetzkopf has quit [Remote host closed the connection]
gruetzkopf has joined #yosys
lexano has joined #yosys
nak has quit [Quit: Bye]
nak has joined #yosys
citypw has quit [Remote host closed the connection]
citypw has joined #yosys
FabM has quit [Ping timeout: 246 seconds]
citypw has quit [Ping timeout: 246 seconds]
freshmaker666 has quit [Server closed connection]
greeb has joined #yosys
derekn has quit [Ping timeout: 250 seconds]
derekn has joined #yosys
<somlo>
tried building current yosys (#d4d9516) on Fedora (in mock), using "approved" yosyshq/abc (#bb64142). There's a failing test: https://pastebin.com/MEmYaCb2