- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Corrected documentation.
by Patricia Hill 03 May '11

03 May '11

Module: ppl/ppl Branch: master Commit: 5a5759bafd7558a88a8cd8613940fcff247ea407 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a5759bafd75… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 3 13:36:52 2011 +0100 Corrected documentation. --- interfaces/Prolog/Prolog_interface.dox | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox index 672f7b0..5bcd02f 100644 --- a/interfaces/Prolog/Prolog_interface.dox +++ b/interfaces/Prolog/Prolog_interface.dox @@ -750,7 +750,7 @@ defining parametric integer programming problems. <CODE>Handle</CODE> is unified with the handle for \f$\mathrm{PIP}\f$. <CODE> - ppl_new_PIP_Problem(+Constraint_System, +Lin_Expr, +Vars_List, + ppl_new_PIP_Problem(+Dimension_Type, +Constraint_System, +Vars_List, -Handle) </CODE>

1 0

Fwd: Bug#625417: ppl: ftbfs with gcc-4.6 -Werror
by Roberto Bagnara 03 May '11

03 May '11

-------- Original Message -------- Subject: Bug#625417: ppl: ftbfs with gcc-4.6 -Werror Resent-Date: Tue, 03 May 2011 11:06:37 +0000, Tue, 03 May 2011 11:06:50 +0000 Resent-From: Matthias Klose <doko(a)debian.org> Resent-To: Debian GCC Maintainers <debian-gcc(a)lists.debian.org> Date: Tue, 03 May 2011 10:34:10 +0000 From: Matthias Klose <doko(a)debian.org> Reply-To: Matthias Klose <doko(a)debian.org>, 625417-maintonly(a)bugs.debian.org To: maintonly(a)bugs.debian.org Package: ppl Version: 0.11.2-3 Severity: important Tags: wheezy sid User: debian-gcc(a)lists.debian.org Usertags: ftbfs-gcc-4.6 ftbfs-werror This package builds with -Werror, and GCC 4.6 triggers new warnings which will make the package fail to build. Currently a Debian patch just passes -Wno-error=unused-but-set-variable and -Wno-error=unused-but-set-parameter to avoid build failures, but this patch will be reverted with the GCC 4.6.1 release, and the severity of the report will be raised. The full build log can be found at: http://people.debian.org/~doko/tmp/werror/ppl_0.11.2-3_lsid64.buildlog The last lines of the build log are at the end of this report.

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 03 May '11

03 May '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67f09abe8574… Merge: d595301786bc6be8f57cb37dfa31c2741b9be137 12f97bbef1ad3223c630d10474851eb5d67611db Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 3 13:13:55 2011 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12f97bbef1ad… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 15 12:06:59 2011 +0100 For increased portability, use zero-length arrays (when available), not flexible arrays. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=121539b86e28… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 23 13:25:28 2011 +0100 Two items added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c8f5935d3a6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 23 13:23:28 2011 +0100 When cross-compiling, assume that GMP has been compiled with support for propagating exceptions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26c113f59e20… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 23 13:21:12 2011 +0100 Work around a bug showing up under mingw-w64. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b537ac3b2872… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 21:01:24 2011 +0100 Avoid (again) using the same macro name for different purposes. Doing it confuses both the reader and Doxygen. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=676839fa3c6c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 19:26:18 2011 +0100 Get rid of LaTeX warnings related to package fancyhdr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=981f391c6dd5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 18:32:51 2011 +0100 Avoid duplicate PDF labels in the configured C interface manuals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16fc9b1bbb2a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 16:59:33 2011 +0100 Fixed a duplicate hypertarget error in the generated PDF documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e85e862edc6b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 14:10:31 2011 +0100 Avoid using the same macro name for different purposes. Doing it confuses both the reader and Doxygen. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2f745cdb383… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 10:19:21 2011 +0100 Set INLINE_SOURCES = NO when producing LaTeX documentation. This change is a workaround to a pdftex + hyperref issue that may result in the following error \pdfendlink ended up in different nesting level than \pdfstartlink when using some versions of Doxygen (e.g., 1.7.3). According to http://tug.org/errors.html the error is triggered when a hyperlink is split across page boundaries and it can be generated even by valid LaTeX code. Disabling source inlining is a way to greatly decrease its likelihood. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95893a2b2a7e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 22 17:07:35 2011 +0100 Fixed a couple of Doxygen related problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=225b29f1ab3b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 22 10:13:29 2011 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c526a80d5c0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 22 09:51:45 2011 +0100 No longer overwrite the SIGILL handler. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c9105aa28e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 21 12:19:22 2011 +0100 Never use `\c'; use <CODE></CODE> instead (yes, uppercase). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07f8c154d6e0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 21 09:56:13 2011 +0100 The `--disable-fpmath' configure option now disables all floating point computations.

1 0

[GIT] ppl/ppl(bounded_arithmetic): Adjusting function or_assign for the check the boundary.
by Alberto Gioia 02 May '11

02 May '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 9687e8057c9adcafa3673c4b94a2d6924c921d64 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9687e8057c9a… Author: Alberto Gioia <alberto.gioi1(a)studenti.unipr.it> Date: Mon May 2 16:11:52 2011 +0200 Adjusting function or_assign for the check the boundary. --- src/Interval.inlines.hh | 54 +++++++++++++++++++++++++--------------------- 1 files changed, 29 insertions(+), 25 deletions(-) diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index e5c480b..e2eec12 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -699,33 +699,37 @@ Interval<To_Boundary, To_Info>::or_assign(const From1& x, const From2& y) { -max(|a|,|b|) < = OR(x,y) <=-1 */ else if ((xls >= 0 && yls <=0) || (xls <=0 && yls >= 0 )){ - ru = Boundary_NS::assign(UPPER, upper(), to_info, - UPPER, f_upper(Constant<-1>::value), f_info(Constant<-1>::value)); - - Boundary_NS::assign(LOWER, to_lower1, to_info1, - LOWER, f_lower(x), f_info(x)); - - if (xls < 0) - Boundary_NS::neg_assign(LOWER, to_lower1, to_info1, - LOWER, to_lower1, to_info1); - - Boundary_NS::assign(LOWER, to_lower2, to_info2, - LOWER, f_lower(y), f_info(y)); - - if (yls < 0) - Boundary_NS::neg_assign(LOWER, to_lower2, to_info2, - LOWER, to_lower2, to_info2); + + if(f_lower(x) < INT_MIN || f_lower(y) < INT_MIN) + return assign(EMPTY); + + else if (f_lower(x) == INT_MIN || f_lower(y) == INT_MIN) + rl = Boundary_NS::assign(LOWER, lower(), to_info, + LOWER, f_lower(Constant<INT_MIN>::value),f_info(Constant<INT_MIN>::value)); + else { + Boundary_NS::assign(LOWER, to_lower1, to_info1, + LOWER, f_lower(x), f_info(x)); - max_assign(LOWER, to_lower3, to_info3, - LOWER, to_lower2, to_info2, - LOWER, to_lower1, to_info1); + if (xls < 0) + Boundary_NS::neg_assign(LOWER, to_lower1, to_info1, + LOWER, to_lower1, to_info1); - rl = Boundary_NS::neg_assign(LOWER, lower(), to_info, - LOWER, to_lower3, to_info3); - + Boundary_NS::assign(LOWER, to_lower2, to_info2, + LOWER, f_lower(y), f_info(y)); + + if (yls < 0) + Boundary_NS::neg_assign(LOWER, to_lower2, to_info2, + LOWER, to_lower2, to_info2); + + max_assign(LOWER, to_lower3, to_info3, + LOWER, to_lower2, to_info2, + LOWER, to_lower1, to_info1); + + rl = Boundary_NS::neg_assign(LOWER, lower(), to_info, + LOWER, to_lower3, to_info3); + } ru = Boundary_NS::assign(UPPER, upper(), to_info, UPPER, f_upper(Constant<-1>::value), f_info(Constant<-1>::value)); - } /* @@ -733,8 +737,8 @@ Interval<To_Boundary, To_Info>::or_assign(const From1& x, const From2& y) { ((x+y)-(x-y))/2 <= OR(x,y) <= -1 */ else { - if ((f_lower(x) < -INT_MAX || f_lower(y) < -INT_MAX || - (f_lower(x) - f_lower(y)) < -INT_MAX)) + if ((f_lower(x) < INT_MIN || f_lower(y) < INT_MIN || + (f_lower(x) + f_lower(y)) < INT_MIN)) return assign(EMPTY); Boundary_NS::assign(LOWER, to_lower1,to_info1,

1 0

[GIT] ppl/ppl(bounded_arithmetic): Adjusting function or_assign for the check the boundary.
by Alberto Gioia 02 May '11

02 May '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 8b5e4a33eab4d8b13a830ebffe806ffdfea7c7c7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b5e4a33eab4… Author: Alberto Gioia <alberto.gioi1(a)studenti.unipr.it> Date: Mon May 2 16:00:29 2011 +0200 Adjusting function or_assign for the check the boundary. --- src/Interval.inlines.hh | 17 ++++++++++++----- 1 files changed, 12 insertions(+), 5 deletions(-) diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index 5d37ff4..e5c480b 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -682,13 +682,16 @@ Interval<To_Boundary, To_Info>::or_assign(const From1& x, const From2& y) { max(x,y) <= OR(x,y) <= x+y */ if (xls >= 0 && yls >=0) { + if ((f_upper(x) > INT_MAX || f_upper(y) > INT_MAX || + (f_upper(x) + f_upper(y)) > INT_MAX)) + return assign(EMPTY); rl = max_assign(LOWER, lower(), to_info, LOWER, f_lower(x), f_info(x), LOWER, f_lower(y), f_info(y)); - + ru = Boundary_NS::add_assign(UPPER, upper(), to_info, - UPPER, f_upper(x), f_info(x), - UPPER, f_upper(y), f_info(y)); + UPPER, f_upper(x), f_info(x), + UPPER, f_upper(y), f_info(y)); } /* @@ -702,7 +705,7 @@ Interval<To_Boundary, To_Info>::or_assign(const From1& x, const From2& y) { Boundary_NS::assign(LOWER, to_lower1, to_info1, LOWER, f_lower(x), f_info(x)); - if (xls < 0)//to_lower1 < 0) + if (xls < 0) Boundary_NS::neg_assign(LOWER, to_lower1, to_info1, LOWER, to_lower1, to_info1); @@ -730,7 +733,11 @@ Interval<To_Boundary, To_Info>::or_assign(const From1& x, const From2& y) { ((x+y)-(x-y))/2 <= OR(x,y) <= -1 */ else { - Boundary_NS::assign(LOWER,to_lower1,to_info1, + if ((f_lower(x) < -INT_MAX || f_lower(y) < -INT_MAX || + (f_lower(x) - f_lower(y)) < -INT_MAX)) + return assign(EMPTY); + + Boundary_NS::assign(LOWER, to_lower1,to_info1, LOWER, f_lower(Constant<2>::value),f_info(Constant<2>::value)); Boundary_NS::add_assign(LOWER, to_lower2, to_info2,

1 0

[GIT] ppl/ppl(bounded_arithmetic): Adding linearization about bitwise operator OR.
by Alberto Gioia 02 May '11

02 May '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 8cdd09db5263badcc3c2116dfb3c5cfdd58a87a3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cdd09db5263… Author: Alberto Gioia <otrebla(a)spark.(none)> Date: Mon May 2 10:24:24 2011 +0200 Adding linearization about bitwise operator OR. OO# Please enter the commit message for your changes. Lines starting --- src/Concrete_Expression.defs.hh | 5 + src/Concrete_Expression.types.hh | 4 + src/Interval.defs.hh | 14 +++ src/Interval.inlines.hh | 122 ++++++++++++++++++++++++ src/Linear_Form.defs.hh | 69 +++++++++++++- src/Linear_Form.templates.hh | 49 ++++++++++ src/Oracle.hh | 12 +++ tests/Concrete_Expression/C_Expr.defs.hh | 32 ++++++- tests/Concrete_Expression/C_Expr.inlines.hh | 20 ++++ tests/Concrete_Expression/digitalfilters1.cc | 3 + tests/Concrete_Expression/linearize.cc | 78 +++++++++++++++- tests/Concrete_Expression/linearize_integer.hh | 71 ++++++++++++++ tests/ppl_test.hh | 9 ++ 13 files changed, 483 insertions(+), 5 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8cdd09db…

1 0

Re: [PPL-devel] building PPL with MSYS/mingw(-w64)
by Ruben Van Boxem 18 Apr '11

18 Apr '11

(forwarding to list as well) 2011/4/17 Roberto Bagnara <bagnara(a)cs.unipr.it>: > On 04/17/11 13:01, Ruben Van Boxem wrote: >> >> I am trying to build ppl version 0.11.x, but failing miserably. I'm >> using GCC 4.5.2 for x86_64-w64-mingw32 with this configure: >> >>> ../../src/ppl-0.11.2/configure --host=x86_64-w64-mingw32 --disable-static >>> --enable-shared --with-gmp-prefix=/home/ruben/mingw64/x64/libs CFLAGS="-flto >>> -mtune=core2 -fomit-frame-pointer -momit-leaf-frame-pointer" LFLAGS="-flto >>> -fwholeprogram" --prefix=/home/Ruben/mingw64/x64/libs >> >> Make fails with this: >> >>> /bin/grep: /mingw64/lib/../lib64/libstdc++.la: No such file or directory >>> /bin/sed: can't read /mingw64/lib/../lib64/libstdc++.la: No such file or >>> directory >>> libtool: link: `/mingw64/lib/../lib64/libstdc++.la' is not a valid >>> libtool archive >>> make[3]: *** [libppl.la] Error 1 >> >> No other library needs these .la files, and for mingw toolchains are a >> pest (due to relocations which are common and necessary on Windows. >> The paths you see are not present on my system, they are a result of >> some path still present from the build of the cross-compilation >> toolchain. >> >> Any help is appreciated. Thanks! > > Hi Ruben. > > Can you please teach me how I could reproduce your observations? > Note that I am not a regular user of MinGW, so feel free to provide > me with all the gory details :-) > Cheers, OK, gory details, here they come: 0. I'm using Windows x64, I assume you are too. If not, you can try and see if "i686-w64-mingw32" produces the same error, but I don't know that for sure. 1. Download the MSYS all-in-one package from here: http://sourceforge.net/projects/mingw-w64/files/External%20binary%20package… 2. extract it to a location that suits you, for example M:\Development\msys, so that M:\Development\msys\bin contains stuff like sh.exe. 3. Download a mingw-w64 toolchain (i686-mingw32: runs on 32-bit and 64-bit, x86_64-mingw32, runs only on 64-bit: - Windows native x64 toolchain (both produce 64-bit binaries): http://sourceforge.net/projects/mingw-w64/files/Toolchains%20targetting%20W… - Windows native 32-bit toolchains (produces 32-bit binaries): http://sourceforge.net/projects/mingw-w64/files/Toolchains%20targetting%20W… 4. Extract the toolchain to for example M:\Development\mingw64, so that M:\Development\mingw64\bin contains gcc.exe 5. Double-click on M:\Development\msys\msys.bat. A unix-like shell will appear in a Windows console window. the root directory "/" is equivalent to "M:\Development\msys", which can be referenced as "/m/Development/msys" from within the MSYS shell. 6. Download gmp-5.0.1 and ppl-0.11.2 tarballs and place them in /home/<username>/src 7. untar them like you would on linux. 8. make a build directory /home/<username>/build 9. Build gmp (replace <username> in the --prefix argument!): > ../src/gmp-5.0.1/configure --host=x86_64-w64-mingw32 --build=x86_64-w64-mingw32 --disable-static --enable-shared --enable-cxx --prefix=/home/<username>/build/libs > make > make install 10. Attempt to build PPL > ../src/ppl-0.11.2/configure --host=x86_64-w64-mingw32 --disable-static --enable-shared --with-gmp-prefix=/home/<username>/build/libs --prefix=/home/<username>/build/libs > make 11. Witness libstdc++.la grep and sed weirdness... > > Roberto > > P.S. In your report I see both "mingw32" and "mingw64": > is this intended? mingw64 is my bad habit of shorthabd "mingw-w64" implying 64-bit binaries. The correct terms are: mingw.org: original mingw project, GNU host triplet i686-pc-mingw32 mingw-w64: new mingw project, supports win32 api better, along with 64-bit support. GNU triplet for 32-bit: i686-w64-mingw32, GNU triplet for 64-bit: x86_64-w64-mingw32. In both cases the "mingw32" denotes the win32 API, which is common to both 32- and 64-bit Windows. Changes to any of this are almost impossible due to slow GCC/autotools/etc adoption/discussion and backwards compatibility. I know, confusing and stupid, but it works ;) If anything isn't clear, please say so. I tried to be as complete as possible. Thanks! Ruben > > -- > Prof. Roberto Bagnara > Applied Formal Methods Laboratory > Department of Mathematics, University of Parma, Italy > http://www.cs.unipr.it/~bagnara/ > mailto:bagnara@cs.unipr.it >

2 2

building PPL with MSYS/mingw(-w64)
by Ruben Van Boxem 17 Apr '11

17 Apr '11

Hi, I am trying to build ppl version 0.11.x, but failing miserably. I'm using GCC 4.5.2 for x86_64-w64-mingw32 with this configure: >../../src/ppl-0.11.2/configure --host=x86_64-w64-mingw32 --disable-static --enable-shared --with-gmp-prefix=/home/ruben/mingw64/x64/libs CFLAGS="-flto -mtune=core2 -fomit-frame-pointer -momit-leaf-frame-pointer" LFLAGS="-flto -fwholeprogram" --prefix=/home/Ruben/mingw64/x64/libs Make fails with this: > /bin/grep: /mingw64/lib/../lib64/libstdc++.la: No such file or directory > /bin/sed: can't read /mingw64/lib/../lib64/libstdc++.la: No such file or directory > libtool: link: `/mingw64/lib/../lib64/libstdc++.la' is not a valid libtool archive > make[3]: *** [libppl.la] Error 1 No other library needs these .la files, and for mingw toolchains are a pest (due to relocations which are common and necessary on Windows. The paths you see are not present on my system, they are a result of some path still present from the build of the cross-compilation toolchain. Any help is appreciated. Thanks! Ruben

2 1

header file and library for Visual C++
by Nguyen Truong Khanh 16 Apr '11

16 Apr '11

Dear PPL development team, I am a PhD student from NUS, Singapore. I am trying to use the GMP library in my research work. However my current development is in Visual C++, Windows environment. I am writing to ask your team whether you support the PPL header file and DLL library for Visual C++. Thanks and best regards, Nguyen Truong Khanh

2 1

[GIT] ppl/w3ppl(master): Mentioned the corrections applied to a couple of ppl_lpsol test files
by Enea Zaffanella 02 Apr '11

02 Apr '11

Module: ppl/w3ppl Branch: master Commit: 20d3d45bcf88187d53e04a060349795332737ad3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=20d3d45bcf… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Apr 2 10:36:24 2011 +0200 Mentioned the corrections applied to a couple of ppl_lpsol test files that are required to get a stable behavior across different versions of glpk. --- htdocs/Bugs/archive.raw | 19 +++++++++++++++++++ 1 files changed, 19 insertions(+), 0 deletions(-) diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw index e161f6a..4cd3ce2 100644 --- a/htdocs/Bugs/archive.raw +++ b/htdocs/Bugs/archive.raw @@ -121,6 +121,25 @@ Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git; <DL> +<DT>January 9, 2010</DT> +<DD> +Modified <CODE>ppl_lpsol</CODE> test files <CODE>ex1.mps</CODE> and +<CODE>unboundedmin.mps</CODE> so as to explicitly flag problem variables +to be integer ones. This change allows to obtain a stable output for the +two tests across different versions of <CODE>glpk</CODE>. +The problem was caused by a change of behavior, first occurring in +<CODE>glpk-4.38</CODE>, in the MPS file parsing routines. +For more details, see the mailing list threads +<A HREF="http://lists.gnu.org/archive/html/bug-glpk/2010-01/msg00005.html">[Bug-glpk] Variables erroneously read as binary?</A> +and +<A HREF="http://www.cs.unipr.it/pipermail/ppl-devel/2011-April/017407.html">[PPL-devel] [Fink-devel] ppl-0.10.2 check thorough test fail</A>. + +The two relevant commits are +<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97ce932e0129…">97ce932e012943328164d387cfe9a8d2196ca171</A> +and +<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56ee86b9ccf0…">56ee86b9ccf001c8dc2ab1558332e9691b2eff3f</A>. +</DD> + <DT>August 15, 2009</DT> <DD> Fixed a bug whereby <CODE>maximize</CODE> and <CODE>minimize</CODE>

1 0