History log of /seL4-l4v-10.1.1/graph-refine/graph-to-graph/elf_correlate.py
Revision Date Author Comments
# ab58eca9 09-Nov-2016 Felix Kam <felix.kam@nicta.com.au>

Bugfixes


# 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


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

Accomodate dummy functions generated by the decompiler for special
instructions


# f604131d 10-May-2016 Felix Kam <felix.kam@nicta.com.au>

convert_loop_bounds.py now takes an additional argument worker_id (a small
int), and will only work on loops marked with that worker_id.
graph_to_graph.py by default will generate a loop_counts.py that has
worker_id marked on it. The simple logic it uses for now is : each worker should
have 5 loops to work on, but a function will always have a single
worker.


# 630c10d8 26-Apr-2016 Felix Kam <felix.kam@nicta.com.au>

Adding a script for bypassing a known decompiler issue for WCET
analysis, regression fiddling work


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

Adding graph-to-graph