clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
lf has quit [Ping timeout: 260 seconds]
lf has joined #yosys
craigo has joined #yosys
Degi_ has joined #yosys
Degi has quit [Ping timeout: 245 seconds]
Degi_ is now known as Degi
citypw has joined #yosys
jfcaron has left #yosys [#yosys]
_whitelogger has joined #yosys
emeb_mac has quit [Quit: Leaving.]
kraiskil has joined #yosys
citypw has quit [Ping timeout: 268 seconds]
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
<smkz> does anyone have examples of using yosys to prove liveness properties (s_eventually) or can bring me up to speed on the state of that? i've tried using "aiger aigbmc" but that doesnt seem to generate a proof, just a bounded model check i think
<smkz> and i've tried "aiger suprove" (by invoking simple_liveness.sh because for some reason symbiyosys does "super_prove.sh +simple_liveness" which fails for me) and i'm not sure i understand its output
<smkz> thanks
kraiskil has quit [Ping timeout: 260 seconds]
kraiskil has joined #yosys
_whitelogger has joined #yosys
<smkz> sorry the issue was on my side because i didnt understand how s_eventually worked https://twitter.com/alt_kia/status/1368474626104365057
craigo has quit [Ping timeout: 256 seconds]
craigo has joined #yosys
craigo has quit [Remote host closed the connection]
craigo has joined #yosys
citypw has joined #yosys
jakobwenzel has joined #yosys
jakobwenzel has quit [Client Quit]
jakobwenzel has joined #yosys
jakobwenzel has quit [Client Quit]
jakobwenzel has joined #yosys
jakobwenzel has quit [Quit: jakobwenzel]
kraiskil has quit [Ping timeout: 245 seconds]
somlo has quit [Remote host closed the connection]
somlo has joined #yosys
craigo has quit [Ping timeout: 260 seconds]
kraiskil has joined #yosys
emeb has joined #yosys
citypw has quit [Ping timeout: 268 seconds]
vidbina_ has joined #yosys
kmehall has quit [*.net *.split]
rqou has quit [*.net *.split]
davidlattimore has quit [*.net *.split]
lukego has quit [*.net *.split]
gatecat has quit [*.net *.split]
esden has quit [*.net *.split]
agg has quit [*.net *.split]
ktemkin has quit [*.net *.split]
rohitksingh has quit [*.net *.split]
rjeli has quit [*.net *.split]
benreynwar has quit [*.net *.split]
jhol has quit [*.net *.split]
davidlattimore has joined #yosys
gatecat has joined #yosys
ktemkin has joined #yosys
agg has joined #yosys
esden has joined #yosys
rjeli has joined #yosys
jhol has joined #yosys
kmehall has joined #yosys
rqou has joined #yosys
jryans has quit [Ping timeout: 246 seconds]
promach3 has quit [Ping timeout: 265 seconds]
notafile has quit [Ping timeout: 265 seconds]
fevv8[m] has quit [Ping timeout: 268 seconds]
wiizzard has quit [Ping timeout: 246 seconds]
emeb_mac has joined #yosys
fevv8[m] has joined #yosys
jryans has joined #yosys
promach3 has joined #yosys
notafile has joined #yosys
vidbina_ has quit [Ping timeout: 246 seconds]
wiizzard has joined #yosys
vidbina_ has joined #yosys
craigo has joined #yosys
vidbina_ has quit [Ping timeout: 264 seconds]
bzztploink has quit [Read error: Connection reset by peer]
bzztploink has joined #yosys
vidbina_ has joined #yosys
kraiskil has quit [Ping timeout: 265 seconds]
jakobwenzel has joined #yosys
jakobwenzel has quit [Client Quit]
<somlo> gatecat: any objection to reverting commit prjtrellis commit #de5eec3 ("Change theme to Sphinx Material Design")? IIRC, it was meant to make the (pdf) manual fit the "symbiflow design aesthetic", and I keep having to revert it manually when I package RPMs for Fedora (I really don't want to become the Fedora maintainer of some Sphinx formatting thing I know nothing about :)
<somlo> I can continue to simply revert it as part of the RPM build, of course, but "upstream first" :)
<gatecat> No, that's fine, I'll do that tomorrow
<somlo> cool, thanks!