October 2008 - PPL-devel - BUGSENG Mailman

ppl TODO
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 11:41:25 Modified files: . : TODO Log message: Two items removed; one revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.27…

1 0

ppl/doc libppl.3
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 11:40:04 Modified files: doc : libppl.3 Log message: Completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl…

1 0

ppl/tests/Polyhedron memory1.cc
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 10:07:19 Modified files: tests/Polyhedron: memory1.cc Log message: Make sure the GMP allocation functions are set prior to the allocation of any GMP object. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.d…

1 0

ppl ./TODO Watchdog/src/Makefile.am interfaces ...
by Patricia Hill 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-26 09:19:50 Modified files: . : TODO Watchdog/src : Makefile.am interfaces/OCaml: Makefile.am src : Makefile.am tests : Makefile.am tests/BD_Shape : Makefile.am tests/Box : Makefile.am tests/Octagonal_Shape: Makefile.am tests/Powerset : Makefile.am Log message: Ensure the clean and mostlyclean comply with the 'STANDARDS' file and are used sensibly. Removed - Check all the Makefile.am's to make sure CLEANFILES, MOSTLYCLEANFILES and DISTCLEANFILES are used in a sensible way. from the TODO list for 0.10 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/Watchdog/src/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.di…

1 0

ppl/doc libppl.3
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 08:51:08 Modified files: doc : libppl.3 Log message: Some corrections. Started a new section on implementing memory-guarded computations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl…

1 0

w3ppl/htdocs templates/choicestrip.tmpl images ...
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 07:47:11 Modified files: htdocs/templates: choicestrip.tmpl Added files: htdocs/images : protests.jpg Log message: Added a banner to protest against suicide spending cuts in the italian education system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/protests.jpg?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/templates/choicestri…

1 0

ppl 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 22:45:12 Modified files: . : Makefile.am Log message: Added alternative definition for variable distcleancheck_listfiles, so that it is not an error if a distributed file is left in the build tree after a `make distclean' (see Section 14.4 of the Automake manual). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…

1 0

ppl/Watchdog/doc 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 22:42:18 Modified files: Watchdog/doc : Makefile.am Log message: Do clean .tag files generated by Doxygen. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/Makefile.am.diff…

1 0

ppl/doc libppl.3
by Roberto Bagnara 25 Oct '08

25 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-25 21:39:02 Modified files: doc : libppl.3 Log message: Some progress toward completion of this man page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl…

1 0

ppl/doc 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:09:54 Modified files: doc : Makefile.am Log message: The configuration dependent Prolog manuals should depend on (generated) Prolog_configured_interface.dox, rather than (fixed) Prolog_interface.dox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0