November 2002 - PPL-devel - BUGSENG Mailman

ppl/src globals.hh
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 23:08:48 Modified files: src : globals.hh Log message: Spurious line removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
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 22:33:25 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Can now compile the Ciao-Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
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:46 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Properly declare all the predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

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