Closed Tiebe closed 3 days ago
Yeah ... Verilator's "lint" got upgraded over the years. I've got fixes for these issues, so let me push them this week.
If anyone's running into the same issue, I have found a temporary solution to it: I've opened the main Makefile, went into the other makefiles listed under SUBMAKE, and added the flag -Wno-GENUNNAMED to the VFLAGS parameter on each one of them (and the FLAGS parameter in the /bench/cpp makefile just to be sure), and it compiled.
Seems to work fine now, despite the ignored warnings.
This issue should now be fixed. I've merged the development branch into the master, and then also merged the updates from the wb2axip project into here. I've also verified that all of the simulations (there are now more of them) are working. Not all of the proofs are passing at present, so that will take some work to deal with still. You should find that these updates fix your issues.
Awesome, thanks!