]> git.nickg.me.uk Git - nvc.git/commit
vhpi: Support LeftBound and RightBound
authorSean Anderson <seanga2@gmail.com>
Mon, 29 May 2023 20:04:13 +0000 (16:04 -0400)
committerNick Gasson <nick@nickg.me.uk>
Sun, 4 Jun 2023 22:00:34 +0000 (22:00 +0000)
commit357b9dbdaa585740a7c23704f93694dd846559c9
tree8c929e66137be504bbcf45d6f76650e4dd2627d2
parentd8fe25d4ad2d8113ac7be053a45858fa7f10cd1d
vhpi: Support LeftBound and RightBound

Support LeftBound and RightBound for IntRanges.
src/vhpi/vhpi-model.c
test/regress/gold/vhpi1.txt
test/vhpi/vhpi1.c