June 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_simplify.cc Grid_public.cc Grid_n ...
by Matthew Mundell 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-14 15:21:10 Modified files: src : Grid_simplify.cc Grid_public.cc Grid_nonpublic.cc Grid_minimize.cc Grid_conversion.cc Grid_chdims.cc Grid.defs.hh Log message: Add enum Dimension_Kind and type Dimension_Kinds. Add attribute dim_kinds, pass it to the minimize, simplify and conversion methods, and fill it in the simplify methods. Add macro trace_dim_kinds. Dump and load dim_kinds in ascii_load and ascii_dump. Check dim_kinds in OK. Adjust dim_kinds in add_space_dimensions*. Add ascii_dump(), which writes to cerr. 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_public.cc.diff?cvsro… 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_minimize.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_chdims.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-06-14 15:12:25 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Rounding.defs.hh Log message: Moved default rounding mode in policy. Removed bogus Checked_Pair trick. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding.defs.hh.diff?cvs…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-14 14:56:36 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Do not refer to `option_index' if HAVE_GETOPT_H is undefined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/tests BBox.hh
by Roberto Bagnara 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-14 11:45:41 Modified files: tests : BBox.hh Log message: Avoid using directives in header files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.hh.diff?cvsroot=pp…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-14 11:41:48 Modified files: src : BD_Shape.inlines.hh Log message: Include "C_Polyhedron.defs.hh". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/tests BBox.cc BBox.hh PFunction.cc PFuncti ...
by Roberto Bagnara 14 Jun '05

14 Jun '05

1 0

ppl/tests PFunction.hh
by Roberto Bagnara 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-14 10:59:05 Modified files: tests : PFunction.hh Log message: Multiple inclusion guard fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/PFunction.hh.diff?cvsro…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-14 09:42:59 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Fixes for systems that do not provide <getopt.h>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-14 09:40:20 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Do not declare `option_index' when it is not needed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/src BDS_Status.inlines.hh
by Roberto Bagnara 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-14 08:06:33 Modified files: src : BDS_Status.inlines.hh Log message: Helper function get_field() is now declared inline. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.dif…

1 0