May 2002 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.cc
by Enea Zaffanella 28 May '02

28 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-05-28 16:35:46 Modified files: src : Polyhedron.cc Log message: Several simplifications in strong minmization of constraints and generators and in check for topological closure of a NNC polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Generator.cc Generator.defs.hh
by Enea Zaffanella 28 May '02

28 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-05-28 16:34:43 Modified files: src : Generator.cc Generator.defs.hh Log message: Method is_corresponding_closure_point() renamed as is_matching_closure_point(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl ./.cvsignore Watchdog/.cvsignore interface ...
by Roberto Bagnara 28 May '02

28 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-28 13:07:34 Modified files: . : .cvsignore Watchdog : .cvsignore interfaces/C : .cvsignore interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/SICStus: .cvsignore Log message: For those building in the sources' tree. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/.cvsignore.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/.cvsignore.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/.cvsignore.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/.cv…

1 0

ppl/tests watchdog1.cc
by Roberto Bagnara 28 May '02

28 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-28 13:01:37 Modified files: tests : watchdog1.cc Log message: Adapted to the new version of the Watchdog library and "abandon" mechanism. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/watchdog1.cc.diff?cvsro…

1 0

ppl/src globals.cc globals.hh
by Roberto Bagnara 28 May '02

28 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-28 12:59:51 Modified files: src : globals.cc globals.hh Log message: Improved implementation of the "abandon" mechanism. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/Watchdog Watchdog.cc Watchdog.defs.hh Watc ...
by Roberto Bagnara 28 May '02

28 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-28 12:58:21 Modified files: Watchdog : Watchdog.cc Watchdog.defs.hh Watchdog.inlines.hh Log message: Better implementation using templates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.inlines.hh.…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 28 May '02

28 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-05-28 12:12:10 Modified files: src : Polyhedron.cc Log message: Corrected an error in Polyhedron::topological_closure_assign(): if we modify the system of constraints or of generators, it is no longer minimized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.icc
by Patricia Hill 27 May '02

27 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-05-27 17:19:10 Modified files: interfaces/Prolog: pl_check.pl ppl_prolog.icc Log message: Bug in ppl_prolog.icc corrected. Tests in pl_check.pl amended to use poly_hull and poly_difference instead of convex_hull and convex_difference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/src .cvsignore
by Roberto Bagnara 27 May '02

27 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-27 16:10:34 Modified files: src : .cvsignore Log message: For those that build in the source directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/.cvsignore.diff?cvsroot=p…

1 0

ppl/src ppl_header.bottom
by Roberto Bagnara 27 May '02

27 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-27 16:07:18 Modified files: src : ppl_header.bottom Log message: Undefine all autoconf macros. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.bottom.diff?cv…

1 0