Release 1.2

sosy-lab · Oct 19, 2015 · 2b8b5dd · 2b8b5dd
1 parent 1df7870
commit 2b8b5dd
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,13 @@
 # BenchExec Changelog
 
+## BenchExec 1.2
+
+- BenchExec now records whether TurboBoost was enabled during benchmarking.
+- Updated SV-COMP scoring scheme to SV-COMP 2016.
+- Support new property 'no-overflow' for SV-COMP 2016.
+- Several new modules for integration of various software verifiers.
+- Some improvements to CPU-core assignment.
+
 ## BenchExec 1.1
 
 - HTML tables produced by table-generator now have a header that stays

diff --git a/benchexec/__init__.py b/benchexec/__init__.py
@@ -60,7 +60,7 @@
 Variables ending with "tag" contain references to XML tag objects created by the XML parser.
 """
 
-__version__ = '1.2-dev'
+__version__ = '1.2'
 
 class BenchExec(object):
     """

diff --git a/debian/changelog b/debian/changelog
@@ -1,3 +1,9 @@
+benchexec (1.2-1) unstable; urgency=medium
+
+  * New upstream version.
+
+ -- Philipp Wendler <[email protected]>  Mon, 19 Oct 2015 17:11:54 +0200
+
 benchexec (1.1-1) unstable; urgency=medium
 
   * Initial release.