Fix failing array tests#11

Merged

Mikah-Kainen merged 7 commits intomainfrom

fix-failing-array-tests

Mar 22, 2025

Commits on Mar 19, 2025

implement/fix RUNTIME_CHECKS which are broken
michaelborkowski
committed
fix PrimUnlifted's version of copy# which was broken. This fixes correctness issue with Mergesort (only)
michaelborkowski
committed

Commits on Mar 20, 2025

Merge branch 'main' into prim-mutable-correctness
michaelborkowski
committed
fix correctness issue with swap2 that was making QuickSort fail on prim-mutable-arrays
michaelborkowski
committed
Update CI tests to include coverage for fixes
Mikah-Kainen
committed

Commits on Mar 22, 2025