A take at updating Cryptol's sort function from insertion sort to merge sort#1302

Merged

robdockins merged 5 commits intomasterfrom mergeSort-Prelude

Nov 29, 2021

+37-31

Commits on Nov 4, 2021

A take at updating Cryptol's sort function from insertion sort to merge sort. This implementation is much more computationally efficient.
weaversa
committed

Commits on Nov 6, 2021

Updating private scoping
weaversa
committed

Commits on Nov 13, 2021

selected the first merge option
weaversa
committed

Commits on Nov 18, 2021

Updating issues and regression tests to work w/ latest prelude
weaversa
committed

Commits on Nov 24, 2021

Update changelog regarding sortBy
robdockins
committed