History log of /seL4-l4v-10.1.1/graph-refine/graph-to-graph/bench.py
Revision Date Author Comments
# 73854f90 11-Aug-2016 Felix Kam <felix.kam@nicta.com.au>

Changes in graph-to-graph to accomodate dummy functions


# 69d3b448 15-Jul-2016 Felix Kam <felix.kam@nicta.com.au>

skip fastpath functions for now


# ef03e25b 12-Jul-2016 Felix Kam <felix.kam@nicta.com.au>

Bugfixes


# d515f839 21-Jun-2016 Felix Kam <felix.kam@nicta.com.au>

implemented a hardcoded hack to ignore clean_D_PoU


# e8f1b686 20-Jun-2016 Felix Kam <felix.kam@nicta.com.au>

fixed a small refactoring bug


# 37812c40 20-Apr-2016 Felix Kam <felix.kam@nicta.com.au>

Minor bugfixes to graph_to_graph


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

Adding graph-to-graph