Skip to content

Add uncommitted improvements from the pit

Rosen Matev requested to merge add-2017-improvements into 2017-patches
  • Force use of functor cache only
  • Move patterns for silencing warnings out of runOnline.py
  • Reduce HLT2 nice from 19 to 17 (on Beat's request)

Merge request reports