<sf-slack4>
<arvindsrinivasan> And similarly to earlier, I’m now attempting to test my system (that can now successfully build the counter_test) to now build the picosoc_demo and I”m getting a assert failure in ABC9 again. ```25.5.2. Executing ABC9_OPS pass (helper functions for ABC9). ERROR: Assert `modules_.count(name) == 0' failed in kernel/rtlil.cc:616.```
<sf-slack4>
<arvindsrinivasan> And confirmed its broken still using the pinned commit for symbiflow yosys (Yosys 0.9+3710 (git sha1 2116c585, gcc 10.2.0-13ubuntu1 -fPIC -Os)), which would seem to indicate the asserts are the issue again?
Degi_ has joined #symbiflow
Degi has quit [Ping timeout: 272 seconds]
Degi_ is now known as Degi
<sf-slack4>
<arvindsrinivasan> Yea, commenting out the assert on line 616 lead to a successful build of a binary
citypw has joined #symbiflow
epony has quit [Remote host closed the connection]
epony has joined #symbiflow
craigo has quit [Ping timeout: 265 seconds]
citypw has quit [Ping timeout: 268 seconds]
<_whitenotifier-5>
[symbiflow-examples] Arvind-Srinivasan opened issue #127: picosoc_demo example hits yosys ABC9 assert during synth - https://git.io/JtAdp
<sf-slack4>
<acomodi> @arvindsrinivasan It was an oversight, just merged the already existing PR fixing it
<sf-slack4>
<acomodi> Regarding the latest architecture links, there seems to be an issue in the GH actions that prevents their correct update, hence the reason why those links point to ~1 month old PR
kraiskil has quit [Ping timeout: 264 seconds]
<_whitenotifier-5>
[symbiflow-arch-defs] acomodi opened issue #2059: Latest architecture links are not uploaded - https://git.io/JtxTe