- PPL-devel - BUGSENG Mailman

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

w3ppl/htdocs/Documentation Documentation.raw f ...
by Roberto Bagnara 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-18 08:32:35 Modified files: htdocs/Documentation: Documentation.raw Added files: htdocs/Documentation: fdl.raw gpl.raw Log message: Licenses added. The documentation page is now complete. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/fdl.ra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/gpl.ra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

4 4

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 09:38:34 Modified files: src : GenSys.defs.hh Log message: Small change to wording in GenSys_Con_Rel comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…

1 0

ppl/tests permute.cc
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 09:07:58 Modified files: tests : permute.cc Log message: Now the termination conditions are checked. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot…

1 0

ppl/tests permute.cc
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 08:32:17 Modified files: tests : permute.cc Log message: Instead of giving the number of variables explicitly, it is obtained as needed using Polyhedron.num_dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot…

1 0

ppl/doc Makefile.am
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 08:13:20 Modified files: doc : Makefile.am Log message: Now `make world' also produces the licenses in various formats. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0