February 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Added missing expected results.
by Roberto Bagnara 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: master Commit: 030ba2b2b3c551ec080edb8b1d7e8bb6d095cf03 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=030ba2b2b3c5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 18:32:16 2010 +0100 Added missing expected results. --- demos/ppl_pips/Makefile.am | 18 +++++++++--------- demos/ppl_pips/expected_int16 | 1 + demos/ppl_pips/expected_int16_a | 1 + demos/ppl_pips/expected_int32 | 1 + demos/ppl_pips/expected_int32_a | 1 + demos/ppl_pips/expected_int64 | 1 + demos/ppl_pips/expected_int64_a | 1 + demos/ppl_pips/expected_int8 | 1 + demos/ppl_pips/expected_int8_a | 1 + demos/ppl_pips/expected_mpz_a | 1 + 10 files changed, 18 insertions(+), 9 deletions(-) diff --git a/demos/ppl_pips/Makefile.am b/demos/ppl_pips/Makefile.am index ceca842..bce939d 100644 --- a/demos/ppl_pips/Makefile.am +++ b/demos/ppl_pips/Makefile.am @@ -46,15 +46,15 @@ piplib_pips: piplib_pips.o EXTRA_DIST = \ expected_mpz -# expected_mpz_a \ -# expected_int8 \ -# expected_int8_a \ -# expected_int16 \ -# expected_int16_a \ -# expected_int32 \ -# expected_int32_a \ -# expected_int64 \ -# expected_int64_a +expected_mpz_a \ +expected_int8 \ +expected_int8_a \ +expected_int16 \ +expected_int16_a \ +expected_int32 \ +expected_int32_a \ +expected_int64 \ +expected_int64_a if HAVE_MD5SUM diff --git a/demos/ppl_pips/expected_int16 b/demos/ppl_pips/expected_int16 new file mode 100644 index 0000000..49c3c9a --- /dev/null +++ b/demos/ppl_pips/expected_int16 @@ -0,0 +1 @@ +test02.dat d41d8cd98f00b204e9800998ecf8427e - diff --git a/demos/ppl_pips/expected_int16_a b/demos/ppl_pips/expected_int16_a new file mode 100644 index 0000000..49c3c9a --- /dev/null +++ b/demos/ppl_pips/expected_int16_a @@ -0,0 +1 @@ +test02.dat d41d8cd98f00b204e9800998ecf8427e - diff --git a/demos/ppl_pips/expected_int32 b/demos/ppl_pips/expected_int32 new file mode 100644 index 0000000..49c3c9a --- /dev/null +++ b/demos/ppl_pips/expected_int32 @@ -0,0 +1 @@ +test02.dat d41d8cd98f00b204e9800998ecf8427e - diff --git a/demos/ppl_pips/expected_int32_a b/demos/ppl_pips/expected_int32_a new file mode 100644 index 0000000..49c3c9a --- /dev/null +++ b/demos/ppl_pips/expected_int32_a @@ -0,0 +1 @@ +test02.dat d41d8cd98f00b204e9800998ecf8427e - diff --git a/demos/ppl_pips/expected_int64 b/demos/ppl_pips/expected_int64 new file mode 100644 index 0000000..49c3c9a --- /dev/null +++ b/demos/ppl_pips/expected_int64 @@ -0,0 +1 @@ +test02.dat d41d8cd98f00b204e9800998ecf8427e - diff --git a/demos/ppl_pips/expected_int64_a b/demos/ppl_pips/expected_int64_a new file mode 100644 index 0000000..49c3c9a --- /dev/null +++ b/demos/ppl_pips/expected_int64_a @@ -0,0 +1 @@ +test02.dat d41d8cd98f00b204e9800998ecf8427e - diff --git a/demos/ppl_pips/expected_int8 b/demos/ppl_pips/expected_int8 new file mode 100644 index 0000000..49c3c9a --- /dev/null +++ b/demos/ppl_pips/expected_int8 @@ -0,0 +1 @@ +test02.dat d41d8cd98f00b204e9800998ecf8427e - diff --git a/demos/ppl_pips/expected_int8_a b/demos/ppl_pips/expected_int8_a new file mode 100644 index 0000000..49c3c9a --- /dev/null +++ b/demos/ppl_pips/expected_int8_a @@ -0,0 +1 @@ +test02.dat d41d8cd98f00b204e9800998ecf8427e - diff --git a/demos/ppl_pips/expected_mpz_a b/demos/ppl_pips/expected_mpz_a new file mode 100644 index 0000000..e30f88a --- /dev/null +++ b/demos/ppl_pips/expected_mpz_a @@ -0,0 +1 @@ +test02.dat cd5fa1529845aacfac7b36ecad8d1c93 -

1 0

