Use counting sort to sort in linear instead of quadratic time

intel / device-modeling-language

Mozilla Public License 2.0

92 stars 47 forks source link

Use counting sort to sort in linear instead of quadratic time #243

Closed mandolaerik closed 11 months ago

mandolaerik commented 11 months ago

remove unused method
Use counting sort to sort in linear instead of quadratic time

mandolaerik commented 11 months ago

This is a simpler alternative to #239: almost as fast (4ns instead of 2ns per field for getting the sorted fields), and no memory footprint. Thanks to Love for suggesting this approach.

syssimics commented 11 months ago

Verification #12567253: fail

syssimics commented 11 months ago

Verification #12570225: pass

syssimics commented 11 months ago

Verification #12592898: pass