8 Commits

Author	SHA1	Message	Date
Arne de Laat	50c4a8985d	Cleanup graph source file after rendering graph to pdf	2018-01-16 22:10:41 +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