[GIT] ppl/ppl(master): Improved the NDEBUG machinery.
by Roberto Bagnara 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: master Commit: 6d5b20eeba492c227efeaa43d804a8500ea87a13 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d5b20eeba49… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 16:07:42 2010 +0100 Improved the NDEBUG machinery. --- Watchdog/configure.ac | 4 ++-- Watchdog/src/pwl_header.hh | 6 ++++-- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/Watchdog/configure.ac b/Watchdog/configure.ac index 4e7b1a8..b0d2f4b 100644 --- a/Watchdog/configure.ac +++ b/Watchdog/configure.ac @@ -49,7 +49,7 @@ ISODATE=`date +%Y-%m-%d` AC_SUBST(ISODATE) AH_BOTTOM([ -#ifdef PWL_NDEBUG +#if defined(PWL_NDEBUG) && !defined(NDEBUG) # define NDEBUG PWL_NDEBUG #endif ]) @@ -196,7 +196,7 @@ yes) ;; no) AC_MSG_RESULT(no) - AC_DEFINE(NDEBUG, 1, [Assertions are disabled when this is defined]) + AC_DEFINE(PWL_NDEBUG, 1, [Assertions are disabled when this is defined]) debug_flag="-DNDEBUG=1" ;; *) diff --git a/Watchdog/src/pwl_header.hh b/Watchdog/src/pwl_header.hh index 3af7a56..4ac7d7e 100644 --- a/Watchdog/src/pwl_header.hh +++ b/Watchdog/src/pwl_header.hh @@ -24,7 +24,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #define PWL_pwl_hh 1 #ifdef NDEBUG -# define PWL_SAVE_NDEBUG 1 +# define PWL_SAVE_NDEBUG NDEBUG # undef NDEBUG #endif @@ -33,7 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifdef PWL_SAVE_NDEBUG # ifndef NDEBUG -# define NDEBUG 1 +# define NDEBUG PWL_SAVE_NDEBUG # endif # undef PWL_SAVE_NDEBUG #else @@ -41,6 +41,8 @@ site: http://www.cs.unipr.it/ppl/ . */ # undef NDEBUG # endif #endif +// Must include <cassert> again in order to make the latest changes to +// NDEBUG effective. #include <cassert> #endif

1 0

[GIT] ppl/ppl(master): Mark expected overflows.
by Roberto Bagnara 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: master Commit: 9cf1cef85fea249bb4dd279f3025ebc24acd87b8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cf1cef85fea… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 14:57:57 2010 +0100 Mark expected overflows. --- tests/PIP_Problem/pipproblem1.cc | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index ceb6c0a..be8ac12 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -323,11 +323,11 @@ test08() { BEGIN_MAIN DO_TEST(test01); - DO_TEST(test02); + DO_TEST_F16(test02); DO_TEST(test03); DO_TEST(test04); - DO_TEST(test05); + DO_TEST_F16(test05); DO_TEST(test06); - DO_TEST(test07); - DO_TEST(test08); + DO_TEST_F16(test07); + DO_TEST_F16(test08); END_MAIN

1 0

[GIT] ppl/ppl(master): Improve portability to systems that do not (fully) support Posix signal handling.
by Roberto Bagnara 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: master Commit: 7ba6445b1c5adb835e27d2f005779d4343721d21 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ba6445b1c5a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 14:50:19 2010 +0100 Improve portability to systems that do not (fully) support Posix signal handling. --- Watchdog/configure.ac | 1 + Watchdog/pwl-config.sed | 4 ++- Watchdog/tests/pwl_test.cc | 62 +++++++++++++++++++++++++++++++++++++++---- configure.ac | 1 + ppl-config.sed | 4 +++ tests/ppl_test.cc | 62 +++++++++++++++++++++++++++++++++++++++---- 6 files changed, 121 insertions(+), 13 deletions(-) diff --git a/Watchdog/configure.ac b/Watchdog/configure.ac index b831583..4e7b1a8 100644 --- a/Watchdog/configure.ac +++ b/Watchdog/configure.ac @@ -371,6 +371,7 @@ then # Checks for the availability of C library functions in C++. AC_CHECK_DECLS([getenv], , , [#include <cstdlib>]) + AC_CHECK_DECLS([sigaction], , , [#include <csignal>]) # Checks for typedefs, structures, and compiler characteristics. AC_CHECK_TYPES([siginfo_t], [], [], [[ diff --git a/Watchdog/pwl-config.sed b/Watchdog/pwl-config.sed index 960a73e..15a0d31 100644 --- a/Watchdog/pwl-config.sed +++ b/Watchdog/pwl-config.sed @@ -1,9 +1,11 @@ s/$[^A-Z_]$HAVE_DECL_GETENV/\1PWL_HAVE_DECL_GETENV/g +s/$[^A-Z_]$HAVE_DECL_SIGACTION/\1PWL_HAVE_DECL_SIGACTION/g s/$[^A-Z_]$HAVE_DLFCN_H/\1PWL_HAVE_DLFCN_H/g s/$[^A-Z_]$HAVE_FENV_H/\1PWL_HAVE_FENV_H/g s/$[^A-Z_]$HAVE_INTTYPES_H/\1PWL_HAVE_INTTYPES_H/g s/$[^A-Z_]$HAVE_MEMORY_H/\1PWL_HAVE_MEMORY_H/g -s/$[^A-Z_]$HAVE_SETITIMER_H/\1PWL_HAVE_SETITIMER_H/g +s/$[^A-Z_]$HAVE_SETITIMER/\1PWL_HAVE_SETITIMER/g +s/$[^A-Z_]$HAVE_SIGINFO_T/\1PWL_HAVE_SIGINFO_T/g s/$[^A-Z_]$HAVE_STDINT_H/\1PWL_HAVE_STDINT_H/g s/$[^A-Z_]$HAVE_STDLIB_H/\1PWL_HAVE_STDLIB_H/g s/$[^A-Z_]$HAVE_STRINGS_H/\1PWL_HAVE_STRINGS_H/g diff --git a/Watchdog/tests/pwl_test.cc b/Watchdog/tests/pwl_test.cc index 41ab632..f4b828c 100644 --- a/Watchdog/tests/pwl_test.cc +++ b/Watchdog/tests/pwl_test.cc @@ -43,9 +43,12 @@ uncaught_exception_handler() { exit(1); } -#ifdef HAVE_SIGINFO_T +#ifdef PWL_HAVE_DECL_SIGACTION + +#if defined(PWL_HAVE_SIGINFO_T) && defined(SA_SIGINFO) + void -fpe_handler(int sig, siginfo_t* sip, void*) { +fpe_sigaction(int sig, siginfo_t* sip, void*) { if (sig != SIGFPE) { std::cerr << "fpe_handler called on signal different from SIGFPE" << std::endl; @@ -113,7 +116,49 @@ fpe_handler(int sig, siginfo_t* sip, void*) { } exit(1); } -#endif // defined(HAVE_SIGINFO_T) + +#else // !defined(PWL_HAVE_SIGINFO_T) || !defined(SA_SIGINFO) + +void +fpe_handler(int sig) { + if (sig != SIGFPE) { + std::cerr << "fpe_handler called on signal different from SIGFPE" + << std::endl; + exit(1); + } + std::cerr << "SIGFPE caught" + << std::endl; +#if defined(PWL_HAVE_FENV_H) + std::cerr << "Inquire with fetestexcept(): "; +#ifdef FE_INEXACT + if (fetestexcept(FE_INEXACT)) + std::cerr << "FE_INEXACT "; +#endif +#ifdef FE_DIVBYZERO + if (fetestexcept(FE_DIVBYZERO)) + std::cerr << "FE_DIVBYZERO "; +#endif +#ifdef FE_UNDERFLOW + if (fetestexcept(FE_UNDERFLOW)) + std::cerr << "FE_UNDERFLOW "; +#endif +#ifdef FE_OVERFLOW + if (fetestexcept(FE_OVERFLOW)) + std::cerr << "FE_OVERFLOW "; +#endif +#if FE_INVALID + if (fetestexcept(FE_INVALID)) + std::cerr << "FE_INVALID "; +#endif + std::cerr << std::endl; +#endif + } + exit(1); +} + +#endif // !defined(PWL_HAVE_SIGINFO_T) || !defined(SA_SIGINFO) + +#endif // defined(PWL_HAVE_DECL_SIGACTION) } // namespace @@ -121,19 +166,24 @@ namespace Parma_Watchdog_Library { namespace Test { -#ifdef HAVE_SIGINFO_T void set_handlers() { +#ifdef PWL_HAVE_DECL_SIGACTION struct sigaction action; - action.sa_sigaction = fpe_handler; sigemptyset(&action.sa_mask); +#if defined(PWL_HAVE_SIGINFO_T) && defined(SA_SIGINFO) + action.sa_sigaction = fpe_sigaction; action.sa_flags = SA_SIGINFO; +#else // !defined(PWL_HAVE_SIGINFO_T) || !defined(SA_SIGINFO) + action.sa_handler = fpe_handler; + action.sa_flags = 0; +#endif // !defined(PWL_HAVE_SIGINFO_T) || !defined(SA_SIGINFO) if (sigaction(SIGFPE, &action, NULL) != 0) { std::cerr << "sigaction() failed" << std::endl; abort(); } -#endif // defined(HAVE_SIGINFO_T) +#endif // defined(PWL_HAVE_DECL_SIGACTION) std::set_unexpected(unexpected_exception_handler); std::set_terminate(uncaught_exception_handler); diff --git a/configure.ac b/configure.ac index 465f530..d67f0ff 100644 --- a/configure.ac +++ b/configure.ac @@ -1472,6 +1472,7 @@ AC_CHECK_DECLS([getrusage], # include <sys/resource.h> #endif ]) +AC_CHECK_DECLS([sigaction], , , [#include <csignal>]) # Checks for typedefs, structures, and compiler characteristics. AC_CHECK_TYPES([timeval]) diff --git a/ppl-config.sed b/ppl-config.sed index 2d74bb6..95f8ae1 100644 --- a/ppl-config.sed +++ b/ppl-config.sed @@ -10,6 +10,7 @@ s/$[^A-Z_]$HAVE_DECL_RLIMIT_AS/\1PPL_HAVE_DECL_RLIMIT_AS/g s/$[^A-Z_]$HAVE_DECL_RLIMIT_DATA/\1PPL_HAVE_DECL_RLIMIT_DATA/g s/$[^A-Z_]$HAVE_DECL_RLIMIT_RSS/\1PPL_HAVE_DECL_RLIMIT_RSS/g s/$[^A-Z_]$HAVE_DECL_RLIMIT_VMEM/\1PPL_HAVE_DECL_RLIMIT_VMEM/g +s/$[^A-Z_]$HAVE_DECL_SIGACTION/\1PPL_HAVE_DECL_SIGACTION/g s/$[^A-Z_]$HAVE_DECL_STRTOD/\1PPL_HAVE_DECL_STRTOD/g s/$[^A-Z_]$HAVE_DECL_STRTOF/\1PPL_HAVE_DECL_STRTOF/g s/$[^A-Z_]$HAVE_DECL_STRTOLD/\1PPL_HAVE_DECL_STRTOLD/g @@ -26,6 +27,8 @@ s/$[^A-Z_]$HAVE_INT_FAST16_T/\1PPL_HAVE_INT_FAST16_T/g s/$[^A-Z_]$HAVE_INT_FAST32_T/\1PPL_HAVE_INT_FAST32_T/g s/$[^A-Z_]$HAVE_INT_FAST64_T/\1PPL_HAVE_INT_FAST64_T/g s/$[^A-Z_]$HAVE_MEMORY_H/\1PPL_HAVE_MEMORY_H/g +s/$[^A-Z_]$HAVE_SETITIMER/\1PPL_HAVE_SETITIMER/g +s/$[^A-Z_]$HAVE_SIGINFO_T/\1PPL_HAVE_SIGINFO_T/g s/$[^A-Z_]$HAVE_SIGNAL_H/\1PPL_HAVE_SIGNAL_H/g s/$[^A-Z_]$HAVE_STDINT_H/\1PPL_HAVE_STDINT_H/g s/$[^A-Z_]$HAVE_STDLIB_H/\1PPL_HAVE_STDLIB_H/g @@ -40,6 +43,7 @@ s/$[^A-Z_]$HAVE_TYPEOF/\1PPL_HAVE_TYPEOF/g s/$[^A-Z_]$HAVE_UINT_FAST16_T/\1PPL_HAVE_UINT_FAST16_T/g s/$[^A-Z_]$HAVE_UINT_FAST32_T/\1PPL_HAVE_UINT_FAST32_T/g s/$[^A-Z_]$HAVE_UINT_FAST64_T/\1PPL_HAVE_UINT_FAST64_T/g +s/$[^A-Z_]$HAVE_UINTPTR_T/\1PPL_HAVE_UINTPTR_T/g s/$[^A-Z_]$HAVE_UNISTD_H/\1PPL_HAVE_UNISTD_H/g s/$[^A-Z_]$HAVE___MPZ_STRUCT__MP_ALLOC/\1PPL_HAVE___MPZ_STRUCT__MP_ALLOC/g s/$[^A-Z_]$HAVE___MPZ_STRUCT__MP_D/\1PPL_HAVE___MPZ_STRUCT__MP_D/g diff --git a/tests/ppl_test.cc b/tests/ppl_test.cc index 3c5caef..c0ac87f 100644 --- a/tests/ppl_test.cc +++ b/tests/ppl_test.cc @@ -43,9 +43,12 @@ uncaught_exception_handler() { exit(1); } -#ifdef HAVE_SIGINFO_T +#ifdef PPL_HAVE_DECL_SIGACTION + +#if defined(PPL_HAVE_SIGINFO_T) && defined(SA_SIGINFO) + void -fpe_handler(int sig, siginfo_t* sip, void*) { +fpe_sigaction(int sig, siginfo_t* sip, void*) { if (sig != SIGFPE) { std::cerr << "fpe_handler called on signal different from SIGFPE" << std::endl; @@ -113,7 +116,49 @@ fpe_handler(int sig, siginfo_t* sip, void*) { } exit(1); } -#endif // defined(HAVE_SIGINFO_T) + +#else // !defined(PPL_HAVE_SIGINFO_T) || !defined(SA_SIGINFO) + +void +fpe_handler(int sig) { + if (sig != SIGFPE) { + std::cerr << "fpe_handler called on signal different from SIGFPE" + << std::endl; + exit(1); + } + std::cerr << "SIGFPE caught" + << std::endl; +#if defined(PWL_HAVE_FENV_H) + std::cerr << "Inquire with fetestexcept(): "; +#ifdef FE_INEXACT + if (fetestexcept(FE_INEXACT)) + std::cerr << "FE_INEXACT "; +#endif +#ifdef FE_DIVBYZERO + if (fetestexcept(FE_DIVBYZERO)) + std::cerr << "FE_DIVBYZERO "; +#endif +#ifdef FE_UNDERFLOW + if (fetestexcept(FE_UNDERFLOW)) + std::cerr << "FE_UNDERFLOW "; +#endif +#ifdef FE_OVERFLOW + if (fetestexcept(FE_OVERFLOW)) + std::cerr << "FE_OVERFLOW "; +#endif +#if FE_INVALID + if (fetestexcept(FE_INVALID)) + std::cerr << "FE_INVALID "; +#endif + std::cerr << std::endl; +#endif + } + exit(1); +} + +#endif // !defined(PPL_HAVE_SIGINFO_T) || !defined(SA_SIGINFO) + +#endif // defined(PPL_HAVE_DECL_SIGACTION) } // namespace @@ -123,17 +168,22 @@ namespace Test { void set_handlers() { -#ifdef HAVE_SIGINFO_T +#ifdef PPL_HAVE_DECL_SIGACTION struct sigaction action; - action.sa_sigaction = fpe_handler; sigemptyset(&action.sa_mask); +#if defined(PPL_HAVE_SIGINFO_T) && defined(SA_SIGINFO) + action.sa_sigaction = fpe_sigaction; action.sa_flags = SA_SIGINFO; +#else // !defined(PPL_HAVE_SIGINFO_T) || !defined(SA_SIGINFO) + action.sa_handler = fpe_handler; + action.sa_flags = 0; +#endif // !defined(PPL_HAVE_SIGINFO_T) || !defined(SA_SIGINFO) if (sigaction(SIGFPE, &action, NULL) != 0) { std::cerr << "sigaction() failed" << std::endl; abort(); } -#endif // defined(HAVE_SIGINFO_T) +#endif // defined(PPL_HAVE_DECL_SIGACTION) std::set_unexpected(unexpected_exception_handler); std::set_terminate(uncaught_exception_handler);

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: master Commit: 8eecefb16080abbc755fafb6a5ab7ff4b426fddb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8eecefb16080… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 11:35:55 2010 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 490085c..465f530 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.11pre10], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11pre11], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 15 Feb '10

15 Feb '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72133da8d4d4… Merge: 849386529a16621be3da132e3da44f8b56fb6d92 05cdf3ade39391ba25dc992cabe93a7758e23dac Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 11:29:01 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05cdf3ade393… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 15 11:18:23 2010 +0100 Improved (devref) documentation for Matrix::add_(recycled_)row methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=849386529a16… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 8 00:23:06 2010 +0100 Drafted PIP_Problem methods {total,external}_memory_in_bytes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49d77d21e8dc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 7 12:15:50 2010 +0100 PIP_Problem ascii dump&load methods now also dump/load problem solution. Fixed error in PIP_Tree_Node::ascii_load(). Added ascii dump&load methods to PIP_Decision_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a962273cf06… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 6 22:16:08 2010 +0100 In ascii dump and load methods, also print pivot row strategy info. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=847a8a5f360d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 6 17:16:05 2010 +0100 Improving test coverage ratio. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=543d508d1069… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 6 14:37:30 2010 +0100 Improved exception safety in method PIP_Solution_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51e0707e9e73… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 5 19:02:44 2010 +0100 Clarified proper usage of PIP_Solution_Node alternative copy constructor. The Boolean argument replaced by a tag struct type, since it was only used for overloading resolution purposes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be3472f9d7b1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 5 15:59:56 2010 +0100 Add new friend function add_mul_assign() for Linear_Expression. Used new function to optimize a couple of computations in PIP_Tree.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b91cc59d73c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 5 14:52:15 2010 +0100 Helper function negate_assign() rnamed as complement_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cf076086588… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 5 14:05:42 2010 +0100 Simplified interface for virtual method PIP_Tree_Node::solve(). No longer using the PIP_Tree_Node*& parent_ref argument and direclty returning the solution PIP_Tree_Node* instead of a status flag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7ab70ac7775… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 4 16:39:39 2010 +0100 Improved class PIP_Tree_Node::Artificial_Parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecd41d0c27ce… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 4 10:54:27 2010 +0100 Some improvements to method PIP_Problem::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fe9538a0dad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 3 19:00:36 2010 +0100 Improved the last part of method PIP_Solution_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42bacf1180af… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 3 17:26:41 2010 +0100 More progress on PIP_Solution_Node::solve(). Identified places where the current implementation is not exception safe. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcc9213813f9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 3 14:33:00 2010 +0100 Further improved (huge) method PIP_Solution_Node::solve(). Added a couple of comments regarding parts where comments or code in unclear. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2649737035a9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 3 08:50:28 2010 +0100 Improved method Tableau::is_better_pivot(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c08098c36aa4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 2 10:27:12 2010 +0100 Started improving method PIP_Solution_Node::solve(): - limit scope of variables; - try to use meaningful variable names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff7e8d5afd59… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 1 19:23:18 2010 +0100 Minor improvements to PIP_Problem documentation and C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=052ec67e0d7c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 1 17:32:17 2010 +0100 Got rid of error-prone Tableau::s_capacity() and Tableau::t_capacity(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7326ef65ce9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 1 17:29:34 2010 +0100 Improved method PIP_Solution_Node::update_tableau(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=476f754b5c37… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 1 14:12:04 2010 +0100 Improved implementation of PIP_Solution_Node::compatibility_check(). Besides readability and stylistic changes, the change should also immprove robustness and (to a lesser extent) performance. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85c05c902ae1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 22:21:51 2010 +0100 Improved method PIP_Solution_Node::::parametric_values(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e6d5a18fb1e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 21:59:21 2010 +0100 Stylistic improvements to Tableau methods normalize() and scale(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1f10d956a03… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 21:36:40 2010 +0100 A few more stylistic improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a30d0933cfa1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 19:36:12 2010 +0100 Several improvements to PIP_Solution_Node::generate_cut(). Added method OK() to Artificial_Parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=353f9b79d107… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 16:19:41 2010 +0100 Further optimization to helper function column_lower(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af2068fb4971… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 00:07:27 2010 +0100 Several minor stylistic improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4fe5c5c5a5b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 23:43:40 2010 +0100 Prefer C++ named casts to C style casts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6864f73b1fba… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 23:38:59 2010 +0100 Minor readability improvements to row_normalize. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd6b0004b5f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 23:23:24 2010 +0100 Optimized some computation in helper function column_lower(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e10ef6e9a1b9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 22:22:51 2010 +0100 Improved helper function merge_assign(): add all new rows at once. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07cdb790656a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 21:37:50 2010 +0100 Corrected capacity mismatch bug in PIP_Solution_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b728ad412284… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 20:50:27 2010 +0100 Improved consistency checks in method PIP_Decision_Node::OK(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d11a14fc0576… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 20:39:36 2010 +0100 Improved consistency checks in method PIP_Solution_Node::Tableau::OK(). Prefer using Coefficient_traits::const_reference in parameter passing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f580901c890… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 20:17:22 2010 +0100 The Pip_Tree_Node:OK() method is now virtual. When overriding a virtual method in derived classes, prefer repeating the virtual keyword for clarity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f1e1304cef9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 19:09:19 2010 +0100 Typedef for PIP_Tree moved to PIP_Tree.types.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36de950771eb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 18:59:06 2010 +0100 Everyting else equal, prefer downward iteration in for loop. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=299dafac1f95… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 18:57:29 2010 +0100 No need to check for null pointers before deleting them. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f15af9db40f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 25 14:41:09 2010 +0100 Forward declare classes before making them friends. Included Grid.types.hh in Congruence_/Grid_Generator_ System.defs.hh. Do not uselessly include Grid.types.hh in Generator_system.defs.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7f6b5d260af… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Jan 22 08:15:24 2010 +0100 Added a not working incremental solve test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91de7841156c… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Jan 20 08:23:22 2010 +0100 Fixed bugs. Now test07 in pipproblem2.cc is successful. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b04bd578005… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 23:28:55 2010 +0100 Fixed the omissions of ppl_Polyhedron_is_empty/1 and ppl_Polyhedron_add_constraints/2. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df9e55f182cd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 23:25:06 2010 +0100 Fixed the omission of ppl_set_irrational_precision/1 and ppl_irrational_precision/1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=582ab4eaecea… Merge: 07245b3ac3485ebcd4acdf1d00585988e58c60ad 9c19bc2b318a35016e0189f9552c98910be37f53 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 16:33:56 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c19bc2b318a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 16:32:08 2010 +0100 Added support for GMP 5.0. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07245b3ac348… Merge: 2434409ba4ea91334a47ebb49cb8afca1dfa6a77 56ee86b9ccf001c8dc2ab1558332e9691b2eff3f Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 16:18:38 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56ee86b9ccf0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 14:38:37 2010 +0100 Adapted to follow the IBM OSL conventions for the MPS format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=447775d2f2aa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 14:23:58 2010 +0100 Generate nicer identifiers for the temporaries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97ce932e0129… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 14:19:59 2010 +0100 Adapted to follow the IBM OSL conventions for the MPS format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2434409ba4ea… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Jan 5 20:32:59 2010 +0100 Fixed a bug. Now test08 and test09 in pipproblem2.cc are successful. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3db97de0e93… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Jan 4 08:33:04 2010 +0100 Implemented an optional pivot row strategy for difficult problems. It is deactivated by default as it is more compute intensive. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37b1e615b392… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Dec 16 08:32:19 2009 +0100 Added a more aggressive cutting strategy which generates all possible cuts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a6c37ff2950… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Dec 16 08:32:15 2009 +0100 Moved out the cut generation code into a separate method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f02dadae258… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Dec 16 08:32:12 2009 +0100 Moved huge block of code out of useless 'else' block. Code reindentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cea0f336306… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 4 08:25:47 2010 +0100 Do not include <iostream> if PPL_NOISY_SIMPLEX is defined to 0. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1a748c8dade… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:37:56 2010 +0100 Extended copyright years. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05bcc560695c… Merge: 2e58e4cde2d03f7e4a696291d0de764929a86652 4d6c6db0470eb60cecbbed0a43a2b08d8539e95f Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:37:29 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e58e4cde2d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:34:11 2010 +0100 Extended copyright years. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=149a08281d49… Merge: 8c57cea34a350ab5fd9d1c66d09f98782b3b8af8 488f55fbe874c4f3a85c0c0db8c59f7e83d615e0 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:32:11 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c57cea34a35… Merge: 4394384f20722ac901f4b934780238580eae1767 99a040ae53ddf2e369340274eb34d5211b1c642a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 19:01:52 2009 +0100 Merge branch 'master' into pip Conflicts: doc/devref.doxyconf-html.in tests/Makefile.am URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4394384f2072… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 30 17:08:59 2009 +0100 Improved the documentation of the PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=031a0a56e158… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 30 15:31:58 2009 +0100 Simplified the solution tree exploration method. Including, the PIP_Tree_Node::insert_artificials method has been removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9022a7ee764… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 27 16:39:59 2009 +0100 Modified the documentation of the PIP_Problem class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e5358356737… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 27 08:10:18 2009 +0100 Fixed a regression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05f65d328f6e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 26 14:42:56 2009 +0100 Test test10() in pipproblem2.cc seems to show another bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f83627a47466… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 26 14:42:12 2009 +0100 Added a few tests for the PIP_Problem ascii_dump/load methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bb1ea9da441… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 26 14:41:05 2009 +0100 Properly set status flags when solving a PIP_Problem having no constraints. Minor correction to ascii_dump method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831631899dd… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 08:37:43 2009 +0100 Changed the cut generation strategy in compatibility_check. Now several cuts may be generated in a single pass. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f98b51bb576f… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 08:36:17 2009 +0100 Changed the pivot row selection algorithm in compatibility_check. It now selects the row which maximizes the lexico-minimal pivot column. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6a5acdea679… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 08:34:55 2009 +0100 Minor cosmetic code fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9086d965ff48… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 08:29:58 2009 +0100 Moved the lexico-minimum column search algorithm to a separate function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c903922ece8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Nov 25 17:26:20 2009 +0100 Removed useless utility function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2709f6de0c88… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 10:47:08 2009 +0100 Fixed a regression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e46ac63881ab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 15:22:01 2009 +0100 PIP_Problem can handle strict inequalities: corresponding checks removed. Got rid of internal status SATISFIABLE, which was unused. Corrected several minor typos (missing spaces) in exception messages. Added a new test (pipproblem2.cc, test09) showing what seems to be a bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cc933834e49… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 13:06:50 2009 +0100 Test test07() in pipproblem2.cc shows a bug in PIP_Problem. Apparently, we cannot incrementally add new constraints to a PIP_Problem taht was already solved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06c6a3408fb5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 12:09:20 2009 +0100 Prefer not_a_dimension() as a marker if the big parameter is not set. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51bc21cdc8ce… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 10:49:08 2009 +0100 Started adding tests checking for the right PIP_Problem exceptions are thrown. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfbfb20b161e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 10:18:16 2009 +0100 Started adding tests to increase coverage. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75564de32ad9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 18:52:37 2009 +0100 Minor improvements to avoid assertion failures on iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=108c6bf1ccdb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 18:51:14 2009 +0100 Started drafting a Prolog interface for PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07821ad5d5ad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 14:17:42 2009 +0100 In PIP_Problem::clear(), do also reset the big parameter dimension. Added C language functions for getting/setting the big parameter dimension. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1518687e622… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 13:13:38 2009 +0100 Enumerations for control parameters put inside class PIP_Problem. Interfaced methods for getting/setting control parameters (in C). Other minor stylistic improvements here and there. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b92ce985bab6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 10:32:56 2009 +0100 Corrected a bug in method swap. Several minor stylistic improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fcb1702a990… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 20 09:58:38 2009 +0100 Optimized the solver main loop using PPL_DIRTY_TEMP_COEFFICIENT's. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b326ccf6d429… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 15:20:58 2009 +0100 Added a rule to the cut methods to always choose the simplest parametric part. This tends to provide simpler solution trees on some problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=548215a3de60… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 11:59:57 2009 +0100 Added a mechanism to avoid generating the same Artificial_Parameter twice. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cba1ff2af03… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 11:59:53 2009 +0100 Added a pointer to parent node in PIP_Tree_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=249afaa3a7bf… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 11:59:49 2009 +0100 Improved the deepest row selection cut strategy. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=defe2c4b315e… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 12:30:50 2009 +0100 Correctly rewrote ascii_dump/ascii_load methods for PIP_Solution_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccb5b869e390… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 12:29:42 2009 +0100 Removed useless debugging display code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff541fbbe995… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 18:49:07 2009 +0100 Added an option in PIP standalone solver to solve the problem several times. This may be convenient for benchmarking purposes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=407ea63b7d30… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 18:23:58 2009 +0100 Fixed a bug in PIP_Problem copy constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5968086496c3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 15:00:45 2009 +0100 Updated the deepest cut strategy; now only selects rows associated to initial variables. This results in performance increase in most problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=166aa73867fc… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 18:01:21 2009 +0100 Minor fix fixes in standalone solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1feefaab34eb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 17:39:14 2009 +0100 Fixed a bug in standalone solver when using PIPlib files with a big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6af59504f0e2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 13 18:03:48 2009 +0100 Added support for an arbitrarily big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=129b74f12cf5… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 13 19:12:50 2009 +0100 Switched the default cut generation strategy to first row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60731ffcf53a… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 13 18:19:01 2009 +0100 Fixed a bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a6efe831670… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 13 17:10:40 2009 +0100 Added a control parameter for cut generation strategy. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d105f5ecbaaf… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Nov 10 16:08:43 2009 +0100 Added a mechanism for setting/getting control parameter values. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da5f1817645d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Nov 10 16:07:17 2009 +0100 Made use of virtual methods in PIP_Tree_Node::clone(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b102f42050ad… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 5 14:40:39 2009 +0100 Fixed a bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09665b7e6410… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 5 14:19:36 2009 +0100 Removed temporary debug code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bc03d578673… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 5 09:11:38 2009 +0100 Improved the support for equality constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2812b97dfea… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Nov 4 11:51:36 2009 +0100 Improved basis handling in compatibility_check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43721277fe73… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Nov 4 08:56:45 2009 +0100 Added coherency checks in PIP_Solution_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c4cfb2bdf11… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Nov 4 08:45:20 2009 +0100 Improved basis handling with support for slack variables and bijective variable mapping. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f09897ddab17… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Nov 3 09:54:58 2009 +0100 Implemented an example of solution tree spanning and display using the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75201b577f6d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Nov 3 09:53:10 2009 +0100 Implemented the art_parameter_count method; updated the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22429a8c2b62… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 2 17:41:11 2009 +0100 Implemented Bland's anti-cycling rule in compatibility_check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75d549f15888… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 2 16:59:51 2009 +0100 Proper scaling of cuts in compatiblity_check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68759e0051c1… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 30 13:25:06 2009 +0100 Minor fix in PIP standalone solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f77646bf501… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 29 13:37:59 2009 +0100 Fixed a bug in PIP standalone solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ae52bb82643… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 28 16:23:14 2009 +0100 Fixed one bug in standalone PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43b0216a8baa… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 28 15:48:13 2009 +0100 Added support for Polylib-formatted files in standalone solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f29d86a0be72… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 27 20:12:47 2009 +0100 Added support for equality constraints; fixed a bug for strict inequalities. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da9e3b638d75… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 27 17:08:11 2009 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73a0148ba9c9… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 27 16:31:42 2009 +0100 Fixed the C interface and the documentation for PIP_Tree_Node methods. The concerned methods are insert_artificials and get_parametric_values. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=250a996c0147… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Oct 26 21:30:20 2009 +0100 Another pass on the C interface for PIP_Problem related classes. Removed a few useless functions and added a few missing ones, including input/output utilities; also slightly improved the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcd32b2e0310… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Oct 25 17:25:07 2009 +0100 Interfaced constructor/destructor for Artificial_Parameter_Sequence iterators. These iterators should be used similarly to the ones defined on systems of constraints or generators. Corrected a couple of bugs in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65ebba9954ea… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Oct 24 17:34:19 2009 +0100 Added increment, dereference and equal functions for ppl_Artificial_Parameter_Sequence_const_iterator_t's Fixed a couple of bugs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0848cf9eb545… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 23 17:03:27 2009 +0200 Added test program for PIP C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c95e73449a6… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 23 17:00:25 2009 +0200 New parameter choice method. Updated the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3abd93298e88… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 22:18:26 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e5c81beb8e9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 22:07:38 2009 +0200 Ditribute also MIP_Problem.types.hh, PIP_Tree.types.hh and PIP_Problem.types.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=068eaef2c633… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 18:16:20 2009 +0200 Adapted to the checking of ppl_pips. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7771850394ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 18:16:03 2009 +0200 Put under Git control. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b96565a81906… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 22 11:32:19 2009 +0200 Removed invalid optimization in context compatibility check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c4cc0826009… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 21 19:42:21 2009 +0200 Added a standalone PIP solver demo program. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d6df94a8a65… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 21 12:39:17 2009 +0200 Context compatibility check now searches for valid integer solutions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f62791f13a0… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 20 18:18:19 2009 +0200 Parameter compatibility check now applies a revised dual simplex method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5050775875b5… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 20 16:52:33 2009 +0200 Added display of computed row parameter signs in noisy PIP mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27de41218171… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 20 16:10:26 2009 +0200 Added new test, which should return an empty solution. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d5b77d7bd5b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 20 11:36:57 2009 +0200 Always stop compatibility check at first negative row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b748415bdb69… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 16 09:58:24 2009 +0200 Improved the heuristic for the choice of the deepest cut. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65b630d43bcb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 16 09:38:10 2009 +0200 Better use of scaling and normalization to keep low coefficient values where possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd38635a96c0… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 16 09:32:29 2009 +0200 Corrected invalid compatibility check algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=051c82f85918… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 14 12:28:29 2009 +0200 Added a test case illustrating an instability in the PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8d79ad7cef… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 13 10:50:48 2009 +0200 Integrality check only on the original variables (not slack ones). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=386c5e664533… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 13 10:49:20 2009 +0200 Optimized pivot operation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea3ca40fe59e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Oct 10 12:07:01 2009 +0200 Uncommented C interface code for PIP_Problem assignment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4002ecca8f7a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Oct 9 23:25:07 2009 +0100 More functions for the C interface to the PIP Tree class - in particular, corresponding to the PIP_Solution_Node and PIP_Decision_Node C++ methods. Various small bugs fixed in the PIP_Problem C interface code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e43b1a4200b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Oct 9 21:00:56 2009 +0100 Fixed various bugs in the C interface for PIP_Problem methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a9a350ade22… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 9 17:57:18 2009 +0200 Improved best pivot row selection heuristic. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d54e9631e1c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Oct 9 13:02:12 2009 +0100 Added several C functions for PIP_Tree_Node and Artificial_Parameter*. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50e259b4f41c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 20:52:56 2009 +0100 Added the c interface for as_decision() and as_solution(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4c21dff1147… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 9 13:08:37 2009 +0200 Fixed memory managment issue in copy constructor of PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3aedf16a94ad… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 9 13:07:15 2009 +0200 Added call to the solver to check problem satisfiability. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5889e252f39… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Oct 8 20:41:16 2009 +0200 Added implementations for PIP_Problem swap and operator= methods. Added a few consistency checks in method OK(). Pointed out a resource management bug in copy constructor that can result in memory corruption. Added test04() to pipproblem1.cc (currently commented out) showing that a segmentation fault can be obtained when copying a PIP_Problem object having a non-null solution tree. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bea0281e38c5… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 18:52:08 2009 +0100 Added missing headers for ppl_PIP_Problem_solve and ppl_PIP_Problem_optimizing_solution. Variable names made consistent with the domain. Documentation for ppl_PPI_Problem_is_satisfiable() improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7d8d6dde6e8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 8 16:27:27 2009 +0200 Removed trailing whitespaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e838be1d03b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 16:18:22 2009 +0100 Uncommented methods for the C interface for the PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5108da19b0b8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 8 15:51:42 2009 +0200 Implemeted missing methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a7f65b71230… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 07:02:38 2009 +0100 Uncommented C interface code for add_constraint(), add_constraints() and operator=(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abd54a672679… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 7 20:44:37 2009 +0200 Implemented missing methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f6fb91d81eb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 7 20:33:36 2009 +0200 Fixed memory leak. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe3d8d0b4d10… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 17:05:22 2009 +0100 Commented PIP_Problem code in the C interface that requires methods in the C++ interface that are not yet implemented. Added declarations for printing the PIP_Problem and PIP_Tree in the tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e726a3af13d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 16:10:17 2009 +0100 More consistent naming of variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57c81a9ac76f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 16:00:42 2009 +0100 Added 2 more functions for the C interface to the PIP_Problem class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=518bf5b2eb2c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 14:30:38 2009 +0100 Added a very basic interface for C to the PIP_Problem class. Note this is incomplete and does not support methods with PIP_Tree. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99f2fbb39215… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 16:29:54 2009 +0200 Removed useless pointer to problem object in PIP_Tree_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0451215bb4b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 16:00:20 2009 +0200 Minor fixes in Doxygen documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d876143defda… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 12:48:18 2009 +0200 Improved accuracy of context compatibility checks. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c38128604c57… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 11:32:17 2009 +0200 Added generation of non-parametric cuts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=620039bd51f0… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 10:54:18 2009 +0200 Improved display in noisy mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d0b02fa391a… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 10:52:35 2009 +0200 Fixed bug in compatiblity_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90400149d3e3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Oct 5 08:46:45 2009 +0200 Added code for selection of the deepest cut. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11dea7cc6e76… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sun Oct 4 18:41:13 2009 +0200 Implemented cut generation. Not stable yet. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74cf01fdacb0… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sun Oct 4 12:09:57 2009 +0200 Added test problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=039d147fe811… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 2 10:57:20 2009 +0200 Unified the common denominator between both matrices of the tableau. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=150b3c6db234… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 1 16:32:23 2009 +0200 Fixed bugs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4cd20a07c080… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 30 18:28:04 2009 +0200 Implemented handling of artificial parameters, preparing cut generation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=233be8bdca82… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 29 16:25:02 2009 +0200 Added support for adding constraints in initial context. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=842215c913d8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 29 16:21:25 2009 +0200 Proper update of internal state of PIP_Problem object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c32a7f8c1c53… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 29 14:45:48 2009 +0200 Fixed regression due to change in index ordering in parameter constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef984d10243c… Merge: 8ca4f6890910a146f573d7a45d135aa6a07b6ece 513d2127e55faa6f5e7d29938b7315203a712df2 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 20:49:48 2009 +0200 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca4f6890910… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 20:48:16 2009 +0200 Correctly deal with pipproblem1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=218d5ae8dfc2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 20:46:42 2009 +0200 Renamed to follow the PPL convention on test file naming. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d8dbbaf6e3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 20:46:04 2009 +0200 Added test02(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a18c563be178… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Sep 24 11:55:41 2009 +0200 Added additional check in simplex, leading to simpler decision trees. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44241590e1fd… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 23 11:15:32 2009 +0200 Removed useless parameter in PIP_Tree_Node::update_tableau method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4eb68b6e2a67… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 23 10:53:15 2009 +0200 Implemented display of solution trees. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8663b34c0282… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 23 11:05:57 2009 +0200 Fixed bugs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25bfa050fc1d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 23 10:37:14 2009 +0200 Changed index ordering in parameter constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5561eee98184… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 22 09:31:27 2009 +0200 Added mechanism for fetching parametric values for variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6ea14f4ac3f… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 22 09:30:53 2009 +0200 Added reference to the Problem object in solution tree Nodes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5208ce53cc4… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Sep 21 15:58:16 2009 +0200 Bug fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1271e1583604… Author: Francois GALEA <fgalea(a)verlaine.prism.uvsq.fr> Date: Fri Sep 18 11:32:12 2009 +0200 Fixed ASCII dump/load methods, solving compilation issues. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80b7e0845929… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 18 09:21:54 2009 +0200 Finished parametric simplex algorithm. No cut generation yet. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec92733bc0d2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 19:53:33 2009 +0200 Fixes to avoid some useless Coefficient duplicates. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1024999dddcc… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 18:21:41 2009 +0200 Implemented the Rational_Matrix normalize method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5927b13d1aae… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 15:24:24 2009 +0200 Implemented additional steps of the simplex algorithm. - handling of simplex rows with mixed parameter sign; - handling of tautology expressions; - handling of splitting a solution according to a test parametric expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64bd2613cda2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 15:21:06 2009 +0200 Modified prototype for solve method in PIP_Tree_Node and derivates. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c93acf108e68… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 15:15:28 2009 +0200 Redefined and implemented the tree node constructors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8e1cbd1782c… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 15 15:09:08 2009 +0200 Implemented simplex pivot on rational matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41ead44c160d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Sep 14 17:32:25 2009 +0200 Implemented the first steps of the parametric simplex algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8b3c7c191b3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Sep 14 13:13:27 2009 +0200 Changed modelization of contexts from Constraint_System to Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92c85879ea35… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 17:09:21 2009 +0200 Moved the constraint() method to PIP_Tree_Node class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c02e3b5a945… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 16:24:49 2009 +0200 Added first tests in OK() methods of PIP_Tree classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=400f860377c1… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 15:40:34 2009 +0200 Implemented integer context compatibility check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ce39ca898aa… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 13:16:08 2009 +0200 Implemented row sign detection. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33905b7bf1a3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 13:08:53 2009 +0200 Implemented constraint negation, plus minor fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f1061d0e0fb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 10 17:25:05 2009 +0200 Improved recently added helper functions. - avoid recomputing loop bounds at each iteration; - delay object definitions until actually needed and, if possible, provide them with an initializer. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2747f04f7bcc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 10 16:41:24 2009 +0200 Fix compilation problems when assertions are turned on. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa7e6d41189d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 10 16:11:39 2009 +0200 Identifiers starting with an underscore are reserved: avoid them. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6b3b1cf93a9… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Sep 10 15:46:25 2009 +0200 Implemented some helper functions for the PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2219c62d2528… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Sep 10 14:48:21 2009 +0200 Integrated the solve method in the different PIP_Tree node classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a50f74f87f97… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 9 15:59:09 2009 +0200 Implemented proper handling of nonbasic variables when adding rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc85f3ea87bf… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 8 12:56:49 2009 +0200 Moved the simplex tableau from PIP_Problem to PIP_Solution_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=544e8ba18471… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 4 18:25:13 2009 +0200 Fixed missing make dependency for recently added header file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8abcfae5a3f8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Sep 4 17:26:01 2009 +0200 Corrected bug in PIP_Problem::add_space_dimensions_and_embed(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=322a2b9a124a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Sep 4 16:56:54 2009 +0200 Implemented methods querying/adding space dimensions and parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2690fc065429… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 4 14:53:38 2009 +0200 Implemented simplex basis and tableau initialization in PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00627ff6a984… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 4 12:23:45 2009 +0200 Included the PIP_Problem and PIP_Tree classes in the devref documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc2606ea40c5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 4 08:46:37 2009 +0200 Listed François Galea among the current contributors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68aad9bf5bd2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 3 16:10:55 2009 +0200 Drafted implementation for ascii_dump and ascii_load methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56c76f2f5220… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 3 14:34:15 2009 +0200 Do perform PIP_Problem tests first. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22718e3dda0d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 3 14:28:12 2009 +0200 Minor coding style improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d542fbbddbc2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 2 17:57:15 2009 +0200 Started the implementation of the PIP_Problem class. In particular: - defined the PIP_Problem constructors; - added the definition of the rational matrix class; - added the definition of simplex tableau; - created a test program. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=362c6c0bcf47… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 25 21:06:10 2009 +0200 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71c24b0bbde9… Merge: 1f2678a35a2e13b22456a380a9e0b974939232a9 6a96e861272517118cfef7806f7b696dccd4d7e6 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 21 09:42:04 2009 +0200 Merge branch 'master' into pip Conflicts: fedora/ppl.spec URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f2678a35a2e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Jun 19 14:56:26 2009 +0200 Space dimensions cannot change status: they are either vars or parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7100d0307f86… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 19 09:51:24 2009 +0200 The `gprolog' and `yap' packages are not available on the sparc64 and sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and `ppl-yap'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecaf06e49be9… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Jun 18 10:54:46 2009 +0200 Added proof of concept for Python interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4febc2ae85b5… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jun 14 22:58:15 2009 +0200 Added implementation of child accessors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=235b8ee1963d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jun 14 22:57:25 2009 +0200 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3b7ee7164ee… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 22:14:36 2009 +0200 Added accessors of PIP_Solution_Node. Other improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b898fa650b74… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 22:01:21 2009 +0200 Include "globals.defs.hh" URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b690470bc18c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 22:01:02 2009 +0200 Include "PIP_Tree.defs.hh". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=272d5fda28d4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 21:57:44 2009 +0200 Added constructors and comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f11bf94c3f3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jun 14 21:49:51 2009 +0200 Initial draft fo rinterface improved. Removed control parameters; removed UNBOUND status; renamed a few methods; let PIP_Tree be an alias for a pointer to a _const_ PIP_Tree_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9871d90f574… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 21:25:06 2009 +0200 More comments added. Some fields renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=298c26af185d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 21:16:52 2009 +0200 Added comments and more infrastructure. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18458e693b80… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jun 14 20:26:12 2009 +0200 Added draft PIP_Tree implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7f48834cdee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jun 14 19:08:18 2009 +0200 Got rid of objective function and optimization mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00cf12048387… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 17:55:09 2009 +0200 Blatantly ripped from MIP_Problem.*.hh.

1 0

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 15 Feb '10

15 Feb '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72133da8d4d4… Merge: 849386529a16621be3da132e3da44f8b56fb6d92 05cdf3ade39391ba25dc992cabe93a7758e23dac Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 11:29:01 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=849386529a16… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 8 00:23:06 2010 +0100 Drafted PIP_Problem methods {total,external}_memory_in_bytes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49d77d21e8dc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 7 12:15:50 2010 +0100 PIP_Problem ascii dump&load methods now also dump/load problem solution. Fixed error in PIP_Tree_Node::ascii_load(). Added ascii dump&load methods to PIP_Decision_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a962273cf06… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 6 22:16:08 2010 +0100 In ascii dump and load methods, also print pivot row strategy info. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=847a8a5f360d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 6 17:16:05 2010 +0100 Improving test coverage ratio. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=543d508d1069… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 6 14:37:30 2010 +0100 Improved exception safety in method PIP_Solution_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51e0707e9e73… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 5 19:02:44 2010 +0100 Clarified proper usage of PIP_Solution_Node alternative copy constructor. The Boolean argument replaced by a tag struct type, since it was only used for overloading resolution purposes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be3472f9d7b1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 5 15:59:56 2010 +0100 Add new friend function add_mul_assign() for Linear_Expression. Used new function to optimize a couple of computations in PIP_Tree.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b91cc59d73c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 5 14:52:15 2010 +0100 Helper function negate_assign() rnamed as complement_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cf076086588… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 5 14:05:42 2010 +0100 Simplified interface for virtual method PIP_Tree_Node::solve(). No longer using the PIP_Tree_Node*& parent_ref argument and direclty returning the solution PIP_Tree_Node* instead of a status flag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7ab70ac7775… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 4 16:39:39 2010 +0100 Improved class PIP_Tree_Node::Artificial_Parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecd41d0c27ce… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 4 10:54:27 2010 +0100 Some improvements to method PIP_Problem::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fe9538a0dad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 3 19:00:36 2010 +0100 Improved the last part of method PIP_Solution_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42bacf1180af… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 3 17:26:41 2010 +0100 More progress on PIP_Solution_Node::solve(). Identified places where the current implementation is not exception safe. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcc9213813f9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 3 14:33:00 2010 +0100 Further improved (huge) method PIP_Solution_Node::solve(). Added a couple of comments regarding parts where comments or code in unclear. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2649737035a9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 3 08:50:28 2010 +0100 Improved method Tableau::is_better_pivot(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c08098c36aa4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 2 10:27:12 2010 +0100 Started improving method PIP_Solution_Node::solve(): - limit scope of variables; - try to use meaningful variable names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff7e8d5afd59… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 1 19:23:18 2010 +0100 Minor improvements to PIP_Problem documentation and C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=052ec67e0d7c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 1 17:32:17 2010 +0100 Got rid of error-prone Tableau::s_capacity() and Tableau::t_capacity(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7326ef65ce9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 1 17:29:34 2010 +0100 Improved method PIP_Solution_Node::update_tableau(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=476f754b5c37… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 1 14:12:04 2010 +0100 Improved implementation of PIP_Solution_Node::compatibility_check(). Besides readability and stylistic changes, the change should also immprove robustness and (to a lesser extent) performance. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85c05c902ae1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 22:21:51 2010 +0100 Improved method PIP_Solution_Node::::parametric_values(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e6d5a18fb1e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 21:59:21 2010 +0100 Stylistic improvements to Tableau methods normalize() and scale(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1f10d956a03… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 21:36:40 2010 +0100 A few more stylistic improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a30d0933cfa1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 19:36:12 2010 +0100 Several improvements to PIP_Solution_Node::generate_cut(). Added method OK() to Artificial_Parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=353f9b79d107… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 16:19:41 2010 +0100 Further optimization to helper function column_lower(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af2068fb4971… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 00:07:27 2010 +0100 Several minor stylistic improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4fe5c5c5a5b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 23:43:40 2010 +0100 Prefer C++ named casts to C style casts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6864f73b1fba… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 23:38:59 2010 +0100 Minor readability improvements to row_normalize. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd6b0004b5f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 23:23:24 2010 +0100 Optimized some computation in helper function column_lower(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e10ef6e9a1b9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 22:22:51 2010 +0100 Improved helper function merge_assign(): add all new rows at once. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07cdb790656a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 21:37:50 2010 +0100 Corrected capacity mismatch bug in PIP_Solution_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b728ad412284… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 20:50:27 2010 +0100 Improved consistency checks in method PIP_Decision_Node::OK(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d11a14fc0576… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 20:39:36 2010 +0100 Improved consistency checks in method PIP_Solution_Node::Tableau::OK(). Prefer using Coefficient_traits::const_reference in parameter passing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f580901c890… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 20:17:22 2010 +0100 The Pip_Tree_Node:OK() method is now virtual. When overriding a virtual method in derived classes, prefer repeating the virtual keyword for clarity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f1e1304cef9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 19:09:19 2010 +0100 Typedef for PIP_Tree moved to PIP_Tree.types.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36de950771eb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 18:59:06 2010 +0100 Everyting else equal, prefer downward iteration in for loop. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=299dafac1f95… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 18:57:29 2010 +0100 No need to check for null pointers before deleting them. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7f6b5d260af… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Jan 22 08:15:24 2010 +0100 Added a not working incremental solve test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91de7841156c… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Jan 20 08:23:22 2010 +0100 Fixed bugs. Now test07 in pipproblem2.cc is successful. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=582ab4eaecea… Merge: 07245b3ac3485ebcd4acdf1d00585988e58c60ad 9c19bc2b318a35016e0189f9552c98910be37f53 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 16:33:56 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07245b3ac348… Merge: 2434409ba4ea91334a47ebb49cb8afca1dfa6a77 56ee86b9ccf001c8dc2ab1558332e9691b2eff3f Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 16:18:38 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2434409ba4ea… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Jan 5 20:32:59 2010 +0100 Fixed a bug. Now test08 and test09 in pipproblem2.cc are successful. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3db97de0e93… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Jan 4 08:33:04 2010 +0100 Implemented an optional pivot row strategy for difficult problems. It is deactivated by default as it is more compute intensive. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37b1e615b392… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Dec 16 08:32:19 2009 +0100 Added a more aggressive cutting strategy which generates all possible cuts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a6c37ff2950… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Dec 16 08:32:15 2009 +0100 Moved out the cut generation code into a separate method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f02dadae258… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Dec 16 08:32:12 2009 +0100 Moved huge block of code out of useless 'else' block. Code reindentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1a748c8dade… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:37:56 2010 +0100 Extended copyright years. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05bcc560695c… Merge: 2e58e4cde2d03f7e4a696291d0de764929a86652 4d6c6db0470eb60cecbbed0a43a2b08d8539e95f Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:37:29 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e58e4cde2d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:34:11 2010 +0100 Extended copyright years. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=149a08281d49… Merge: 8c57cea34a350ab5fd9d1c66d09f98782b3b8af8 488f55fbe874c4f3a85c0c0db8c59f7e83d615e0 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:32:11 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c57cea34a35… Merge: 4394384f20722ac901f4b934780238580eae1767 99a040ae53ddf2e369340274eb34d5211b1c642a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 19:01:52 2009 +0100 Merge branch 'master' into pip Conflicts: doc/devref.doxyconf-html.in tests/Makefile.am URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4394384f2072… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 30 17:08:59 2009 +0100 Improved the documentation of the PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=031a0a56e158… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 30 15:31:58 2009 +0100 Simplified the solution tree exploration method. Including, the PIP_Tree_Node::insert_artificials method has been removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9022a7ee764… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 27 16:39:59 2009 +0100 Modified the documentation of the PIP_Problem class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e5358356737… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 27 08:10:18 2009 +0100 Fixed a regression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05f65d328f6e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 26 14:42:56 2009 +0100 Test test10() in pipproblem2.cc seems to show another bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f83627a47466… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 26 14:42:12 2009 +0100 Added a few tests for the PIP_Problem ascii_dump/load methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bb1ea9da441… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 26 14:41:05 2009 +0100 Properly set status flags when solving a PIP_Problem having no constraints. Minor correction to ascii_dump method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831631899dd… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 08:37:43 2009 +0100 Changed the cut generation strategy in compatibility_check. Now several cuts may be generated in a single pass. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f98b51bb576f… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 08:36:17 2009 +0100 Changed the pivot row selection algorithm in compatibility_check. It now selects the row which maximizes the lexico-minimal pivot column. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6a5acdea679… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 08:34:55 2009 +0100 Minor cosmetic code fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9086d965ff48… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 08:29:58 2009 +0100 Moved the lexico-minimum column search algorithm to a separate function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c903922ece8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Nov 25 17:26:20 2009 +0100 Removed useless utility function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2709f6de0c88… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 10:47:08 2009 +0100 Fixed a regression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e46ac63881ab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 15:22:01 2009 +0100 PIP_Problem can handle strict inequalities: corresponding checks removed. Got rid of internal status SATISFIABLE, which was unused. Corrected several minor typos (missing spaces) in exception messages. Added a new test (pipproblem2.cc, test09) showing what seems to be a bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cc933834e49… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 13:06:50 2009 +0100 Test test07() in pipproblem2.cc shows a bug in PIP_Problem. Apparently, we cannot incrementally add new constraints to a PIP_Problem taht was already solved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06c6a3408fb5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 12:09:20 2009 +0100 Prefer not_a_dimension() as a marker if the big parameter is not set. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51bc21cdc8ce… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 10:49:08 2009 +0100 Started adding tests checking for the right PIP_Problem exceptions are thrown. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfbfb20b161e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 10:18:16 2009 +0100 Started adding tests to increase coverage. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75564de32ad9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 18:52:37 2009 +0100 Minor improvements to avoid assertion failures on iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=108c6bf1ccdb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 18:51:14 2009 +0100 Started drafting a Prolog interface for PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07821ad5d5ad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 14:17:42 2009 +0100 In PIP_Problem::clear(), do also reset the big parameter dimension. Added C language functions for getting/setting the big parameter dimension. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1518687e622… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 13:13:38 2009 +0100 Enumerations for control parameters put inside class PIP_Problem. Interfaced methods for getting/setting control parameters (in C). Other minor stylistic improvements here and there. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b92ce985bab6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 10:32:56 2009 +0100 Corrected a bug in method swap. Several minor stylistic improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fcb1702a990… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 20 09:58:38 2009 +0100 Optimized the solver main loop using PPL_DIRTY_TEMP_COEFFICIENT's. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b326ccf6d429… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 15:20:58 2009 +0100 Added a rule to the cut methods to always choose the simplest parametric part. This tends to provide simpler solution trees on some problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=548215a3de60… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 11:59:57 2009 +0100 Added a mechanism to avoid generating the same Artificial_Parameter twice. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cba1ff2af03… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 11:59:53 2009 +0100 Added a pointer to parent node in PIP_Tree_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=249afaa3a7bf… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 11:59:49 2009 +0100 Improved the deepest row selection cut strategy. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=defe2c4b315e… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 12:30:50 2009 +0100 Correctly rewrote ascii_dump/ascii_load methods for PIP_Solution_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccb5b869e390… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 12:29:42 2009 +0100 Removed useless debugging display code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff541fbbe995… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 18:49:07 2009 +0100 Added an option in PIP standalone solver to solve the problem several times. This may be convenient for benchmarking purposes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=407ea63b7d30… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 18:23:58 2009 +0100 Fixed a bug in PIP_Problem copy constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5968086496c3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 15:00:45 2009 +0100 Updated the deepest cut strategy; now only selects rows associated to initial variables. This results in performance increase in most problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=166aa73867fc… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 18:01:21 2009 +0100 Minor fix fixes in standalone solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1feefaab34eb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 17:39:14 2009 +0100 Fixed a bug in standalone solver when using PIPlib files with a big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6af59504f0e2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 13 18:03:48 2009 +0100 Added support for an arbitrarily big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=129b74f12cf5… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 13 19:12:50 2009 +0100 Switched the default cut generation strategy to first row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60731ffcf53a… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 13 18:19:01 2009 +0100 Fixed a bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a6efe831670… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 13 17:10:40 2009 +0100 Added a control parameter for cut generation strategy. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d105f5ecbaaf… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Nov 10 16:08:43 2009 +0100 Added a mechanism for setting/getting control parameter values. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da5f1817645d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Nov 10 16:07:17 2009 +0100 Made use of virtual methods in PIP_Tree_Node::clone(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b102f42050ad… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 5 14:40:39 2009 +0100 Fixed a bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09665b7e6410… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 5 14:19:36 2009 +0100 Removed temporary debug code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bc03d578673… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 5 09:11:38 2009 +0100 Improved the support for equality constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2812b97dfea… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Nov 4 11:51:36 2009 +0100 Improved basis handling in compatibility_check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43721277fe73… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Nov 4 08:56:45 2009 +0100 Added coherency checks in PIP_Solution_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c4cfb2bdf11… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Nov 4 08:45:20 2009 +0100 Improved basis handling with support for slack variables and bijective variable mapping. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f09897ddab17… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Nov 3 09:54:58 2009 +0100 Implemented an example of solution tree spanning and display using the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75201b577f6d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Nov 3 09:53:10 2009 +0100 Implemented the art_parameter_count method; updated the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22429a8c2b62… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 2 17:41:11 2009 +0100 Implemented Bland's anti-cycling rule in compatibility_check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75d549f15888… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 2 16:59:51 2009 +0100 Proper scaling of cuts in compatiblity_check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68759e0051c1… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 30 13:25:06 2009 +0100 Minor fix in PIP standalone solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f77646bf501… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 29 13:37:59 2009 +0100 Fixed a bug in PIP standalone solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ae52bb82643… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 28 16:23:14 2009 +0100 Fixed one bug in standalone PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43b0216a8baa… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 28 15:48:13 2009 +0100 Added support for Polylib-formatted files in standalone solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f29d86a0be72… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 27 20:12:47 2009 +0100 Added support for equality constraints; fixed a bug for strict inequalities. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da9e3b638d75… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 27 17:08:11 2009 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73a0148ba9c9… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 27 16:31:42 2009 +0100 Fixed the C interface and the documentation for PIP_Tree_Node methods. The concerned methods are insert_artificials and get_parametric_values. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=250a996c0147… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Oct 26 21:30:20 2009 +0100 Another pass on the C interface for PIP_Problem related classes. Removed a few useless functions and added a few missing ones, including input/output utilities; also slightly improved the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcd32b2e0310… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Oct 25 17:25:07 2009 +0100 Interfaced constructor/destructor for Artificial_Parameter_Sequence iterators. These iterators should be used similarly to the ones defined on systems of constraints or generators. Corrected a couple of bugs in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65ebba9954ea… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Oct 24 17:34:19 2009 +0100 Added increment, dereference and equal functions for ppl_Artificial_Parameter_Sequence_const_iterator_t's Fixed a couple of bugs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0848cf9eb545… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 23 17:03:27 2009 +0200 Added test program for PIP C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c95e73449a6… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 23 17:00:25 2009 +0200 New parameter choice method. Updated the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3abd93298e88… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 22:18:26 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e5c81beb8e9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 22:07:38 2009 +0200 Ditribute also MIP_Problem.types.hh, PIP_Tree.types.hh and PIP_Problem.types.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=068eaef2c633… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 18:16:20 2009 +0200 Adapted to the checking of ppl_pips. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7771850394ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 18:16:03 2009 +0200 Put under Git control. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b96565a81906… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 22 11:32:19 2009 +0200 Removed invalid optimization in context compatibility check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c4cc0826009… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 21 19:42:21 2009 +0200 Added a standalone PIP solver demo program. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d6df94a8a65… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 21 12:39:17 2009 +0200 Context compatibility check now searches for valid integer solutions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f62791f13a0… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 20 18:18:19 2009 +0200 Parameter compatibility check now applies a revised dual simplex method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5050775875b5… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 20 16:52:33 2009 +0200 Added display of computed row parameter signs in noisy PIP mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27de41218171… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 20 16:10:26 2009 +0200 Added new test, which should return an empty solution. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d5b77d7bd5b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 20 11:36:57 2009 +0200 Always stop compatibility check at first negative row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b748415bdb69… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 16 09:58:24 2009 +0200 Improved the heuristic for the choice of the deepest cut. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65b630d43bcb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 16 09:38:10 2009 +0200 Better use of scaling and normalization to keep low coefficient values where possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd38635a96c0… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 16 09:32:29 2009 +0200 Corrected invalid compatibility check algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=051c82f85918… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 14 12:28:29 2009 +0200 Added a test case illustrating an instability in the PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8d79ad7cef… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 13 10:50:48 2009 +0200 Integrality check only on the original variables (not slack ones). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=386c5e664533… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 13 10:49:20 2009 +0200 Optimized pivot operation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea3ca40fe59e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Oct 10 12:07:01 2009 +0200 Uncommented C interface code for PIP_Problem assignment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4002ecca8f7a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Oct 9 23:25:07 2009 +0100 More functions for the C interface to the PIP Tree class - in particular, corresponding to the PIP_Solution_Node and PIP_Decision_Node C++ methods. Various small bugs fixed in the PIP_Problem C interface code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e43b1a4200b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Oct 9 21:00:56 2009 +0100 Fixed various bugs in the C interface for PIP_Problem methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a9a350ade22… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 9 17:57:18 2009 +0200 Improved best pivot row selection heuristic. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d54e9631e1c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Oct 9 13:02:12 2009 +0100 Added several C functions for PIP_Tree_Node and Artificial_Parameter*. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50e259b4f41c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 20:52:56 2009 +0100 Added the c interface for as_decision() and as_solution(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4c21dff1147… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 9 13:08:37 2009 +0200 Fixed memory managment issue in copy constructor of PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3aedf16a94ad… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 9 13:07:15 2009 +0200 Added call to the solver to check problem satisfiability. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5889e252f39… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Oct 8 20:41:16 2009 +0200 Added implementations for PIP_Problem swap and operator= methods. Added a few consistency checks in method OK(). Pointed out a resource management bug in copy constructor that can result in memory corruption. Added test04() to pipproblem1.cc (currently commented out) showing that a segmentation fault can be obtained when copying a PIP_Problem object having a non-null solution tree. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bea0281e38c5… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 18:52:08 2009 +0100 Added missing headers for ppl_PIP_Problem_solve and ppl_PIP_Problem_optimizing_solution. Variable names made consistent with the domain. Documentation for ppl_PPI_Problem_is_satisfiable() improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7d8d6dde6e8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 8 16:27:27 2009 +0200 Removed trailing whitespaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e838be1d03b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 16:18:22 2009 +0100 Uncommented methods for the C interface for the PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5108da19b0b8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 8 15:51:42 2009 +0200 Implemeted missing methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a7f65b71230… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 07:02:38 2009 +0100 Uncommented C interface code for add_constraint(), add_constraints() and operator=(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abd54a672679… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 7 20:44:37 2009 +0200 Implemented missing methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f6fb91d81eb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 7 20:33:36 2009 +0200 Fixed memory leak. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe3d8d0b4d10… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 17:05:22 2009 +0100 Commented PIP_Problem code in the C interface that requires methods in the C++ interface that are not yet implemented. Added declarations for printing the PIP_Problem and PIP_Tree in the tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e726a3af13d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 16:10:17 2009 +0100 More consistent naming of variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57c81a9ac76f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 16:00:42 2009 +0100 Added 2 more functions for the C interface to the PIP_Problem class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=518bf5b2eb2c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 14:30:38 2009 +0100 Added a very basic interface for C to the PIP_Problem class. Note this is incomplete and does not support methods with PIP_Tree. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99f2fbb39215… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 16:29:54 2009 +0200 Removed useless pointer to problem object in PIP_Tree_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0451215bb4b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 16:00:20 2009 +0200 Minor fixes in Doxygen documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d876143defda… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 12:48:18 2009 +0200 Improved accuracy of context compatibility checks. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c38128604c57… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 11:32:17 2009 +0200 Added generation of non-parametric cuts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=620039bd51f0… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 10:54:18 2009 +0200 Improved display in noisy mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d0b02fa391a… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 10:52:35 2009 +0200 Fixed bug in compatiblity_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90400149d3e3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Oct 5 08:46:45 2009 +0200 Added code for selection of the deepest cut. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11dea7cc6e76… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sun Oct 4 18:41:13 2009 +0200 Implemented cut generation. Not stable yet. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74cf01fdacb0… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sun Oct 4 12:09:57 2009 +0200 Added test problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=039d147fe811… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 2 10:57:20 2009 +0200 Unified the common denominator between both matrices of the tableau. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=150b3c6db234… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 1 16:32:23 2009 +0200 Fixed bugs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4cd20a07c080… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 30 18:28:04 2009 +0200 Implemented handling of artificial parameters, preparing cut generation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=233be8bdca82… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 29 16:25:02 2009 +0200 Added support for adding constraints in initial context. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=842215c913d8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 29 16:21:25 2009 +0200 Proper update of internal state of PIP_Problem object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c32a7f8c1c53… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 29 14:45:48 2009 +0200 Fixed regression due to change in index ordering in parameter constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef984d10243c… Merge: 8ca4f6890910a146f573d7a45d135aa6a07b6ece 513d2127e55faa6f5e7d29938b7315203a712df2 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 20:49:48 2009 +0200 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca4f6890910… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 20:48:16 2009 +0200 Correctly deal with pipproblem1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=218d5ae8dfc2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 20:46:42 2009 +0200 Renamed to follow the PPL convention on test file naming. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d8dbbaf6e3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 20:46:04 2009 +0200 Added test02(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a18c563be178… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Sep 24 11:55:41 2009 +0200 Added additional check in simplex, leading to simpler decision trees. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44241590e1fd… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 23 11:15:32 2009 +0200 Removed useless parameter in PIP_Tree_Node::update_tableau method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4eb68b6e2a67… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 23 10:53:15 2009 +0200 Implemented display of solution trees. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8663b34c0282… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 23 11:05:57 2009 +0200 Fixed bugs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25bfa050fc1d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 23 10:37:14 2009 +0200 Changed index ordering in parameter constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5561eee98184… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 22 09:31:27 2009 +0200 Added mechanism for fetching parametric values for variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6ea14f4ac3f… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 22 09:30:53 2009 +0200 Added reference to the Problem object in solution tree Nodes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5208ce53cc4… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Sep 21 15:58:16 2009 +0200 Bug fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1271e1583604… Author: Francois GALEA <fgalea(a)verlaine.prism.uvsq.fr> Date: Fri Sep 18 11:32:12 2009 +0200 Fixed ASCII dump/load methods, solving compilation issues. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80b7e0845929… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 18 09:21:54 2009 +0200 Finished parametric simplex algorithm. No cut generation yet. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec92733bc0d2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 19:53:33 2009 +0200 Fixes to avoid some useless Coefficient duplicates. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1024999dddcc… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 18:21:41 2009 +0200 Implemented the Rational_Matrix normalize method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5927b13d1aae… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 15:24:24 2009 +0200 Implemented additional steps of the simplex algorithm. - handling of simplex rows with mixed parameter sign; - handling of tautology expressions; - handling of splitting a solution according to a test parametric expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64bd2613cda2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 15:21:06 2009 +0200 Modified prototype for solve method in PIP_Tree_Node and derivates. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c93acf108e68… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 15:15:28 2009 +0200 Redefined and implemented the tree node constructors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8e1cbd1782c… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 15 15:09:08 2009 +0200 Implemented simplex pivot on rational matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41ead44c160d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Sep 14 17:32:25 2009 +0200 Implemented the first steps of the parametric simplex algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8b3c7c191b3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Sep 14 13:13:27 2009 +0200 Changed modelization of contexts from Constraint_System to Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92c85879ea35… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 17:09:21 2009 +0200 Moved the constraint() method to PIP_Tree_Node class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c02e3b5a945… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 16:24:49 2009 +0200 Added first tests in OK() methods of PIP_Tree classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=400f860377c1… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 15:40:34 2009 +0200 Implemented integer context compatibility check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ce39ca898aa… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 13:16:08 2009 +0200 Implemented row sign detection. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33905b7bf1a3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 13:08:53 2009 +0200 Implemented constraint negation, plus minor fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f1061d0e0fb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 10 17:25:05 2009 +0200 Improved recently added helper functions. - avoid recomputing loop bounds at each iteration; - delay object definitions until actually needed and, if possible, provide them with an initializer. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2747f04f7bcc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 10 16:41:24 2009 +0200 Fix compilation problems when assertions are turned on. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa7e6d41189d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 10 16:11:39 2009 +0200 Identifiers starting with an underscore are reserved: avoid them. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6b3b1cf93a9… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Sep 10 15:46:25 2009 +0200 Implemented some helper functions for the PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2219c62d2528… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Sep 10 14:48:21 2009 +0200 Integrated the solve method in the different PIP_Tree node classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a50f74f87f97… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 9 15:59:09 2009 +0200 Implemented proper handling of nonbasic variables when adding rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc85f3ea87bf… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 8 12:56:49 2009 +0200 Moved the simplex tableau from PIP_Problem to PIP_Solution_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=544e8ba18471… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 4 18:25:13 2009 +0200 Fixed missing make dependency for recently added header file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8abcfae5a3f8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Sep 4 17:26:01 2009 +0200 Corrected bug in PIP_Problem::add_space_dimensions_and_embed(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=322a2b9a124a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Sep 4 16:56:54 2009 +0200 Implemented methods querying/adding space dimensions and parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2690fc065429… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 4 14:53:38 2009 +0200 Implemented simplex basis and tableau initialization in PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00627ff6a984… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 4 12:23:45 2009 +0200 Included the PIP_Problem and PIP_Tree classes in the devref documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc2606ea40c5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 4 08:46:37 2009 +0200 Listed François Galea among the current contributors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68aad9bf5bd2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 3 16:10:55 2009 +0200 Drafted implementation for ascii_dump and ascii_load methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56c76f2f5220… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 3 14:34:15 2009 +0200 Do perform PIP_Problem tests first. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22718e3dda0d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 3 14:28:12 2009 +0200 Minor coding style improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d542fbbddbc2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 2 17:57:15 2009 +0200 Started the implementation of the PIP_Problem class. In particular: - defined the PIP_Problem constructors; - added the definition of the rational matrix class; - added the definition of simplex tableau; - created a test program. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=362c6c0bcf47… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 25 21:06:10 2009 +0200 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71c24b0bbde9… Merge: 1f2678a35a2e13b22456a380a9e0b974939232a9 6a96e861272517118cfef7806f7b696dccd4d7e6 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 21 09:42:04 2009 +0200 Merge branch 'master' into pip Conflicts: fedora/ppl.spec URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f2678a35a2e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Jun 19 14:56:26 2009 +0200 Space dimensions cannot change status: they are either vars or parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7100d0307f86… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 19 09:51:24 2009 +0200 The `gprolog' and `yap' packages are not available on the sparc64 and sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and `ppl-yap'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecaf06e49be9… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Jun 18 10:54:46 2009 +0200 Added proof of concept for Python interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4febc2ae85b5… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jun 14 22:58:15 2009 +0200 Added implementation of child accessors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=235b8ee1963d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jun 14 22:57:25 2009 +0200 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3b7ee7164ee… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 22:14:36 2009 +0200 Added accessors of PIP_Solution_Node. Other improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b898fa650b74… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 22:01:21 2009 +0200 Include "globals.defs.hh" URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b690470bc18c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 22:01:02 2009 +0200 Include "PIP_Tree.defs.hh". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=272d5fda28d4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 21:57:44 2009 +0200 Added constructors and comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f11bf94c3f3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jun 14 21:49:51 2009 +0200 Initial draft fo rinterface improved. Removed control parameters; removed UNBOUND status; renamed a few methods; let PIP_Tree be an alias for a pointer to a _const_ PIP_Tree_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9871d90f574… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 21:25:06 2009 +0200 More comments added. Some fields renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=298c26af185d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 21:16:52 2009 +0200 Added comments and more infrastructure. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18458e693b80… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jun 14 20:26:12 2009 +0200 Added draft PIP_Tree implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7f48834cdee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jun 14 19:08:18 2009 +0200 Got rid of objective function and optimization mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00cf12048387… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 17:55:09 2009 +0200 Blatantly ripped from MIP_Problem.*.hh.

1 0

[GIT] ppl/ppl(pip): Merge branch 'master' into pip
by Roberto Bagnara 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: pip Commit: 72133da8d4d41e7f90907f5ffee5ba65e716e193 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72133da8d4d4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 11:29:01 2010 +0100 Merge branch 'master' into pip ---

1 0

[GIT] ppl/ppl(pip): Improved (devref) documentation for Matrix::add_( recycled_)row methods.
by Enea Zaffanella 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: pip Commit: 05cdf3ade39391ba25dc992cabe93a7758e23dac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05cdf3ade393… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 15 11:18:23 2010 +0100 Improved (devref) documentation for Matrix::add_(recycled_)row methods. --- src/Matrix.defs.hh | 9 +++++---- 1 files changed, 5 insertions(+), 4 deletions(-) diff --git a/src/Matrix.defs.hh b/src/Matrix.defs.hh index f521467..e0112b6 100644 --- a/src/Matrix.defs.hh +++ b/src/Matrix.defs.hh @@ -227,7 +227,7 @@ public: Turns the \f$r \times c\f$ matrix \f$M\f$ into the \f$(r+1) \times c\f$ matrix - \f$\genfrac{(}{)}{0pt}{}{M}{0}\f$. + \f$\genfrac{(}{)}{0pt}{}{M}{y}\f$. The matrix is expanded avoiding reallocation whenever possible. */ void add_row(const Row& y); @@ -235,12 +235,13 @@ public: //! Adds the row \p y to the matrix. /*! \param y - The row to be added: it must have the same size and capacity as \p - *this. + The row to be added: it must have the same size and capacity as + \p *this. It is not declared <CODE>const</CODE> because its + data-structures will recycled to build the new matrix row. Turns the \f$r \times c\f$ matrix \f$M\f$ into the \f$(r+1) \times c\f$ matrix - \f$\genfrac{(}{)}{0pt}{}{M}{0}\f$. + \f$\genfrac{(}{)}{0pt}{}{M}{y}\f$. The matrix is expanded avoiding reallocation whenever possible. */ void add_recycled_row(Row& y);

1 0

[GIT] ppl/ppl(pip): Forward declare classes before making them friends.
by Enea Zaffanella 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: pip Commit: 3f15af9db40f7ca5148960bd4d572d46c7f2830a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f15af9db40f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 25 14:41:09 2010 +0100 Forward declare classes before making them friends. Included Grid.types.hh in Congruence_/Grid_Generator_ System.defs.hh. Do not uselessly include Grid.types.hh in Generator_system.defs.hh. --- src/Congruence_System.defs.hh | 1 + src/Generator_System.defs.hh | 1 - src/Grid_Generator_System.defs.hh | 1 + 3 files changed, 2 insertions(+), 1 deletions(-) diff --git a/src/Congruence_System.defs.hh b/src/Congruence_System.defs.hh index abf2c78..aafa664 100644 --- a/src/Congruence_System.defs.hh +++ b/src/Congruence_System.defs.hh @@ -29,6 +29,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Congruence.types.hh" #include "Grid_Generator.types.hh" #include "Matrix.defs.hh" +#include "Grid.types.hh" #include "Grid_Certificate.types.hh" #include <iosfwd> diff --git a/src/Generator_System.defs.hh b/src/Generator_System.defs.hh index a6413c2..b34f895 100644 --- a/src/Generator_System.defs.hh +++ b/src/Generator_System.defs.hh @@ -31,7 +31,6 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Constraint.types.hh" #include "Polyhedron.types.hh" #include "Poly_Con_Relation.defs.hh" -#include "Grid.types.hh" #include <iosfwd> namespace Parma_Polyhedra_Library { diff --git a/src/Grid_Generator_System.defs.hh b/src/Grid_Generator_System.defs.hh index 2c3d783..7ad7960 100644 --- a/src/Grid_Generator_System.defs.hh +++ b/src/Grid_Generator_System.defs.hh @@ -27,6 +27,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Generator_System.defs.hh" #include "Grid_Generator.types.hh" #include "Variables_Set.types.hh" +#include "Grid.types.hh" #include <iosfwd> namespace Parma_Polyhedra_Library {

1 0