2132

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2132	master	Fixing travis file	push	22 May 2018 11:19AM UTC	msoos	travis-ci	pending completion set done
2095	scalmc	Allowing more precise breaking of burst	push	11 Apr 2018 02:12PM UTC	msoos	travis-ci	pending completion set done
2072	clauseID	Merge pull request #475 from ajohnson1/ajohnson1-readme-patch-1 Update readme	push	07 Apr 2018 05:17AM UTC	web-flow	travis-ci	pending completion set done
1278	master	Cleaning up code	push	02 Apr 2018 05:06PM UTC	msoos	travis-ci	pending completion set done
2056	master	Adding varelimover to fuzzer	push	02 Apr 2018 07:34AM UTC	msoos	travis-ci	pending completion set done
2054	master	Better description of varelimover	push	02 Apr 2018 07:12AM UTC	msoos	travis-ci	pending completion set done
2053	master	Fixing OSX build	push	02 Apr 2018 06:33AM UTC	msoos	travis-ci	pending completion set done
2052	master	Merge branch 'buggy-fix'	push	02 Apr 2018 05:09AM UTC	msoos	travis-ci	pending completion set done
2051	master	Fixing phases -- there were some relatively big issues...	push	02 Apr 2018 02:51AM UTC	msoos	travis-ci	pending completion set done
2050	scalmc	Ignore weights	push	01 Apr 2018 05:18AM UTC	msoos	travis-ci	pending completion set done
2049	scalmc	Allow breaking burst search	push	28 Mar 2018 11:33AM UTC	msoos	travis-ci	pending completion set done
2048	master	Better comment	push	28 Mar 2018 10:01AM UTC	msoos	travis-ci	pending completion set done
2047	master	Updating drat on windows	push	28 Mar 2018 04:09AM UTC	msoos	travis-ci	pending completion set done
2046	master	Fixing BVA	push	28 Mar 2018 03:32AM UTC	msoos	travis-ci	pending completion set done
2045	master	Merge branch 'fixes'	push	27 Mar 2018 08:01AM UTC	msoos	travis-ci	pending completion set done

← Previous
1
2
3
4
5
6
7
8
9
10
11
12
…
64
65
Next →