History log of /seL4-l4v-10.1.1/graph-refine/run_tests
Revision Date Author Comments
# 351e0930 19-Jul-2016 Felix Kam <felix.kam@nicta.com.au>

bugfixes


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

minor changes to the regression script


# 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


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

More of that...


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

more fiddling with regression tests...


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

More fiddling with regression testing


# 4750a406 25-Apr-2016 Felix Kam <felix.kam@nicta.com.au>

More regression test debugging...


# 5214ad8c 25-Apr-2016 Felix Kam <felix.kam@nicta.com.au>

More regression test fixes


# 6215449e 25-Apr-2016 Felix Kam <felix.kam@nicta.com.au>

fixed regression test (more to come)