13.37.1 Bugs Fixed

• Cleanup goals (call_cleanup/2) were vulnerable to timeouts and GC, which was unintended and potentially harmful.
• Clarify for (=)/2 that unblocked goals and event handlers may raise an exception.
• Fixed incorrect line counts reported by text streams after reading or writing very large numbers of lines.
• terms:term_hash/[3,4] now correctly rejects non-positive integer ranges.
• CLPFD:
  • - geost/[2,3,4], fdset_to_list/2, and indomain/1 could crash.
  • - Search on real vars could raise a floating point exception.
  • - Minimize/maximize search involving real vars did not work.
  • - Real variable unified with variable with blocked goals would fail.
  • - Calls from Prolog via C to CLPFD predicates could spuriously fail.
  • - A bad module prefix could spuriously appear in the output of frozen/2 and in the answer constraint.
  • - Integer overflows could go undetected.
  • - Do not remove CLPFD attribute before invoking handlers for other attributes or blocked goals. Removing the attribute can cause a crash and means that domain information is lost while handling other attributes.
  • - Make attribute handlers test more strictly for real vs. integer variables.
• ZINC:
  • - Reading large numeric literals in FlatZinc could crash or produce incorrect values.
  • - FlatZinc preprocessing could raise an exception.
  • - Several real var issues fixed.
  • - The diffn_k and diffn_nonstrict_k constraints did not work. They are supported natively now.
  • - MiniZinc configuration file was not accurate.
  • - Now up to date with MiniZinc 2.10.1.
• library(fastrw) could misbehave for malformed input or very large input or output data.