ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
bwidawsk has quit [Quit: Always remember, and never forget; I'll be back.]
bwidawsk has joined #yosys
Guest96 has joined #yosys
FabM has joined #yosys
FabM has joined #yosys
FabM has quit [Changing host]
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
<jix> in case Guest15 from yesterday is reading the channel logs: The windows issue has been fixed in todays build
josuah has quit [Quit: WeeChat 3.4.1]
josuah has joined #yosys
Guest13 has joined #yosys
Guest13 has quit [Client Quit]
MoeIcenowy has quit [Ping timeout: 256 seconds]
MoeIcenowy has joined #yosys
Guest19 has joined #yosys
<Guest19> Hi, I had a query about using this library, can I ask it here?
Guest19 has quit [Quit: Client closed]
<lkcl> jix: thank you for all your help on smtlib2 FP - it means that there's now a FOSS HDL IEEE754 FP library with formal correctness proofs underway
<lkcl> which is a big deal. we've got fadd, fsub done, and fma underway.
<lkcl> couldn't have done that without your support on yosys/sby, so thank you.
<lkcl> i think jacob's done fma already. not FP32/64 as the completion time is mental
Lord_Nightmare has quit [Excess Flood]
Lord_Nightmare has joined #yosys
Lord_Nightmare has quit [Excess Flood]
Lord_Nightmare has joined #yosys
Guest85 has joined #yosys
Guest85 has quit [Client Quit]
FabM has quit [Quit: Leaving]
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
Lord_Nightmare has joined #yosys
lumo_e has joined #yosys
mrec has joined #yosys
lumo_e has quit [Ping timeout: 240 seconds]
lumo_e has joined #yosys
Guest96 has quit [Quit: Ping timeout (120 seconds)]
GenTooMan has quit [Ping timeout: 240 seconds]
GenTooMan has joined #yosys
lumo_e has quit [Ping timeout: 244 seconds]
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys
qball has quit [Ping timeout: 268 seconds]
qball has joined #yosys