Advance version to 2.12

Author: Mark R. Tuttle

setup.cfg

@@ -2,13 +2,13 @@
 
 [metadata]
 name = cbmc-viewer
-version = 2.11
+version = 2.12
 author = Mark R. Tuttle
 author_email = [email protected]
 description = CBMC viewer produces a browsable summary of CBMC findings
 long_description = file: README.md
 long_description_content_type = text/markdown
-url = https://github.com/awslabs/aws-viewer-for-cbmc
+url = https://github.com/model-checking/cbmc-viewer
 license = Apache License 2.0
 classifiers =
     Programming Language :: Python :: 3

src/cbmc_viewer/version.py

@@ -4,7 +4,7 @@
 """Version number."""
 
 NAME = "CBMC viewer"
-NUMBER = "2.11"
+NUMBER = "2.12"
 VERSION = "{} {}".format(NAME, NUMBER)
 
 def version(display=False):