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
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
Lord_Nightmare has joined #yosys
lofty has quit [Quit: ZNC - https://znc.in]
ec has quit [Ping timeout: 240 seconds]
ec has joined #yosys
derekn has quit [Ping timeout: 252 seconds]
derekn has joined #yosys
cr1901_ has joined #yosys
cr1901 has quit [Ping timeout: 240 seconds]
acharles has joined #yosys
kevin998x has quit [Quit: WeeChat 3.8]
hrberg has joined #yosys
krispaul has joined #yosys
kristianpaul has quit [Ping timeout: 252 seconds]
Sarayan has joined #yosys
V has quit [Server closed connection]
V has joined #yosys
<TianruiWei[m]> Hi y'all, I just opened a PR in yosys to add experiemental support for concurrent assertions! https://github.com/YosysHQ/yosys/pull/3822 It'd be awesome if you have some feedback you'd like to share!
lofty has joined #yosys
krispaul has quit [Ping timeout: 264 seconds]
ec has quit [Remote host closed the connection]
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys
krispaul has joined #yosys
cr1901_ is now known as cr1901