7 Commits

Author	SHA1	Message	Date
Davide Depau	086613bb09	convert assertions to if+raise	2017-06-30 15:54:09 +02:00
Davide Depau	31f19e184e	add docstring to merge_output	2017-06-16 15:13:52 +02:00
Karl Kroening	03f99dbba0	Support input/output parameters	2017-06-14 02:07:23 -06:00
Karl Kroening	cd3d3715b8	Support python3	2017-06-13 19:37:14 -06:00
Karl Kroening	8ff9f408c6	Rename file_{input,output} to {input,output}	2017-05-27 17:53:02 -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