Veripool API Bot

Results 103 comments of Veripool API Bot

--- Original Redmine Comment Author Name: **Dave Storrar** Original Date: 2016-09-09T08:20:54Z --- Thanks for making the attempt, I'll just have to work-around it. Will let you know if I find...

--- Original Redmine Comment Author Name: **Wilson Snyder** (@wsnyder) Original Date: 2020-01-10T11:52:59Z --- Will fix this after next Verilator release. (Verilator has same preprocessor.)

--- Original Redmine Comment Author Name: **Wilson Snyder** (@wsnyder) Original Date: 2020-01-11T14:16:44Z --- Fixed in git towards eventual 3.472 release. Also added to Verilator.