March 2007 - PPL-devel - BUGSENG Mailman

ppl/src Octagonal_Shape.templates.hh Octagonal ...
by Barbara Quartieri 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2007-03-08 13:03:07 Modified files: src : Octagonal_Shape.templates.hh Octagonal_Shape_incremental_strong_closure1.hh Octagonal_Shape_incremental_strong_closure10.hh Octagonal_Shape_incremental_strong_closure4.hh Octagonal_Shape_incremental_strong_closure5.hh Octagonal_Shape_incremental_strong_closure6.hh Octagonal_Shape_incremental_strong_closure7.hh Octagonal_Shape_incremental_strong_closure8.hh Octagonal_Shape_incremental_strong_closure9.hh Octagonal_Shape_strong_closure1.hh Octagonal_Shape_strong_closure2.hh Octagonal_Shape_strong_closure4.hh script_flags.hh Log message: Added possibility to count operations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_strong_cl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_strong_cl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_strong_cl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/script_flags.hh.diff?cvsr…

1 0

ppl src/Rational_Box.hh tests/ppl_test.hh
by Roberto Bagnara 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-08 13:02:51 Modified files: src : Rational_Box.hh tests : ppl_test.hh Log message: Intervals used in the Box class can be empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rational_Box.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl TODO
by Enea Zaffanella 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-08 13:02:08 Modified files: . : TODO Log message: Adde another entry. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.21…

1 0

ppl/src Octagonal_Shape_incremental_strong_clo ...
by Barbara Quartieri 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2007-03-08 13:02:06 Modified files: src : Octagonal_Shape_incremental_strong_closure2.hh Octagonal_Shape_incremental_strong_closure3.hh Log message: Corrected both incomplete algorithms. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment…

1 0

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-08 11:42:13 Modified files: tests/Polyhedron: Makefile.am Log message: Use special flags only for the compilation of Watchdog1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl src/Box.inlines.hh src/Box.templates.hh te ...
by Roberto Bagnara 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-08 08:21:13 Modified files: src : Box.inlines.hh Box.templates.hh tests/Box : Makefile.am addconstraints1.cc Added files: tests/Box : refine1.cc refine2.cc Log message: Drafted a first version of Box<Interval>::refine_no_check(const Constraint_System&). New test programs refine1.cc and refine2.cc: the latter is for tests possibly requiring a watchdog timer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine1.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine2.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/addconstraints1.cc.…

1 0

ppl/src BD_Shape.inlines.hh BD_Shape.templates.hh
by Enea Zaffanella 07 Mar '07

07 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-07 17:35:44 Modified files: src : BD_Shape.inlines.hh BD_Shape.templates.hh Log message: Reverted previous change (i.e., restored implementation of time_elapse exploiting polyhedra). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/BD_Shape timeelapse1.cc
by Enea Zaffanella 07 Mar '07

07 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-07 17:31:54 Modified files: tests/BD_Shape : timeelapse1.cc Log message: New test shows a bug in the (just added) direct implementation of BD_Shape<T>::time_elapse_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/timeelapse1.cc…

1 0

ppl/src BD_Shape.inlines.hh BD_Shape.templates.hh
by Enea Zaffanella 07 Mar '07

07 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-07 15:27:14 Modified files: src : BD_Shape.inlines.hh BD_Shape.templates.hh Log message: The implementation of method BD_Shape<T>::time_elapse_assign() no longer relies on the corresponding method of class Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src Box.cc Box.defs.hh Box.templates.hh
by Enea Zaffanella 07 Mar '07

07 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-07 09:57:46 Modified files: src : Box.cc Box.defs.hh Box.templates.hh Log message: Interface of private method extract_interval_constraint() made more intuitive. Consequently adapted methods add_constraint_no_check() and relation_with(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0