18 Commits

Author	SHA1	Message	Date
Karl Kroening	cf1b7bfd4b	#17: auto-generate split output count	2017-07-10 23:38:30 -06:00
Karl Kroening	5d78a2595d	#17: fix merge_outputs; allow stream_spec in get_args+run	2017-07-09 15:50:51 -06:00
Karl Kroening	8337d34b82	#17: add proper handling of split operator	2017-07-06 03:35:20 -06:00
Karl Kroening	6887ad8bac	Massive refactor to break nodes into streams+nodes	2017-07-06 02:23:13 -06:00
Karl Kroening	fc07f6c4fa	#17: remove Node._parents	2017-07-05 04:07:30 -06:00
Karl Kroening	677967b4c2	Merge remote-tracking branch 'origin/master' into feature/17 ... Conflicts: ffmpeg/_run.py ffmpeg/nodes.py	2017-07-05 03:19:43 -06:00
Karl Kroening	6a9a12e718	#17: move graph stuff to dag.py; add edge labelling	2017-07-05 03:13:30 -06:00
Davide Depau	086613bb09	convert assertions to if+raise	2017-06-30 15:54:09 +02: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