Release 0.5

Author: PhilippWendler

CHANGELOG.md

@@ -1,5 +1,13 @@
 # BenchExec Changelog
 
+## BenchExec 0.5
+
+- Allow to redirect stdin of the benchmarked tool in runexec / RunExecutor
+- Fix bug in measurement of CPU time
+  (only occurred in special cases and produced a wrong value below 0.5s)
+- Improve utility command for checking cgroups to work around a problem
+  with cgrulesngd not handlings threads correctly.
+
 ## BenchExec 0.4
 
 - Support for integrating SMTLib 2 compliant SMT solvers and checking the expected output.

benchexec/__init__.py

@@ -60,7 +60,7 @@
 Variables ending with "tag" contain references to XML tag objects created by the XML parser.
 """
 
-__version__ = '0.5-dev'
+__version__ = '0.5'
 
 class BenchExec(object):
     """