October 2001 - PPL-devel - BUGSENG Mailman

ppl/src Constraint.cc
by Roberto Bagnara 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-29 14:59:07 Modified files: src : Constraint.cc Log message: Constraint::is_nontrivial() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-29 14:29:29 Modified files: src : Polyhedron.cc Log message: In add_dimensions_and_embed, when embedding a zero-dim universe polyhedron the creation of the system of generators is now guarded by pre-proc flag BE_LAZY. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src GenSys.cc GenSys.defs.hh GenSys.inline ...
by Enea Zaffanella 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-29 13:33:30 Modified files: src : GenSys.cc GenSys.defs.hh GenSys.inlines.hh Polyhedron.cc Log message: Added static member function GenSys::zero_dim_univ() to replace static member GenSys::zero_dim_univ. All inline functions enclosed in the namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… 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.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Generator.cc Generator.defs.hh Generat ...
by Enea Zaffanella 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-29 13:23:25 Modified files: src : Generator.cc Generator.defs.hh Generator.inlines.hh Log message: Added static member function Generator::zero_dim_vertex(). Functions vertex, ray and line are no longer inlined; for ray and line we now check that the argument does not represent the origin of the space. 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/Generator.inlines.hh.diff…

1 0

ppl/src ConSys.defs.hh
by Roberto Bagnara 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-29 13:11:34 Modified files: src : ConSys.defs.hh Log message: Must include <iterator>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro…

1 0

ppl/src ConSys.defs.hh ConSys.inlines.hh ConSy ...
by Enea Zaffanella 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-29 12:59:57 Modified files: src : ConSys.defs.hh ConSys.inlines.hh ConSys.cc Polyhedron.cc Log message: Added static member function ConSys::zero_dim_empty(). 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/ConSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Constraint.defs.hh Constraint.inlines. ...
by Enea Zaffanella 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-29 12:37:02 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Constraint.cc Log message: Added static memebr function Constraint::zero_dim_false(). All inline functions enclosed in the namespace. Patches: 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/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo…

1 0

ppl/src LinExpression.defs.hh LinExpression.in ...
by Enea Zaffanella 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-29 12:35:39 Modified files: src : LinExpression.defs.hh LinExpression.inlines.hh LinExpression.cc Log message: Added static member function LinExpression::zero() in place of static member LinExpression zero. All inline functions enclosed in the scope of namespace. Patches: 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/LinExpression.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvs…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-29 11:12:49 Modified files: src : Polyhedron.cc Log message: Polyhedron::Polyhedron(GenSys& gs) improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl configure.ac
by Roberto Bagnara 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-29 10:21:36 Modified files: . : configure.ac Log message: Require autoconf 2.52e. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0