This repository contains a flex / bison parser for Verilog expressions. We will use this as part of a refinement relation parser in our ILAng project.
The flex / bison script is adapted from an open-source Verilog parser from Here originated from this archived repo.
src/vexp_test.cc contains a simple example of using the parser