ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
AdamHorden has quit [Ping timeout: 264 seconds]
AdamHorden has joined #yosys
lkcl has quit [Quit: BNC by #bnc4you]
AdamHorden has quit [Ping timeout: 260 seconds]
AdamHorden has joined #yosys
uis has quit [Quit: ZNC 1.7.5 - https://znc.in]
uis has joined #yosys
vidbina has quit [Ping timeout: 268 seconds]
peepsalot has quit [Read error: Connection reset by peer]
peepsalot has joined #yosys
kristianpaul has quit [Ping timeout: 268 seconds]
kristianpaul has joined #yosys
lkcl has joined #yosys
strobo has joined #yosys
GenTooMan has quit [Remote host closed the connection]
GenTooMan has joined #yosys
lexano has quit [Ping timeout: 260 seconds]
lexano has joined #yosys
chipb has quit [Ping timeout: 245 seconds]
chipb has joined #yosys
uis has quit [Quit: ZNC 1.7.5 - https://znc.in]
uis has joined #yosys
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
FabM has joined #yosys
FabM has joined #yosys
FabM has quit [Changing host]
dlobato has joined #yosys
dlobato has quit [Ping timeout: 260 seconds]
dlobato has joined #yosys
strobo has quit [Read error: Connection reset by peer]
strobo has joined #yosys
vidbina has joined #yosys
vidbina has quit [Ping timeout: 260 seconds]
uis has quit [Quit: ZNC 1.7.5 - https://znc.in]
uis has joined #yosys
uis has quit [Quit: ZNC 1.7.5 - https://znc.in]
uis has joined #yosys
vidbina has joined #yosys
dlobato has quit [Ping timeout: 268 seconds]
vidbina has quit [Ping timeout: 268 seconds]
<bluesceada> Hmmm, another question. How can I give the nextpnr gui the --seed
<bluesceada> Seems the gui ignores a lot of the cmd parameters like --seed --freq ..
ec has joined #yosys
Klotz has joined #yosys
ec has quit [Ping timeout: 276 seconds]
ec has joined #yosys
FabM has quit [Ping timeout: 264 seconds]
dlobato has joined #yosys
gsmecher has joined #yosys
ec has quit [Ping timeout: 276 seconds]
ec has joined #yosys
ec has quit [Ping timeout: 276 seconds]
ec has joined #yosys
emeb has joined #yosys
ec has quit [Ping timeout: 276 seconds]
ec has joined #yosys
ec has quit [Ping timeout: 276 seconds]
ec has joined #yosys
ec has quit [Ping timeout: 276 seconds]
ec has joined #yosys
pretir008 has quit [Ping timeout: 264 seconds]
pretir008 has joined #yosys
ec has quit [Ping timeout: 276 seconds]
ec has joined #yosys
Klotz has quit [Remote host closed the connection]
Klotz has joined #yosys
ec has quit [Ping timeout: 276 seconds]
AdamHorden has quit [Ping timeout: 260 seconds]
AdamHorden has joined #yosys
ec has joined #yosys
<cr1901> mwk: I could not tell you why the techmap step to flatten FACADE_IOs makes SMT2 work, but it does
<mwk> heh
<cr1901> (The modules definitions w/ inouts are still _in_ the design even after flattening, but write_smt2 doesn't seem to complain as long as you don't instantiate them)
<mwk> mhm
<cr1901> Anyways, PRs to fix yosys/nextpnr coming in soon, gonna try to get the UART miter to pass, provided it doesn't take a long time (it takes 10+ minutes for yosys-smtbmc to write out the VCDs T_T)
ec has quit [Ping timeout: 276 seconds]
dlobato has quit [Ping timeout: 264 seconds]
ec has joined #yosys
ec has quit [Ping timeout: 276 seconds]
knmae- is now known as knmae
vidbina has joined #yosys
ec has joined #yosys
ec has quit [Ping timeout: 276 seconds]
ec has joined #yosys
ec has quit [Ping timeout: 276 seconds]
ec has joined #yosys
ec has quit [Ping timeout: 276 seconds]
ec has joined #yosys
ec has quit [Ping timeout: 276 seconds]
ec has joined #yosys
vidbina has quit [Ping timeout: 268 seconds]
ec has quit [Quit: ec]
gsmecher has quit [Ping timeout: 268 seconds]
emeb has quit [Quit: Leaving.]
emeb_mac has joined #yosys