Name |
Last commit
|
Last update |
---|---|---|
architecture | ||
backends | ||
bigsim | ||
equiv | ||
frontends | ||
misc | ||
regression | ||
simple | ||
verific | ||
.gitignore | ||
Makefile | ||
README.md |
Testing problems: 1. coverage_html/passes/equiv/equiv_make.cc.gcov.html - 164-227 are not covered; 2. coverage_html/passes/equiv/equiv_add.cc.gcov.html - is not covered ("ERROR: This command must be executed in module context!")
Name |
Last commit
|
Last update |
---|---|---|
architecture | Loading commit data... | |
backends | Loading commit data... | |
bigsim | Loading commit data... | |
equiv | Loading commit data... | |
frontends | Loading commit data... | |
misc | Loading commit data... | |
regression | Loading commit data... | |
simple | Loading commit data... | |
verific | Loading commit data... | |
.gitignore | Loading commit data... | |
Makefile | Loading commit data... | |
README.md | Loading commit data... |