Change log

MiniZinc · Aug 1, 2015 · fb0d708 · fb0d708
1 parent 63510ba
commit fb0d708
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/CHANGES.txt b/CHANGES.txt
@@ -2,6 +2,20 @@
 # MiniZinc Changelog #
 ======================
 
+Version 2.0.6
+=============
+
+Changes:
+ - Add parser support for hexadecimal floating point constants.
+
+Bug fixes:
+ - Fix bounds computation for some calls (abs, int_times).
+ - Fix flattening of some array declarations (when right hand side is
+   an identifier).
+ - Add four missing GC locks (could lead to incorrect garbage collection).
+ - Compact output model only after optimisation phase (could lead to 
+   incorrect items being removed from output model).
+
 Version 2.0.5
 =============