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
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>
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
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