just found a 2nd bug in the same frickin line! https://github.com/cliffordwolf/yosys/commit/c449f4b86f66ca4ef2396454f09a73d56ff06512 …https://twitter.com/oe1cxw/status/830358377175846913 …
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
some formal proofs that work with Yosys' native Verilog front-end failed when using verific as front-end.