kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
kraiskil has joined #yosys
strongsaxophone has joined #yosys
<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...
<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?
<nengel>
yep, if you want help for &if try "&if -1"
proteusguy has quit [Remote host closed the connection]
proteusguy has joined #yosys
emeb has joined #yosys
citypw has quit [Remote host closed the connection]
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
kristianpaul has quit [Ping timeout: 246 seconds]
kristianpaul has joined #yosys
<nengel>
Lofty: that also prints "unknown option ?" followed by the help, yes
<Lofty>
I swear it was listed as the actual help option, but yeah
<Lofty>
Anyway, it makes obvious sense that &if is the LUT mapping command in ABC, right? /s
<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
<nengel>
and obviously -h means "rehash AIG", what else /s
kraiskil has quit [Ping timeout: 265 seconds]
xtro has joined #yosys
<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
<Lofty>
I can kinda see why ABC is the monstrosity it is at the moment
<Lofty>
And I've learned why Espresso died too
<Lofty>
The cubes it manipulates internally are sum-of-products terms that don't scale very well
<whitequark>
lately, cubes are really unpopular with us
<Lofty>
... I think there's a joke I'm missing there
<Lofty>
That would be why I missed it; I haven't watched that :P
kristianpaul has quit [Read error: Connection reset by peer]
<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
<Lofty>
I am on too many layers of data structure
<Lofty>
It gets even worse when I realised that XMG can equally be described as a highly restricted multiplexer tree
strongsaxophone has quit [Quit: Lost terminal]
az0re has quit [Ping timeout: 240 seconds]
sorear has quit [Read error: Connection reset by peer]
svenn has quit [Read error: Connection reset by peer]
sorear has joined #yosys
svenn has joined #yosys
emeb_mac has joined #yosys
maartenBE has quit [Ping timeout: 260 seconds]
maartenBE has joined #yosys
bzztploink has quit [Read error: Connection reset by peer]
bzztploink has joined #yosys
Asuu has quit [Quit: Konversation terminated!]
emeb has quit [Ping timeout: 246 seconds]
emeb has joined #yosys
az0re has joined #yosys
emeb has quit [Quit: Leaving.]
oter_ has joined #yosys
thoughtpolice has quit [Ping timeout: 244 seconds]
ovf has quit [Ping timeout: 244 seconds]
esden has quit [Read error: Connection reset by peer]
y2kbugger has quit [Read error: Connection reset by peer]