| *** tpb has joined #yosys | 00:00 | |
| *** maartenBE has quit IRC | 00:44 | |
| *** awordnot has quit IRC | 00:44 | |
| *** maartenBE has joined #yosys | 00:49 | |
| *** awordnot has joined #yosys | 01:08 | |
| *** strobokopp has quit IRC | 01:23 | |
| *** citypw has joined #yosys | 02:25 | |
| *** Degi has quit IRC | 03:28 | |
| *** Degi has joined #yosys | 03:29 | |
| *** kristianpaul has quit IRC | 03:51 | |
| *** az0re has joined #yosys | 03:52 | |
| *** kristianpaul has joined #yosys | 03:57 | |
| *** az0re has quit IRC | 04:04 | |
| *** LJ_cache has quit IRC | 05:15 | |
| *** tlwoerner has quit IRC | 05:39 | |
| *** az0re has joined #yosys | 05:44 | |
| *** tlwoerner has joined #yosys | 05:55 | |
| *** citypw has quit IRC | 05:57 | |
| *** citypw has joined #yosys | 05:58 | |
| *** citypw has quit IRC | 06:06 | |
| *** citypw has joined #yosys | 06:07 | |
| *** jakobwenzel has quit IRC | 07:40 | |
| *** jakobwenzel has joined #yosys | 07:43 | |
| *** cr1901_modern has quit IRC | 07:49 | |
| *** _whitelogger has quit IRC | 08:36 | |
| *** _whitelogger has joined #yosys | 08:38 | |
| *** AdamHorden has quit IRC | 08:46 | |
| *** AdamHorden has joined #yosys | 08:47 | |
| *** FFY00 has quit IRC | 09:03 | |
| *** FFY00 has joined #yosys | 09:04 | |
| *** Asu has joined #yosys | 09:19 | |
| *** AdamHorden has quit IRC | 09:36 | |
| *** AdamHorden has joined #yosys | 09:39 | |
| z0ttel | az0re: I can't rule out user errors, should I build a reproducer? | 09:40 |
|---|---|---|
| az0re | No no, I'm probably just not understanding something correctly | 09:41 |
| 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. | 09:44 |
| az0re | That would explain it :) | 09:44 |
| az0re | Especially if z0ttel is on an old version as they apparently are | 09:45 |
| Lofty | Well, it seems the bugfix I'm thinking of only applies to equiv_induct -undef | 09:46 |
| Lofty | https://github.com/YosysHQ/yosys/pull/2306 | 09:46 |
| tpb | Title: equiv_induct: Fix up assumption for $equiv cells in -undef mode. by mwkmwkmwk · Pull Request #2306 · YosysHQ/yosys · GitHub (at github.com) | 09:46 |
| *** proteusguy has quit IRC | 10:17 | |
| z0ttel | sounds plausible, thx | 10:28 |
| *** proteusguy has joined #yosys | 10:30 | |
| *** Thorn has quit IRC | 11:23 | |
| *** peeps[zen] has quit IRC | 11:36 | |
| *** Asu has quit IRC | 12:33 | |
| *** Asu has joined #yosys | 13:14 | |
| *** X-Scale has quit IRC | 13:21 | |
| *** X-Scale` has joined #yosys | 13:22 | |
| *** X-Scale` is now known as X-Scale | 13:22 | |
| *** cr1901_modern has joined #yosys | 13:32 | |
| *** az0re has quit IRC | 13:58 | |
| *** anuejn has joined #yosys | 15:03 | |
| *** emeb has joined #yosys | 15:44 | |
| *** kristianpaul has quit IRC | 16:51 | |
| *** N2TOH_ has joined #yosys | 16:56 | |
| *** az0re has joined #yosys | 16:56 | |
| *** kristianpaul has joined #yosys | 16:57 | |
| *** N2TOH has quit IRC | 17:00 | |
| *** citypw has quit IRC | 17:18 | |
| *** strobokopp has joined #yosys | 18:27 | |
| *** az0re has quit IRC | 19:02 | |
| *** az0re has joined #yosys | 19:55 | |
| *** cr1901_modern has quit IRC | 20:32 | |
| *** kloeri has joined #yosys | 20:56 | |
| *** Asu has quit IRC | 21:32 | |
| *** mwk has quit IRC | 22:59 | |
| *** cr1901_modern has joined #yosys | 23:06 | |
| *** lf_ has joined #yosys | 23:39 | |
| *** lf has quit IRC | 23:39 | |
| *** emeb has quit IRC | 23:57 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!