-- Module      : Verismith.Verilog2005
-- Description : Verilog 2005 compliant implementation with context free random generation.
-- Copyright   : (c) 2023, Quentin Corradi
-- License     : GPL-3
-- Maintainer  : q [dot] corradi22 [at] imperial [dot] ac [dot] uk
-- Stability   : experimental
-- Portability : POSIX

module Verismith.Verilog2005
  ( parseVerilog2005,
    genSource,
    runGarbageGeneration,
    NumberProbability,
    CategoricalProbability,
    Verilog2005 (..),
    PrintingOpts (..)
  )
where

import Verismith.Config (CategoricalProbability (..), NumberProbability (..))
import Verismith.Verilog2005.AST
import Verismith.Verilog2005.Generator
import Verismith.Verilog2005.Parser
import Verismith.Verilog2005.PrettyPrinter