| *** tpb has joined #yosys | 00:00 | |
| *** Degi has quit IRC | 00:13 | |
| *** Degi has joined #yosys | 00:16 | |
| *** maartenBE has quit IRC | 01:27 | |
| *** maartenBE has joined #yosys | 01:28 | |
| *** az0re has quit IRC | 01:37 | |
| *** citypw has joined #yosys | 01:41 | |
| *** emeb_mac has quit IRC | 01:47 | |
| *** emeb_mac has joined #yosys | 01:47 | |
| *** az0re has joined #yosys | 02:16 | |
| *** kbeckmann has quit IRC | 02:56 | |
| *** emeb_mac has quit IRC | 03:00 | |
| *** emeb_mac has joined #yosys | 03:05 | |
| *** kristianpaul has quit IRC | 03:15 | |
| *** kristianpaul has joined #yosys | 03:16 | |
| *** anu3jn has quit IRC | 03:27 | |
| *** fevv8[m] has quit IRC | 03:27 | |
| *** promach3 has quit IRC | 03:29 | |
| *** nurelin has quit IRC | 03:29 | |
| *** fevv8[m] has joined #yosys | 03:35 | |
| *** nurelin has joined #yosys | 04:03 | |
| *** promach3 has joined #yosys | 04:03 | |
| *** anu3jn has joined #yosys | 04:03 | |
| *** az0re has quit IRC | 04:48 | |
| *** citypw has quit IRC | 04:48 | |
| *** az0re has joined #yosys | 05:42 | |
| *** az0re has quit IRC | 05:59 | |
| *** citypw has joined #yosys | 06:24 | |
| *** emeb_mac has quit IRC | 06:28 | |
| *** kraiskil has joined #yosys | 06:36 | |
| *** xtro has quit IRC | 06:53 | |
| *** cr1901_modern has quit IRC | 08:02 | |
| *** cr1901_modern has joined #yosys | 08:03 | |
| *** anu3jn has quit IRC | 08:12 | |
| *** promach3 has quit IRC | 08:12 | |
| *** fevv8[m] has quit IRC | 08:12 | |
| *** nurelin has quit IRC | 08:12 | |
| *** kbeckmann has joined #yosys | 08:16 | |
| *** az0re has joined #yosys | 08:20 | |
| *** fevv8[m] has joined #yosys | 08:21 | |
| *** Asu has joined #yosys | 08:25 | |
| *** anu3jn has joined #yosys | 08:49 | |
| *** promach3 has joined #yosys | 08:49 | |
| *** nurelin has joined #yosys | 08:49 | |
| *** kraiskil has quit IRC | 08:59 | |
| *** alexhw has quit IRC | 10:02 | |
| *** Asuu has joined #yosys | 10:34 | |
| *** Asu has quit IRC | 10:35 | |
| *** alexhw has joined #yosys | 11:19 | |
| *** kristianpaul has quit IRC | 11:55 | |
| *** kristianpaul has joined #yosys | 12:01 | |
| *** kraiskil has joined #yosys | 12:20 | |
| *** strongsaxophone has joined #yosys | 13:03 | |
| nengel | &if also has a help string but unfortunately the -h option got overloaded so it can't be printed from the repl. It's somewhere in the source though if you search for it long enough... | 13:18 |
|---|---|---|
| nengel | although I have some dim memories that you might be able to get it printed by deliberately messing up the arguments so it prints usage at you? | 13:20 |
| nengel | yep, if you want help for &if try "&if -1" | 13:23 |
| mwk | ... | 13:38 |
| mwk | wonderful | 13:38 |
| *** kraiskil has quit IRC | 13:48 | |
| *** kraiskil has joined #yosys | 13:51 | |
| *** Thorn has quit IRC | 14:31 | |
| *** Thorn has joined #yosys | 14:34 | |
| Lofty | nengel: it's &if -? I believe | 14:34 |
| *** proteusguy has quit IRC | 14:53 | |
| *** proteusguy has joined #yosys | 14:57 | |
| *** emeb has joined #yosys | 15:24 | |
| *** citypw has quit IRC | 15:35 | |
| *** kristianpaul has quit IRC | 15:53 | |
| *** kristianpaul has joined #yosys | 15:54 | |
| *** kristianpaul has quit IRC | 16:00 | |
| *** kristianpaul has joined #yosys | 16:01 | |
| nengel | Lofty: that also prints "unknown option ?" followed by the help, yes | 16:25 |
| Lofty | I swear it was listed as the actual help option, but yeah | 16:25 |
| Lofty | Anyway, it makes obvious sense that &if is the LUT mapping command in ABC, right? /s | 16:26 |
| nengel | it's funny because if you call "help -d" which is supposed to print usage for all commands, it'll just have "Error: Empty GIA network" instead of the usage for &if because it apparently internally just calls every command with -h | 16:31 |
| nengel | and obviously -h means "rehash AIG", what else /s | 16:34 |
| *** kraiskil has quit IRC | 16:42 | |
| *** xtro has joined #yosys | 16:50 | |
| Lofty | nengel: I set out to more or less replicate the bare minimum subset of ABC needed to optimise and map LUTs and rapidly succumbed to feature creep | 17:06 |
| Lofty | I can kinda see why ABC is the monstrosity it is at the moment | 17:07 |
| Lofty | And I've learned why Espresso died too | 17:07 |
| Lofty | The cubes it manipulates internally are sum-of-products terms that don't scale very well | 17:08 |
| whitequark | lately, cubes are really unpopular with us | 17:10 |
| Lofty | ... I think there's a joke I'm missing there | 17:12 |
| whitequark | Lofty: https://pbs.twimg.com/media/DTM_cfeVAAATNdg.jpg | 17:14 |
| whitequark | nozaki-kun | 17:14 |
| Lofty | That would be why I missed it; I haven't watched that :P | 17:14 |
| *** kristianpaul has quit IRC | 17:15 | |
| Lofty | I mean, I set out to work in AIG and then discovered MIG which uses majority gates instead of ANDs, and then I discovered XMIG which adds XOR, and then I realised you can replace the inverters with XORs | 17:16 |
| Lofty | I am on too many layers of data structure | 17:16 |
| Lofty | It gets even worse when I realised that XMG can equally be described as a highly restricted multiplexer tree | 17:18 |
| *** strongsaxophone has quit IRC | 18:04 | |
| *** az0re has quit IRC | 19:01 | |
| *** sorear has quit IRC | 19:02 | |
| *** svenn has quit IRC | 19:02 | |
| *** sorear has joined #yosys | 19:04 | |
| *** svenn has joined #yosys | 19:16 | |
| *** emeb_mac has joined #yosys | 20:39 | |
| *** maartenBE has quit IRC | 20:50 | |
| *** maartenBE has joined #yosys | 20:52 | |
| *** bzztploink has quit IRC | 20:53 | |
| *** bzztploink has joined #yosys | 21:02 | |
| *** Asuu has quit IRC | 21:05 | |
| *** emeb has quit IRC | 21:23 | |
| *** emeb has joined #yosys | 21:23 | |
| *** az0re has joined #yosys | 21:32 | |
| *** emeb has quit IRC | 21:56 | |
| *** oter_ has joined #yosys | 22:18 | |
| *** thoughtpolice has quit IRC | 22:42 | |
| *** ovf has quit IRC | 22:42 | |
| *** esden has quit IRC | 22:43 | |
| *** y2kbugger has quit IRC | 22:43 | |
| *** tannewt has quit IRC | 22:43 | |
| *** tannewt has joined #yosys | 22:51 | |
| *** esden has joined #yosys | 22:51 | |
| *** y2kbugger has joined #yosys | 22:53 | |
| *** thoughtpolice has joined #yosys | 22:56 | |
| *** ovf has joined #yosys | 22:58 | |
| *** lf has quit IRC | 23:05 | |
| *** lf has joined #yosys | 23:05 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!
