1965

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1965	master	Adding missing Debian build files Related to issue #456	push	18 Feb 2018 11:09PM UTC	msoos	travis-ci	pending completion set done
1964	master	Initial try at going back to python2&3 for pycryptominisat	push	18 Feb 2018 10:47PM UTC	msoos	travis-ci	pending completion set done
1963	master	Updating the build scripts	push	18 Feb 2018 10:17PM UTC	msoos	travis-ci	pending completion set done
1962	master	Merge pull request #458 from saraedum/patch-1 Clarify performance impact of detailed statistics	push	18 Feb 2018 09:29PM UTC	web-flow	travis-ci	pending completion set done
1961	master	Importing fixes from conda Closes #457	push	18 Feb 2018 08:47PM UTC	msoos	travis-ci	pending completion set done
1959	master	Fixing growing variables	push	17 Feb 2018 07:02PM UTC	msoos	travis-ci	pending completion set done
1958	master	Cleaner README example	push	13 Feb 2018 01:15AM UTC	msoos	travis-ci	pending completion set done
1957	master	Nicer output for XOR->CNF translation, adding README	push	13 Feb 2018 12:37AM UTC	msoos	travis-ci	pending completion set done
1956	master	Fixing issue with printing unit clauses to simplified CNF	push	13 Feb 2018 12:02AM UTC	msoos	travis-ci	pending completion set done
1955	master	Better handling of perprocess requirement	push	12 Feb 2018 11:00PM UTC	msoos	travis-ci	pending completion set done
1954	master	Adding test for new getter functions	push	12 Feb 2018 01:01AM UTC	msoos	travis-ci	pending completion set done
1953	master	Adding satcomp17 files	push	11 Feb 2018 08:06PM UTC	msoos	travis-ci	pending completion set done
1952	master	Fixing permission on script	push	11 Feb 2018 07:31PM UTC	msoos	travis-ci	pending completion set done
1951	master	Updating security_group name to security_group_client	push	11 Feb 2018 06:55PM UTC	msoos	travis-ci	pending completion set done
1950	master	No need to define folder	push	11 Feb 2018 06:20PM UTC	msoos	travis-ci	pending completion set done

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