Friday, 2021-01-08

*** tpb has joined #yosys00:00
*** blunaxela has joined #yosys00:02
*** emeb has quit IRC00:13
*** lf_ has joined #yosys00:15
*** lf has quit IRC00:15
*** Jay_jayjay has quit IRC00:24
*** craigo has quit IRC00:37
*** Jay_jayjay has joined #yosys01:33
*** peeps[zen] is now known as peepsalot03:00
*** emeb_mac has quit IRC03:44
*** emeb_mac has joined #yosys03:45
*** AdamHorden has quit IRC03:45
*** AdamHorden has joined #yosys04:08
*** Degi_ has joined #yosys04:22
*** Degi has quit IRC04:23
*** Degi_ is now known as Degi04:23
*** jfcaron has quit IRC04:50
*** kraiskil has joined #yosys05:54
*** kraiskil has quit IRC06:01
*** emeb_mac has quit IRC06:47
*** vidbina_ has joined #yosys08:07
*** ZipCPU has quit IRC08:20
*** jakobwenzel has joined #yosys08:32
*** craigo has joined #yosys08:36
*** jakobwenzel has quit IRC08:41
*** jakobwenzel has joined #yosys08:42
*** jakobwenzel has quit IRC08:47
*** jakobwenzel has joined #yosys09:33
*** ZipCPU has joined #yosys11:34
*** Jybz has joined #yosys11:39
*** Jybz has quit IRC11:47
*** Forty-Bot has quit IRC12:39
*** Forty-Bot has joined #yosys12:41
*** srk has quit IRC12:48
*** srk has joined #yosys12:49
*** jakobwenzel1 has joined #yosys13:29
*** jakobwenzel1 has quit IRC13:37
*** stzsch has quit IRC13:38
SarayanWhat is the currently correct way in C++ to lookup and drive pins and clocks in a cxxrtl-generated class?13:41
*** jakobwenzel1 has joined #yosys13:41
Loftywhitequark isn't here, Sarayan, try #nmigen or something14:07
SarayanAh, didn't notice, thanks14:08
* promach3 uploaded an image: Screenshot from 2021-01-08 08-35-34.png (300KiB) < https://matrix.org/_matrix/media/r0/download/matrix.org/IFNOVFsbFKDsxjhbeMuLwDMR/Screenshot from 2021-01-08 08-35-34.png >14:25
promach3Why broken pipe when using boolector  ?14:26
*** jakobwenzel1 has quit IRC14:33
Loftypromach3: boolector crashed, I imagine14:36
promach3Lofty: but why crashed ? is it because of my verilog design bug ?14:41
LoftyI don't know.14:41
*** modwizcode has joined #yosys14:44
*** emeb has joined #yosys15:31
*** srk has quit IRC16:53
*** srk has joined #yosys16:53
*** vidbina_ has quit IRC17:58
*** Jay_jayjay has quit IRC18:05
*** vidbina_ has joined #yosys18:49
*** Jay_jayjay has joined #yosys18:57
*** Jay_jayjay has quit IRC19:11
*** vidbina_ has quit IRC19:13
*** modwizcode has quit IRC19:20
*** modwizcode has joined #yosys19:21
*** kraiskil has joined #yosys19:42
*** Jay_jayjay has joined #yosys19:42
*** emeb_mac has joined #yosys20:15
*** evil_chuck has joined #yosys20:29
*** stzsch has joined #yosys20:31
*** vidbina_ has joined #yosys20:34
*** Jay_jayjay has quit IRC20:37
*** kraiskil has quit IRC20:45
*** Jay_jayjay has joined #yosys20:56
*** kraiskil has joined #yosys20:57
*** kraiskil has quit IRC21:05
*** srk has quit IRC21:18
*** srk has joined #yosys21:19
*** vidbina_ has quit IRC21:19
*** craigo has quit IRC21:22
*** evil_chuck has quit IRC21:31
*** probablymoony has joined #yosys21:35
*** moony has quit IRC21:35
*** Jay_jayjay has quit IRC21:56
*** Jay_jayjay has joined #yosys22:02
*** jakobwenzel has quit IRC22:58
*** emeb has quit IRC23:37

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!