1949

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1949	master	Adding Maple_LCM_Dist as an option	push	11 Feb 2018 05:46PM UTC	msoos	travis-ci	pending completion set done
1948	master	Check that max confl limit is reset after solve()	push	10 Feb 2018 03:20PM UTC	msoos	travis-ci	pending completion set done
1947	master	Fixing bug in CompHandler's new_vars()	push	08 Feb 2018 09:55PM UTC	msoos	travis-ci	pending completion set done
1945	master	Add option not to predict	push	02 Feb 2018 07:09PM UTC	msoos	travis-ci	pending completion set done
1944	master	Re-enabling prediction generation	push	01 Feb 2018 04:46PM UTC	msoos	travis-ci	pending completion set done
1943	master	Cleanup of SQL queries	push	01 Feb 2018 04:14PM UTC	msoos	travis-ci	pending completion set done
1942	master	Print default of option	push	27 Jan 2018 06:22PM UTC	msoos	travis-ci	pending completion set done
1941	master	Adding a bit more description into README on Gauss	push	27 Jan 2018 12:16PM UTC	web-flow	travis-ci	pending completion set done
1940	master	Fixing "git" requirement in README	push	14 Jan 2018 12:47AM UTC	msoos	travis-ci	pending completion set done
1939	master	This does not work with python2	push	13 Jan 2018 04:56PM UTC	msoos	travis-ci	pending completion set done
1938	master	Ooops, incorrect order of parameters to client	push	13 Jan 2018 04:09PM UTC	msoos	travis-ci	pending completion set done
1937	master	Fixing python code for client.py	push	13 Jan 2018 03:29PM UTC	msoos	travis-ci	pending completion set done
1936	master	Using a python setup that consumes a lot less memory	push	13 Jan 2018 02:47PM UTC	msoos	travis-ci	pending completion set done
1935	master	Also store the topmost 2 variables' activities	push	13 Jan 2018 01:42PM UTC	msoos	travis-ci	pending completion set done
1934	master	Moving to newer cnf-utils	push	10 Jan 2018 11:02PM UTC	msoos	travis-ci	pending completion set done

← Previous
1
2
…
10
11
12
13
14
15
16
17
18
…
64
65
Next →