Select Git revision
creduce-1.0
creduce-2.0
creduce-2.1
master
before_merging_module_refactoring
creduce-1.0.0
creduce-2.0.0
creduce-2.0.1
creduce-2.1.0
git-conversion-HEAD
pldi12-crc