September 2004 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 17 Sep '04

17 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-17 10:15:57 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Remove support for the "project" command: it was undocumented and its usefulness is highly questionable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl ./TODO ./NEWS demos/ppl_lcdd/ppl_lcdd.cc
by Roberto Bagnara 17 Sep '04

17 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-17 09:42:07 Modified files: . : TODO NEWS demos/ppl_lcdd : ppl_lcdd.cc Log message: The `ppl_lcdd' demo is now able to parse problems produced by lrs, i.e., where the number of rows of the matrix is omitted and replaced by "*****" (five asterisks). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.94… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.10… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl TODO
by Roberto Bagnara 17 Sep '04

17 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-17 08:44:54 Modified files: . : TODO Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.93…

1 0

ppl ./TODO tests/README
by Roberto Bagnara 16 Sep '04

16 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-16 22:03:52 Modified files: . : TODO Added files: tests : README Log message: New README file explains how a program in our test suite can be used for a quick hands-on PPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.92… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/README?cvsroot=ppl&rev=…

1 0

ppl/tests CbecomesNNC1.cc exceptions1.cc excep ...
by Roberto Bagnara 16 Sep '04

16 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-16 18:39:52 Modified files: tests : CbecomesNNC1.cc exceptions1.cc exceptions2.cc generators1.cc generators4.cc Log message: Replace "built" by "build" wherever appropriate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/CbecomesNNC1.cc.diff?cv… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators4.cc.diff?cvs…

1 0

ppl tests/exceptions2.cc tests/Makefile.am src ...
by Roberto Bagnara 16 Sep '04

16 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-16 18:35:10 Modified files: tests : exceptions2.cc Makefile.am src : C_Polyhedron.cc C_Polyhedron.defs.hh . : TODO NEWS Added files: tests : NNCbecomesC1.cc Log message: The constructor C_Polyhedron(const NNC_Polyhedron& y) no longer throws an exception if `y' is not topologically closed. Rather, it constructs a C_Polyhedron representing the topological closure of `y'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCbecomesC1.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.91… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.10…

1 0

ppl ./NEWS src/Polyhedra_Powerset.defs.hh src/ ...
by Roberto Bagnara 16 Sep '04

16 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-16 17:22:11 Modified files: . : NEWS src : Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh Log message: The constructors allowing to obtain a Polyhedra_Powerset<NNC_Polyhedron> from a Polyhedra_Powerset<C_Polyhedron> and the other way around are now explicit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.10… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0

ppl/src BoundingBox.cc
by Roberto Bagnara 16 Sep '04

16 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-16 17:06:39 Modified files: src : BoundingBox.cc Log message: Include <config.h>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.cc.diff?cvsro…

1 0

ppl/tests adddimensions11.cc
by Roberto Bagnara 16 Sep '04

16 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-16 17:05:43 Modified files: tests : adddimensions11.cc Log message: Inconsistency fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions11.cc.diff…

1 0

ppl Watchdog/Watchdog.cc src/Powerset.inlines. ...
by Enea Zaffanella 16 Sep '04

16 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-09-16 09:47:48 Modified files: Watchdog : Watchdog.cc src : Powerset.inlines.hh algorithms.hh Log message: Simplified the progrma logic in a few places where we remove elements from a container by using the return value of method erase(). 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/src/Powerset.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0