Release 1.2
Release 1.1
Release 1.0
Release 0.5
Release 0.4
Release 0.3
Release 0.2
Initial version of BenchExec.