Name |
Last commit
|
Last update |
---|---|---|
.github/workflows | ||
src | ||
test | ||
.gitattributes | ||
.gitignore | ||
LICENSE | ||
Makefile | ||
NOTICE | ||
README.md | ||
Setup.hs | ||
notice.sh | ||
stack.yaml | ||
stack.yaml.lock | ||
sv2v.cabal |
- error for unbound module instance interface ports - warning for converting an interface alone - warning for converting a package alone - update terminology for modules removed by interface conversion
Name |
Last commit
|
Last update |
---|---|---|
.github/workflows | Loading commit data... | |
src | Loading commit data... | |
test | Loading commit data... | |
.gitattributes | Loading commit data... | |
.gitignore | Loading commit data... | |
LICENSE | Loading commit data... | |
Makefile | Loading commit data... | |
NOTICE | Loading commit data... | |
README.md | Loading commit data... | |
Setup.hs | Loading commit data... | |
notice.sh | Loading commit data... | |
stack.yaml | Loading commit data... | |
stack.yaml.lock | Loading commit data... | |
sv2v.cabal | Loading commit data... |