clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
tpb has quit [Remote host closed the connection]
blunaxela has quit [Remote host closed the connection]
tpb has joined #yosys
blunaxela has joined #yosys
emeb has quit [Quit: Leaving.]
lf_ has joined #yosys
lf has quit [Ping timeout: 260 seconds]
Jay_jayjay has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
craigo has quit [Ping timeout: 264 seconds]
Jay_jayjay has joined #yosys
peeps[zen] is now known as peepsalot
emeb_mac has quit [Read error: Connection reset by peer]
emeb_mac has joined #yosys
AdamHorden has quit [Ping timeout: 260 seconds]
AdamHorden has joined #yosys
Degi_ has joined #yosys
Degi has quit [Ping timeout: 240 seconds]
Degi_ is now known as Degi
jfcaron has quit [Quit: jfcaron]
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 260 seconds]
emeb_mac has quit [Quit: Leaving.]
vidbina_ has joined #yosys
ZipCPU has quit [Ping timeout: 260 seconds]
jakobwenzel has joined #yosys
craigo has joined #yosys
jakobwenzel has quit [Quit: jakobwenzel]
jakobwenzel has joined #yosys
jakobwenzel has quit [Remote host closed the connection]
jakobwenzel has joined #yosys
ZipCPU has joined #yosys
Jybz has joined #yosys
Jybz has quit [Quit: Konversation terminated!]
Forty-Bot has quit [Remote host closed the connection]
Forty-Bot has joined #yosys
srk has quit [Remote host closed the connection]
srk has joined #yosys
jakobwenzel1 has joined #yosys
jakobwenzel1 has quit [Quit: jakobwenzel1]
stzsch has quit [Read error: Connection reset by peer]
<Sarayan> What is the currently correct way in C++ to lookup and drive pins and clocks in a cxxrtl-generated class?
jakobwenzel1 has joined #yosys
<Lofty> whitequark isn't here, Sarayan, try #nmigen or something
<Sarayan> Ah, didn't notice, thanks
* 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 >
<promach3> Why broken pipe when using boolector ?
jakobwenzel1 has quit [Quit: jakobwenzel1]
<Lofty> promach3: boolector crashed, I imagine
<promach3> Lofty: but why crashed ? is it because of my verilog design bug ?
<Lofty> I don't know.
modwizcode has joined #yosys
emeb has joined #yosys
srk has quit [Remote host closed the connection]
srk has joined #yosys
vidbina_ has quit [Ping timeout: 264 seconds]
Jay_jayjay has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
vidbina_ has joined #yosys
Jay_jayjay has joined #yosys
Jay_jayjay has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
vidbina_ has quit [Ping timeout: 246 seconds]
modwizcode has quit [Quit: Later]
modwizcode has joined #yosys
kraiskil has joined #yosys
Jay_jayjay has joined #yosys
emeb_mac has joined #yosys
evil_chuck has joined #yosys
stzsch has joined #yosys
vidbina_ has joined #yosys
Jay_jayjay has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
kraiskil has quit [Ping timeout: 264 seconds]
Jay_jayjay has joined #yosys
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 256 seconds]
srk has quit [Quit: ZNC 1.8.2 - https://znc.in]
srk has joined #yosys
vidbina_ has quit [Ping timeout: 256 seconds]
craigo has quit [Quit: Leaving]
evil_chuck has quit [Remote host closed the connection]
probablymoony has joined #yosys
moony has quit [Ping timeout: 264 seconds]
Jay_jayjay has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
Jay_jayjay has joined #yosys
jakobwenzel has quit [Remote host closed the connection]
emeb has quit [Quit: Leaving.]