11 Commits

Author	SHA1	Message	Date
Karl Kroening	6a9a12e718	#17: move graph stuff to dag.py; add edge labelling	2017-07-05 03:13:30 -06:00
Karl Kroening	525b1bf452	Make input/output cmd-line args deterministically sorted	2017-06-14 02:25:58 -06: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	cfe2995bac	#1: add tests for ffmpeg.run with cmd list	2017-05-27 17:31:17 -10:00
Karl Kroening	a51cfe7f1c	Merge remote-tracking branch 'origin/feature-1' into feature-1	2017-05-27 17:26:45 -10:00
Karl Kroening	98d77a5261	#1: make linter happy	2017-05-27 17:26:34 -10:00
Karl Kroening	0647c68aff	Merge remote-tracking branch 'origin/feature-1' into HEAD ... Conflicts: ffmpeg/__init__.py	2017-05-27 17:22:14 -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