- PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Roberto Bagnara 02 Nov '02

02 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-02 20:07:23 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: Uninitialized variable bug fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/Watchdog configure.ac
by Roberto Bagnara 02 Nov '02

02 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-02 16:46:49 Modified files: Watchdog : configure.ac Log message: Buggy conditional fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

ppl/tests adddimensions11.cc addgenerators11.c ...
by Roberto Bagnara 02 Nov '02

02 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-02 16:15:52 Modified files: tests : adddimensions11.cc addgenerators11.cc exceptions1.cc exceptions2.cc Log message: Avoid inventing non-existing standard exceptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions11.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators11.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl src/Polyhedron.defs.hh src/Polyhedron.inli ...
by Roberto Bagnara 02 Nov '02

02 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-02 11:42:47 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh globals.hh tests : boundingbox1.cc boundingbox2.cc Log message: New enum Complexity_Class to represent complexity classes. Polyhedron::shrink_bounding_box() now takes a complexity class, defaulting to ANY, instead of a bool. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv…

1 0

ppl NEWS
by Roberto Bagnara 02 Nov '02

02 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-02 10:43:23 Modified files: . : NEWS Log message: Mention the bug fixed in operator-=(LinExpression&, const LinExpression&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.48…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 02 Nov '02

02 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-02 10:04:53 Modified files: interfaces/C/lpenum: lpenum.c Log message: Support systems providing SA_RESETHAND instead of SA_ONESHOT. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 02 Nov '02

02 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-02 09:32:21 Modified files: interfaces/C/lpenum: lpenum.c Log message: Do not use C++-style comments in C code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl config.h.in configure.ac
by Roberto Bagnara 02 Nov '02

02 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-02 09:05:40 Modified files: . : config.h.in configure.ac Log message: Get rid of AC_C_INLINE: we do not use inlines in C code and it was doing harm with some compilers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./config.h.in ./configure.ac m4/ac_check_g ...
by Roberto Bagnara 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-01 20:30:49 Modified files: . : config.h.in configure.ac m4 : ac_check_gmp.m4 Log message: Much improved detection of the size of GMP's mp_limb_t. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro…

1 0

ppl/src SatRow.cc SatRow.defs.hh
by Roberto Bagnara 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-01 18:52:59 Modified files: src : SatRow.cc SatRow.defs.hh Log message: Got rid of operator<<(std::ostream&, const SatRow&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsro…

1 0