- PPL-devel - BUGSENG Mailman

ppl/src globals.hh
by Roberto Bagnara 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-05 16:45:56 Modified files: src : globals.hh Log message: Simpler and more efficient implementation of Parma_Polyhedra_Library::maybe_abandon(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/src conversion.cc globals.hh
by Roberto Bagnara 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-05 16:43:14 Modified files: src : conversion.cc globals.hh Log message: Documentation of `abandon_exponential_computations' changed: we now provide a quite strong guarantee, which is implemented in Polyhedron::conversion(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl src/Polyhedron.defs.hh tests/NNCminimize1. ...
by Enea Zaffanella 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-05 15:55:37 Modified files: src : Polyhedron.defs.hh tests : NNCminimize1.cc NNCminimize2.cc NNCminimize3.cc NNCminimize4.cc NNCminimize6.cc Log message: Methods strongly_minimize(), strongly_minimize_constraints() and strongly_minimize_generators() are now private; tests changed to call the public methods minimized_constraints() and minimized_generators(), instead. 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/tests/NNCminimize1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize2.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize3.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize4.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize6.cc.diff?cv…

1 0

ppl NEWS
by Roberto Bagnara 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-05 15:37:10 Modified files: . : NEWS Log message: More news. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.21…

1 0

ppl NEWS
by Roberto Bagnara 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-05 14:42:03 Modified files: . : NEWS Log message: News items added. List sorted to match the (subjective) relative importance of the innovations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.20…

1 0

ppl TODO
by Roberto Bagnara 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-05 12:51:16 Modified files: . : TODO Log message: Removed some obsolete entries. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.21…

1 0

ppl NEWS
by Roberto Bagnara 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-05 12:49:59 Modified files: . : NEWS Log message: Mention the addition of the time-elapse operation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.19…

1 0

ppl ./Makefile.am ./configure.ac doc/Makefile. ...
by Roberto Bagnara 05 Jun '02

05 Jun '02

1 0

ppl Makefile.am
by Roberto Bagnara 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-05 08:13:24 Modified files: . : Makefile.am Log message: Improved formatting. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…

1 0

ppl config.guess config.sub
by Roberto Bagnara 04 Jun '02

04 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-04 20:48:08 Modified files: . : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r…

1 0