7 Commits

Author SHA1 Message Date
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
f1e6212765 Clean up hashing 2017-06-17 00:14:18 -06:00
Karl Kroening
cd3d3715b8 Support python3 2017-06-13 19:37:14 -06:00
Karl Kroening
696e52a989 #1: split operators into modules 2017-05-27 15:43:22 -10:00