October 2008 - PPL-devel - BUGSENG Mailman

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 08:27:51 Modified files: tests/Box : propagateconstraints2.cc Log message: Tests 02 and 03 succeed for all integer types. 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 08:11:35 Modified files: tests/Box : propagateconstraints2.cc Log message: Restore test01 to testing the outcome of the test. Added two further simple versions of this test; test02 showed the same bug indicated by test01 while with the reversed bounds the symmetrically equivalent test03 did not fail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/propagateconstraint…

1 0

ppl/src Box.templates.hh
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 08:04:38 Modified files: src : Box.templates.hh Log message: Fixed a bug in propagate_constraint_no_check(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/m4 ac_check_fpu_control.m4
by Roberto Bagnara 12 Oct '08

12 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-12 20:48:56 Modified files: m4 : ac_check_fpu_control.m4 Log message: Do this test using the C language (the file installed in $prefix/include/c++/VERSION/fenv.h by recent versions of GCC causes problems). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_fpu_control.m4.di…

1 0

ppl configure.ac
by Roberto Bagnara 12 Oct '08

12 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-12 20:39:45 Modified files: . : configure.ac Log message: The Ciao Prolog interface is not enabled by default. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

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

12 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-12 10:48:09 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: All \extref in the format \extref{<Ref>, <Name of section>}. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/Watchdog configure.ac
by Roberto Bagnara 11 Oct '08

11 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-11 22:07:05 Modified files: Watchdog : configure.ac Log message: The PWL is now enabled by default also on Cygwin. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

ppl/m4 ac_check_fpu_control.m4
by Roberto Bagnara 11 Oct '08

11 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-11 21:57:43 Modified files: m4 : ac_check_fpu_control.m4 Log message: Fixed a copy-and-paste mistake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_fpu_control.m4.di…

1 0

ppl/devtools generate_dox_biblio.sed
by Roberto Bagnara 11 Oct '08

11 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-11 20:55:09 Modified files: devtools : generate_dox_biblio.sed Log message: Changed so as to generate anchors based on the BibTeX keys, not on the labels obtained with bibtex2html (which depend on the bibliography style). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/generate_dox_biblio.…

1 0

ppl/src checked.inlines.hh checked_float.inlin ...
by Roberto Bagnara 11 Oct '08

11 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-11 20:53:41 Modified files: src : checked.inlines.hh checked_float.inlines.hh Log message: Long source lines avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0