| *** tpb has joined #yosys | 00:00 | |
| *** emeb has quit IRC | 00:22 | |
| az0re | So, I've got some VlogHammer test cases that cause an error in Yosys | 00:25 |
|---|---|---|
| az0re | Is that ever supposed to happen? Does it sometimes generate test cases that cause an error, or is that unequivocally a Yosys bug? | 00:26 |
| ZirconiumX | az0re: unequivocally a Yosys bug, but check it's not the same as the VlogHammer test case I filed | 00:28 |
| *** Degi_ has joined #yosys | 00:28 | |
| *** Degi has quit IRC | 00:31 | |
| *** Degi_ is now known as Degi | 00:31 | |
| az0re | ZirconiumX: Which #? | 00:32 |
| az0re | I've got a bunch of 'em | 00:32 |
| ZirconiumX | #1876 | 00:32 |
| az0re | Thanks | 00:32 |
| az0re | Well, the first one is the same :) | 00:34 |
| az0re | Or looks like it, as the code is different | 00:34 |
| az0re | And interestingly, they are both expression_00032.v | 00:34 |
| ZirconiumX | And you can rerun it for more testcases! | 00:45 |
| az0re | Not sure any more would help | 00:48 |
| az0re | Check out expression_00354 I just posted | 00:49 |
| az0re | Pretty funky | 00:49 |
| ZirconiumX | Claire herself has talked about one in a hundred-thousand bugs | 00:49 |
| az0re | Looks like both parameters are signed, but one is too short and gets zero-extended instead of sign-extended | 00:50 |
| ZirconiumX | I think the mismatched signedness is the real thing | 00:50 |
| ZirconiumX | Yeah, Verilog signedness and expression width is horrifying | 00:50 |
| az0re | This one is more like a 7-in-a-thousand bug, as I got 7 examples for 1000 test cases :P | 00:51 |
| az0re | No kidding | 00:51 |
| az0re | I take it back | 00:56 |
| az0re | The sign extension isn't the problem | 00:56 |
| az0re | It's the ternary operator | 00:56 |
| *** Vinalon has quit IRC | 01:22 | |
| *** Vinalon has joined #yosys | 01:23 | |
| *** strobokopp has quit IRC | 01:39 | |
| *** s_frit_ has quit IRC | 02:01 | |
| *** s_frit has joined #yosys | 02:01 | |
| *** Vinalon has quit IRC | 02:31 | |
| *** Vinalon has joined #yosys | 02:41 | |
| tux3 | hhm yosys parses priority/unique case, but not unique if | 03:16 |
| 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? ... | 03:19 |
| *** citypw has joined #yosys | 03:22 | |
| *** npe has joined #yosys | 03:26 | |
| *** FFY00 has quit IRC | 05:16 | |
| *** FFY00 has joined #yosys | 05:17 | |
| *** npe has quit IRC | 05:26 | |
| *** emeb_mac has quit IRC | 06:56 | |
| *** nengel is now known as attie | 07:40 | |
| *** rohitksingh has joined #yosys | 08:13 | |
| *** Vinalon has quit IRC | 09:28 | |
| *** futarisIRCcloud has quit IRC | 11:23 | |
| *** Vinalon has joined #yosys | 13:08 | |
| *** Vinalon_ has joined #yosys | 14:17 | |
| *** Vinalon has quit IRC | 14:18 | |
| *** citypw has quit IRC | 14:21 | |
| *** emeb has joined #yosys | 14:45 | |
| *** voxadam has quit IRC | 15:07 | |
| *** voxadam has joined #yosys | 15:09 | |
| *** Vinalon has joined #yosys | 15:13 | |
| *** Vinalon_ has quit IRC | 15:14 | |
| *** jfcaron has joined #yosys | 15:20 | |
| *** pie_ is now known as pie_[bnc] | 15:21 | |
| Degi | What does ABC mean | 15:31 |
| daveshah | I don't know if it means anything | 15:33 |
| daveshah | The "A" might stand for AIG, don't know about the B or C | 15:34 |
| Sarayan | articial bee colony? | 15:34 |
| Sarayan | artificial that is | 15:34 |
| Degi | The bees assemble the LUTs | 15:35 |
| Sarayan | Errr, I was not joking | 15:35 |
| Sarayan | https://en.wikipedia.org/wiki/Artificial_bee_colony_algorithm | 15:36 |
| tpb | Title: Artificial bee colony algorithm - Wikipedia (at en.wikipedia.org) | 15:36 |
| qu1j0t3 | :) | 15:38 |
| ZirconiumX | 2As the name suggests, the primary goal is to keep data structures simple and flexible for a wide range of applications." | 15:53 |
| ZirconiumX | [regarding the name of ABC] | 15:53 |
| *** az0re has quit IRC | 15:56 | |
| *** az0re has joined #yosys | 16:10 | |
| *** Vinalon has quit IRC | 17:50 | |
| *** Vinalon has joined #yosys | 18:11 | |
| *** npe has joined #yosys | 18:12 | |
| *** katharina has quit IRC | 18:19 | |
| *** oldtopman has quit IRC | 19:33 | |
| *** npe has quit IRC | 20:00 | |
| *** npe has joined #yosys | 20:17 | |
| *** gtw has quit IRC | 20:26 | |
| *** npe has quit IRC | 20:31 | |
| *** npe has joined #yosys | 21:05 | |
| *** jfcaron has quit IRC | 21:17 | |
| *** peepsalot has quit IRC | 21:34 | |
| *** gtw has joined #yosys | 22:07 | |
| *** X-Scale` has joined #yosys | 22:32 | |
| *** vidbina_ has joined #yosys | 22:32 | |
| *** X-Scale has quit IRC | 22:34 | |
| *** X-Scale` is now known as X-Scale | 22:34 | |
| *** futarisIRCcloud has joined #yosys | 23:17 | |
| *** peepsalot has joined #yosys | 23:18 | |
| *** vidbina_ has quit IRC | 23:55 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!