November 2003 - PPL-devel - BUGSENG Mailman

ppl/src Row.defs.hh
by Roberto Bagnara 07 Nov '03

07 Nov '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-11-07 09:27:43 Modified files: src : Row.defs.hh Log message: Including Integer.types.hh is not enough: include Integer.defs.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

w3ppl/htdocs seminars_2003_2004.raw
by Roberto Bagnara 06 Nov '03

06 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-11-06 21:34:50 Modified files: htdocs : seminars_2003_2004.raw Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/seminars_2003_2004.r…

1 0

w3ppl/htdocs seminars_2003_2004.raw
by Roberto Bagnara 05 Nov '03

05 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-11-05 18:53:15 Modified files: htdocs : seminars_2003_2004.raw Log message: Torrisi's seminars swapped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/seminars_2003_2004.r…

1 0

w3ppl/htdocs seminars_2003_2004.raw Documentat ...
by Patricia Hill 05 Nov '03

05 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2003-11-05 08:16:18 Modified files: htdocs : seminars_2003_2004.raw htdocs/Documentation: ppl.bib Log message: NELS and similar changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/seminars_2003_2004.r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl ./config.guess ./config.sub Watchdog/confi ...
by Roberto Bagnara 04 Nov '03

04 Nov '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-11-04 17:58:37 Modified files: . : config.guess config.sub Watchdog : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsr…

1 0

A cycle of seminars on convex polyhedra and applications
by Roberto Bagnara 04 Nov '03

04 Nov '03

In the coming months, we will have a very interesting cycle of seminars on convex polyhedra for the analysis and verification of hardware and software systems. This will be a nice occasion to get (prospective) developers and (potential) users together and to discuss the current and future developments. If you are interested, please bookmark the page http://www.cs.unipr.it/ppl/seminars_2003_2004 which will be used to communicate all the details and updates (no further messages on this subject will be sent to the PPL mailing lists). All the best, Roberto Bagnara -- 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

w3ppl/htdocs seminars_2003_2004.raw
by Roberto Bagnara 04 Nov '03

04 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-11-04 15:59:23 Modified files: htdocs : seminars_2003_2004.raw Log message: Added information for students. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/seminars_2003_2004.r…

1 0

w3ppl/htdocs seminars_2003_2004.raw
by Roberto Bagnara 04 Nov '03

04 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-11-04 14:18:07 Modified files: htdocs : seminars_2003_2004.raw Log message: Title changed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/seminars_2003_2004.r…

1 0

w3ppl/htdocs seminars_2003_2004.raw
by Roberto Bagnara 04 Nov '03

04 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-11-04 14:13:08 Modified files: htdocs : seminars_2003_2004.raw Log message: Added more reasons to contact us. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/seminars_2003_2004.r…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 04 Nov '03

04 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-11-04 11:59:02 Modified files: htdocs : news.raw ppl.raw Log message: New piece of news concerning the coming cycle of seminars. Patches: 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/ppl.raw.diff?cvsroot…

1 0