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
maartenBE has quit [Ping timeout: 260 seconds]
awordnot has quit [Ping timeout: 264 seconds]
maartenBE has joined #yosys
awordnot has joined #yosys
strobokopp has quit [Ping timeout: 264 seconds]
citypw has joined #yosys
Degi has quit [Ping timeout: 246 seconds]
Degi has joined #yosys
kristianpaul has quit [Read error: Connection reset by peer]
az0re has joined #yosys
kristianpaul has joined #yosys
az0re has quit [Remote host closed the connection]
LJ_cache has quit [Quit: Textual IRC Client: www.textualapp.com]
tlwoerner has quit [Read error: Connection reset by peer]
az0re has joined #yosys
tlwoerner has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
citypw has joined #yosys
citypw has quit [Remote host closed the connection]
citypw has joined #yosys
jakobwenzel has quit [Remote host closed the connection]
jakobwenzel has joined #yosys
cr1901_modern has quit [Ping timeout: 260 seconds]
_whitelogger has joined #yosys
AdamHorden has quit [Ping timeout: 264 seconds]
AdamHorden has joined #yosys
FFY00 has quit [Remote host closed the connection]
FFY00 has joined #yosys
Asu has joined #yosys
AdamHorden has quit [Ping timeout: 264 seconds]
AdamHorden has joined #yosys
<z0ttel> az0re: I can't rule out user errors, should I build a reproducer?
<az0re> No no, I'm probably just not understanding something correctly
<Lofty> z0ttel: actually I think equiv_induct might have had a bug fixed at some point. In general I don't really trust packaged versions of Yosys.
<az0re> That would explain it :)
<az0re> Especially if z0ttel is on an old version as they apparently are
<Lofty> Well, it seems the bugfix I'm thinking of only applies to equiv_induct -undef
<tpb> Title: equiv_induct: Fix up assumption for $equiv cells in -undef mode. by mwkmwkmwk · Pull Request #2306 · YosysHQ/yosys · GitHub (at github.com)
proteusguy has quit [Ping timeout: 258 seconds]
<z0ttel> sounds plausible, thx
proteusguy has joined #yosys
Thorn has quit [Ping timeout: 256 seconds]
peeps[zen] has quit [Ping timeout: 246 seconds]
Asu has quit [Remote host closed the connection]
Asu has joined #yosys
X-Scale has quit [Ping timeout: 260 seconds]
X-Scale` has joined #yosys
X-Scale` is now known as X-Scale
cr1901_modern has joined #yosys
az0re has quit [Ping timeout: 240 seconds]
anuejn has joined #yosys
emeb has joined #yosys
kristianpaul has quit [Read error: Connection reset by peer]
N2TOH_ has joined #yosys
az0re has joined #yosys
kristianpaul has joined #yosys
N2TOH has quit [Ping timeout: 240 seconds]
citypw has quit [Ping timeout: 240 seconds]
strobokopp has joined #yosys
az0re has quit [Remote host closed the connection]
az0re has joined #yosys
cr1901_modern has quit [Ping timeout: 265 seconds]
kloeri has joined #yosys
Asu has quit [Remote host closed the connection]
mwk has quit [Ping timeout: 256 seconds]
cr1901_modern has joined #yosys
lf_ has joined #yosys
lf has quit [Ping timeout: 260 seconds]
emeb has quit [Quit: Leaving.]