History log of /seL4-l4v-10.1.1/graph-refine/graph-to-graph/call_graph_utils.py
Revision Date Author Comments
# 0a6613a6 21-Sep-2016 Felix Kam <felix.kam@nicta.com.au>

Make call_graph_utils do more
# 73854f90 11-Aug-2016 Felix Kam <felix.kam@nicta.com.au>

Changes in graph-to-graph to accomodate dummy functions
# ef03e25b 12-Jul-2016 Felix Kam <felix.kam@nicta.com.au>

Bugfixes
# 827dc5f7 13-Apr-2016 Felix Kam <felix.kam@nicta.com.au>

Adding graph-to-graph