Code

Tidy mergesort#711

Code

Merged

cp526 merged 4 commits intorems-project:masterrems-project/cerberus:masterfrom cp526:tidy-mergesortcp526/cerberus:tidy-mergesortCopy head branch name to clipboardNov 11, 2024

+447-111

Commits

Commits on Nov 7, 2024

• some tidying up of the mergesort example

  cp526

  committed
  f074039

  Copy full SHA for f074039

Commits on Nov 8, 2024

• correct merge sort, now with is_sorted proof

  cp526

  committed
  2ef334b

  Copy full SHA for 2ef334b

• more cleanup

  cp526

  committed
  ce87b1e

  Copy full SHA for ce87b1e

• check in mergesort_alt, on the way to a more C-like version

  cp526

  committed
  fdff633

  Copy full SHA for fdff633