September 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_nonpublic.cc
by Matthew Mundell 05 Sep '05

05 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-05 22:37:43 Modified files: src : Grid_nonpublic.cc Log message: Shorten two comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Grid.inlines.hh Grid.defs.hh Generator ...
by Matthew Mundell 05 Sep '05

05 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-05 22:37:19 Modified files: src : Grid.inlines.hh Grid.defs.hh Generator_System.defs.hh Congruence_System.defs.hh Log message: Befriend Grid_Certificate where necessary. Enable Grid::strictly_contains. Add difference_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh…

1 0

ppl/src Makefile.am Grid_Certificate.types.hh ...
by Matthew Mundell 05 Sep '05

05 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-05 22:34:43 Modified files: src : Makefile.am Added files: src : Grid_Certificate.types.hh Grid_Certificate.inlines.hh Grid_Certificate.defs.hh Grid_Certificate.cc Log message: Add class Grid_Certificate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.types.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.inlines.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.defs.hh?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src Polyhedra_Powerset.inlines.hh Polyhedr ...
by Enea Zaffanella 05 Sep '05

05 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-05 17:02:05 Modified files: src : Polyhedra_Powerset.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh Log message: Added method difference_assign(), which is now used in the widening on powersets. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 05 Sep '05

05 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-05 15:37:02 Modified files: htdocs/Documentation: ppl.bib Log message: Completed the bibliographic information for BagnaraHRZ05SCP. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 05 Sep '05

05 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-05 11:15:37 Modified files: src : Grid_public.cc Log message: In relation_with(cg) use the scalar_product_assign that expects cg to be at most the size of the generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Congruence.defs.hh Congruence.cc
by Matthew Mundell 05 Sep '05

05 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-05 11:13:25 Modified files: src : Congruence.defs.hh Congruence.cc Log message: Add scalar_product_assign(Coefficient&, const Congruence&, const Linear_Row&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/src Widening_Function.defs.hh Widening_Fun ...
by Enea Zaffanella 05 Sep '05

05 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-05 10:02:06 Modified files: src : Widening_Function.defs.hh Widening_Function.inlines.hh Widening_Function.types.hh Log message: The version of widen_fun_ref() building a limited widening function is now parametric on its second argument too (i.e., the limiting cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.types.h…

1 0

ppl/src checked.inlines.hh
by Roberto Bagnara 04 Sep '05

04 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-04 23:33:46 Modified files: src : checked.inlines.hh Log message: Workaround and FIXME added for the bug affecting lcm_generic(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/src conversion.cc
by Roberto Bagnara 04 Sep '05

04 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-04 23:25:32 Modified files: src : conversion.cc Log message: FIXME dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0