September 2001 - PPL-devel - BUGSENG Mailman

Polyhedra/src Row.cc globals.cc globals.hh Int ...
by Roberto Bagnara 18 Sep '01

18 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/18 15:44:22 Modified files: src : Row.cc globals.cc globals.hh src/Integer : Integer.defs.hh Integer.inlines.hh Log message: Avoid the creation of temporaries in Row::linear_combine(). Synchronize with the China tree.

1 0

Polyhedra/src/Integer Integer.defs.hh Integer. ...
by Roberto Bagnara 18 Sep '01

18 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/18 14:25:20 Modified files: src/Integer : Integer.defs.hh Integer.inlines.hh Log message: Synchronize with the China development tree.

1 0

Polyhedra/src Makefile.am Makefile.in Row.cc g ...
by Roberto Bagnara 18 Sep '01

18 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/18 13:15:40 Modified files: src : Makefile.am Makefile.in Row.cc Added files: src : globals.cc globals.hh Log message: Avoid the creation and disposal of temporaries in the scalar product operator Integer PPL::operator *(const Row& x, const Row& y). This change results in impressive speedups: linear size relation analysis with China becomes twice as fast.

1 0

Polyhedra/src LinExpression.cc LinExpression.d ...
by Roberto Bagnara 17 Sep '01

17 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/17 18:23:37 Modified files: src : LinExpression.cc LinExpression.defs.hh LinExpression.inlines.hh Log message: Normal and sizing copy constructors added for LinExpression. Improved LinExpression& operator +=(LinExpression& e, const Variable& v).

1 0

Polyhedra/src Polyhedron.cc
by Elisa Ricci 17 Sep '01

17 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/17 17:38:21 Modified files: src : Polyhedron.cc Log message: A FIXME is dead: it is true that after update_generators/constraints the matricies are not sorted.

1 0

Polyhedra/src LinExpression.cc LinExpression.d ...
by Roberto Bagnara 17 Sep '01

17 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/17 16:53:51 Modified files: src : LinExpression.cc LinExpression.defs.hh Log message: Added LinExpression& operator +=(LinExpression& e, const Variable& v).

1 0

Polyhedra/src LinExpression.defs.hh LinExpress ...
by Roberto Bagnara 17 Sep '01

17 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/17 14:57:38 Modified files: src : LinExpression.defs.hh LinExpression.inlines.hh Log message: Added LinExpression& operator +=(LinExpression& e, const Integer& n).

1 0

Polyhedra/src LinExpression.cc LinExpression.d ...
by Roberto Bagnara 16 Sep '01

16 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/16 21:26:03 Modified files: src : LinExpression.cc LinExpression.defs.hh LinExpression.inlines.hh Log message: Support more efficient creation of LinExpression's.

1 0

Polyhedra/src Constraint.defs.hh Constraint.in ...
by Roberto Bagnara 16 Sep '01

16 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/16 17:53:34 Modified files: src : Constraint.defs.hh Constraint.inlines.hh GenSys.defs.hh Generator.defs.hh Generator.inlines.hh LinExpression.defs.hh LinExpression.inlines.hh Polyhedron.cc Row.defs.hh Row.inlines.hh Log message: Draft new interface for Constraint, Generator and GenSys.

1 0

Polyhedra/ rc/ConSys.defs.hh rc/ConSys.inlines ...
by Roberto Bagnara 15 Sep '01

15 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/15 18:13:56 Modified files: src : ConSys.defs.hh ConSys.inlines.hh Constraint.cc Constraint.defs.hh Constraint.inlines.hh GenSys.defs.hh GenSys.inlines.hh Generator.cc Generator.defs.hh Generator.inlines.hh LinExpression.defs.hh Polyhedron.cc Variable.cc Variable.defs.hh test : user.cc Log message: ConSys::const_iterator revised. GenSys::const_iterator written. Pretty-print function for Generator written. Bomb messages in Polyhedron::OK() made less verbose.

1 0