| *** tpb has joined #symbiflow | 00:00 | |
| *** lopsided98 has joined #symbiflow | 00:19 | |
| *** craigo has quit IRC | 00:35 | |
| *** Degi has quit IRC | 01:04 | |
| *** Degi has joined #symbiflow | 01:06 | |
| *** promach3 has quit IRC | 01:16 | |
| *** promach3 has joined #symbiflow | 01:20 | |
| *** citypw has joined #symbiflow | 02:35 | |
| *** _whitelogger has quit IRC | 02:54 | |
| *** _whitelogger has joined #symbiflow | 02:56 | |
| *** citypw has quit IRC | 03:35 | |
| *** citypw has joined #symbiflow | 03:49 | |
| *** ayazar has quit IRC | 04:03 | |
| *** ayazar has joined #symbiflow | 04:03 | |
| *** andrewb1999 has quit IRC | 04:13 | |
| *** ayazar has quit IRC | 04:52 | |
| *** ayazar has joined #symbiflow | 04:53 | |
| *** ayazar has quit IRC | 05:04 | |
| *** ayazar has joined #symbiflow | 05:05 | |
| *** xtro has quit IRC | 06:14 | |
| *** kraiskil has joined #symbiflow | 06:29 | |
| sf-slack | <kgugala> @tnt LUT4 mapping to a single C_FRAG and logic_cell_macro packing as one logic block have been added (I think those are included in release 1.1.0) | 06:42 |
|---|---|---|
| *** kraiskil has quit IRC | 06:45 | |
| *** OmniMancer has joined #symbiflow | 07:05 | |
| *** kraiskil has joined #symbiflow | 07:07 | |
| *** craigo has joined #symbiflow | 10:34 | |
| *** az0re has quit IRC | 12:19 | |
| *** kraiskil has quit IRC | 12:40 | |
| *** kgugala has joined #symbiflow | 13:40 | |
| *** kraiskil has joined #symbiflow | 13:40 | |
| *** andrewb1999 has joined #symbiflow | 13:41 | |
| *** kraiskil has quit IRC | 14:07 | |
| *** kraiskil has joined #symbiflow | 14:21 | |
| *** az0re has joined #symbiflow | 15:28 | |
| *** alexhw has quit IRC | 15:37 | |
| *** alexhw has joined #symbiflow | 15:41 | |
| HackerFoo | A formally verified high-level synthesis tool based on CompCert and written in Coq: https://github.com/ymherklotz/vericert | 15:56 |
| tpb | Title: GitHub - ymherklotz/vericert: A formally verified high-level synthesis tool based on CompCert and written in Coq. (at github.com) | 15:56 |
| -_whitenotifier-b- [symbiflow-arch-defs] andrewb1999 opened issue #1614: Support RW ports on BRAMs - https://git.io/JJ4Rb | 16:00 | |
| *** citypw has quit IRC | 16:39 | |
| *** xtro has joined #symbiflow | 16:57 | |
| *** kraiskil has quit IRC | 17:19 | |
| *** xtro has quit IRC | 17:38 | |
| *** kraiskil has joined #symbiflow | 18:04 | |
| *** FFY00 has quit IRC | 18:37 | |
| *** OmniMancer has quit IRC | 18:39 | |
| *** FFY00 has joined #symbiflow | 18:58 | |
| *** kraiskil has quit IRC | 19:05 | |
| *** FFY00 has quit IRC | 19:07 | |
| *** FFY00 has joined #symbiflow | 19:08 | |
| *** tux3_ has quit IRC | 19:34 | |
| *** tux3_ has joined #symbiflow | 19:34 | |
| *** tux3_ is now known as tux3 | 19:34 | |
| mithro | As nobody seemed to object, I pushed the new prjxray-db | 20:09 |
| *** xtro has joined #symbiflow | 20:09 | |
| *** samhsmith[m] has joined #symbiflow | 21:05 | |
| -_whitenotifier-b- [sphinx_symbiflow_theme] mithro opened issue #31: Render footnotes in a nicer manner - https://git.io/JJ4PC | 21:33 | |
| -_whitenotifier-b- [symbiflow-bitstream-viewer] benglines opened issue #9: Predefined Part Name in Makefile - https://git.io/JJ41Q | 22:40 | |
| -_whitenotifier-b- [sv-tests] mithro opened issue #957: Still can't easily get to tested projects... - https://git.io/JJ4MK | 22:47 | |
| -_whitenotifier-b- [sv-tests] mithro opened issue #958: Auto-generate a "Language Support" page like slang's for each tool - https://git.io/JJ4M9 | 22:51 | |
| -_whitenotifier-b- [sv-tests] mithro opened issue #959: Cross-check functionality in sv-tests against slang's "Language Support" page - https://git.io/JJ4DN | 23:18 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!