History log of /seL4-l4v-master/graph-refine/graph-to-graph/conflict.py
Revision Date Author Comments
# b2ddb1f6 11-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

convert license headers to SPDX


# 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


# 53b8709e 14-Jul-2016 Felix Kam <felix.kam@nicta.com.au>

Bugfix


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

Bugfixes


# 63a44301 05-Jul-2016 Felix Kam <felix.kam@nicta.com.au>

Added a feature to conflict.py to eliminate nodes that can't be visited
at all


# 548d9e86 23-Jun-2016 Felix Kam <felix.kam@nicta.com.au>

Reorganisation


# 63e559ef 22-Jun-2016 Felix Kam <felix.kam@nicta.com.au>

Added a flag to cplex.py that turns off the presolver


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

Adding graph-to-graph