History log of /seL4-l4v-10.1.1/graph-refine/loop-example/synth/target.py
Revision Date Author Comments
# 11f9958d 18-Dec-2016 Thomas Sewell <Thomas.Sewell@nicta.com.au>

Synthetic unrolling example.

This seems to provoke an analogous failure to a key failure for -O2
compilation, and it does so in under a minute rather than > 10 hours.