11:19 <_whitenotifier> [symbiflow-arch-defs] Xiretza opened issue #1973: symbiflow_write_xml_rr_graph toolchain wrapper is not installed - https://git.io/JtZpU

14:14 <lambda> `make -C xc7/counter_test TARGET=arty_35` in symbiflow-examples fails with `ERROR: Assert `cell->parameters.empty()' failed in passes/techmap/abc9_ops.cc:781.`, even with symbiflow's yosys fork. commenting out line 158 in synth.tcl works, but it's rather ugly a fix.

14:16 <lambda> after some digging with gdb, I found that it's erroring on a `CARRY4_VPR` cell, which indeed has parameters - I just don't know what part is to blame here

15:31 <Lofty> kgugala_: quicklogic-design8-workaround has a workaround patch for the `bram` testcase; want me to include it in the quicklogic-sta branch?

15:32 <sf-slack2> <kgugala> yep, it will be easier to test it that way

15:32 <sf-slack2> <kgugala> thanks

15:32 <Lofty> Done

15:35 <sf-slack2> <kgugala> awesome, thanks

17:12 <Lofty> kgugala_: Also, I fixed the bug in `scc -specify` for the present testcase. ABC9 still crashes, but at least `scc` detects the loop now.

17:14 <sf-slack2> <kgugala> cool

17:23 <lambda> could someone with a working conda/etc setup build the xc7 counter_test example for arty_35 and send me their top.json.pre_abc9.ilang? it's not part of the CI artifacts unfortunately

17:59 <litghost> lambda: Please file an issue with replication instructions on the "Assert `cell->parameters.empty()". The symbiflow-examples CI isn't showing that assertion file: https://github.com/SymbiFlow/symbiflow-examples/runs/1754086445#step:8:17

17:59 <litghost> So I'm unclear what is different beteween your setup and the CI's setup

17:59 <litghost> failure*

18:01 <lambda> litghost: that's what I'm trying to figure out too - I'm using arch packages instead of all the vendored/pinned dependencies from conda though, so I don't really want to waste too many support resources for something that is clearly not the intended way of doing things

18:02 <litghost> lambda: If you can replicate when building from source, that should be enough to replicate the failure

18:03 <lambda> yosys and vtr are built from source, don't have the RAM to build arch-defs unfortunately

18:05 <litghost> lambda: That shouldn't be a problem. Your replication could be something akin to 1) build yosys from source, 2) build vtr from source 3) download a particular arch-def output 4) run this command, which generates assertion

18:06 <litghost> Just provide exactly git hashes from yosys, vtr, arch-def URL etc

18:06 <lambda> will do

18:06 <litghost> And the commands you used to build and install the products

18:06 <litghost> In theory, I should be able to replicate your failure same as you

18:10 <lambda> I'm on yosys 54294957e (4 days old), arch-defs bff52005 (latest), vtr 991b11422 (latest) FWIW

18:10 <lambda> so probably newer than is pinned in the conda configs

18:14 <litghost> Have you tried yosys 2116c585?

18:15 <litghost> If that works, then the assertion error is something that arose since then

18:17 <lambda> I happen to have that exact commit packaged already, let me try

18:22 <lambda> nevermind, have to rebuild anyway

18:45 <lambda> yes, still happens with 2116c5858 - I'll write up more detailed build steps in an issue

18:46 <litghost> Ok, thanks!

18:46 <litghost> Suprising, will need to figure out what is going on. Thanks

20:18 <mithro> litghost: https://github.com/SymbiFlow/prjxray-db/compare/master...mithro:master

20:19 <litghost> LGTM!

20:20 <mithro> litghost: Pushed!

20:20 <mithro> litghost: Excited to see the progress here!

20:21 <litghost> Hey it is all acomodi/kowalewskijan/tmichalak/dnltz doing the work!

20:22 <mithro> Yeah, I'm excited to see dnltz doing the work here!

20:42 <mithro> nickoe: We document the bitstream to enable us to create compatible tooling. There is a pretty good description in the prjxray documentation.

20:45 <nickoe> I mean I can read the readme in https://github.com/SymbiFlow/prjxray, but if I am sorta clueless about how to write a fuzzer, but I think that is more a problem of my experince / knowledge than the project docs :D

20:46 <mithro> nickoe: https://symbiflow.readthedocs.io/projects/prjxray/en/latest/

20:46 <tpb> Title: Project X-Ray Project X-Ray 0.0-3381-g6e3f0537 documentation (at symbiflow.readthedocs.io)

20:46 <nickoe> But note; I have not really tried to put much effort into understanding it

20:47 <nickoe> mithro: I was looking for that page, but that one was hard to find

20:47 <mithro> nickoe: https://symbiflow.readthedocs.io/projects/prjxray/en/latest/db_dev_process/fuzzers/index.html

20:47 <tpb> Title: Fuzzers Project X-Ray 0.0-3381-g6e3f0537 documentation (at symbiflow.readthedocs.io)

20:47 <nickoe> this repo links to the db html https://github.com/SymbiFlow/prjxray

20:47 <mithro> nickoe: We need to do a better job of surfacing it I guess...

20:48 <mithro> nickoe: https://symbiflow.readthedocs.io/projects/prjxray/en/latest/db_dev_process/new_fuzzer.html

20:48 <tpb> Title: Adding New Fuzzer Project X-Ray 0.0-3381-g6e3f0537 documentation (at symbiflow.readthedocs.io)

20:49 <nickoe> mithro: but don't worry, I don't think I will attempt to fuzz stuff, I think I have enought trying to understand the tooling to use it :)

20:50 <mithro> nickoe: You could totally help just by making it easier to find the documentation :-)

20:50 <nickoe> I wanted to have a look at the litex stuff, but as I understand it you need to use migen to create a project using litex?

20:50 <nickoe> is that correctly understood?

20:55 <mithro> migen is the language, litex is an ecosystem written (mostly) in the migen language

21:06 <nickoe> yeah

21:07 <mithro> nickoe: BTW I recommend the #litex channel if you want to specifically talk about that

21:17 <nickoe> mithro: you know I am on too many channels already, rihgt!?

21:20 <mithro> nickoe: I doubt you are on as many as me ;-)

21:25 <nickoe> mithro: yeah, well, I think 50 is at the point where one needs to consolidate the list a bit

21:25 <nickoe> That is the point where I am at.

22:23 <_whitenotifier> [symbiflow-examples] Xiretza opened issue #120: counter_test example hits yosys ABC9 assert during synth - https://git.io/Jtni2

23:34 <tcal> kgugala: I'm getting "No runner matching the specified labels was found: self-hosted, Linux, X64" for tests that ran when I pushed my branch on symbiflow-examples: https://github.com/tcal-x/symbiflow-examples/actions/runs/510609905 .... but it seems the tests for the associated PR are passing: https://github.com/SymbiFlow/symbiflow-examples/pull/121