13 Commits

Author	SHA1	Message	Date
Karl Kroening	4fe531f472	#4: update travis config	2017-05-25 15:19:47 -10:00
Karl Kroening	c36a69f0e8	#4: update travis config	2017-05-25 15:15:00 -10:00
Karl Kroening	7db1c4fef1	#4: update travis config	2017-05-25 15:11:14 -10:00
Karl Kroening	9397923281	#4: update travis config	2017-05-25 15:08:06 -10:00
Karl Kroening	630b6e4f63	#4: update travis config	2017-05-25 15:06:51 -10:00
Karl Kroening	391f6dea15	#4: update travis config	2017-05-25 15:05:30 -10:00
Karl Kroening	2e81b518a9	#4: update travis config	2017-05-25 15:04:08 -10:00
Karl Kroening	e332857ab2	#4: update travis config	2017-05-25 15:02:48 -10:00
Karl Kroening	1542daeca1	#4: update travis config	2017-05-25 15:01:45 -10:00
Karl Kroening	9bc13409c2	#4: update travis config	2017-05-25 14:55:55 -10:00
Karl Kroening	816d50d577	#4: update travis config	2017-05-25 14:53:35 -10:00
Karl Kroening	1e056940ab	#4: update travis config	2017-05-25 14:52:39 -10:00
Karl Kroening	b5322dea1a	#4: add .travis.yml	2017-05-25 14:49:55 -10:00