FStarLang / pulse

The Pulse separation logic DSL for F*
Apache License 2.0
6 stars 7 forks source link

In-place array merge sort #245

Closed tahina-pro closed 2 weeks ago

tahina-pro commented 2 weeks ago

This may be inefficient due to the large number of array swaps, and stack space O(log n); but no heap allocation.