August 2004 - PPL-devel - BUGSENG Mailman

ppl Makefile.am
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 17:04:10 Modified files: . : Makefile.am Log message: Distribute also README.configure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…

1 0

ppl TODO
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 16:45:42 Modified files: . : TODO Log message: One less thing to do. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.82…

1 0

ppl BUGS CREDITS
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 14:12:34 Modified files: . : BUGS CREDITS Log message: Formatted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/BUGS.diff?cvsroot=ppl&r1=1.3&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl README.configure
by Patricia Hill 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-17 14:12:12 Modified files: . : README.configure Log message: Corrected a typo and improved the English. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl BUGS CREDITS STANDARDS
by Patricia Hill 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-17 13:20:19 Modified files: . : BUGS CREDITS STANDARDS Log message: English improvements made. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/BUGS.diff?cvsroot=ppl&r1=1.2&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

Suggestion
by Enrico Oliosi 17 Aug '04

17 Aug '04

Dear ppl-devel group, I should make a small prototype which does polyhedra analysis. I should create a small parser of a imperative toy-language in order to analyse its expressions and comands. I compiled your PPL-library in C++ language so I should create this parser in this language. I would ask to you if you know some instruments to make this parser. Thanks for your help and interesting. All the best, Enrico

2 7

ppl/src Determinate.defs.hh Determinate.inline ...
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 12:43:05 Modified files: src : Determinate.defs.hh Determinate.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh Log message: Determinate::operator+(), Determinate::operator*(), PowerSet::operator+() and PowerSet::operator*() 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… 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

ppl CREDITS
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 12:40:41 Modified files: . : CREDITS Log message: Small English improvement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl/tests bhz03widening2.cc
by Patricia Hill 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-17 11:05:27 Modified files: tests : bhz03widening2.cc Log message: Redundant code removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening2.cc.diff?…

1 0

ppl/src Determinate.defs.hh Determinate.inlines.hh
by Enea Zaffanella 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-17 11:01:28 Modified files: src : Determinate.defs.hh Determinate.inlines.hh Log message: The methods grouped according to constness and space-dim preservation, as done for the class Polyhedron. Two inline directives moved from *.defs.hh into *.inlines.hh. 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