Small correctness fixes

CMakeLists.txt

@@ -697,7 +697,7 @@ foreach(i RANGE ${length})
   set(CONFIG_OUT "${CONFIG_OUT}${line}")
 endforeach()
 
-file(WRITE ${GECODE_BINARY_DIR}/gecode/support/config.hpp
+file(CONFIGURE OUTPUT "${GECODE_BINARY_DIR}/gecode/support/config.hpp" CONTENT
 "/* gecode/support/config.hpp.  Generated from config.hpp.in by configure.  */
 /* gecode/support/config.hpp.in.  Generated from configure.ac by autoheader.  */
 

changelog.in

@@ -119,6 +119,36 @@ Fix float power and nth-root tests with shared variables by
 initializing their exponent fields and rejecting nth-root test
 assignments whose source interval is not fully non-negative.
 
+[ENTRY]
+Module: flatzinc
+What:   bug
+Rank:   minor
+Issue:  207
+Thanks: Nathan Tran
+[DESCRIPTION]
+Include the upper endpoint when generating FlatZinc on_restart
+uniform integer and float values.
+
+[ENTRY]
+Module: other
+What:   change
+Rank:   minor
+Issue:  203
+Thanks: Bruce Mitchener
+[DESCRIPTION]
+Avoid rewriting the generated CMake config.hpp file when its
+contents have not changed.
+
+[ENTRY]
+Module: search
+What:   bug
+Rank:   minor
+Issue:  150
+Thanks: Stefan Brüns
+[DESCRIPTION]
+Send CPProfiler's DONE message before disconnecting from the
+profiler socket.
+
 [ENTRY]
 Module: other
 What:   change

gecode/flatzinc/flatzinc.cpp

@@ -5,10 +5,12 @@
  *
  *  Contributing authors:
  *     Gabriel Hjort Blindell <gabriel.hjort.blindell@gmail.com>
+ *     Nathan Tran <kieron.qtran@gmail.com>
  *
  *  Copyright:
  *     Guido Tack, 2007-2012
  *     Gabriel Hjort Blindell, 2012
+ *     Nathan Tran, 2025
  *
  *  This file is part of Gecode, the generic constraint
  *  development environment:
@@ -2040,7 +2042,13 @@ namespace Gecode { namespace FlatZinc {
         // Assign uniform_int random values
         for (size_t i = 0; i < restart_data().uniform_range_int.size(); ++i) {
           const auto& range = restart_data().uniform_range_int[i];
-          const int rndVal = range.first + _random(static_cast<unsigned int>(range.second - range.first));
+          const unsigned long long int width =
+            static_cast<unsigned long long int>(
+              static_cast<long long int>(range.second) -
+              static_cast<long long int>(range.first)) + 1ULL;
+          const int rndVal =
+            static_cast<int>(static_cast<long long int>(range.first) +
+                             static_cast<long long int>(_random(width)));
           rel(*this, on_restart_iv[base + i], IRT_EQ, rndVal);
         }
         base += restart_data().uniform_range_int.size();
@@ -2164,7 +2172,10 @@ namespace Gecode { namespace FlatZinc {
         for (size_t i = 0; i < restart_data().uniform_range_float.size(); ++i) {
           const auto& range = restart_data().uniform_range_float[i];
           /* rndVal will be an element of [range.first, range.second] */
-          const FloatVal rndVal = (static_cast<FloatVal>(_random(INT_MAX)) / INT_MAX)*(range.second - range.first) + range.first;
+          const FloatVal rndVal =
+            (static_cast<FloatVal>(_random(INT_MAX)) /
+             static_cast<FloatVal>(INT_MAX - 1)) *
+            (range.second - range.first) + range.first;
           rel(*this, on_restart_fv[base + i], FRT_EQ, rndVal);
         }
         base += restart_data().uniform_range_float.size();