July 2003 - PPL-devel - BUGSENG Mailman

ppl/src algorithms.hh
by Roberto Bagnara 13 Jul '03

13 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-13 11:54:33 Modified files: src : algorithms.hh Log message: Several functions moved (as methods) to the Polyhedra_PowerSet class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Makefile.am Polyhedra_PowerSet.defs.hh ...
by Roberto Bagnara 13 Jul '03

13 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-13 11:52:55 Modified files: src : Makefile.am Added files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Polyhedra_PowerSet.types.hh Log message: The powerset construction instantiated on PPL polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… 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/Polyhedra_PowerSet.types.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src PowerSet.defs.hh PowerSet.inlines.hh
by Roberto Bagnara 13 Jul '03

13 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-13 11:51:46 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh Log message: Rewritten so as to be truly generic. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

w3ppl/htdocs/Documentation ppl.bib Bagnara98SC ...
by Roberto Bagnara 13 Jul '03

13 Jul '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-07-13 11:49:47 Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation: Bagnara98SCP.pdf Log message: Bagnara98SCP added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src AskTell.defs.hh AskTell.inlines.hh
by Roberto Bagnara 13 Jul '03

13 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-13 11:36:38 Modified files: src : AskTell.defs.hh AskTell.inlines.hh Log message: Includes fixed. Comment added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?c…

1 0

ppl/tests Makefile.am h79widening6.cc
by Roberto Bagnara 10 Jul '03

10 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-10 17:52:44 Modified files: tests : Makefile.am Added files: tests : h79widening6.cc Log message: Test the simple powerset widening. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening6.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 10 Jul '03

10 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-10 17:51:35 Modified files: src : algorithms.hh Log message: Includes fixed. Simple powerset widening reimplemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Polyhedron_public.cc
by Roberto Bagnara 10 Jul '03

10 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-10 17:50:35 Modified files: src : Polyhedron_public.cc Log message: Wrong call to Polyhedron::throw_topology_incompatible() replaced with call to Polyhedron::throw_dimension_incompatible(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Makefile.am
by Roberto Bagnara 10 Jul '03

10 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-10 17:47:35 Modified files: src : Makefile.am Log message: Obsolete stuff out, AskTell class in. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src Determinate.defs.hh Determinate.inlines.hh
by Roberto Bagnara 10 Jul '03

10 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-10 17:46:33 Modified files: src : Determinate.defs.hh Determinate.inlines.hh Log message: Big exception-safety bug fixed. Some obsolete stuff removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di…

1 0