You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Today I hit two issues with the old Yosys in this container. One is that abc crashes with an assertion failure in some cases, and it was supposedly fixed by YosysHQ/yosys#4351 in Yosys 0.41.
The other problem I just kind of hope was resolved since December, but the abc one is my current blocker.
I was wondering why hdlc/formal from docker hub had outdated yosys build.
Now I realized that the last time build succeeded was Dec 15, 2023.
https://github.com/hdl/containers/actions/workflows/yosys.yml
https://github.com/hdl/containers/actions/runs/7216298306
Looks like g++ is missing from the preparation
https://github.com/hdl/containers/actions/runs/9705516523/job/26787730757#step:3:1431
The text was updated successfully, but these errors were encountered: