m_w has quit [Ping timeout: 260 seconds]
emeb_mac has joined #yosys
promach_ has joined #yosys
digshadow has quit [Ping timeout: 256 seconds]
promach_ has quit [Quit: WeeChat 2.1]
kristian1aul has quit [Quit: Reconnecting]
kristianpaul has joined #yosys
nurelin has quit [Ping timeout: 256 seconds]
pie__ has quit [Read error: Connection reset by peer]
pie_ has joined #yosys
[X-Scale] has joined #yosys
X-Scale has quit [Ping timeout: 240 seconds]
[X-Scale] is now known as X-Scale
Groomblecom has quit [Ping timeout: 244 seconds]
danieljabailey has quit [Ping timeout: 264 seconds]
danieljabailey has joined #yosys
pie_ has quit [Ping timeout: 264 seconds]
kraiskil has joined #yosys
sklv has quit [Quit: quit]
emeb_mac has quit [Quit: Leaving.]
proteusguy has quit [Ping timeout: 260 seconds]
kraiskil has quit [Read error: Connection reset by peer]
xerpi has joined #yosys
kraiskil has joined #yosys
kraiskil_ has joined #yosys
proteusguy has joined #yosys
kraiskil has quit [Ping timeout: 240 seconds]
kraiskil_ has quit [Read error: Connection reset by peer]
pie_ has joined #yosys
GuzTech has joined #yosys
fsasm has joined #yosys
leviathan has joined #yosys
leviathan has quit [Client Quit]
xerpi has quit [Remote host closed the connection]
proteus-guy has quit [Remote host closed the connection]
proteus-guy has joined #yosys
fsasm has quit [Ping timeout: 240 seconds]
fsasm has joined #yosys
luismarques has quit [Quit: luismarques]
promach_ has joined #yosys
proteus-guy has quit [Remote host closed the connection]
digshadow has joined #yosys
luismarques has joined #yosys
Alistair has quit [Ping timeout: 240 seconds]
xerpi has joined #yosys
digshadow has quit [Ping timeout: 260 seconds]
develonepi3 has joined #yosys
maartenBE has joined #yosys
emeb has joined #yosys
seldridge has joined #yosys
GuzTech has quit [Remote host closed the connection]
m_w has joined #yosys
jwhitmore has joined #yosys
fsasm has quit [Ping timeout: 256 seconds]
zino has quit [Excess Flood]
kensan_ has joined #yosys
nrossi has quit [*.net *.split]
kensan has quit [*.net *.split]
bluesceada has quit [*.net *.split]
zino has joined #yosys
nrossi has joined #yosys
bluesceada has joined #yosys
marbler has quit [Ping timeout: 245 seconds]
lok[m] has quit [Ping timeout: 245 seconds]
jfng has quit [Ping timeout: 245 seconds]
samayra has quit [Ping timeout: 240 seconds]
nrossi has quit [Ping timeout: 240 seconds]
MatrixTraveler[m has quit [Ping timeout: 260 seconds]
danieljabailey has quit [Ping timeout: 240 seconds]
pointfree1 has quit [Ping timeout: 255 seconds]
weebull[m] has quit [Ping timeout: 255 seconds]
swick has quit [Ping timeout: 255 seconds]
indefini has quit [Ping timeout: 247 seconds]
jayaura has quit [Ping timeout: 256 seconds]
fevv8[m] has quit [Ping timeout: 256 seconds]
danieljabailey has joined #yosys
quigonjinn has joined #yosys
Alistair has joined #yosys
graphene has joined #yosys
graphene has quit [Remote host closed the connection]
graphene has joined #yosys
graphene has quit [Remote host closed the connection]
graphene has joined #yosys
graphene has quit [Remote host closed the connection]
cr1901_modern has quit [Read error: Connection reset by peer]
graphene has joined #yosys
graphene has quit [Remote host closed the connection]
cr1901_modern has joined #yosys
graphene has joined #yosys
proteus-guy has joined #yosys
graphene has quit [Remote host closed the connection]
promach_ has quit [Ping timeout: 248 seconds]
graphene has joined #yosys
Alistair has quit [Ping timeout: 256 seconds]
graphene has quit [Remote host closed the connection]
samayra has joined #yosys
graphene has joined #yosys
graphene has quit [Remote host closed the connection]
graphene has joined #yosys
Alistair has joined #yosys
graphene has quit [Remote host closed the connection]
Alistair has quit [Ping timeout: 245 seconds]
Alistair has joined #yosys
xerpi has quit [Remote host closed the connection]
pointfree1 has joined #yosys
fevv8[m] has joined #yosys
lok[m] has joined #yosys
Guest18568 has joined #yosys
jfng has joined #yosys
nrossi has joined #yosys
swick has joined #yosys
indefini has joined #yosys
marbler has joined #yosys
weebull[m] has joined #yosys
nurelin has joined #yosys
digshadow has joined #yosys
azzizi_ has quit [Quit: Page closed]
jwhitmore has quit [Ping timeout: 260 seconds]
luismarques has quit [Quit: luismarques]
sklv has joined #yosys
sklv has quit [Ping timeout: 250 seconds]
sklv has joined #yosys
xerpi has joined #yosys
xerpi has quit [Remote host closed the connection]
xerpi has joined #yosys
m_w has quit [Quit: leaving]
jwhitmore has joined #yosys
<
ZipCPU>
Ok, so ... yes, I did manage to formally prove a generic FFT butterfly.
seldridge has quit [Ping timeout: 264 seconds]
seldridge has joined #yosys
seldridge has quit [Ping timeout: 248 seconds]
m_w has joined #yosys
dxld has quit [Quit: Bye]
dxld has joined #yosys
cr1901_modern has left #yosys [#yosys]
cr1901_modern has joined #yosys
jwhitmore has quit [Ping timeout: 260 seconds]
develonepi3 has quit [Remote host closed the connection]
xerpi has quit [Quit: Leaving]
emeb has quit [Quit: Leaving.]
emeb_mac has joined #yosys
<
emeb_mac>
How configurable is your FFT?
emeb_mac has quit [Ping timeout: 256 seconds]
emeb_mac has joined #yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
seldridge has joined #yosys