September 2006 - PPL-devel - BUGSENG Mailman

ppl ./TODO demos/ppl_lpsol/ppl_lpsol.c doc/dev ...
by Roberto Bagnara 08 Sep '06

08 Sep '06

1 0

ppl ./configure.ac doc/definitions.dox doc/dev ...
by Roberto Bagnara 08 Sep '06

08 Sep '06

1 0

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 08 Sep '06

08 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-09-08 17:37:49 Modified files: src : Octagonal_Shape.templates.hh Log message: Improved strong closure implementation by better exploting data locality. Also, avoid testing for +inf since it happens to slow down execution (octagonal matrices tend to become dense quite quickly). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src LP_Problem.cc LP_Problem.defs.hh LP_Pr ...
by Andrea Cimino 08 Sep '06

08 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-09-08 13:37:00 Modified files: src : LP_Problem.cc LP_Problem.defs.hh LP_Problem.inlines.hh Log message: `is_artificial' is no longer used. Now the informations about artificial variables are handled just in the first phase of the simplex algorithm. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 08 Sep '06

08 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: bagnara(a)cs.unipr.it 2006-09-08 11:20:39 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Initial, partial implementation of the `--check' option. What remains to be done is specified in TODO comments. The variable `check_optimum' has been renamed `check_results'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Andrea Cimino 08 Sep '06

08 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-09-08 10:21:05 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Added a FIXME. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Andrea Cimino 08 Sep '06

08 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-09-08 09:43:50 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Added a white space. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Andrea Cimino 08 Sep '06

08 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-09-08 09:40:41 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Force `make check', temporarly commented out a `fatal()' call. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Andrea Cimino 08 Sep '06

08 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-09-08 09:12:59 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Fixed an unwanted carriage return. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/src Congruence.cc Congruence.defs.hh Congr ...
by Enea Zaffanella 07 Sep '06

07 Sep '06

1 0