6 Commits

Author	SHA1	Message	Date
Karl Kroening	ac57e2df13	Add input/output support in run command; update docs	2018-05-20 01:13:07 -07:00
Karl Kroening	86eccbb08b	Freeze requirements	2017-11-02 17:06:28 -07:00
Karl Kroening	6960751de0	Make setup.py test work	2017-06-13 23:29:52 -06:00
Karl Kroening	d0e226e263	Add tox support	2017-06-13 23:18:19 -06:00
Karl Kroening	efbfd9f233	#1: use sphinx for documentation	2017-05-27 14:44:53 -10:00
Karl Kroening	ae89e7b095	Initial commit	2017-05-13 18:27:06 -10:00