160 Commits

Author	SHA1	Message	Date
Karl Kroening	c6e2f05e5b	#17: add short_repr for input and output nodes	2017-07-06 03:42:03 -06:00
Karl Kroening	a8b1cb63f2	#18: use short_repr in view	2017-07-06 03:41:42 -06:00
Karl Kroening	0b1259238f	#18: re-add __init__.py changes	2017-07-06 03:40:56 -06:00
Karl Kroening	8a761f055d	#18: have view operator return stream_spec	2017-07-06 03:35:50 -06:00
Karl Kroening	0d63a9e801	Merge branch 'feature/17' into feature/18	2017-07-06 03:35:29 -06:00
Karl Kroening	8337d34b82	#17: add proper handling of split operator	2017-07-06 03:35:20 -06:00
Karl Kroening	662c56eb5b	#17: fix python 3 support	2017-07-06 02:50:22 -06:00
Karl Kroening	b548092d48	#17: fix __init__ changes	2017-07-06 02:49:05 -06:00
Karl Kroening	2d512994ff	#18: use better arrow	2017-07-06 02:41:57 -06:00
Karl Kroening	39466beb62	Merge branch 'feature/17' into feature/18	2017-07-06 02:37:40 -06:00
Karl Kroening	b7fc331722	Add split operator	2017-07-06 02:32:45 -06:00
Karl Kroening	543cd1b4e3	#18: improve edge labelling	2017-07-06 02:32:30 -06:00
Karl Kroening	1955547202	#18: fix to use latest #17 changes	2017-07-06 02:24:40 -06:00
Karl Kroening	656d9fa7f7	Merge branch 'feature/17' into feature/18	2017-07-06 02:23:55 -06:00
Karl Kroening	6887ad8bac	Massive refactor to break nodes into streams+nodes	2017-07-06 02:23:13 -06:00
Karl Kroening	37c2094a9c	Rename graph.py to _view.py; handle graphviz import errors; use tempfile	2017-07-05 22:30:00 -06:00
Karl Kroening	7613f746d2	Merge branch 'feature/17' into feature/18	2017-07-05 04:52:55 -06:00
Karl Kroening	aa5156d9c9	#17: allow multiple outgoing edges with same label	2017-07-05 04:52:45 -06:00
Karl Kroening	241ede2271	#18: add initial graph.py	2017-07-05 04:23:35 -06:00
Karl Kroening	11a24d0432	#17: fix get_outgoing_edges	2017-07-05 04:23:05 -06:00
Karl Kroening	fc07f6c4fa	#17: remove Node._parents	2017-07-05 04:07:30 -06:00
Karl Kroening	7236984626	#17: don't rely on in	2017-07-05 03:31:29 -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
Karl Kroening	fc946be164	Pull in _NodeBase from actorgraph; include short-hash in repr	2017-07-04 17:45:20 -06:00
Davide Depau	086613bb09	convert assertions to if+raise	2017-06-30 15:54:09 +02:00
Karl Kroening	d4b8900646	Merge pull request #16 from kkroening/cleanup-hashing ... Cleanup hashing	2017-06-17 01:19:04 -06:00
Karl Kroening	f1e6212765	Clean up hashing	2017-06-17 00:14:18 -06:00
Davide Depau	31f19e184e	add docstring to merge_output	2017-06-16 15:13:52 +02:00
Karl Kroening	525b1bf452	Make input/output cmd-line args deterministically sorted	2017-06-14 02:25:58 -06:00
Karl Kroening	f4025b464f	Add comment in test	2017-06-14 02:14:57 -06:00
Karl Kroening	7824092ccc	Add whitespace	2017-06-14 02:12:52 -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	eb9e8270cd	Improve fluent style	2017-06-03 20:08:43 -07:00
Karl Kroening	637a2a5bc3	Add filter_ and filter_multi functions	2017-05-27 23:12:44 -10:00
Karl Kroening	f32ec43b61	Update readme; bump version; ignore errors in git rev-parse	2017-05-27 22:42:42 -10: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
Davide Depau	c0d37f30ea	allow arguments to be manually passed to ffmpeg/run wrappers	2017-05-26 17:32:30 +02:00
Karl Kroening	4ada40b14c	#1: refactor implementation to be simpler and more extensible	2017-05-25 19:13:17 -10:00
Karl Kroening	dddf62869d	Merge pull request #5 from kkroening/feature-4 ... Feature 4: integrate travis CI	2017-05-25 17:00:19 -10:00
Karl Kroening	9929c1618d	#4: comment out test_version	2017-05-25 16:53:50 -10:00
Karl Kroening	dae788b04e	Merge pull request #2 from Depaulicious/patch-1 ... Add more filters, options, make code more extendable	2017-05-25 16:50:47 -10:00
Karl Kroening	f05f2d9498	#4: add failing test	2017-05-25 15:46:26 -10:00