10.22.2 Bugs Fixed

• format/[2,3] left choicepoints behind.
• The functions min/2 and max/2 could fail on NaN.
• The attributed variable unification handler could incorrectly remove attributes.
• Under Windows, spwin.exe could not update the license information.
• Under 64-bit AIX, executables built with spld (including the sicstus executable) could not allocate more than 256MB of memory.
• spxref was unaware of some meta-predicates.
• CLPFD:
  • The value returned by fd_set/2 was not protected from destructive updates by the solver.
  • global_cardinality/[2,3] was vulnerable to garbage collections.
  • Propositional constraints could be expanded incorrectly.
  • Integer overflows in arithmetic could go undetected.
  • Overhead of posting relation/3 sharply reduced.