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 |
- new net decl to replace net pseudo-type - support nets with complex base types, including typenames - support var declaration type prefix for all data types - support var as lone type shorthand - refactor AST representation of strengths - traversal helpers for treating nets as variables - use decl traversals where appropriate
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... |