Author jendrik
Recipients erez, gabi, jendrik, malte, salome
Date 2017-04-28.10:12:38
We stumbled over heuristics[0] again yesterday. The only remaining code that still 
uses heuristics[0] is the multi-path-dependence code. This code also uses the 
last_key_removed hack. We believe that both hacks could be removed by passing a 
dedicated heuristic that is evaluated instead of using these two hacks. This 
heuristic could replace the "mpd" parameter.
Date User Action Args
2017-04-28 10:12:38jendriksetmessageid: <>
2017-04-28 10:12:38jendriksetrecipients: + jendrik, malte, erez, gabi, salome
2017-04-28 10:12:38jendriklinkissue198 messages
2017-04-28 10:12:38jendrikcreate