search

CozySynthesizer / cozy

The collection synthesizer
https://cozy.uwplse.org
Apache License 2.0
209 stars 18 forks source link

implement lval semantics for list index, add hardcoded sort #84

Closed izgzhen closed 5 years ago

izgzhen commented 5 years ago

WIP

izgzhen commented 5 years ago

@Calvin-L this hardcoded thing feels more or less like a native function ...