2022

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2022	master	Fixing slowdebug issue	push	19 Mar 2018 06:22AM UTC	msoos	travis-ci	pending completion set done
2021	master	Merge branch 'bugfix'	push	19 Mar 2018 04:28AM UTC	msoos	travis-ci	pending completion set done
2018	master	Aiming for turning on maple everywhere	push	18 Mar 2018 03:36PM UTC	msoos	travis-ci	pending completion set done
2015	master	Some more checking for solution files on preproc Related to #470	push	18 Mar 2018 04:35AM UTC	msoos	travis-ci	pending completion set done
2013	master	We can safely exit here, there is no greedy undef	push	16 Mar 2018 03:35AM UTC	msoos	travis-ci	pending completion set done
2012	master	Merge branch 'fixing bugs'	push	16 Mar 2018 03:11AM UTC	msoos	travis-ci	pending completion set done
2011	master	Fixing issue with ZLIB compilation	push	15 Mar 2018 10:30AM UTC	msoos	travis-ci	pending completion set done
2010	master	Always do xor-occ, it might find a matrix	push	15 Mar 2018 09:42AM UTC	msoos	travis-ci	pending completion set done
2009	master	Don't print spurious output	push	15 Mar 2018 08:44AM UTC	msoos	travis-ci	pending completion set done
2003	master	Fixing fuzzing for XOR and Gauss	push	13 Mar 2018 11:21AM UTC	msoos	travis-ci	pending completion set done
2002	master	Reordering the header and giving more structure	push	13 Mar 2018 08:45AM UTC	msoos	travis-ci	pending completion set done
2000	master	Make sure help2man is installed in Linux	push	11 Mar 2018 05:21PM UTC	msoos	travis-ci	pending completion set done
1999	master	Adding manpage for cryptominisat5_simple Related to issue #466	push	11 Mar 2018 04:16PM UTC	msoos	travis-ci	pending completion set done
1998	master	Add manpage Thanks to Julian Rüth and Axel Kemper Related to #466	push	11 Mar 2018 03:42PM UTC	msoos	travis-ci	pending completion set done
1997	master	Fixing maple variable branching	push	07 Mar 2018 01:32PM UTC	msoos	travis-ci	pending completion set done

← Previous
1
2
…
6
7
8
9
10
11
12
13
14
…
64
65
Next →