]> git.nickg.me.uk Git - nvc.git/commit
Refactoring of cover. (#777)
authorBlebowski <34539154+Blebowski@users.noreply.github.com>
Mon, 23 Oct 2023 17:18:58 +0000 (19:18 +0200)
committerGitHub <noreply@github.com>
Mon, 23 Oct 2023 17:18:58 +0000 (18:18 +0100)
commite327c3938d5e71e3bfa44f3be58ddcb7c5ff9428
treedf6f8ea1225df76b008eb210b82309679cce5058
parent6cda7f4e365e29c292406f2bc6bcf3c2357b462e
Refactoring of cover.  (#777)

src, test: Refactoring of cover. Rename "tag" to "item", and "tagging" to "data".
13 files changed:
src/cgen.c
src/elab.c
src/lower.c
src/lower.h
src/nvc.c
src/phase.h
src/prim.h
src/rt/cover.c
src/rt/cover.h
src/rt/model.c
src/rt/model.h
test/test_elab.c
test/test_lower.c