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
sadoon_albader[m has joined #yosys
<sadoon_albader[m> Hi everyone, is this the official channel for yosys?
tlwoerner has quit [Quit: Leaving]
tmiw has joined #yosys
<killjoy> Seems to be.
<sadoon_albader[m> On the website it says it's on freenode which I assume is outdated..
<killjoy> Probably.
emeb_mac has quit [Quit: Leaving.]
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
buhman has quit [Read error: Connection reset by peer]
buhman has joined #yosys
buhman has quit [Ping timeout: 260 seconds]
buhman has joined #yosys
Niklas[m] has quit [Ping timeout: 250 seconds]
Niklas[m] has joined #yosys
FL4SHK has joined #yosys
FL4SHK has quit [Client Quit]
FL4SHK has joined #yosys
FL4SHK has quit [Quit: WeeChat 3.3]
sm2n_ has joined #yosys
vidbina has joined #yosys
sm2n has quit [Ping timeout: 245 seconds]
FL4SHK has joined #yosys
sm2n_ has quit [Ping timeout: 252 seconds]
<sorear> this channel is very inactive, official or no
<lambda> yeah, especially so ever since they decided that slack was a good idea
<FL4SHK> I see.
vidbina has quit [Ping timeout: 252 seconds]
adjtm has quit [Quit: Leaving]
adjtm has joined #yosys
gmc_ has quit [Remote host closed the connection]
<FL4SHK> Getting an error when I try to do some formal verification?
<xiretza[m]> is that a question?
<FL4SHK> I can post the .il and the .sby
<tpb> Title: Paste.ee - View paste VObpH (at paste.ee)
<tpb> Title: Paste.ee - View paste wxbvF (at paste.ee)
<gatecat> what's the error?
<tpb> Title: Paste.ee - View paste I1hgu (at paste.ee)
<FL4SHK> It's in this log.
<FL4SHK> PREUNSAT maybe?
<xiretza[m]> > Assumptions are unsatisfiable!
<FL4SHK> Okay. I guess I'll look at my assumptions, then.
<FL4SHK> Found the issue.
<FL4SHK> Or at least, I think it's the issue.
<FL4SHK> Oh good.
<FL4SHK> Got it to pass.
emeb has joined #yosys
<FL4SHK> Oh, no, that was an error.
<FL4SHK> Got the error removed, though, so now I can proceed with testing.
sm2n has joined #yosys
<FL4SHK> success!
vidbina has joined #yosys
FL4SHK has quit [Quit: WeeChat 3.3]
FL4SHK has joined #yosys
tlwoerner has joined #yosys
sm2n has quit [Read error: Connection reset by peer]
sm2n has joined #yosys
emeb_mac has joined #yosys
vidbina has quit [Ping timeout: 245 seconds]
vidbina has joined #yosys
vidbina has quit [Ping timeout: 245 seconds]
vidbina has joined #yosys
adjtm has quit [Remote host closed the connection]
adjtm has joined #yosys
emeb_mac has quit [Read error: Connection reset by peer]
emeb_mac has joined #yosys
vidbina has quit [Ping timeout: 265 seconds]
vidbina has joined #yosys
adjtm has quit [Quit: Leaving]
adjtm has joined #yosys