ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
freemint has quit [Ping timeout: 258 seconds]
adjtm_ has quit [Ping timeout: 252 seconds]
gsmecher has joined #yosys
stzsch|2 has joined #yosys
stzsch has quit [Ping timeout: 265 seconds]
stzsch|2 has quit [Read error: Connection reset by peer]
stzsch|2 has joined #yosys
stzsch|2 has quit [Read error: Connection reset by peer]
stzsch|2 has joined #yosys
chipb has quit [Quit: chipb]
kristianpaul has quit [Ping timeout: 264 seconds]
chipb has joined #yosys
kristianpaul has joined #yosys
gsmecher has quit [Ping timeout: 260 seconds]
FL4SHK has quit [Ping timeout: 260 seconds]
FL4SHK has joined #yosys
bluesceada_ has joined #yosys
tnt_ has joined #yosys
peepsalot has quit [Remote host closed the connection]
peepsalot has joined #yosys
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
bluesceada has quit [Ping timeout: 260 seconds]
tnt has quit [Ping timeout: 260 seconds]
whitequark has quit [Ping timeout: 260 seconds]
freemint has joined #yosys
whitequark has joined #yosys
freemint has quit [Ping timeout: 258 seconds]
tnt_ is now known as tnt
freemint has joined #yosys
freemint has quit [Ping timeout: 258 seconds]
freemint has joined #yosys
freemint has quit [Ping timeout: 258 seconds]
freemint has joined #yosys
<tpb> Title: Property Specification Language - Wikipedia (at en.wikipedia.org)
freemint has quit [Ping timeout: 258 seconds]
freemint has joined #yosys
gmc_ has joined #yosys
DX-MON is now known as dragonmux
freemint has quit [Ping timeout: 258 seconds]
adjtm has joined #yosys
freemint has joined #yosys
adjtm_ has joined #yosys
adjtm has quit [Ping timeout: 260 seconds]
FL4SHK has quit [Ping timeout: 258 seconds]
kristianpaul has quit [Ping timeout: 258 seconds]
kristianpaul has joined #yosys
FabM has quit [Ping timeout: 252 seconds]
FL4SHK has joined #yosys
freemint has quit [Ping timeout: 258 seconds]
freemint has joined #yosys
pretir008 has quit [Quit: WeeChat 3.1]
FabM has joined #yosys
FabM has joined #yosys
tedh has quit [Ping timeout: 264 seconds]
FabM has quit [Quit: Leaving]
tedh has joined #yosys
knmae- is now known as knmae
gsmecher has joined #yosys
freemint has quit [Ping timeout: 252 seconds]
freemint has joined #yosys
freemint has quit [Remote host closed the connection]
freemint has joined #yosys
gsmecher has quit [Ping timeout: 258 seconds]