Crafty 1.2.0

pts/crafty-1.2.0 - 06 December 2010 - Initial import into OpenBenchmarking.org

downloads.xml

install.sh

install_windows.sh

results-definition.xml

test-definition.xml