logic-ng / LogicNG / 5f1a0c5bdac5630008b530c6

Builds Branch Commit Type Ran Committer Via Coverage
5f1a0c5bdac5630008b530c6 v2.0 refactoring VariableOrderingProvider by using supplier interface push Rouven Walter wercker pending completion   set done
5f19fec6dac5630008b52e59 v2.0 refactoring; added more unit tests push Rouven Walter wercker pending completion   set done
5f19ece5dac5630008b527d9 v2.0 minor refactoring; more tests push Rouven Walter wercker pending completion   set done
5f19dfbcdac5630008b52258 v2.0 minor refactoring; more unit tests for test coverage push Rouven Walter wercker pending completion   set done
5f19d0d4dac5630008b51e75 v2.0 refactoring; more unit tests for test coverage push Rouven Walter wercker pending completion   set done
5f19a3efdac5630008b50c81 v2.0 minor typos push Rouven Walter wercker pending completion   set done
5f19a316dac5630008b50bd3 v2.0 LNGVector: removed buggy and unused method toArray push Rouven Walter wercker pending completion   set done
5f19a296dac5630008b50bb3 v2.0 separated default cases in switch statements push Rouven Walter wercker pending completion   set done
5f19a1d4dac5630008b50b6b v2.0 new Changelog file and adjusted Readme push Christoph Zengler wercker pending completion   set done
5f198becdac5630008b5035c v2.0 more unit tests for better code coverage push Rouven Walter wercker pending completion   set done
5f1984c2dac5630008b4ffe9 v2.0 added more unit tests for extended formula factory push Rouven Walter wercker pending completion   set done
5f197b62dac5630008b4fc27 v2.0 minor adjustements to the DNNF data structure push Christoph Zengler wercker pending completion   set done
5f19535adac5630008b4edb5 v2.0 more unit tests push Christoph Zengler wercker pending completion   set done
5f194d4fdac5630008b4ea99 v2.0 removed dead code from DNNF data structures push Christoph Zengler wercker pending completion   set done
5f194298dac5630008b4e630 v2.0 tests for LogicNG version push Christoph Zengler wercker pending completion   set done