August 2004 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs Documentation/how_to_get_it.raw D ...
by Enea Zaffanella 24 Aug '04

24 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-24 12:02:43 Modified files: htdocs/Documentation: how_to_get_it.raw htdocs/Download: requirements.raw Download.raw htdocs/About : About.raw htdocs : ppl.raw news.raw details.raw Log message: Use @BASE_DIR@ instead of absolute paths referring to pages of ppl web site. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/how_to… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/details.raw.diff?cvs…

1 0

ppl/src Polyhedron.defs.hh Polyhedron_widenings.cc
by Enea Zaffanella 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-23 20:52:33 Modified files: src : Polyhedron.defs.hh Polyhedron_widenings.cc Log message: Removed the no-longer used function is_BHRZ03_stabilizing(), which has been superseded by the use of BHRZ03_Certificate. Patches: 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_widenings.cc.d…

1 0

w3ppl/htdocs abstractions.raw details.raw ppl.raw
by Roberto Bagnara 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-23 19:33:42 Modified files: htdocs : abstractions.raw details.raw ppl.raw Log message: Abstractions page linked. That page and the details page are now clearly marked as "under construction". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/abstractions.raw.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/details.raw.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs/images in_progress.png
by Roberto Bagnara 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-23 19:30:12 Added files: htdocs/images : in_progress.png Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/in_progress.p…

1 0

w3ppl/htdocs/About About.raw
by Roberto Bagnara 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-23 19:17:17 Modified files: htdocs/About : About.raw Log message: Added another book. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

w3ppl/htdocs/images abstractions_zpolys2.gif a ...
by Patricia Hill 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-08-23 17:50:27 Modified files: htdocs/images : abstractions_zpolys2.gif htdocs/images/abstractions: abstractions.tex Log message: Picture for z-polyhedron for relational case revised with y = 0 mod 3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions/…

1 0

w3ppl/htdocs/images/abstractions abstractions.tex
by Patricia Hill 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-08-23 17:25:26 Modified files: htdocs/images/abstractions: abstractions.tex Log message: Now the relational grid has the same number of points as the non-relational grid - but in a different pattern. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions/…

1 0

ppl/src algorithms.hh
by Enea Zaffanella 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-23 16:50:18 Modified files: src : algorithms.hh Log message: Documented (for the developers) the function check_containment() and linear_partition_aux(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

w3ppl/htdocs abstractions.raw
by Enea Zaffanella 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-23 16:49:46 Modified files: htdocs : abstractions.raw Log message: Small formatting improvements (avoided the use of nested parentheses). Use the wpp macro @BASE_DIR@ instead of absolute links to URI that are in the ppl web site. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/abstractions.raw.dif…

1 0

w3ppl/htdocs/images abstractions_pspolys.gif
by Patricia Hill 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-08-23 16:42:51 Modified files: htdocs/images : abstractions_pspolys.gif Log message: Inequality corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions_…

1 0