| 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... |