Verific frontend: fix `top_bound`/`bottom_bound` attributes#4815

Merged

nakengelhardt merged 2 commits intomainfrom verific_bounds_fix

Dec 12, 2024

+330-24

Commits on Dec 11, 2024

add more tests for bounds attributes, fix attributes appearing in verilog
nakengelhardt
committed

Commits on Dec 12, 2024

bound attributes: handle vhdl null ranges
nakengelhardt
committed