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
..
2020-06-17 19:11:17 +02:00
2020-06-25 18:39:29 +02:00
2019-07-09 10:39:16 +02:00
2020-05-26 20:58:24 +02:00
2018-11-29 18:35:30 +01:00