November 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_public.cc
by Matthew Mundell 21 Nov '05

21 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-21 16:02:49 Modified files: src : Grid_public.cc Log message: In is_universe check for a single integrality congruence if the congruences are minimized, use a single temporary generator instead of creating a temporary grid, and take out the gen_sys check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Congruence.defs.hh
by Matthew Mundell 21 Nov '05

21 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-21 15:58:07 Modified files: src : Congruence.defs.hh Log message: Correct is_trivial_true doc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
by Elena Mazzi 21 Nov '05

21 Nov '05

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 21 Nov '05

21 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-21 15:34:08 Modified files: src : BD_Shape.inlines.hh Log message: Added a couple of missing inline declarations. Let definitions of a few inline functions occur before their first use. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/tests/BD_Shape affineimage8.cc generalized ...
by Enea Zaffanella 21 Nov '05

21 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-21 11:12:44 Modified files: tests/BD_Shape : affineimage8.cc generalizedaffineimage14.cc Log message: Removed the last CHECKME's from the known results. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage8.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/interfaces/Prolog XSB/expected_pchk_int32 ...
by Roberto Bagnara 20 Nov '05

20 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-20 19:03:49 Modified files: interfaces/Prolog/XSB: expected_pchk_int32 interfaces/Prolog/tests: expected_pchk_int32 Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/interfaces/Prolog XSB/expected_clpq_int16 ...
by Roberto Bagnara 20 Nov '05

20 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-20 18:35:32 Modified files: interfaces/Prolog/XSB: expected_clpq_int16 expected_pchk_int16 interfaces/Prolog/tests: expected_clpq_int16 expected_pchk_int16 Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl TODO
by Roberto Bagnara 20 Nov '05

20 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-20 18:15:29 Modified files: . : TODO Log message: New to-do item. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.15…

1 0

ppl/interfaces/Prolog XSB/expected_clpq2_int8_ ...
by Roberto Bagnara 20 Nov '05

20 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-20 18:12:06 Modified files: interfaces/Prolog/XSB: expected_clpq2_int8_a expected_pchk_int8_a interfaces/Prolog/tests: expected_clpq2_int8_a expected_pchk_int8_a Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/interfaces/Prolog XSB/expected_clpq2_int32 ...
by Roberto Bagnara 20 Nov '05

20 Nov '05

1 0