martinjonas / Q3B
72%
master: 88%

LAST BUILD BRANCH: more-precise-abstract-ite
DEFAULT BRANCH: master
Repo Added
Files 577
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH necessary-bits
branch: necessary-bits
CHANGE BRANCH
x

Relevant lines Covered
2973 RELEVANT LINES 2143 COVERED LINES
19517.78 HITS PER LINE
Source Files on necessary-bits
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
122 necessary-bits Do not propagate bits from existentially quantified variable. Rationale: This may be incorrect in combination with variable approximations when the variable is quantified after a universally quantified variable. For example, in forall x, exists ... Pull #7 web-flow travis-ci pending completion  
114 necessary-bits Do not propagate bits from existentially quantified variable. Rationale: This may be incorrect in combination with variable approximations when the variable is quantified after a universally quantified variable. For example, in forall x, exists ... push Martin Jonáš travis-ci pending completion  
113 necessary-bits Get necessary bits also of variables quantified only once. push Martin Jonáš travis-ci pending completion  
112 necessary-bits Use CUDD to find essential variables. push Martin Jonáš travis-ci pending completion  
111 necessary-bits Fix: Use only for overapproximation. push Martin Jonáš travis-ci pending completion  
109 necessary-bits Use library bvlshr. push Martin Jonáš travis-ci pending completion  
110 necessary-bits Quick implementation of bit-propagation for over-approximation. push Martin Jonáš travis-ci pending completion  
See All Builds (157)