SRI-CSL / bixie / 20

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
20	devel	added new options to runner	push	09 Nov 2015 12:57AM UTC	martinschaef	travis-ci	pending completion set done
18	devel	Merge branch 'new_ast' into devel	push	08 Nov 2015 02:40AM UTC	martinschaef	travis-ci	pending completion set done
17	master	One more small formatting fix	Pull #4	03 Nov 2015 07:48PM UTC	martinschaef	travis-ci	pending completion set done
16	devel	One more small formatting fix	push	03 Nov 2015 07:46PM UTC	tim-mccarthy	travis-ci	pending completion set done
15	devel	Updated grammar and formatting in README.	push	03 Nov 2015 07:42PM UTC	tim-mccarthy	travis-ci	pending completion set done
14	devel	improved console output	push	03 Nov 2015 06:01AM UTC	martinschaef	travis-ci	pending completion set done
13	devel	Fixed formatting in README	push	03 Nov 2015 12:23AM UTC	tim-mccarthy	travis-ci	pending completion set done
12	devel	Added runner tool, updated README	push	03 Nov 2015 12:21AM UTC	tim-mccarthy	travis-ci	pending completion set done
11	0.1	Merge pull request #3 from SRI-CSL/devel Devel	push	03 Nov 2015 12:10AM UTC	martinschaef	travis-ci	pending completion set done
10	master	Merge pull request #3 from SRI-CSL/devel Devel	push	03 Nov 2015 12:04AM UTC	martinschaef	travis-ci	pending completion set done
9	master	improved printing, updated readme	Pull #3	02 Nov 2015 11:58PM UTC	martinschaef	travis-ci	pending completion set done
8	devel	improved printing, updated readme	push	02 Nov 2015 11:57PM UTC	martinschaef	travis-ci	pending completion set done
7	devel	updated boogieamp	push	02 Nov 2015 11:18PM UTC	martinschaef	travis-ci	pending completion set done
6	devel	fixing the build system	push	02 Nov 2015 11:01PM UTC	martinschaef	travis-ci	pending completion set done
5	devel	updated travis file	push	02 Nov 2015 10:11PM UTC	martinschaef	travis-ci	pending completion set done