September 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_widenings.cc
by Matthew Mundell 06 Sep '05

06 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-06 16:23:35 Modified files: src : Grid_widenings.cc Log message: Add space between sentences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv…

1 0

ppl/tests/Grid certificate1.cc
by Matthew Mundell 06 Sep '05

06 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-06 15:27:12 Modified files: tests/Grid : certificate1.cc Log message: Use compare(gr) or struct Compare::operator() instead of compare(grc) in some of the comparison tests. Also test is_stabilising in some of the tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/certificate1.cc.di…

1 0

ppl/tests/Grid Makefile.am certificate1.cc
by Matthew Mundell 06 Sep '05

06 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-06 15:00:41 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : certificate1.cc Log message: Add certificate1, which tests class Grid_Certificate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/certificate1.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid Makefile.am contains2.cc
by Matthew Mundell 06 Sep '05

06 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-06 13:19:59 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : contains2.cc Log message: Add contains2, which tests strictly_contains. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/contains2.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid contains1.cc
by Matthew Mundell 06 Sep '05

06 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-06 13:19:10 Modified files: tests/Grid : contains1.cc Log message: Improve failure messages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/contains1.cc.diff?…

1 0

ppl/tests/Grid bhz03widening1.cc
by Matthew Mundell 06 Sep '05

06 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-06 13:07:13 Modified files: tests/Grid : bhz03widening1.cc Log message: Describe test1. Add test2, where the widening falls back to joining the grids. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bhz03widening1.cc.…

1 0

ppl/src Widening_Function.defs.hh Widening_Fun ...
by Roberto Bagnara 05 Sep '05

05 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-09-05 23:40:34 Modified files: src : Widening_Function.defs.hh Widening_Function.inlines.hh Widening_Function.types.hh Log message: Ported from the main trunk: 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/tests/Grid congruence1.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:51:29 Modified files: tests/Grid : congruence1.cc Log message: Add colons to messages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruence1.cc.dif…

1 0

ppl/tests/Grid Makefile.am bhz03widening1.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:50:43 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : bhz03widening1.cc Log message: Add an initial bhz03widening1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bhz03widening1.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Polyhedron.inlines.hh Polyhedron.defs. ...
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:49:49 Modified files: src : Polyhedron.inlines.hh Polyhedron.defs.hh Polyhedra_Powerset.inlines.hh Log message: Add method Polyhedron::difference_assign, and use it in BHZ03_widening_assign (shadowing the trunk). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… 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/Polyhedra_Powerset.inline…

1 0