| *** tpb has joined #yosys | 00:00 | |
| *** lf has quit IRC | 00:45 | |
| *** lf has joined #yosys | 00:45 | |
| *** GenTooMan has joined #yosys | 01:00 | |
| cr1901_modern | Does the write_smt2 just plain not work with inouts? | 01:24 |
|---|---|---|
| *** Degi has quit IRC | 01:51 | |
| *** Degi has joined #yosys | 01:55 | |
| *** citypw has joined #yosys | 02:22 | |
| *** az0re has quit IRC | 02:56 | |
| *** az0re has joined #yosys | 03:00 | |
| *** tlwoerner has quit IRC | 03:01 | |
| *** tlwoerner has joined #yosys | 03:37 | |
| *** tlwoerner has quit IRC | 03:56 | |
| *** tlwoerner has joined #yosys | 04:04 | |
| *** Thorn has joined #yosys | 04:34 | |
| *** citypw has quit IRC | 05:38 | |
| *** emeb_mac has quit IRC | 06:00 | |
| *** tux3 has quit IRC | 06:33 | |
| *** vidbina has joined #yosys | 06:56 | |
| *** DaKnig has joined #yosys | 07:38 | |
| *** N2TOH_ has quit IRC | 07:46 | |
| *** vidbina has quit IRC | 07:56 | |
| *** citypw has joined #yosys | 08:16 | |
| *** jakobwenzel has joined #yosys | 08:44 | |
| *** xtro has quit IRC | 09:02 | |
| *** benreynwar has quit IRC | 09:03 | |
| *** benreynwar has joined #yosys | 09:03 | |
| *** jakobwenzel has quit IRC | 09:46 | |
| *** AdamHorden has quit IRC | 10:55 | |
| *** jakobwenzel has joined #yosys | 11:08 | |
| *** vidbina has joined #yosys | 12:01 | |
| *** citypw has quit IRC | 12:04 | |
| *** citypw has joined #yosys | 12:36 | |
| *** citypw has quit IRC | 13:08 | |
| *** citypw has joined #yosys | 13:09 | |
| *** AdamHorden has joined #yosys | 13:16 | |
| *** emeb_mac has joined #yosys | 15:00 | |
| *** tlwoerner has joined #yosys | 15:16 | |
| *** tlwoerner has quit IRC | 15:18 | |
| *** tlwoerner has joined #yosys | 15:18 | |
| *** FFY00 has joined #yosys | 15:39 | |
| *** tlwoerner has quit IRC | 15:46 | |
| *** tlwoerner has joined #yosys | 16:01 | |
| *** tlwoerner has quit IRC | 16:08 | |
| *** evil_chuck has joined #yosys | 17:31 | |
| *** xtro has joined #yosys | 17:32 | |
| *** citypw has quit IRC | 17:44 | |
| *** oars has quit IRC | 17:51 | |
| *** vidbina has quit IRC | 19:55 | |
| *** evil_chuck has left #yosys | 21:00 | |
| *** X-Scale` has joined #yosys | 21:20 | |
| *** X-Scale has quit IRC | 21:21 | |
| *** X-Scale` is now known as X-Scale | 21:22 | |
| *** blunaxela has quit IRC | 21:27 | |
| *** blunaxela has joined #yosys | 21:27 | |
| *** DaKnig has quit IRC | 21:32 | |
| *** DaKnig has joined #yosys | 21:32 | |
| *** chipb has quit IRC | 21:44 | |
| *** chipb has joined #yosys | 21:44 | |
| *** kristianpaul has quit IRC | 23:19 | |
| *** kristianpaul has joined #yosys | 23:19 | |
| *** show1 has quit IRC | 23:54 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!