mAarnos
/
Serkr
96%
master: 96%
master: 96%
|
Repo Added
|
Files
47
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
performance-improvement
branch: performance-improvement
CHANGE BRANCH
x
-
performance-improvement
-
clause-selection
-
code-cleanup
-
coveralls
-
formula-renaming
-
indexing
-
master
-
proof-output
-
statistics-reporting
CHANGE BRANCH
x
-
performance-improvement
- clause-selection
- code-cleanup
- coveralls
- formula-renaming
- indexing
- master
- proof-output
- statistics-reporting
push
travis-ci
3051 of 3186 relevant lines covered (95.76%)
5.69 hits per line
Relevant lines Covered
3186
RELEVANT LINES
3051
COVERED LINES
5.69
HITS PER LINE
Source Files on performance-improvement
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 109 | performance-improvement | Fixed clippy lints etc. | push |  mAarnos |
travis-ci | pending completion | |
| 108 | performance-improvement | Fixed rewriting incompleteness We now restrict rewriting in the maximal terms of maximal positive literals. Might be ever so slightly slower but must be done. | push | mAarnos |
travis-ci | pending completion | |
| 107 | performance-improvement | Simplified stuff, added more comments and tests Not exactly performance improvement, but whatever. | push | mAarnos |
travis-ci | pending completion |