add sorted, add ordered multiset implementation

CozySynthesizer / cozy

The collection synthesizer

https://cozy.uwplse.org

Apache License 2.0

209 stars 18 forks source link

Closed izgzhen closed 5 years ago

izgzhen commented 6 years ago

@Calvin-L this PR is ready for review

izgzhen commented 5 years ago

pushed to develop branch

izgzhen commented 5 years ago

@Calvin-L take a look?

izgzhen commented 5 years ago

I added a commit addressing the comments -- please don't merge it unless I squashed them after review

izgzhen commented 5 years ago

ping @Calvin-L