Matthias Hochsteger c0b8b1c0cc Parallel SplitImprove2, update test results
Due to prallelization, the order of splits is changed (sort by
    improvement of badness, like in other optimization passes)
2020-07-27 14:26:45 +02:00
..
2018-12-12 11:43:28 +01:00
2019-08-22 10:17:57 +02:00
2018-12-28 13:43:15 +01:00
2020-03-11 17:43:36 +01:00
2019-04-17 16:37:01 +02:00