Name |
Last commit
|
Last update |
---|---|---|
.github/workflows | ||
src | ||
test | ||
.gitattributes | ||
.gitignore | ||
CHANGELOG.md | ||
LICENSE | ||
Makefile | ||
NOTICE | ||
README.md | ||
Setup.hs | ||
notice.sh | ||
stack.yaml | ||
stack.yaml.lock | ||
sv2v.cabal |
- event expressions use Expr over LHS - stricter AST representation of event controls - property specs use event expressions directly
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... | |
CHANGELOG.md | 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... |