logic-ng / LogicNG / #148

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#148	68ee71182168e160e306048d3fe53a9cb0271515	Further improved method test coverage.	push	24 Aug 2016 01:28PM UTC	MAMSiegmund		pending completion   set done
#147	3814d831a74c0fe2588d86effcd6a1936d5629a1	Deleted unused methods. Increased test method coverage.	push	23 Aug 2016 02:30PM UTC	MAMSiegmund		pending completion   set done
#146	be9a0bb2abc32173a19431d974cebff1258166a1	small code improvements	push	19 Aug 2016 05:53PM UTC	czengler		pending completion   set done
#145	40dab847e396c821d82a59197678d416efc7e601	Added method currentRHS to CCIncremental. Added unit tests for several untested methods.	push	17 Aug 2016 07:14PM UTC	MAMSiegmund		pending completion   set done
#144	38bcf247b73c5caae0b9a3bc16c325fa5ce409d1	updated versions in POM	push	15 Aug 2016 11:34AM UTC	czengler		pending completion   set done
#143	8b62ddd2a47c655afe753f3a5bea16cd25b73548	fixed a bug in the CNF and DNF factorizations with handlers	push	15 Aug 2016 11:18AM UTC	czengler		pending completion   set done
#142	a92cdecdfaa9b8c2f92750b5285e11d138e70cca	Merge branch 'improveTestCoverage' into release_1.1	push	15 Aug 2016 10:51AM UTC	czengler		pending completion   set done
#141	b48c46e632be815c7c0b7ad66acaf350b4f2aad2	Fixed class name to allow maven testing.	push	12 Aug 2016 08:17PM UTC	MAMSiegmund		pending completion   set done
#140	5a7585f9238ae9952eeffe560e3700b46825a568	Even more tests.	push	12 Aug 2016 07:54PM UTC	MAMSiegmund		pending completion   set done
#139	07645c52dc4e2ebd0c5a831e2b50712af647f708	added fix also to DNFFactorization	push	12 Aug 2016 02:25PM UTC	SHildebrandt		pending completion   set done
#138	3870b4fe8c7902d0a9f7daf4eb12e62a7f1bab0b	fix for issue #4	push	12 Aug 2016 01:51PM UTC	SHildebrandt		pending completion   set done
#137	4827cb8276a09169edced8195b2abd9095fdc8eb	Further improvements to test coverage.	push	11 Aug 2016 02:09AM UTC	MAMSiegmund		pending completion   set done
#136	fd5e8edbf469f7852f35b0eb797aa5615ad91b00	Fixed bugs. Improved Documentation. Improved test coverage.	push	09 Aug 2016 11:53AM UTC	MAMSiegmund		pending completion   set done
#135	72fcf2c29527b5c3c44d5fc3304b7cac3c8a37b6	fixed a bug in the CC encoding	push	08 Aug 2016 12:37PM UTC	czengler		pending completion   set done
#134	1dc8aed65fce44dd4fe70face5c553feed4790f9	More test coverage.	push	08 Aug 2016 01:24AM UTC	MAMSiegmund		pending completion   set done

• ← Previous
• 1
• 2
• …
• 20
• 21
• 22
• 23
• 24
• 25
• 26
• 27
• 28
• …
• 31
• 32
• Next →