February 2002 - PPL-devel - BUGSENG Mailman

ppl/src Generator.cc Generator.defs.hh Polyhed ...
by Elisa Ricci 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-27 16:36:03 Modified files: src : Generator.cc Generator.defs.hh Polyhedron.cc Log message: Considered the fact that a vertex must always have a positive denominator. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl TODO
by Roberto Bagnara 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-27 14:17:21 Modified files: . : TODO Log message: Non-Necessarily-Closed Polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.4&…

1 0

ppl TODO
by Roberto Bagnara 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-27 14:14:30 Modified files: . : TODO Log message: Constructions on polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.3&…

1 0

ppl/tests generators1.cc
by Roberto Bagnara 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-27 13:49:46 Modified files: tests : generators1.cc Log message: Print something only when NOISY. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators1.cc.diff?cvs…

1 0

ppl TODO
by Roberto Bagnara 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-27 13:40:39 Modified files: . : TODO Log message: Started with the definition of strict weak ordering and with a statement about why we need one or more of them. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.2&…

1 0

ppl src/minimize.cc tests/generators1.cc
by Elisa Ricci 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-27 11:16:02 Modified files: src : minimize.cc tests : generators1.cc Log message: Used the exception instead of the abort() and modified the test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators1.cc.diff?cvs…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-02-27 10:58:54 Modified files: htdocs/Credits : Credits.raw Log message: Small adjustments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl ./NEWS ./configure.ac src/Makefile.am
by Roberto Bagnara 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-27 10:47:52 Modified files: . : NEWS configure.ac src : Makefile.am Log message: We are now in the 0.4 era. 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/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

w3ppl/htdocs/Credits Credits.raw
by Patricia Hill 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2002-02-27 10:42:40 Modified files: htdocs/Credits : Credits.raw Log message: Reworded the thanks part. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl/src minimize.cc
by Enea Zaffanella 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-27 10:35:30 Modified files: src : minimize.cc Log message: Polishing the comments in function minimize(). Small changes to the code (no longer using the flag empty_or_illegal). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0