C-Reduce 2.1.0 release
C-Reduce 2.0.1 release
C-Reduce 2.0.0 release
Creating the version for pldi12 crc.
C-Reduce 1.0.0 release
The head of the master branch when we converted to git.