Veripool API Bot

Results 120 comments of Veripool API Bot

--- Original Redmine Comment Author Name: **Monte Becker** Original Date: 2015-06-23T19:33:21Z --- Hi there. Thanks for the suggestion. Alas, it didn't work for me. Perhaps that is because I'm using...

--- Original Redmine Comment Author Name: **Kaushal Modi** Original Date: 2015-06-24T16:07:40Z --- @advice-add@ will work only in emacs 24.4 and newer versions (the newest released version as of now is...

--- Original Redmine Comment Author Name: **Wilson Snyder** (@wsnyder) Original Date: 2017-11-19T13:26:05Z --- Still present, perhaps someone would like to contribute a patch?

--- Original Redmine Comment Author Name: **Wilson Snyder** (@wsnyder) Original Date: 2017-11-19T13:33:51Z --- Still a problem, perhaps someone would like to contribute a patch?

--- Original Redmine Comment Author Name: **Kaushal Modi** Original Date: 2016-09-21T14:50:41Z --- The same links.. now hyperlinked: * "Main thread on emacs-devel":https://lists.gnu.org/archive/html/emacs-devel/2016-09/msg00590.html * "Sub-thread in that thread reporting the overlay...

--- Original Redmine Comment Author Name: **Wilson Snyder** (@wsnyder) Original Date: 2017-11-19T13:35:48Z --- AFAIK still a problem, perhaps someone would like to contribute a patch?

--- Original Redmine Comment Author Name: **Wilson Snyder** (@wsnyder) Original Date: 2019-06-04T00:53:39Z --- Verilog-mode doesn't figure out how to deal with 2-D and up structures, it just assumes the first...

--- Original Redmine Comment Author Name: **David Rogoff** Original Date: 2019-10-11T17:14:22Z --- Wilson, I understand you not wanting to fix this but I keep hitting this issue on huge upper-level...

--- Original Redmine Comment Author Name: **Wilson Snyder** (@wsnyder) Original Date: 2019-10-18T02:24:29Z --- If you can provide some examples I'll take a look if there's some straightforward cases I can...

--- Original Redmine Comment Author Name: **Wilson Snyder** (@wsnyder) Original Date: 2017-11-19T13:44:35Z --- I don't believe there is presently a setting for this. Note the indentation code is mostly maintained/improved...