Verilog Expression Parser

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.

Example

src/vexp_test.cc contains a simple example of using the parser