Release 1.1

sosy-lab · Sep 11, 2015 · 2235c7d · 2235c7d
1 parent a67af49
commit 2235c7d
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,12 @@
 # BenchExec Changelog
 
+## BenchExec 1.1
+
+- HTML tables produced by table-generator now have a header that stays
+  always visible, even when scrolling through the table.
+- A Debian package is now created for releases and made available on GitHub.
+- Small bug fixes.
+
 ## BenchExec 1.0
 
 - Multiple runs for the same file can now be shown in the table in different rows

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.1-dev'
+__version__ = '1.1'
 
 class BenchExec(object):
     """