logic-ng / LogicNG
97%
master: 97%

LAST BUILD BRANCH: dimacsfilewriter_singleclausebug
DEFAULT BRANCH: master
Repo Added
Files 272
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 release1.2
branch: release1.2
CHANGE BRANCH
x

#213

push

wercker

zengler 
Added Maven Central Repository Deployment

11510 of 11927 relevant lines covered (96.5%)

0.97 hits per line

Relevant lines Covered
11927 RELEVANT LINES 11510 COVERED LINES
0.97 HITS PER LINE
Source Files on release1.2
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#213 release1.2 Added Maven Central Repository Deployment push zengler wercker pending completion  
#211 release1.2 Adjustements im POM push zengler wercker pending completion  
#210 release1.2 some minor bugfixing push zengler wercker pending completion  
#209 release1.2 some refactoring and unit testing for enhanced PBC restriction push zengler wercker pending completion  
#208 release1.2 Added tests for improved PBConstraint restriction. push MAMSiegmund wercker pending completion  
#206 release1.2 Improved returns when restricting PBConstraints. push MAMSiegmund wercker pending completion  
#205 release1.2 Finished pull request with comments and some performance improvements push zengler wercker pending completion  
#204 release1.2 Merge pull request #8 from d-bischoff/unmodifiableSortedSet unmodifiableSortedSet fix push web-flow wercker pending completion  
#202 release1.2 Added tests for ExtendedFormulaFactory. push MAMSiegmund wercker pending completion  
#201 release1.2 Adjusted Copyright Header push zengler wercker pending completion  
See All Builds (469)