September 2004 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs abstractions.raw Documentation/pp ...
by Patricia Hill 27 Sep '04

27 Sep '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-09-27 16:48:43 Modified files: htdocs : abstractions.raw htdocs/Documentation: ppl.bib Log message: Removed citations to applications in the paragraph about integral grids. Added to ppl.bib, references for Ancourt thesis, two papers by Granger (1991 and 1997) and Technical report by Quinton et al. 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/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation Makefile
by Roberto Bagnara 27 Sep '04

27 Sep '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-09-27 15:13:13 Modified files: htdocs/Documentation: Makefile Log message: Erase the temporary files when done. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Makefi…

1 0

w3ppl/htdocs/Documentation Makefile ppl.bib
by Roberto Bagnara 27 Sep '04

27 Sep '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-09-27 15:12:38 Modified files: htdocs/Documentation: Makefile ppl.bib Log message: Last change reverted: in the bibliography we use the right LaTeX code, which is then simplified, when needed, for the sake of BibTeX2HTML. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 27 Sep '04

27 Sep '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-09-27 15:00:56 Modified files: htdocs/Documentation: ppl.bib Log message: Do not use LaTeX that cannot be decently handled by BibTeX2HTML. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs abstractions.raw
by Roberto Bagnara 27 Sep '04

27 Sep '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-09-27 14:47:10 Modified files: htdocs : abstractions.raw Log message: Added a clarification about octagons/simple sections. Avoid using colors in the text part. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/abstractions.raw.dif…

1 0

w3ppl/htdocs abstractions.raw
by Roberto Bagnara 27 Sep '04

27 Sep '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-09-27 14:42:00 Modified files: htdocs : abstractions.raw Log message: Bounded differences date, at least, to the '80s. Octagons where invented, in 1989 by Balasundaram and Kennedy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/abstractions.raw.dif…

1 0

w3ppl/htdocs abstractions.raw Documentation/pp ...
by Patricia Hill 27 Sep '04

27 Sep '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-09-27 11:15:32 Modified files: htdocs : abstractions.raw htdocs/Documentation: ppl.bib htdocs/images : abstractions_rcongrs.gif Log message: Completed draft descriptions of the numerical abstractions. Added to ppl.bib reference to the Mine paper on the octagon domain and to Roberto's thesis. Updated the gif version of the illustration of a relational grid to correspond to that already in abstractions.tex. 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/Documentation/ppl.bi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions_…

1 0

ppl/src SatRow.cc SatRow.defs.hh SatRow.inlines.hh
by Roberto Bagnara 27 Sep '04

27 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-09-27 09:05:07 Modified files: src : SatRow.cc SatRow.defs.hh SatRow.inlines.hh Log message: Updated from the main trunk. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv…

1 0

ppl/src SatRow.cc
by Roberto Bagnara 26 Sep '04

26 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-26 22:55:14 Modified files: src : SatRow.cc Log message: SatRow::first() and SatRow::next() speeded up. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0

ppl/src SatRow.cc
by Roberto Bagnara 26 Sep '04

26 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-26 22:03:09 Modified files: src : SatRow.cc Log message: SatRow::last() and SatRow::prev() speeded up. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0