September 2005 - PPL-devel - BUGSENG Mailman

ppl/src Row.cc
by Roberto Bagnara 23 Sep '05

23 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-23 09:01:36 Modified files: src : Row.cc Log message: Comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/tests/Polyhedron matasciidumpload1.cc
by Roberto Bagnara 23 Sep '05

23 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-23 09:00:25 Modified files: tests/Polyhedron: matasciidumpload1.cc Log message: Include <ctime>. It does not make sense to use TEMP_INTEGER here: use Coefficient instead. Avoid unnecessary use of macros: std::numeric_limits<T> is (must) be available for all numerical types. Use GMP's pseudo-random numbers instead of rand(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/matasciidump…

1 0

ppl configure.ac
by Roberto Bagnara 23 Sep '05

23 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-23 08:50:40 Modified files: . : configure.ac Log message: The C header file <time.h> is subsumed by C++'s <ctime>: there is no need to check for its availability. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl configure.ac
by Roberto Bagnara 22 Sep '05

22 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-22 23:34:50 Modified files: . : configure.ac Log message: `sys/time.h' was listed twice in the argument of AC_CHECK_HEADERS. Check also for `time.h'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Polyhedron.defs.hh
by Matthew Mundell 22 Sep '05

22 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-22 18:09:01 Modified files: src : Polyhedron.defs.hh Log message: Correct grammar. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src checked_numeric_limits.hh
by Matthew Mundell 22 Sep '05

22 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-22 17:30:18 Modified files: src : checked_numeric_limits.hh Log message: Specialize numeric_limits for int and all unsigned integer native types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_numeric_limits.hh…

1 0

SPECIALIZE_LIMITS_INT(signed int)
by Matthew Mundell 22 Sep '05

22 Sep '05

I think this should be applied. --- src/checked_numeric_limits.hh 21 Aug 2005 22:40:38 -0000 1.4 +++ src/checked_numeric_limits.hh 22 Sep 2005 12:07:35 -0000 @@ -66,6 +66,7 @@ SPECIALIZE_LIMITS_INT(signed char) SPECIALIZE_LIMITS_INT(signed short) +SPECIALIZE_LIMITS_INT(signed int) SPECIALIZE_LIMITS_INT(signed long) SPECIALIZE_LIMITS_INT(signed long long)

2 1

ppl/src Grid_public.cc
by Matthew Mundell 22 Sep '05

22 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-22 15:51:59 Modified files: src : Grid_public.cc Log message: Automatically initialise con_sys and gen_sys in Grid(n,k). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/tests/Polyhedron Makefile.am linsysasciidu ...
by Matthew Mundell 22 Sep '05

22 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-22 15:28:38 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: linsysasciidumpload1.cc Log message: Add linsysasciidumpload1, which tests Linear_System ASCII loading. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linsysasciid… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src Linear_System.cc Linear_Row.defs.hh Li ...
by Matthew Mundell 22 Sep '05

22 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-22 15:21:45 Modified files: src : Linear_System.cc Linear_Row.defs.hh Linear_Row.cc Log message: Add methods Linear_Row::ascii_load and Linear_Row::Flags::ascii_load. Complete Linear_System::ascii_load. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.cc.diff?cvsroo…

1 0