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 joined #yosys
emeb has quit [Quit: Leaving.]
<az0re> So, I've got some VlogHammer test cases that cause an error in Yosys
<az0re> Is that ever supposed to happen? Does it sometimes generate test cases that cause an error, or is that unequivocally a Yosys bug?
<ZirconiumX> az0re: unequivocally a Yosys bug, but check it's not the same as the VlogHammer test case I filed
Degi_ has joined #yosys
Degi has quit [Ping timeout: 265 seconds]
Degi_ is now known as Degi
<az0re> ZirconiumX: Which #?
<az0re> I've got a bunch of 'em
<ZirconiumX> #1876
<az0re> Thanks
<az0re> Well, the first one is the same :)
<az0re> Or looks like it, as the code is different
<az0re> And interestingly, they are both expression_00032.v
<ZirconiumX> And you can rerun it for more testcases!
<az0re> Not sure any more would help
<az0re> Check out expression_00354 I just posted
<az0re> Pretty funky
<ZirconiumX> Claire herself has talked about one in a hundred-thousand bugs
<az0re> Looks like both parameters are signed, but one is too short and gets zero-extended instead of sign-extended
<ZirconiumX> I think the mismatched signedness is the real thing
<ZirconiumX> Yeah, Verilog signedness and expression width is horrifying
<az0re> This one is more like a 7-in-a-thousand bug, as I got 7 examples for 1000 test cases :P
<az0re> No kidding
<az0re> I take it back
<az0re> The sign extension isn't the problem
<az0re> It's the ternary operator
Vinalon has quit [Remote host closed the connection]
Vinalon has joined #yosys
strobokopp has quit [Ping timeout: 256 seconds]
s_frit_ has quit [Remote host closed the connection]
s_frit has joined #yosys
Vinalon has quit [Ping timeout: 256 seconds]
Vinalon has joined #yosys
<tux3> hhm yosys parses priority/unique case, but not unique if
<tux3> So if I want a parallel if, I have to make a giant aggregate and do a unique case over that, don't I? ...
citypw has joined #yosys
npe has joined #yosys
FFY00 has quit [Remote host closed the connection]
FFY00 has joined #yosys
npe has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
emeb_mac has quit [Quit: Leaving.]
nengel is now known as attie
rohitksingh has joined #yosys
Vinalon has quit [Ping timeout: 256 seconds]
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
Vinalon has joined #yosys
Vinalon_ has joined #yosys
Vinalon has quit [Ping timeout: 260 seconds]
citypw has quit [Ping timeout: 240 seconds]
emeb has joined #yosys
voxadam has quit [Quit: WeeChat 2.4]
voxadam has joined #yosys
Vinalon has joined #yosys
Vinalon_ has quit [Ping timeout: 265 seconds]
jfcaron has joined #yosys
pie_ is now known as pie_[bnc]
<Degi> What does ABC mean
<daveshah> I don't know if it means anything
<daveshah> The "A" might stand for AIG, don't know about the B or C
<Sarayan> articial bee colony?
<Sarayan> artificial that is
<Degi> The bees assemble the LUTs
<Sarayan> Errr, I was not joking
<tpb> Title: Artificial bee colony algorithm - Wikipedia (at en.wikipedia.org)
<qu1j0t3> :)
<ZirconiumX> 2As the name suggests, the primary goal is to keep data structures simple and flexible for a wide range of applications."
<ZirconiumX> [regarding the name of ABC]
az0re has quit [Remote host closed the connection]
az0re has joined #yosys
Vinalon has quit [Ping timeout: 265 seconds]
Vinalon has joined #yosys
npe has joined #yosys
katharina has quit [Quit: Lost terminal]
oldtopman has quit [Read error: Connection reset by peer]
npe has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
npe has joined #yosys
gtw has quit [Read error: No route to host]
npe has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
npe has joined #yosys
jfcaron has quit [Ping timeout: 258 seconds]
peepsalot has quit [Ping timeout: 258 seconds]
gtw has joined #yosys
X-Scale` has joined #yosys
vidbina_ has joined #yosys
X-Scale has quit [Ping timeout: 265 seconds]
X-Scale` is now known as X-Scale
futarisIRCcloud has joined #yosys
peepsalot has joined #yosys
vidbina_ has quit [Ping timeout: 258 seconds]