SRI-CSL / sally
37%
master: 36%

LAST BUILD BRANCH: nra
DEFAULT BRANCH: master
Repo Added
Files 1902
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 nra
branch: nra
CHANGE BRANCH
x

696

Pull #68

travis-ci

web-flow 
Merge 7a0041d87 into 9a8ec54ba
Pull Request #68: Extensions to use SMT modulo models and interpolation from latest Yices2

377 of 377 new or added lines in 21 files covered. (100.0%)

6366 of 17175 relevant lines covered (37.07%)

17565.63 hits per line

Relevant lines Covered
17175 RELEVANT LINES 6366 COVERED LINES
17565.63 HITS PER LINE
Source Files on nra

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
696 nra Merge 7a0041d87 into 9a8ec54ba Pull #68 web-flow travis-ci pending completion  
695 nra fix build push dddejan travis-ci pending completion  
694 nra fixes for building of CEX in the presence of algebraic numbers. now relying on SMT modulo models to do stepwise CEX extraction. push dddejan travis-ci pending completion  
691 nra - remove dreal failing tests - fix caucy schwartz so it doesn't mess with cmake - remove bernoulli - better use of interpolation API from yices (need to set option) push dddejan travis-ci pending completion  
688 nra additional statistics push dddejan travis-ci pending completion  
682 nra utility to do generalization push dddejan travis-ci pending completion  
679 nra ... push dddejan travis-ci pending completion  
676 nra more consistent push dddejan travis-ci pending completion  
674 nra fix build push dddejan travis-ci pending completion  
671 nra progress on algebraic numbers push dddejan travis-ci pending completion  
See All Builds (587)