logic-ng / LogicNG / 5c89986423fcb70008cfab97

Builds Branch Commit Type Ran Committer Via Coverage
5c89986423fcb70008cfab97 development removed superfluous test class push Christoph Zengler wercker pending completion   set done
5c87abb7ab79a30008cf995e feature/formula-formatter-refactoring Small refactoring and unittests for FormulaComparator Signed-off-by: Eva Mayer <eva.mayer@booleworks.com> push Eva Mayer wercker pending completion   set done
5c87a96dc9e72500080b70a5 feature/formula-formatter-refactoring Small refactoring and unittests for FormulaComparator Signed-off-by: Eva Mayer <eva.mayer@booleworks.com> push Eva Mayer wercker pending completion   set done
5c87934dc9e72500080b6743 development adjusted copyright header push Christoph Zengler wercker pending completion   set done
5c87883ac9e72500080b61ef development Merge branch 'feature/subsumption' into development push Christoph Zengler wercker pending completion   set done
5c878823ab79a30008cf8831 feature/subsumption Merge branch 'development' into feature/subsumption push Christoph Zengler wercker pending completion   set done
5c878819c9e72500080b61db feature/subsumption License Headers push Christoph Zengler wercker pending completion   set done
5c869348ab79a30008cf2ba7 development Merge branch 'development' into refactoring push Rouven Walter wercker pending completion   set done
5c869314ab79a30008cf2b5e refactoring Merge branch 'development' into refactoring push Rouven Walter wercker pending completion   set done
5c86920ec9e72500080b0ae8 development added Javadoc and license headers push Christoph Zengler wercker pending completion   set done
5c869040ab79a30008cf2a49 development deprecate CleaneLing push Christoph Zengler wercker pending completion   set done
5c8691d223fcb70008ce81b2 feature/subsumption Add DNFSubsumption unittests and fix small bug Signed-off-by: Eva Mayer <eva.mayer@booleworks.com> push Eva Mayer wercker pending completion   set done
5c8684baab79a30008cf242b feature/subsumption large CNF for subsumption test push Christoph Zengler wercker pending completion   set done
5c86805dc9e72500080b0242 development Caches in formula are non sorted anymore push Christoph Zengler wercker pending completion   set done
5c867d36ab79a30008cf2104 feature/subsumption Add CNFSubsumption unittests Signed-off-by: Eva Mayer <eva.mayer@booleworks.com> push Eva Mayer wercker pending completion   set done