]> git.nickg.me.uk Git - nvc.git/commit
vhpi: Support constraints
authorSean Anderson <seanga2@gmail.com>
Mon, 29 May 2023 19:45:06 +0000 (15:45 -0400)
committerNick Gasson <nick@nickg.me.uk>
Sun, 4 Jun 2023 22:00:34 +0000 (22:00 +0000)
commit75a24f9cbcdd5e7c4218420e4468e8f28cc1a1e8
treedd3824cd77e29ff0aa09e8d77ae446b080b4b365
parentf84173cd7a12fdc6841aa266de02fc49d0295221
vhpi: Support constraints

Add support for range constraints on arrays and subtypes. I think the
from/to on unconstrained ranges should reflect the from/to of the
underlying type, but I have left that out for now. Currently no
properties are supported, but that will change soon.
src/vhpi/vhpi-model.c
src/vhpi/vhpi-util.c
src/vhpi/vhpi-util.h
test/regress/gold/vhpi1.txt
test/vhpi/vhpi1.c