10.25.1 Bugs Fixed
- If the goal specified to
save_program/2
calls halt/0
and
the sav-file is restored by an spld-generated executable then the
executable now exits successfully. Such sav-files used to cause the
executable to exit with a failure code and write an error message
indicating that the sav-file could not be restored.
initialization
directives did not work from included files.
- Possible debugger crashes were incorrectly fixed in 3.12.2.
Now robustly fixed.
- Memory management bug in very large processes.
library(clpfd)
:
- Propagation bug due to multiple interacting solvers fixed.
- Don't over-estimate memory need for domain variables.
- PrologBeans: UTF8 encoding/decoding was not handled correctly.