logic-ng / LogicNG / #163

Builds Branch Commit Type Ran Committer Via Coverage
#163 development test new version of maven-coveralls-plugin (adjusted to work with Wercker) push SHildebrandt pending completion   set done
#162 7c18c8dabd65678ff8e08ffaae162522659f62b2 Merge branch 'master' into bdd push czengler pending completion   set done
#161 7279d6d67138e05a861f70a491788c1e8cc9aec4 Merge branch 'master' into development push czengler pending completion   set done
#160 48dcdf1d5c5152d310e152b962ae96c0212f5052 Merge branch 'master' into release_1.2 push czengler pending completion   set done
#159 eee6097dd28c42a2e1295a10378b50118c035e53 Changed a test to also work on Windows machines. push MAMSiegmund pending completion   set done
#158 912d4a5f4b2c0001384d0bfdd2fb67147e33152c added javadoc and source generation for jars push d-bischoff pending completion   set done
#157 fc2ad97245eed0a161770b8f1731c80c54e9ff6f store the BDD factory in the BDD push czengler pending completion   set done
#156 837d8031644b63244806ee4a7efd617fc6ef8672 Use variables instead of literals in the BDD code push czengler pending completion   set done
#155 0ea5bfaf8095944d052c8c35f7838757dbb781a1 initial BDD code push czengler pending completion   set done
#154 b7a0446567e42e50399d93a4e558abe177530614 Adjusted version to 1.2 push czengler pending completion   set done
#153 faefb16bde06879f9e50b266794588c7dacc047d Adjusted version to 1.2 push czengler pending completion   set done
#152 ca506d190d9f030be7e904f34c97a2c43ba8173b Merge branch 'release_1.1' push czengler pending completion   set done
#151 ca506d190d9f030be7e904f34c97a2c43ba8173b Merge branch 'release_1.1' push czengler pending completion   set done
#150 277c26b65ae8b17e12184d965d35657a57ac84f0 some more code refactorings push czengler pending completion   set done
#149 40fd64318f314ce18919e9a933cf22552405f299 Merge remote-tracking branch 'origin/testCoverage' into release_1.1 push czengler pending completion   set done