May 2006 - PPL-devel - BUGSENG Mailman

ppl/src Grid_public.cc
by Matthew Mundell 30 May '06

30 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-30 13:57:33 Modified files: src : Grid_public.cc Log message: Move the modulus negation check back out of the congruence creation in generalized_affine_image/3 and generalized_affine_preimage/3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 30 May '06

30 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-30 13:46:39 Modified files: src : Grid_conversion.cc Log message: Convert division operations to exact_div_assign calls. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/tests/Grid widening2.cc widening1.cc
by Matthew Mundell 30 May '06

30 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-30 13:34:54 Modified files: tests/Grid : widening2.cc widening1.cc Log message: Correct indentation of messages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening2.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening1.cc.diff?…

1 0

ppl/tests/Grid coveringbox1.cc boundingbox1.cc
by Matthew Mundell 30 May '06

30 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-30 13:33:37 Modified files: tests/Grid : coveringbox1.cc boundingbox1.cc Log message: Add tests with boxes of larger dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox1.cc.di…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 30 May '06

30 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-30 13:32:38 Modified files: src : Grid_simplify.cc Log message: Update the reduce methods to create fewer temporaries explicitly and to use references to row[column] and pivot[column]. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_Generator.defs.hh Grid.templates.hh
by Matthew Mundell 30 May '06

30 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-30 13:29:01 Modified files: src : Grid_Generator.defs.hh Grid.templates.hh Log message: Update the box constructors to create both systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc. ...
by Enea Zaffanella 29 May '06

29 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: zaffanella(a)cs.unipr.it 2006-05-29 16:44:06 Added files: interfaces/C : ppl_interface_generator_c_cc.m4 ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_cc_preamble ppl_interface_generator_c_dat.m4 Log message: Drafted a first attempt at generating one of the files (definitions) for interfacing polyhedra using C. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces Prolog/Makefile.am Prolog/excep ...
by Enea Zaffanella 29 May '06

29 May '06

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 26 May '06

26 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-05-26 07:02:40 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Always use CHECK as early as possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 25 May '06

25 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-25 13:32:25 Modified files: src : Grid_public.cc Log message: Update affine_dimension() to use the minimized form of either system, preferring the generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0