search

CozySynthesizer / cozy

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

Code Style Changes #47

Closed anhnamtran closed 6 years ago

anhnamtran commented 6 years ago

This should cover everything we discussed in #45. I also changed EMake(Min|Max)Heap.f to .key_function per the comment above them.

Calvin-L commented 6 years ago

Sorry for the delay; I have not yet found the time to read through this. I am also holding off on merging it since I have my own feature branch that will break when these changes happen.

It is on my mind though and I hope to merge this soon!

Calvin-L commented 6 years ago

I'm not 100% confident we caught every line we need to rename, but this branch seems fairly stable right now.