February 2006 - PPL-devel - BUGSENG Mailman

ppl/src LP_Problem.cc
by Andrea Cimino 09 Feb '06

09 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-02-09 16:00:09 Modified files: src : LP_Problem.cc Log message: Fixed another bug. Keep `last_generator' always updated even if the second phase fails. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl demos/ppl_lpsol/ppl_lpsol.c src/LP_Problem ...
by Enea Zaffanella 09 Feb '06

09 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2006-02-09 13:18:20 Modified files: demos/ppl_lpsol: ppl_lpsol.c src : LP_Problem.cc LP_Problem.defs.hh LP_Problem.inlines.hh Log message: Temporarily replaced method const Constraint_System& constraints() const; by Constraint_System constraints() const; Removed a fixme. Simplified the prototype and the implementation of is_satisfied(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d… 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/src checked_float.inlines.hh
by Abramo Bagnara 09 Feb '06

09 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2006-02-09 08:46:38 Modified files: src : checked_float.inlines.hh Log message: Fixed cut and paste typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src LP_Problem.cc
by Andrea Cimino 08 Feb '06

08 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-02-08 20:06:14 Modified files: src : LP_Problem.cc Log message: Fixed a bug in `is_satisfied()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 08 Feb '06

08 Feb '06

1 0

ppl/src Makefile.am
by Roberto Bagnara 06 Feb '06

06 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-06 22:10:03 Modified files: src : Makefile.am Log message: Distribute also fpu-none.inlines.hh and fpu-sparc.inlines.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl configure.ac
by Roberto Bagnara 06 Feb '06

06 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-06 21:54:50 Modified files: . : configure.ac Log message: Check for the availability of fenv.h and ieeefp.h. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src fpu-ia32.inlines.hh
by Roberto Bagnara 06 Feb '06

06 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-06 21:54:30 Modified files: src : fpu-ia32.inlines.hh Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.inlines.hh.diff?…

1 0

ppl/src fpu-c99.inlines.hh
by Roberto Bagnara 06 Feb '06

06 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-06 21:54:20 Modified files: src : fpu-c99.inlines.hh Log message: Do no harm if fenv.h is not available. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-c99.inlines.hh.diff?c…

1 0

ppl/src fpu.defs.hh
by Roberto Bagnara 06 Feb '06

06 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-06 21:53:01 Modified files: src : fpu.defs.hh Log message: Only include fpu-c99.inlines.hh if fenv.h is available. Otherwise, if `sparc' evaluates to true, include fpu-sparc.inlines.hh. Otherwise include fpu-none.inlines.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.defs.hh.diff?cvsroot=…

1 0