Bump version and add change log

MiniZinc · Feb 6, 2017 · 9b71947 · 9b71947
1 parent f5422ec
commit 9b71947
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES
@@ -1,3 +1,13 @@
+2017-02-06
+  v2.1.3
+  - Update to MiniZinc 2.1.3.
+  - Avoid crashes and print error messages when mzn2fzn subprocess crashes.
+  - Changed meaning of "User-defined behavior" options, to have a clear
+    distinction between optimisation and satisfaction problems.
+  - Fix buffering of error output from mzn2fzn process (which would sometimes
+    not be printed to the output window).
+  - Suppress output after configurable number of solutions (to avoid
+    overloading the IDE output box).
 2016-12-20
   v2.1.2
   - Update to MiniZinc 2.1.2.

diff --git a/MiniZincIDE/MiniZincIDE.pro b/MiniZincIDE/MiniZincIDE.pro
@@ -19,7 +19,7 @@ greaterThan(QT_MAJOR_VERSION, 4): {
 TARGET = MiniZincIDE
 TEMPLATE = app
 
-VERSION = 2.1.2
+VERSION = 2.1.3
 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
 
 bundled {