search

uw-pluverse / perses

language-agnostic program reducer.
GNU General Public License v3.0
168 stars 24 forks source link

support reduction for verilog programs #13

Closed chengniansun closed 3 years ago

chengniansun commented 3 years ago

https://github.com/antlr/grammars-v4/tree/master/verilog/verilog

I do not plan to directly incorporate this into perses, and will design a plugin system to allow users to specify an antlr grammar.

Better to allow a user to specify the antlr grammar file with a command line flag.

YaoHouyou commented 3 years ago

https://github.com/antlr/grammars-v4/tree/master/javascript/javascript

I want to suport reduction for JavaScript programs. What should I do? Can you give some suggestions? Thanks you.

chengniansun commented 3 years ago

I checked the grammar. The grammar looks complex, because the grammar requires two Java helper classes for parsing.

However, I think you can refer to what we did to support Go.

  1. https://github.com/perses-project/perses/tree/master/src/org/perses/grammar/go
  2. https://github.com/perses-project/perses/blob/master/src/org/perses/Main.java
chengniansun commented 3 years ago

Closing this bug, as verilog is already supported in the internal version.