| *** tpb has joined #yosys | 00:00 | |
| *** az0re has quit IRC | 00:13 | |
| *** az0re has joined #yosys | 00:14 | |
| *** strobokopp has quit IRC | 01:32 | |
| *** strobokopp has joined #yosys | 01:34 | |
| *** citypw has joined #yosys | 01:38 | |
| *** peepsalot has joined #yosys | 03:07 | |
| *** xtro has quit IRC | 03:08 | |
| *** az0re has quit IRC | 03:35 | |
| *** Degi has quit IRC | 03:45 | |
| *** Degi has joined #yosys | 03:52 | |
| *** kristianpaul has quit IRC | 05:40 | |
| *** Asu has joined #yosys | 06:55 | |
| *** emeb_mac has quit IRC | 06:55 | |
| *** strobokopp has quit IRC | 08:00 | |
| *** DaKnig has quit IRC | 08:00 | |
| *** tmiw has quit IRC | 08:00 | |
| *** ZipCPU has quit IRC | 08:00 | |
| *** Forty-Bot has quit IRC | 08:00 | |
| *** anticw has quit IRC | 08:00 | |
| *** strobokopp has joined #yosys | 08:05 | |
| *** DaKnig has joined #yosys | 08:05 | |
| *** tmiw has joined #yosys | 08:05 | |
| *** ZipCPU has joined #yosys | 08:05 | |
| *** Forty-Bot has joined #yosys | 08:05 | |
| *** anticw has joined #yosys | 08:05 | |
| *** Asu has quit IRC | 08:28 | |
| *** Asu has joined #yosys | 08:57 | |
| * promach3 uploaded an image: image.png (329KiB) < https://matrix.org/_matrix/media/r0/download/matrix.org/lyWaTlIdUturaVrPuTdHeGhd/image.png > | 10:22 | |
| promach3 | Why https://github.com/promach/noc/blob/development/spidergon_node.v#L475 failed BMC verification ? | 10:22 |
|---|---|---|
| tpb | Title: noc/spidergon_node.v at development · promach/noc · GitHub (at github.com) | 10:22 |
| *** indy has quit IRC | 12:42 | |
| *** indy_ has joined #yosys | 12:44 | |
| *** X-Scale` has joined #yosys | 13:19 | |
| *** X-Scale has quit IRC | 13:19 | |
| *** X-Scale` is now known as X-Scale | 13:19 | |
| *** kristianpaul has joined #yosys | 13:24 | |
| *** acertain has quit IRC | 14:37 | |
| *** acertain has joined #yosys | 14:41 | |
| *** cr1901_modern has quit IRC | 15:11 | |
| *** cr1901_modern has joined #yosys | 15:11 | |
| *** emeb has joined #yosys | 15:48 | |
| *** maartenBE has quit IRC | 16:01 | |
| *** maartenBE has joined #yosys | 16:03 | |
| *** emeb_mac has joined #yosys | 16:06 | |
| *** LJ_cache has joined #yosys | 17:35 | |
| *** citypw has quit IRC | 17:45 | |
| *** emeb_mac has quit IRC | 17:46 | |
| *** scientes has quit IRC | 18:35 | |
| *** somlo has quit IRC | 20:04 | |
| *** somlo has joined #yosys | 20:17 | |
| *** solidtux has quit IRC | 20:29 | |
| *** solidtux has joined #yosys | 20:34 | |
| *** Ultrasauce has quit IRC | 20:54 | |
| *** Ultrasauce has joined #yosys | 20:56 | |
| *** Asu has quit IRC | 21:52 | |
| *** _whitelogger has quit IRC | 21:57 | |
| *** _whitelogger has joined #yosys | 21:59 | |
| *** aaaa has quit IRC | 23:02 | |
| *** aaaa has joined #yosys | 23:03 | |
| *** emeb has quit IRC | 23:42 | |
| *** lf has quit IRC | 23:48 | |
| *** lf_ has joined #yosys | 23:48 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!
