search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

fix freezerLabel proper sort #2331

Open ehildenb opened 7 years ago

ehildenb commented 7 years ago

@daejunpark we resurrected this branch from many months ago.

Can you make sure it's still relevant and makes sense?

If so we can add some tests and get it merged.

msaxena2 commented 7 years ago

@daejunpark @ehildenb Is this ready for review? I guess this isn't really blocking, but it'd be good to get this in.

ehildenb commented 7 years ago

I've rebased on master. We need tests before this can be merged.