October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Makefile.am
by Enea Zaffanella 25 Oct '08

25 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-25 16:06:40 Modified files: interfaces/Prolog: Makefile.am Log message: When Prolog is enabled, do make Prolog_configured_interface.dox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl STANDARDS
by Enea Zaffanella 25 Oct '08

25 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-25 16:05:21 Modified files: . : STANDARDS Log message: Typo corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl doc/Makefile.am Watchdog/doc/Makefile.am
by Enea Zaffanella 24 Oct '08

24 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-24 22:14:03 Modified files: doc : Makefile.am Watchdog/doc : Makefile.am Log message: Avoid cleaning distributed built files. Try to follow the rule stated in Section 27.5 of the Automake manual: distributed files should never depend upon non-distributed built files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/Makefile.am.diff…

1 0

ppl/interfaces/Prolog Prolog_interface.dox ppl ...
by Patricia Hill 24 Oct '08

24 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-24 16:41:38 Modified files: interfaces/Prolog: Prolog_interface.dox ppl_prolog_sysindep_dox Log message: Revised the grammar rules to bring them up-to-date to include rules for congruences and grid generators, also removed rules for intervals and boxes etc. which are now not wanted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl/interfaces/Prolog Prolog_interface.dox ppl ...
by Patricia Hill 24 Oct '08

24 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-24 15:38:04 Modified files: interfaces/Prolog: Prolog_interface.dox ppl_prolog_sysindep_dox Log message: Corrected the list of weakly relational domains available to the Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

w3ppl/htdocs/Credits Credits.raw
by Patricia Hill 24 Oct '08

24 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2008-10-24 12:22:31 Modified files: htdocs/Credits : Credits.raw Log message: Added to list of sponsors the Royal Society short visit and the current EPSRC project. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl/demos Makefile.am
by Roberto Bagnara 23 Oct '08

23 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-23 19:17:11 Modified files: demos : Makefile.am Log message: Fixed copy-and-paste mistake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/Makefile.am.diff?cvsroo…

1 0

ppl CREDITS
by Roberto Bagnara 23 Oct '08

23 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-23 17:43:25 Modified files: . : CREDITS Log message: Acknowledge the contribution of Hewlett Packard as provider of the test cluster hosted by ESIEE. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl/doc devref-foreign-language-interface.tex ...
by Patricia Hill 23 Oct '08

23 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-23 16:09:28 Modified files: doc : devref-foreign-language-interface.tex devref.tex user-foreign-language-interface.tex user.tex Log message: Added acknowledgements to EPSRC - two projects, one for the grid domain and the current project. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-foreign-language-i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-foreign-language-int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl…

1 0

ppl ./TODO doc/definitions.dox src/Polyhedron. ...
by Patricia Hill 23 Oct '08

23 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-23 15:03:08 Modified files: . : TODO doc : definitions.dox src : Polyhedron.defs.hh Log message: Improved the documentation for boxes, intervals and the bounded extrapolations. Replace the brief descriptions of the bounded extrapolations in Polyhedron.defs.hh by shorter descriptions that ju st refer to the relevant paragraphs in definitions.dox. Removed the out-of-date paragraph about the domains in section 1.1 of the main user's manual. Removed a todo item. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.27… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0