62 Commits

Author	SHA1	Message	Date
Karl Kroening	a30db324d3	Update README.md	2017-11-03 23:42:16 -07:00
Karl Kroening	f1607d31f7	Update README.md	2017-11-03 23:41:01 -07:00
Karl Kroening	e212c354f1	Update README.md	2017-11-03 23:37:53 -07:00
Karl Kroening	930ebfc158	Update README.md	2017-11-03 23:24:38 -07:00
Karl Kroening	e8daf8e61a	Update README.md	2017-11-03 23:11:03 -07:00
Karl Kroening	becc50672d	Update README.md	2017-11-03 23:08:01 -07:00
Karl Kroening	13cee5ee30	Update README.md	2017-11-03 23:07:09 -07:00
Karl Kroening	c3a9e84eef	Update README.md	2017-11-03 23:06:26 -07:00
Karl Kroening	38079c3d04	Update README.md	2017-11-03 23:06:16 -07:00
Karl Kroening	f729fbaec7	Update README.md	2017-11-03 23:05:23 -07:00
Karl Kroening	e04d5e4e9d	Update README.md	2017-11-03 22:41:55 -07:00
Karl Kroening	8a93026773	Update README.md	2017-11-03 21:12:29 -07:00
Karl Kroening	84849ea814	Update README.md	2017-11-03 21:12:11 -07:00
Karl Kroening	241ede2271	#18: add initial graph.py	2017-07-05 04:23:35 -06:00
Karl Kroening	eb9e8270cd	Improve fluent style	2017-06-03 20:08:43 -07:00
Karl Kroening	a1c4c9b04d	Update readme	2017-05-28 00:18:04 -10:00
Karl Kroening	0224e2d6ba	Update readme	2017-05-27 23:45:30 -10:00
Karl Kroening	f73acee856	Update readme	2017-05-27 23:39:48 -10:00
Karl Kroening	2d2d3d7f95	Update readme	2017-05-27 23:30:04 -10:00
Karl Kroening	2fbb5e4e0c	Update readme	2017-05-27 23:27:20 -10:00
Karl Kroening	4b54df2b57	Update readme	2017-05-27 23:25:57 -10:00
Karl Kroening	e0958792c3	Update readme	2017-05-27 23:25:10 -10:00
Karl Kroening	0d75357ceb	Update readme	2017-05-27 23:24:16 -10:00
Karl Kroening	aa602a372f	Update readme	2017-05-27 23:23:03 -10:00
Karl Kroening	3e7363d6a8	Update readme	2017-05-27 23:19:52 -10:00
Karl Kroening	9a10572b32	Update readme	2017-05-27 23:19:02 -10:00
Karl Kroening	887f386d26	Update readme	2017-05-27 23:18:25 -10:00
Karl Kroening	28d0097151	Update readme	2017-05-27 23:18:14 -10:00
Karl Kroening	66abb65471	Update readme	2017-05-27 23:16:56 -10:00
Karl Kroening	e14e9e5a35	Update readme	2017-05-27 23:09:50 -10:00
Karl Kroening	330fe09fea	Update readme	2017-05-27 22:43:49 -10:00
Karl Kroening	f32ec43b61	Update readme; bump version; ignore errors in git rev-parse	2017-05-27 22:42:42 -10:00
Karl Kroening	74e2fcb6d2	Remove setpts stuff from readme example	2017-05-27 17:53:33 -10:00
Karl Kroening	8ff9f408c6	Rename file_{input,output} to {input,output}	2017-05-27 17:53:02 -10:00
Karl Kroening	8abe60fdee	#1: update readme	2017-05-27 16:07:41 -10:00
Karl Kroening	4b0b01da68	#1: update readme	2017-05-27 16:07:24 -10:00
Karl Kroening	98a2025096	#1: update readme link	2017-05-27 16:06:46 -10:00
Karl Kroening	56102041aa	Revert "#4: update readme to use -vf" ... This reverts commit d7af3e9f5273012282e5e329d345a18d0e8ba8fe.	2017-05-25 15:45:13 -10:00
Karl Kroening	d7af3e9f52	#4: update readme to use -vf	2017-05-25 15:42:06 -10:00
Karl Kroening	840f96b547	#4: add build status indicator to readme	2017-05-25 14:59:11 -10:00
Karl Kroening	f49745144a	#4: test CI	2017-05-25 14:51:16 -10:00
Karl Kroening	9a64b5ce9b	Update readme	2017-05-14 00:35:50 -10:00
Karl Kroening	e947774eab	Update readme	2017-05-14 00:35:30 -10:00
Karl Kroening	0da810cd61	Update readme	2017-05-14 00:34:53 -10:00
Karl Kroening	264fd8a292	Update readme	2017-05-14 00:34:01 -10:00
Karl Kroening	321ed9515d	Update readme	2017-05-14 00:28:56 -10:00
Karl Kroening	0c4039fd0b	Update readme	2017-05-14 00:27:56 -10:00
Karl Kroening	5af7b64da3	Update readme	2017-05-14 00:25:29 -10:00
Karl Kroening	da29289328	Update readme	2017-05-14 00:25:06 -10:00
Karl Kroening	806c7e49e8	Update readme	2017-05-14 00:24:24 -10:00