44313f4 A bit more related work for autotuning
~munksgaard pushed to ~munksgaard/thesis git
be54f22 A little bit about applicability of FunMem
~munksgaard pushed to ~munksgaard/thesis git
b1c09cc Do some work on short-circuiting overview
~munksgaard pushed to ~munksgaard/thesis git
2a64799 Remove red highlights from changes
~munksgaard pushed to ~munksgaard/thesis git