git.nickg.me.uk Git - nvc.git/commit

]> git.nickg.me.uk Git - nvc.git/commit

projects / nvc.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 4130a4e) | patch

author	Nick Gasson <nick@nickg.me.uk>
	Sun, 19 Nov 2023 16:28:42 +0000 (16:28 +0000)
committer	Nick Gasson <nick@nickg.me.uk>
	Sun, 19 Nov 2023 16:44:26 +0000 (16:44 +0000)
commit	ce6efd3423bf837cf0662d7c4a3486f57683dbe8
tree	6f6521e7e2fe8ec9cf04d4ee045be22517a3a79d	tree \| snapshot
parent	4130a4e35fbaf84c463ed58733a649b8efc6d008	commit \| diff

Basic functional coverage from PSL cover directive

Issue #795

25 files changed:

nvc.1		diff \| blob \| history
src/cov/cov-api.h		diff \| blob \| history
src/cov/cov-data.c		diff \| blob \| history
src/cov/cov-report.c		diff \| blob \| history
src/elab.c		diff \| blob \| history
src/jit/jit-dump.c		diff \| blob \| history
src/nvc.c		diff \| blob \| history
src/psl/psl-lower.c		diff \| blob \| history
src/psl/psl-phase.h		diff \| blob \| history
test/regress/cover21.sh	[new file with mode: 0755]	blob
test/regress/cover21.vhd	[new file with mode: 0644]	blob
test/regress/gold/cover10.txt		diff \| blob \| history
test/regress/gold/cover12.txt		diff \| blob \| history
test/regress/gold/cover13.txt		diff \| blob \| history
test/regress/gold/cover14.txt		diff \| blob \| history
test/regress/gold/cover15.txt		diff \| blob \| history
test/regress/gold/cover16.txt		diff \| blob \| history
test/regress/gold/cover18.txt		diff \| blob \| history
test/regress/gold/cover19.txt		diff \| blob \| history
test/regress/gold/cover20.txt		diff \| blob \| history
test/regress/gold/cover21.txt	[new file with mode: 0644]	blob
test/regress/gold/cover5.txt		diff \| blob \| history
test/regress/gold/cover6.txt		diff \| blob \| history
test/regress/gold/cover9.txt		diff \| blob \| history
test/regress/testlist.txt		diff \| blob \| history

VHDL compiler and simulator