May 2005 - PPL-devel - BUGSENG Mailman

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

23 May '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-05-23 16:24:36 Modified files: htdocs/Documentation: ppl.bib Log message: Conflict removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 23 May '05

23 May '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-05-23 16:20:12 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Frehse05 completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl/tests/Grid mapspacedims1.cc
by Matthew Mundell 23 May '05

23 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-23 15:57:01 Modified files: tests/Grid : mapspacedims1.cc Log message: Add test5. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mapspacedims1.cc.d…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 23 May '05

23 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-23 15:51:17 Modified files: src : Grid_simplify.cc Log message: Adjust the system's row capacity after inserting or erasing rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_chdims.cc
by Matthew Mundell 23 May '05

23 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-23 15:48:21 Modified files: src : Grid_chdims.cc Log message: In add_space_dimensions_and_embed correct the clearing of the minimize flags and the loop that adds virtual rows. Take some pending code out of concatenate_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

Seminario
by Roberto Bagnara 20 May '05

20 May '05

[Con preghiera di diffusione e scuse per l'eventuale ricezione di copie multiple. RB] ---------------------------------------------------------------------- Date: Martedi`, 24 maggio 2005 Time: 16:00 Speaker: David Merchat VERIMAG-IMAG GIÈRES, Francia Title: Reducing the number of numerical variables in linear relations analysis Abstract: The seminar describes research work done in the field of automatic verification of numerical properties, mainly for embedded systems. During verification one must represent, in a finite way, the possibly infinite set of values that a tuple of program variables can take. The domain of convex polyhedra offers one possible solution to this problem. This representation is precise but expensive, so that the number of program variables one can simultaneously approximated is limited. The goal of the research we present is to increase the maximum number of variables that it is possible to represent without incurring excessive computational costs. Two approaches have been considered and tested. First we wanted to benefit from the presence of linear equations in order to eliminate variables from the representation (as values for these variables could be recovered by means of the equations). Experimentation showed that this approach does not perform well in practice. Another approach, more promising, is the use of the cartesian product. The idea is to represent independently the variables whose evolution is not dependent. This decomposition can be improved through a change of basis. We will discuss the experimental results obtained with an analyser we developed in order to test these two approaches. Place: Sala Riunioni Dipartimento di Matematica Universita` di Parma Parco Area delle Scienze, 53/A Parma ---------------------------------------------------------------------- -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/tests/Grid Makefile.am
by Matthew Mundell 20 May '05

20 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-20 09:12:39 Modified files: tests/Grid : Makefile.am Log message: Add test mapspacedims1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid mapspacedims1.cc
by Matthew Mundell 20 May '05

20 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-20 09:12:04 Added files: tests/Grid : mapspacedims1.cc Log message: Initial revision. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mapspacedims1.cc?c…

1 0

ppl/src Grid.inlines.hh
by Matthew Mundell 20 May '05

20 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-20 09:11:18 Modified files: src : Grid.inlines.hh Log message: Enable and implement method map_space_dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 19 May '05

19 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-19 09:35:59 Modified files: src : Grid_public.cc Log message: Take out some of the pending code. Add the definition of add_congruences_and_minimize. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0