latest yosys: ast process_format_str() changed, plugin won't compile. #1961
Comments
|
The currently referenced yosys is more than 3 months old, so there will be a problem compiling the plugin with folks using newer Yosys versions. Making it compatible with older and newer Yoysys API using a |
Merged
kgugala
added a commit
that referenced
this issue
Sep 30, 2023
This bumps Yosys solving the issue with recent changes in the mainline: #1961 I've adjusted the references to Yosys' functions so that the plugin compiles. There are Parsing Tests in Synlig which run simulation. Right now Yosys fails simulation if there are blackboxes. In such cases we should get rid of the simulation part. Some tests are added to the skiplist as Yosys is unable to produce results that would be used in the Formal Verification tests.
|
Latest Yosys is merged. #2063 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Looks like the new function is now called processFormat(). So the systemverilog plug--in will not compile with latest yosys from head as our local copy of
simplify.ccuses that in two places. So probably some#ifdefof sorts needed to work with older and newer yosys-es.(this is copied from chipsalliance/yosys-f4pga-plugins#542 )
The text was updated successfully, but these errors were encountered: