Udopia / candy-kingdom / 717

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
717	develop	gbd-hash implementation in c++	push	30 Aug 2020 11:21AM UTC	Udopia	travis-ci	78.89
716	develop	merge	push	06 Aug 2020 06:24PM UTC	Udopia	travis-ci	82.88
714	develop	merge	push	12 Jul 2020 05:59PM UTC	Udopia	travis-ci	82.9
713	master	fix-merge	push	12 Jul 2020 05:55PM UTC	Udopia	travis-ci	82.9
712	develop	fix	push	12 Jul 2020 05:52PM UTC	Udopia	travis-ci	82.9
710	master	revisited variable elimination, increase stability in incremental mode	push	02 May 2020 03:29PM UTC	Udopia	travis-ci	82.9
709	develop	revisited variable elimination, increase stability in incremental mode	push	02 May 2020 03:26PM UTC	Udopia	travis-ci	82.9
708	develop	new test for incremental mode	push	02 May 2020 11:24AM UTC	Udopia	travis-ci	76.91
707	master	removed example	push	30 Apr 2020 12:03PM UTC	Udopia	travis-ci	76.96
706	develop	removed example	push	30 Apr 2020 12:00PM UTC	Udopia	travis-ci	76.96
705	master	comment log-meassages	push	30 Apr 2020 08:26AM UTC	Udopia	travis-ci	83.8
704	develop	comment log-meassages	push	30 Apr 2020 08:22AM UTC	Udopia	travis-ci	83.8
703	master	include drat-proof checker in integration-tests	push	26 Apr 2020 04:50PM UTC	Udopia	travis-ci	83.83
702	develop	include drat-proof checker in integration-tests	push	26 Apr 2020 04:46PM UTC	Udopia	travis-ci	83.83
701	master	removed dependency on drat-trim	push	24 Apr 2020 03:18PM UTC	Udopia	travis-ci	83.16