8 Commits

Author	SHA1	Message	Date
Karl Kroening	dcebe917a7	Update docs	2017-06-29 00:17:01 -06:00
Karl Kroening	637a2a5bc3	Add filter_ and filter_multi functions	2017-05-27 23:12:44 -10:00
Karl Kroening	8ff9f408c6	Rename file_{input,output} to {input,output}	2017-05-27 17:53:02 -10:00
Karl Kroening	2eaa3dc278	Add github link in api docs	2017-05-27 17:49:42 -10:00
Karl Kroening	1c4b26f26c	Switch to sphinx nature theme	2017-05-27 17:42:21 -10:00
Karl Kroening	8d142c5fa9	#1: update docs	2017-05-27 17:16:59 -10:00
Karl Kroening	696e52a989	#1: split operators into modules	2017-05-27 15:43:22 -10:00
Karl Kroening	efbfd9f233	#1: use sphinx for documentation	2017-05-27 14:44:53 -10:00