CozySynthesizer / cozy

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

Considering maintenance cost #46

Closed anhnamtran closed 6 years ago

anhnamtran commented 6 years ago

The cost model now has an Option that determines whether or not it will consider maintenance cost on expressions for ops when it is comparing two expressions.