]> Nick Gasson's Git Repositories - nvc.git/commit
Check argument of PSL restrict and assume. Fixes #1026
authorNick Gasson <nick@nickg.me.uk>
Sun, 20 Oct 2024 18:59:52 +0000 (19:59 +0100)
committerNick Gasson <nick@nickg.me.uk>
Sun, 20 Oct 2024 19:11:07 +0000 (20:11 +0100)
commit33dcf28a9c52f54a9244d7a819559d080eb6a2bf
tree73d732985efd9f06ace8ab26083db2526d5c4453
parentfa1fde2841d8b4fe1f4b31b4565b7b5150b9d817
Check argument of PSL restrict and assume. Fixes #1026
src/psl/psl-sem.c
test/psl/sem1.vhd
test/test_psl.c