logic-ng / LogicNG / 5cdd0bb723fcb70008e1129f

Builds Branch Commit Type Ran Committer Via Coverage
5cdd0bb723fcb70008e1129f release/2.0 adjusted codestyle file to 4-space indent push Rouven Walter wercker pending completion   set done
5cd43734ab79a30008ef8fa4 feature/j8-refactoring J8 refactoring bdd package push Christoph Zengler wercker pending completion   set done
5cd43742ab79a30008ef8fab feature/j8-refactoring J8 refactoring formula helper push Christoph Zengler wercker pending completion   set done
5cd4345c23fcb70008dee6fc feature/j8-refactoring J8 Refactoring backbone package push Christoph Zengler wercker pending completion   set done
5cd2933eab79a30008ee88a1 release/2.0 Removed CleaneLing push Christoph Zengler wercker pending completion   set done
5cd28b3dab79a30008ee81f1 release/2.0 Updated version to 2.0 and Java to 8 push Christoph Zengler wercker pending completion   set done
5cd2884523fcb70008de471f release/2.0 Adjusted version in POM an files push Christoph Zengler wercker pending completion   set done
5cd2865d23fcb70008de465a master Adjusted version in POM an files push Christoph Zengler wercker pending completion   set done
5cd2842dab79a30008ee7b97 development Adjusted version in POM an files push Christoph Zengler wercker pending completion   set done
5cd150b9ab79a30008edd3e0 development Adjusted version push Christoph Zengler wercker pending completion   set done
5cd1500e23fcb70008dde135 development Fixed a bug for a special case in the PB encoding push Christoph Zengler wercker pending completion   set done
5cd14fb0ab79a30008edd305 development Fixed an unspecified behaviour in the SAT predicate push Christoph Zengler wercker pending completion   set done
5ccb6f22ab79a30008ec3b94 refactoring SATSolver: minor api improvement push Rouven Walter wercker pending completion   set done
5cc3a7c5ab79a30008ea1bc2 refactoring added falsifiability predicate push Rouven Walter wercker pending completion   set done
5cc23bfdab79a30008e96def refactoring Merge branch 'development' into refactoring push Rouven Walter wercker pending completion   set done