January 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid grid1.cc Makefile.am grid1_gmp.cc
by Matthew Mundell 18 Jan '06

18 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-18 16:25:56 Modified files: tests/Grid : grid1.cc Makefile.am Added files: tests/Grid : grid1_gmp.cc Log message: Add grid1_gmp for tests expected to pass only with GMP integers. Move grid1 test19 to grid1_gmp. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1_gmp.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 18 Jan '06

18 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-18 13:56:16 Modified files: src : Grid_simplify.cc Log message: Add more tracing to reduce_pc_with_pc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Enea Zaffanella 18 Jan '06

18 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-18 13:12:01 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Another typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/C ppl_c.h.in
by Enea Zaffanella 18 Jan '06

18 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-18 13:04:37 Modified files: interfaces/C : ppl_c.h.in Log message: Many small improvements to the documentation of the C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Enea Zaffanella 18 Jan '06

18 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-18 13:02:38 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Several small corrections pointed out by Andrea. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/tests BD_Shape/universe1.cc Polyhedron/add ...
by Enea Zaffanella 18 Jan '06

18 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-18 13:01:14 Modified files: tests/BD_Shape : universe1.cc tests/Polyhedron: addconstraints6.cc writepolyhedron3.cc Log message: "an universe" ==> "a universe". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/universe1.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addconstrain… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writepolyhed…

1 0

ppl/src globals.types.hh
by Enea Zaffanella 18 Jan '06

18 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-18 13:00:13 Modified files: src : globals.types.hh Log message: Corrected a typo in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.types.hh.diff?cvs…

1 0

ppl/tests/Polyhedron powerset1.cc
by Enea Zaffanella 18 Jan '06

18 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-18 09:25:41 Modified files: tests/Polyhedron: powerset1.cc Log message: Some old compilers do not fully understand using directives/declarations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc…

1 0

ppl/tests/Grid congruencesystem1.cc
by Matthew Mundell 17 Jan '06

17 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-17 21:30:27 Modified files: tests/Grid : congruencesystem1.cc Log message: Revert change made during testing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem1.…

1 0

ppl/tests/Grid grid4.cc
by Matthew Mundell 17 Jan '06

17 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-17 20:27:20 Modified files: tests/Grid : grid4.cc Log message: Clear out tracing messages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid4.cc.diff?cvsr…

1 0