- PPL-devel - BUGSENG Mailman

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

ppl/tests affinetrans.cc append2.cc empty1.cc ...
by Elisa Ricci 29 Oct '01

29 Oct '01

1 0

ppl/tests Makefile.am
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 09:33:05 Modified files: tests : Makefile.am Log message: Committing Makefile.am was unwanted (error6 is a non-meaningful dummy test). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Generator.cc Polyhedron.defs.hh conver ...
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 06:47:46 Modified files: src : Generator.cc Polyhedron.defs.hh conversion.cc src/Integer : Integer.cc Integer.defs.hh Integer.inlines.hh Log message: The Integer constants 0 and 1 are now provided by the static methods Integer::zero() and Integer::one(). 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/Polyhedron.defs.hh.diff?c… 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/Integer/Integer.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer/Integer.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer/Integer.inlines.h…

1 0

ppl src/ConSys.cc src/ConSys.defs.hh src/ConSy ...
by Enea Zaffanella 28 Oct '01

28 Oct '01

1 0

ppl/src Constraint.defs.hh Constraint.cc
by Enea Zaffanella 28 Oct '01

28 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-28 20:05:19 Modified files: src : Constraint.defs.hh Constraint.cc Log message: is_non_trivial() now correctly handles inconsistent constraints, which should NOT be considered trivial. Output operator now correctly prints inconsistent constraints. 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.cc.diff?cvsroo…

1 0