Merge pull request #9 from pysmt/pre-0.2.2

0.2.2
pysmt · Feb 19, 2015 · 458b01a · 458b01a
2 parents bcac0e5 + 13c00df
commit 458b01a
Show file tree

Hide file tree

Showing 5 changed files with 18 additions and 6 deletions.
diff --git a/docs/CHANGES.rst b/docs/CHANGES.rst
@@ -1,14 +1,29 @@
 Change Log
 ==========
 
+0.2.2 2015-02-07 -- BDDs
+------------------------
+
+Solvers:
+
+* pyCUDD to perform BDD-based reasoning
+
+General:
+
+* Dynamic Walker Function: Dynamic Handlers for new node types can now
+  be registered through the environment (see
+  Environment.add_dynamic_walker_function).
+
 0.2.1 2014-11-29 -- SMT-LIB
 ---------------------------
 
 Solvers:
+
 * Yices 2
 * Generic Wrapper: enable usage of any SMT-LIB compatible solver.
 
 General:
+
 * SMT-LIB parsing
 * Changed internal representation of FNode
 * Multiple performance improvements

diff --git a/docs/conf.py b/docs/conf.py
@@ -59,7 +59,7 @@
 # The short X.Y version.
 version = '0.2'
 # The full version, including alpha/beta/rc tags.
-release = '0.2.0'
+release = '0.2.2'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.

diff --git a/docs/development.rst b/docs/development.rst
@@ -39,6 +39,3 @@ will produce a tar.gz file inside the ``dist/`` directory.
 
 For convenience the script *make_distrib.sh* is provided, this builds
 both the binary and source distributions within ``dist/``.
-
-
-.. include:: CHANGES.rst
diff --git a/docs/index.rst b/docs/index.rst
@@ -13,6 +13,7 @@ Contents:
 
    intro
    getting_started
+   changes
    development
    api_ref
 
@@ -23,4 +24,3 @@ Indices and tables
 * :ref:`genindex`
 * :ref:`modindex`
 * :ref:`search`
-
diff --git a/setup.py b/setup.py
@@ -2,7 +2,7 @@
 
 setup(
     name='PySMT',
-    version='0.2.2-dev',
+    version='0.2.2',
     author='PySMT Team',
     author_email='',
     packages=['pysmt', 'pysmt.smtlib', 'pysmt.solvers',