October 2001 - PPL-devel - BUGSENG Mailman

ppl/src GenSys.defs.hh LinExpression.defs.hh P ...
by Patricia Hill 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-18 15:36:22 Modified files: src : GenSys.defs.hh LinExpression.defs.hh Polyhedron.defs.hh Log message: More improvements to the English. Patches: 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/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src GenSys.defs.hh
by Elisa Ricci 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-18 15:29:29 Modified files: src : GenSys.defs.hh Log message: The real name of the function is GenSys_Con_Rel satisfy(const Constraint& c) const and not GenSys_Con_Rel satisfy_constraint(const Constraint& c) const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…

1 0

w3ppl/htdocs/Documentation Documentation.raw
by Patricia Hill 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2001-10-18 14:56:37 Modified files: htdocs/Documentation: Documentation.raw Log message: Some changes to the English. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

ppl/src GenSys.defs.hh
by Patricia Hill 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-18 14:01:43 Modified files: src : GenSys.defs.hh Log message: Just "specify" changed to "specifies". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…

1 0

w3ppl/htdocs ppl.raw
by Patricia Hill 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2001-10-18 13:56:46 Modified files: htdocs : ppl.raw Log message: Small changes to the English. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl/src ConSys.defs.hh Constraint.defs.hh GenS ...
by Patricia Hill 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-18 13:20:17 Modified files: src : ConSys.defs.hh Constraint.defs.hh GenSys.defs.hh Generator.defs.hh Log message: Changes to English. In GenSys.defs.hh the explanation about a system of generators changed to: An object of the class GenSys is a system of generators, i.e. a container of objects of the class Generator (lines, rays and vertices). The set of generators must include at least one vertex. This is needed since a line or ray only specify a direction and a point is needed to indicate its position. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… 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/Generator.defs.hh.diff?cv…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Elisa Ricci 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-18 12:40:53 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Now the function GenSys_Con_Rel poly_satisfies_constraint(const Constraint& con) is called GenSys_Con_Rel satisfies(const Constraint& c). Added the exception for the functions convex_hull_lazy(), satisfies() and includes(). 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 GenSys.defs.hh GenSys.cc
by Elisa Ricci 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-18 12:37:10 Modified files: src : GenSys.defs.hh GenSys.cc Log message: Now the function PPL::GenSys::satisfy_constraint(const Constraint& c) const is called PPL::GenSys::satisfy(const Constraint& c) const. Patches: 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/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/tests ehandlers.hh
by Roberto Bagnara 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-18 11:36:34 Modified files: tests : ehandlers.hh Log message: Call exit(1) instead of abort(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ehandlers.hh.diff?cvsro…

1 0

ppl/tests Makefile.am append1.cc ehandlers.hh
by Roberto Bagnara 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-18 11:34:56 Modified files: tests : Makefile.am append1.cc Added files: tests : ehandlers.hh Log message: Set the handlers for unexpected and uncaught exceptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ehandlers.hh.diff?cvsro… 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/tests/append1.cc.diff?cvsroot…

1 0