January 2006 - PPL-devel - BUGSENG Mailman

ppl/src Grid_nonpublic.cc Grid_conversion.cc G ...
by Matthew Mundell 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-16 15:14:18 Modified files: src : Grid_nonpublic.cc Grid_conversion.cc GMP_Integer.inlines.hh GMP_Integer.defs.hh Congruence_System.cc Checked_Number.defs.hh Log message: Clear out the left-overs of the two parameter version of lcm_assign. Always call the three parameter version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0

ppl/tests/Polyhedron polypowerset1.cc
by Roberto Bagnara 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-16 15:13:44 Modified files: tests/Polyhedron: polypowerset1.cc Log message: Fixed test11(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polypowerset…

1 0

ppl/tests/Polyhedron polypowerset1.cc
by Roberto Bagnara 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-16 15:12:57 Modified files: tests/Polyhedron: polypowerset1.cc Log message: Fixed test10(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polypowerset…

1 0

ppl/tests/Polyhedron polypowerset1.cc
by Roberto Bagnara 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-16 15:09:50 Modified files: tests/Polyhedron: polypowerset1.cc Log message: Fixed test6(). Do not use ints when bools are wanted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polypowerset…

1 0

ppl README
by Roberto Bagnara 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-16 14:41:02 Modified files: . : README Log message: The PPL now also handles bounded-difference shapes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

ppl/tests/Polyhedron polypowerset1.cc
by Patricia Hill 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-16 14:39:16 Modified files: tests/Polyhedron: polypowerset1.cc Log message: Tests added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polypowerset…

1 0

ppl/Watchdog NEWS
by Roberto Bagnara 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-16 14:37:32 Modified files: Watchdog : NEWS Log message: Release date decided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/NEWS.diff?cvsroot=pp…

1 0

ppl NEWS
by Roberto Bagnara 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-16 14:36:33 Modified files: . : NEWS Log message: The section "Integers Represented by Floating Point Numbers" does not belong to the user's manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.18…

1 0

ppl/src Grid_simplify.cc Grid_conversion.cc Gr ...
by Matthew Mundell 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-16 14:30:17 Modified files: src : Grid_simplify.cc Grid_conversion.cc Grid_Generator.inlines.hh Grid_Generator.defs.hh Log message: Move negate(gg, start, end) to Grid_Generator::negate(start, end). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di…

1 0

ppl NEWS
by Roberto Bagnara 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-16 14:30:05 Modified files: . : NEWS Log message: News items reordered. Added a notice for the exchange of unbounded numbers with YAP. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.18…

1 0