June 2007 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 04 Jun '07

04 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-04 13:47:23 Modified files: htdocs/Documentation: ppl.bib Log message: BagnaraHZ07TRb completed. 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 04 Jun '07

04 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-04 10:19:59 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 03 Jun '07

03 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-03 22:33:34 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added Vigna07. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 03 Jun '07

03 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-03 22:07:51 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added ArmandoBM07. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 03 Jun '07

03 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-03 21:25:49 Modified files: htdocs/Applications: Applications.raw Log message: Added an entry for CHA (Convex Hull Analyser for logic programs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

w3ppl/htdocs ppl.raw
by Roberto Bagnara 03 Jun '07

03 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-03 19:04:23 Modified files: htdocs : ppl.raw Log message: Description of the library revised (now that we have C++, C, Java, Objective CAML and Prolog interfaces, calling the PPL "a C++ library" is simply misleading). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 03 Jun '07

03 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-03 18:29:38 Modified files: htdocs/Applications: Applications.raw Log message: Added an entry about Julia, Fausto Spoto's generic static analyser for full sequential Java bytecode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 01 Jun '07

01 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-01 15:10:08 Modified files: htdocs/Applications: Applications.raw Log message: CSSV entry updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

w3ppl/htdocs news.raw ppl.raw Documentation/Ba ...
by Roberto Bagnara 01 Jun '07

01 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-01 11:41:19 Modified files: htdocs : news.raw ppl.raw Added files: htdocs/Documentation: BagnaraHZ07TRb.pdf Log message: Announce and publish a new paper on "An Improved Tight Closure Algorithm for Integer Octagonal Constraints." 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 01 Jun '07

01 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-01 11:27:47 Modified files: htdocs/Documentation: ppl.bib Log message: Added BagnaraHZ07TRb (still incomplete). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0