Description
Robert pointed me to http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/ yesterday which explains how most implementations of TimSort are broken. We should check our TimSorter.
Robert pointed me to http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/ yesterday which explains how most implementations of TimSort are broken. We should check our TimSorter.