| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** bwidawsk <[email protected]> has quit IRC (Quit: Always remember, and never forget; I'll be back.) | 04:39 | |
| *** bwidawsk <[email protected]> has joined #yosys | 04:40 | |
| *** Guest96 <[email protected]> has joined #yosys | 04:50 | |
| *** FabM <FabM!~FabM@2a03:d604:103:600:e7e:1cc0:f8a2:3ed8> has joined #yosys | 06:27 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Read error: Connection reset by peer) | 07:01 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 07:06 | |
| jix | in case Guest15 from yesterday is reading the channel logs: The windows issue has been fixed in todays build | 08:42 |
|---|---|---|
| *** josuah <[email protected]> has quit IRC (Quit: WeeChat 3.4.1) | 10:03 | |
| *** josuah <[email protected]> has joined #yosys | 10:03 | |
| *** Guest13 <Guest13!~Guest13@2409:4050:db2:48e0:116b:e3b6:d586:9085> has joined #yosys | 12:43 | |
| *** Guest13 <Guest13!~Guest13@2409:4050:db2:48e0:116b:e3b6:d586:9085> has quit IRC (Client Quit) | 12:43 | |
| *** MoeIcenowy <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 12:47 | |
| *** MoeIcenowy <[email protected]> has joined #yosys | 12:47 | |
| *** Guest19 <[email protected]> has joined #yosys | 14:04 | |
| Guest19 | Hi, I had a query about using this library, can I ask it here? | 14:05 |
| *** Guest19 <[email protected]> has quit IRC (Quit: Client closed) | 14:11 | |
| 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 | 15:24 |
| lkcl | which is a big deal. we've got fadd, fsub done, and fma underway. | 15:25 |
| lkcl | couldn't have done that without your support on yosys/sby, so thank you. | 15:26 |
| lkcl | i think jacob's done fma already. not FP32/64 as the completion time is mental | 15:29 |
| cr1901 | https://github.com/YosysHQ/yosys/commit/4db820e9d48dde8b6da1a67b84dc31c8e47e8c93 Wonder why this fixes the Windows build | 15:39 |
| *** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has quit IRC (Excess Flood) | 16:34 | |
| *** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has joined #yosys | 16:35 | |
| *** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has quit IRC (Excess Flood) | 16:41 | |
| *** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has joined #yosys | 16:42 | |
| *** Guest85 <[email protected]> has joined #yosys | 17:35 | |
| *** Guest85 <[email protected]> has quit IRC (Client Quit) | 17:36 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Quit: Leaving) | 17:41 | |
| *** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has quit IRC (Quit: ZNC - http://znc.in) | 18:16 | |
| *** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has joined #yosys | 18:19 | |
| *** lumo_e <lumo_e!~enrico@2001:b07:5d38:4002:eaf2:d09a:2dea:567a> has joined #yosys | 19:03 | |
| *** mrec <mrec!~markus@user/mrec> has joined #yosys | 19:21 | |
| *** lumo_e <lumo_e!~enrico@2001:b07:5d38:4002:eaf2:d09a:2dea:567a> has quit IRC (Ping timeout: 240 seconds) | 19:27 | |
| *** lumo_e <lumo_e!~enrico@2001:b07:5d38:4002:4b95:a375:ddba:a642> has joined #yosys | 20:08 | |
| *** Guest96 <[email protected]> has quit IRC (Quit: Ping timeout (120 seconds)) | 20:27 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 240 seconds) | 21:13 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 21:15 | |
| *** lumo_e <lumo_e!~enrico@2001:b07:5d38:4002:4b95:a375:ddba:a642> has quit IRC (Ping timeout: 244 seconds) | 21:18 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:03 | |
| *** nonchip <[email protected]> has joined #yosys | 22:03 | |
| *** qball <qball!~qball@user/qball> has quit IRC (Ping timeout: 268 seconds) | 22:13 | |
| *** qball <[email protected]> has joined #yosys | 22:14 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!