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
Author Name: Byron Bradley (@bbradley)
Original Redmine Issue: 247 from https://www.veripool.org
Original Date: 2010-04-19
Original Assignee: Wilson Snyder (@wsnyder)
We have a couple of blocks that no longer build with the latest code from git. A git-bisect blamed commit ed17581 and the warnings go away if I revert that commit. I'm assuming this is a bug and it's not just detecting problems that it wasn't before. Let me know if I can provide any more information.
The text was updated successfully, but these errors were encountered:
Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2010-04-19T16:39:04Z
The interpretation of --unroll-stmts changed, so probably it's just not unrolling something it used to.
If you find the right value for unroll stmts that makes it work, I'll bump up the default.
Author Name: Byron Bradley (@bbradley)
Original Redmine Issue: 247 from https://www.veripool.org
Original Date: 2010-04-19
Original Assignee: Wilson Snyder (@wsnyder)
We have a couple of blocks that no longer build with the latest code from git. A git-bisect blamed commit ed17581 and the warnings go away if I revert that commit. I'm assuming this is a bug and it's not just detecting problems that it wasn't before. Let me know if I can provide any more information.
The text was updated successfully, but these errors were encountered: