14 Commits

Author	SHA1	Message	Date
Karl Kroening	fd1da13f11	Re-apply Black formatting, and wrap docstrings at ~88 columns. (#639)	2022-03-06 13:24:40 -08:00
Karl Kroening	8ea0f4ca4b	Use Black formatter	2019-06-03 04:03:37 -05:00
Karl Kroening	4f97d1d679	Add pipe param to view	2018-06-27 23:35:54 -07:00
Karl Kroening	809ab6cd17	Merge remote-tracking branch 'origin/master' into stream_selectors	2018-03-10 19:01:57 -08:00
Arne de Laat	50c4a8985d	Cleanup graph source file after rendering graph to pdf	2018-01-16 22:10:41 +01:00
Davide Depau	783bdbdb37	Remove unused imports	2018-01-09 15:47:09 +01:00
Davide Depau	3f671218a6	Take into account upstream selectors in topological sort, get_args() and view()	2018-01-09 15:47:08 +01:00
Karl Kroening	2d6b0d4730	#18: use get_stream_spec_nodes in view	2017-07-09 16:00:41 -06:00
Karl Kroening	a8b1cb63f2	#18: use short_repr in view	2017-07-06 03:41:42 -06:00
Karl Kroening	8a761f055d	#18: have view operator return stream_spec	2017-07-06 03:35:50 -06:00
Karl Kroening	2d512994ff	#18: use better arrow	2017-07-06 02:41:57 -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	37c2094a9c	Rename graph.py to _view.py; handle graphviz import errors; use tempfile	2017-07-05 22:30:00 -06:00