December 2004 - PPL-devel - BUGSENG Mailman

ppl STANDARDS
by Roberto Bagnara 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-22 11:24:38 Modified files: . : STANDARDS Log message: The requirement of keeping source lines short has been softened. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl ./TODO interfaces/Prolog/Prolog_interface. ...
by Patricia Hill 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-12-22 10:08:34 Modified files: . : TODO interfaces/Prolog: Prolog_interface.dox exceptions.hh ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.pl interfaces/Prolog/tests: pl_check.pl Log message: In the Prolog interface, exceptions now always thrown if input values (other than lists) are invalid. Tests for these new exceptions added to the pl_check.pl test file. Corrected bug in Prolog interface in the case when a list was expected but a non-list was input. The interface needs to be changed so that it throws an exception for non-lists (instead of just Prolog failure) when a list is expected; this job has been added to the TODO file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.12… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/tests Makefile.am timeelapse9.cc
by Enea Zaffanella 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-22 00:13:21 Modified files: tests : Makefile.am Added files: tests : timeelapse9.cc Log message: Added a new test, experimenting method Polyhedra_Powerset::time_elapse_assign() as well as the new (corrected) implementation of the equality test for class Powerset. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse9.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedra_Powerset.defs.hh Polyhedra_P ...
by Enea Zaffanella 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-22 00:09:26 Modified files: src : Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh Log message: Added methods intersection_assign() and time_elapse_assign(), exploiting the generic function Powerset::pairwise_apply_assign(). A lot of simple operators declared inline. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0

ppl/src Powerset.defs.hh Powerset.inlines.hh
by Enea Zaffanella 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-22 00:06:27 Modified files: src : Powerset.defs.hh Powerset.inlines.hh Log message: Member omega_reduce() made (temporarily) publicly available. Added a generic method pairwise_apply_assign() to apply a binary operator to all pairs drawn from two powersets. A lot of simple operators declared inline. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?…

1 0

ppl ./configure.ac m4/ac_cxx_double_is_iec_559 ...
by Roberto Bagnara 21 Dec '04

21 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-21 23:39:46 Modified files: . : configure.ac Added files: m4 : ac_cxx_double_is_iec_559.m4 ac_cxx_float_is_iec_559.m4 ac_cxx_long_double_is_iec_559.m4 Log message: New tests to check whether C++ floats, doubles and long doubles comply to IEC 559. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_is_iec_559.m… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_is_iec_559.m4… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_is_iec_…

1 0

ppl configure.ac
by Roberto Bagnara 21 Dec '04

21 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-21 23:02:31 Modified files: . : configure.ac Log message: Detect the sizes of float, double and long double. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Determinate.defs.hh Determinate.inlines.hh
by Enea Zaffanella 21 Dec '04

21 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-21 22:43:11 Modified files: src : Determinate.defs.hh Determinate.inlines.hh Log message: Added a function object adapter to lift any "apply_and_assign" function object defined on PH so as to obtain the corresponding function object working on Determinate<PH>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di…

1 0

ppl/src Widening_Function.defs.hh
by Enea Zaffanella 21 Dec '04

21 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-21 22:40:50 Modified files: src : Widening_Function.defs.hh Log message: Unary constructor made explicit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.defs.hh…

1 0

ppl STANDARDS
by Enea Zaffanella 21 Dec '04

21 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-21 22:39:49 Modified files: . : STANDARDS Log message: std::swap_iter() ===> std::iter_swap(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0