From 1be510f9529cb082f802408b472a77d074b394c0 Mon Sep 17 00:00:00 2001 From: Nicolas Vigier Date: Sun, 14 Apr 2013 13:46:12 +0000 Subject: Add zarb MLs html archives --- zarb-ml/mageia-dev/2013-April/024186.html | 152 ++++++++++++++++++++++++++++++ 1 file changed, 152 insertions(+) create mode 100644 zarb-ml/mageia-dev/2013-April/024186.html (limited to 'zarb-ml/mageia-dev/2013-April/024186.html') diff --git a/zarb-ml/mageia-dev/2013-April/024186.html b/zarb-ml/mageia-dev/2013-April/024186.html new file mode 100644 index 000000000..146d2ae26 --- /dev/null +++ b/zarb-ml/mageia-dev/2013-April/024186.html @@ -0,0 +1,152 @@ + + + + [Mageia-dev] freeze push: gprolog 1.4.3 + + + + + + + + + +

[Mageia-dev] freeze push: gprolog 1.4.3

+ Pierre-Malo Deniélou + pierre-malo.denielou at rhul.ac.uk +
+ Fri Apr 5 21:40:50 CEST 2013 +

+
+ +
This is a mostly bug fix release. We currently have 1.4.2. Nothing 
+depends on it.
+
+Change in GNU Prolog version 1.4.3:
+
+* add new C foreign interface functions converting term to/from C strings
+* modify top-level banner to show 32/64 bits, compile date, C compiler name
+* modify Linedit: fix Prolog prompt when Linedit is not activated
+* modify linedit: accept gui=silent in env var LINEDIT
+   (does not warn if the windows gui DLL is not found)
+* fixes for Windows 8 (i686 and x86_64) with MSVS 2012, mingw64 gcc > 4.5.3
+* add Prolog flags address_bits, compiled_at, c_cc, c_cflags, c_ldflags
+* fix a bug in the FD solver (option backtracks in fd_labeling)
+* improve the FD solver (better propagation for reified constraints at 
+labeling)
+* improve the FD solver (add labeling option: value_method(bisect))
+* improve the FD solver (avoid some cases of C stack overflow, improved 
+fd_domain/3)
+* fix a bug in the FD solver (regression bug in 1.4.2)
+* add PlULong to gprolog.h and PlThrow(ball) to C foreign interface
+
+Thanks,
+-- 
+Malo
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+

+ +
+More information about the Mageia-dev +mailing list
+ -- cgit v1.2.1