December 2004 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedra_Powerset.defs.hh Polyhedra_P ...
by Enea Zaffanella 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-29 21:59:24 Modified files: src : Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh Powerset.defs.hh Powerset.inlines.hh algorithms.hh Log message: Added support for the consident use of bidirectional iterators (iterator, const_iterator, reverse_iterator, const_reverse_iterator) for the class Powerset. The new iterators replace the low-level ones on the sequence of disjuncts, which are now protected and were not enforcing the consistency of the reduced flag. All the new iterators only provide read-only access to the disjuncts in a Powerset element. It is possible to drop elements form the sequence (but not to directly modify them) by using `iterator' in conjunction with Powerset<CS> methods drop_disjunct(), drop_disjuncts() and clear(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-29 21:56:10 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Optionally use the simplex method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl ./TODO interfaces/C/ppl_c.cc interfaces/C/ ...
by Roberto Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-29 21:53:52 Modified files: . : TODO interfaces/C : ppl_c.cc ppl_c.h.in Log message: Temporary interfaces to our new simplex method added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.13… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl NEWS
by Enea Zaffanella 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-29 21:50:47 Modified files: . : NEWS Log message: Announced the recent changes to Constraint and Generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.14…

1 0

ppl/src Result.defs.hh Rounding.defs.hh
by Roberto Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-29 21:12:17 Modified files: src : Result.defs.hh Rounding.defs.hh Log message: Avoid trailing commas: they are non standard. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding.defs.hh.diff?cvs…

1 0

ppl/src simplex.cc
by Roberto Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-29 18:33:02 Modified files: src : simplex.cc Log message: Include "Constraint_System.inlines.hh". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/src Constraint_System.defs.hh Makefile.am ...
by Roberto Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-29 17:03:36 Modified files: src : Constraint_System.defs.hh Makefile.am Matrix.defs.hh Added files: src : simplex.cc Log message: Several methods of Matrix are now public instead of protected. Added a first, very rough implementation of Constraint_System::primal_simplex(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc?cvsroot=ppl&re… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro…

1 0

ppl/src checked_int.inlines.hh
by Abramo Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2004-12-29 16:45:53 Modified files: src : checked_int.inlines.hh Log message: Prefer esplicit overflow result. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl CREDITS
by Roberto Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-29 16:37:58 Modified files: . : CREDITS Log message: Added Maximiliano Marchesi and Andrea Cimino. Updated the contribution of Abramo. Other minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl/src Checked_Number.inlines.hh
by Abramo Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2004-12-29 14:47:10 Modified files: src : Checked_Number.inlines.hh Log message: Don't throw exception when exactness of result is not checked. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0