October 2008 - PPL-devel - BUGSENG Mailman

ppl/src checked_float.inlines.hh
by Abramo Bagnara 13 Oct '08

13 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-10-13 15:23:37 Modified files: src : checked_float.inlines.hh Log message: Fixed conversion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 13 Oct '08

13 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-10-13 15:14:01 Modified files: src : checked_float.inlines.hh Log message: Reverted previous change. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 13 Oct '08

13 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-13 15:04:31 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: All external references are emphasized using italics. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/tests/Polyhedron randphull1.cc
by Roberto Bagnara 13 Oct '08

13 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-13 14:39:44 Modified files: tests/Polyhedron: randphull1.cc Log message: Temporary workaround for those machines (such as the ARM, possibly others) where we cannot control the FPU. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/randphull1.c…

1 0

ppl/tests/Box propagateconstraints2.cc
by Patricia Hill 13 Oct '08

13 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-13 14:18:11 Modified files: tests/Box : propagateconstraints2.cc Log message: Adjusted the euclidean distance for test01. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/propagateconstraint…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 13 Oct '08

13 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-13 13:12:19 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Removed unwanted </EM> in the widening of powersets documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 13 Oct '08

13 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-10-13 12:45:49 Modified files: src : checked_float.inlines.hh Log message: Added missing optimization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/tests/Box propagateconstraints2.cc
by Patricia Hill 13 Oct '08

13 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-13 11:29:45 Modified files: tests/Box : propagateconstraints2.cc Log message: Restore tests with distances in the check_result() reset. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/propagateconstraint…

1 0

ppl/tests/Box propagateconstraints2.cc
by Patricia Hill 13 Oct '08

13 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-13 11:08:34 Modified files: tests/Box : propagateconstraints2.cc Log message: Disable tests while problems causing failures are investigated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/propagateconstraint…

1 0

ppl/tests/Box propagateconstraints2.cc
by Patricia Hill 13 Oct '08

13 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-13 09:07:23 Modified files: tests/Box : propagateconstraints2.cc Log message: check_result for all tests does not need parameters. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/propagateconstraint…

1 0