March 2006 - PPL-devel - BUGSENG Mailman

ppl ./README Watchdog/README
by Roberto Bagnara 10 Mar '06

10 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-10 16:45:04 Modified files: . : README Watchdog : README Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/README.diff?cvsroot=…

1 0

ppl README
by Roberto Bagnara 10 Mar '06

10 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-10 16:08:50 Modified files: . : README Log message: Formatting improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

ppl TODO
by Andrea Cimino 10 Mar '06

10 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-03-10 10:47:26 Modified files: . : TODO Log message: Added one item. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_wi…

1 0

ppl/src LP_Problem.cc
by Andrea Cimino 10 Mar '06

10 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-03-10 10:40:37 Modified files: src : LP_Problem.cc Log message: Fixed a comment, due to the change in the last commit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src LP_Problem.cc
by Andrea Cimino 10 Mar '06

10 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-03-10 10:36:52 Modified files: src : LP_Problem.cc Log message: Don't add artificial variables also if the inhomogeneous term of an inequality is a zero. In many problems this decreases the number of iterations involved, specially in the satisfiability check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src Grid_simplify.cc
by Patricia Hill 10 Mar '06

10 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-10 10:02:51 Modified files: src : Grid_simplify.cc Log message: Added a FIXME comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_simplify.cc
by Patricia Hill 10 Mar '06

10 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-10 09:42:08 Modified files: src : Grid_simplify.cc Log message: Fixed a bug in Grid simplify when there are two all zero (trivially true) equalities. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/tests/Polyhedron linearsystem1.cc
by Enea Zaffanella 09 Mar '06

09 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-09 11:00:21 Modified files: tests/Polyhedron: linearsystem1.cc Log message: Added a workaround to avoid trivial (but intermittent) positive overflows when populating a Linear_Row with randomly generated values and using a bounded integer datatype. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearsystem…

1 0

ppl/tests Random_Number_Generator.defs.hh Rand ...
by Enea Zaffanella 09 Mar '06

09 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-09 10:55:57 Modified files: tests : Random_Number_Generator.defs.hh Random_Number_Generator.inlines.hh Log message: Allow for the specification of a fixed seed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator…

1 0

ppl/src Grid_Generator.cc Grid_Generator_Syste ...
by Patricia Hill 09 Mar '06

09 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-09 08:32:33 Modified files: src : Grid_Generator.cc Grid_Generator_System.inlines.hh Log message: Comments concerning the extra parameter divisor column improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.inl…

1 0