December 2007 - PPL-devel - BUGSENG Mailman

ppl/tests ppl_test.hh
by Roberto Bagnara 29 Dec '07

29 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-29 19:47:05 Modified files: tests : ppl_test.hh Log message: Include <typeinfo> for typeid(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/tests files.cc
by Roberto Bagnara 29 Dec '07

29 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-29 19:44:44 Modified files: tests : files.cc Log message: Include <cstdlib> for exit(). Use extra parentheses to disambiguate a comparison. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.cc.diff?cvsroot=p…

1 0

ppl interfaces/Prolog/ppl_prolog_common.icc sr ...
by Roberto Bagnara 29 Dec '07

29 Dec '07

1 0

ppl/src Linear_Row.cc
by Roberto Bagnara 29 Dec '07

29 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-29 19:10:29 Modified files: src : Linear_Row.cc Log message: Added a pair of extra parentheses to disambiguate an addition within a shift. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.cc.diff?cvsroo…

1 0

ppl/utils timings.cc
by Roberto Bagnara 29 Dec '07

29 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-29 18:42:00 Modified files: utils : timings.cc Log message: Include <cstdlib> for exit(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/timings.cc.diff?cvsroot…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 29 Dec '07

29 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-29 10:20:31 Modified files: src : Box.templates.hh Log message: Implemented template <typename Interval> template <typename Iterator> void Box<Interval>::CC76_widening_assign(const Box& y, Iterator first, Iterator last) in terms of the new Interval's widening. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh Interval.inlines.hh I ...
by Roberto Bagnara 29 Dec '07

29 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-29 10:19:45 Modified files: src : Interval.defs.hh Interval.inlines.hh Interval.templates.hh Log message: Moved several implemementations from Interval.defs.hh to Interval.inlines.hh. Added the new method template <typename Boundary, typename Info> template <typename From, typename Iterator> typename Enable_If<Is_Interval<From>::value, void>::type Interval<Boundary, Info>::CC76_widening_assign(const From& y, Iterator first, Iterator last). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.templates.hh.dif…

1 0

ppl TODO
by Roberto Bagnara 28 Dec '07

28 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-28 08:12:09 Modified files: . : TODO Log message: Two new items added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.23…

1 0

ppl/src Bit_Row.defs.hh Bit_Row.inlines.hh
by Roberto Bagnara 28 Dec '07

28 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-28 08:11:32 Modified files: src : Bit_Row.defs.hh Bit_Row.inlines.hh Log message: Added inline void set_intersection(const Bit_Row& x, const Bit_Row& y, Bit_Row& z). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.inlines.hh.diff?c…

1 0

ppl/tests ppl_test.cc
by Roberto Bagnara 28 Dec '07

28 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-28 08:10:58 Modified files: tests : ppl_test.cc Log message: Include <exception> and <iostream>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.cc.diff?cvsroo…

1 0