Richard_Simmons has quit [Ping timeout: 244 seconds]
Bob_Dole has joined ##openfpga
Degi has quit [Ping timeout: 256 seconds]
Degi has joined ##openfpga
Richard_Simmons has joined ##openfpga
Bob_Dole has quit [Ping timeout: 260 seconds]
OmniMancer has joined ##openfpga
Zorix has quit [Ping timeout: 240 seconds]
Bike has quit [Quit: leaving]
somlo has quit [Ping timeout: 260 seconds]
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
somlo has joined ##openfpga
emeb_mac has quit [Quit: Leaving.]
jeanthom has joined ##openfpga
mumptai has joined ##openfpga
mumptai has quit [Read error: Connection reset by peer]
mumptai has joined ##openfpga
lopsided98 has quit [Quit: No Ping reply in 180 seconds.]
lopsided98 has joined ##openfpga
jeanthom has quit [Ping timeout: 272 seconds]
ayazar has quit [Quit: Ping timeout (120 seconds)]
ayazar has joined ##openfpga
indy has quit [Read error: Connection reset by peer]
ayazar has quit [Quit: Ping timeout (120 seconds)]
indy has joined ##openfpga
ayazar has joined ##openfpga
Asu has joined ##openfpga
jeanthom has joined ##openfpga
emily has quit [Quit: killed]
promach3 has quit [Quit: killed]
notafile has quit [Quit: killed]
wiizzard has quit [Quit: killed]
_whitelogger has joined ##openfpga
wiizzard has joined ##openfpga
omnitechnomancer has joined ##openfpga
<omnitechnomancer>
is dffsr2dff no longer necessary?
indefini[m] has joined ##openfpga
eddyb has joined ##openfpga
promach3 has joined ##openfpga
jevinskie[m] has joined ##openfpga
synaption[m] has joined ##openfpga
emily has joined ##openfpga
notafile has joined ##openfpga
xobs has joined ##openfpga
anu3jn has joined ##openfpga
<omnitechnomancer>
why is it so hard to get yosys to clean build abc :/
<whitequark>
omnitechnomancer: because it is incredibly obnoxious to have yosys clean abc when i don't want it
<omnitechnomancer>
fair enough
<whitequark>
the fact that yosys uses abc is a compromise no one would really *like* to do but which is necessary in absence of better LUT mappers
<omnitechnomancer>
I just deleted the abc directory
<omnitechnomancer>
my trouble has been that the last time it built it was a previous os version to the version of readline it uses doesnt exist anymore
<whitequark>
yeah
<whitequark>
iirc there's `make mrproper`
<whitequark>
or `make -C abc clean` works
<omnitechnomancer>
make mrproper did not remove the executable in the abc directory
Bike has joined ##openfpga
<whitequark>
hm
<whitequark>
ok that's a bug then
<whitequark>
uh, `make mrproper` should remove the abc directory now that i look at it
<whitequark>
oh, i see, it *used* to do that while abc was tracked in hg, but it doesn't anymore
<omnitechnomancer>
well it didnt do that either
Asu has quit [Remote host closed the connection]
<whitequark>
yeah, it just does nothing to abc now, i think
<whitequark>
abc should become a git submodule
<whitequark>
i tried to fix that but it was a horrendous pain
<tnt>
omnitechnomancer: heh, funny I had the same readline update linking issue a week ago. I think I manually just rm'd the binary (withouth rming the .o since I only wanted to redo the final linking)
<omnitechnomancer>
I wished to be sure so I just waited for it to rebuild
Zorix has joined ##openfpga
Sinclair2 has joined ##openfpga
<azonenberg>
whitequark: So is there a longer term plan to remove abc and build a better lut mapper internal to yosys?
<azonenberg>
just no time/resources to do it near term?
<omnitechnomancer>
does a lut mapper only map luts or does it also map other kinds of cells?
<mwk>
only luts, by definition
<mwk>
though I'd really like to see a replacement that eg. knows how to use hard muxes
digshadow has quit [Ping timeout: 260 seconds]
digshadow has joined ##openfpga
<omnitechnomancer>
so it would not be useful for asic synthesis?
<mwk>
of course not
<mwk>
abc is not just a lut mapper though
<mwk>
it also does a lot of logic optimization
Asu has joined ##openfpga
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined ##openfpga
kristianpaul has quit [Quit: WeeChat 2.3]
emeb has joined ##openfpga
kristianpaul has joined ##openfpga
<whitequark>
azonenberg: there is no specific plan
<whitequark>
it's more that abc is used in yosys because there are no alternatives rather than because it's specifically something that yosys opts to use
Sinclair2 has quit [Quit: Bye Bye]
Bob_Dole has joined ##openfpga
Richard_Simmons has quit [Ping timeout: 260 seconds]
OmniMancer has quit [Quit: Leaving.]
rektide has joined ##openfpga
daveshah_ has joined ##openfpga
eddyb[legacy]_ has joined ##openfpga
lopsided98_ has joined ##openfpga
jemk_ has joined ##openfpga
florolf_ has joined ##openfpga
pepijndevos_ has joined ##openfpga
lopsided98 has quit [*.net *.split]
pepijndevos has quit [*.net *.split]
azonenberg has quit [*.net *.split]
eddyb[legacy] has quit [*.net *.split]
daveshah has quit [*.net *.split]
florolf has quit [*.net *.split]
jemk has quit [*.net *.split]
daveshah_ is now known as daveshah
eddyb[legacy]_ is now known as eddyb[legacy]
Maylay has quit [Quit: Pipe Terminated]
Maylay has joined ##openfpga
kristianpaul has quit [Ping timeout: 260 seconds]
kristianpaul has joined ##openfpga
<Lofty>
Well, I mean, I'm trying to help there, but since I'm working in Rust, one could argue the problem hasn't really changed
<Lofty>
You could try the EPFL libraries and programs that use them like CirKit
jeanthom has quit [Ping timeout: 260 seconds]
renze has quit [Read error: Connection reset by peer]
renze has joined ##openfpga
finsternis has quit [Remote host closed the connection]
finsternis has joined ##openfpga
azonenberg has joined ##openfpga
jeanthom has joined ##openfpga
Bob_Dole has quit [Ping timeout: 260 seconds]
TAL has quit [Ping timeout: 246 seconds]
emeb_mac has joined ##openfpga
sgstair_ has joined ##openfpga
TAL has joined ##openfpga
Degi_ has joined ##openfpga
emeb has quit [*.net *.split]
Degi has quit [*.net *.split]
Finde has quit [*.net *.split]
keesj has quit [*.net *.split]
sgstair has quit [*.net *.split]
Gracana has quit [*.net *.split]
clever has quit [*.net *.split]
maciejjo has quit [*.net *.split]
laintoo has quit [*.net *.split]
rohitksingh has quit [*.net *.split]
Degi_ is now known as Degi
emeb has joined ##openfpga
Finde has joined ##openfpga
Gracana has joined ##openfpga
clever has joined ##openfpga
keesj has joined ##openfpga
maciejjo has joined ##openfpga
laintoo has joined ##openfpga
rohitksingh has joined ##openfpga
jeanthom has quit [Ping timeout: 272 seconds]
peeps[zen] has joined ##openfpga
peepsalot has quit [Ping timeout: 265 seconds]
sgstair_ is now known as sgstair
Bob_Dole has joined ##openfpga
Asuu has joined ##openfpga
Asu has quit [Ping timeout: 264 seconds]
cr1901_modern1 has joined ##openfpga
cr1901_modern has quit [Ping timeout: 256 seconds]
tlwoerner has quit [Quit: Leaving]
mumptai has quit [Remote host closed the connection]