December 2004 - PPL-devel - BUGSENG Mailman

ppl/src Linear_System.cc
by Enea Zaffanella 16 Dec '04

16 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-16 14:52:35 Modified files: src : Linear_System.cc Log message: Corrected a bug in method add_rows(); the sortedness flag was not handled correctly when the arguemnt was not sorted or had pending rows. This bug was hidden by some unnecessary sorting done before calling the method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs…

1 0

ppl/src Polyhedra_Powerset.inlines.hh
by Roberto Bagnara 16 Dec '04

16 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-16 12:17:46 Modified files: src : Polyhedra_Powerset.inlines.hh Log message: We were relying on a GCC bug concerning name-lookup. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0

ppl/src ppl_header.middle
by Roberto Bagnara 16 Dec '04

16 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-16 10:45:01 Modified files: src : ppl_header.middle Log message: // In order for the definition of `int64_t' to be seen by Comeau C/C++, // we must make sure <stdint.h> is included before <sys/types.hh> is // (even indirectly) included. #include <stdint.h> Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.middle.diff?cv…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 16 Dec '04

16 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-12-16 09:15:50 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Some errors corrected. The token C_unsigned now used to name a C unsigned integer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl ./NEWS interfaces/Prolog/Prolog_interface. ...
by Patricia Hill 16 Dec '04

16 Dec '04

1 0

ppl/src checked_int.inlines.hh
by Roberto Bagnara 15 Dec '04

15 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-15 23:33:33 Modified files: src : checked_int.inlines.hh Log message: Declare strtoll() and strtoull() if they are not already declared. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src checked_float.inlines.hh
by Roberto Bagnara 15 Dec '04

15 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-15 23:32:16 Modified files: src : checked_float.inlines.hh Log message: Fixed the return value of template <typename Policy, typename T> Result succ_float(T&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src Linear_System.inlines.hh
by Roberto Bagnara 15 Dec '04

15 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-15 23:30:21 Modified files: src : Linear_System.inlines.hh Log message: Fixed Linear_System::With_Saturation_Matrix_iterator::operator->(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.…

1 0

ppl/src Saturation_Row.cc Saturation_Row.inlin ...
by Roberto Bagnara 15 Dec '04

15 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-15 23:28:40 Modified files: src : Saturation_Row.cc Saturation_Row.inlines.hh Log message: Depend on HAVE_DECL_FFS instead of HAS_FFS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.inlines.hh…

1 0

ppl configure.ac
by Roberto Bagnara 15 Dec '04

15 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-15 23:26:46 Modified files: . : configure.ac Log message: Checks for the availability of ffs, strtoll and strtoull in C++. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0