- PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_prolog.outlines.hh G ...
by Roberto Bagnara 10 Apr '02

10 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-10 10:13:11 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh Log message: Started playing with the ppl_get_bounding_box() interface function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… Modified files: interfaces/Prolog/GNU: ppl_gprolog.cc Log message: Prolog_raise_exception() implemented. Provided the ppl_Prolog_sysdep_init() hook for system-dependent initialization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Provided the ppl_Prolog_sysdep_init() hook for system-dependent initialization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 10 Apr '02

10 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-04-10 09:40:31 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: NemhauserW88 fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 09 Apr '02

09 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-09 18:19:47 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Added methods const ConSys& Polyhedron::minimized_constraints() const; const GenSys& Polyhedron::minimized_generators() const; together with the corresponding (unoptimized) implementations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 08 Apr '02

08 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-08 22:35:54 Modified files: src : Polyhedron.cc Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src GenSys.cc GenSys.defs.hh Polyhedron.cc ...
by Enea Zaffanella 08 Apr '02

08 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-08 22:31:16 Modified files: src : GenSys.cc GenSys.defs.hh Polyhedron.cc Polyhedron.defs.hh Log message: Added first draft for the method Polyhedron::topological_closure_assign(). Also added method GenSys::add_corresponding_points(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 07 Apr '02

07 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-07 15:09:07 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Two bugs fixed. The swap functions have been removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 07 Apr '02

07 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-07 13:44:03 Modified files: src : Polyhedron.cc Log message: Avoid an inconsistent mixture of useless emphasizers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am inclusion1.cc
by Roberto Bagnara 07 Apr '02

07 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-07 13:42:20 Modified files: tests : Makefile.am Added files: tests : inclusion1.cc Log message: Test C_Polyhedron::operator<=(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inclusion1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests exceptions1.cc exceptions2.cc
by Roberto Bagnara 07 Apr '02

07 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-07 12:13:46 Modified files: tests : exceptions1.cc exceptions2.cc Log message: Replace "impossible" with "illegal" when the latter was meant. Patches: 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.cc
by Roberto Bagnara 07 Apr '02

07 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-07 12:08:24 Modified files: src : Polyhedron.cc Log message: There is no such a thing as the reduced scalar product operator^. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0