December 2004 - PPL-devel - BUGSENG Mailman

ppl/src float.types.hh
by Roberto Bagnara 23 Dec '04

23 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-23 08:45:37 Modified files: src : float.types.hh Log message: Never include <config.h> from a header file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/float.types.hh.diff?cvsro…

1 0

ppl/tests BBox.cc
by Roberto Bagnara 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-22 21:53:16 Modified files: tests : BBox.cc Log message: Avoid repeating the inclusion of "ppl_install.hh". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.cc.diff?cvsroot=pp…

1 0

ppl/src initializer.hh
by Roberto Bagnara 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-22 21:47:02 Modified files: src : initializer.hh Log message: Multiple inclusion guard fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/initializer.hh.diff?cvsro…

1 0

ppl README.configure
by Roberto Bagnara 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-22 19:41:50 Modified files: . : README.configure Log message: Added a section on enabling the use of alternative coefficient types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl/demos/ppl_lpsol Makefile.am dummy.cc
by Roberto Bagnara 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-22 19:02:23 Modified files: demos/ppl_lpsol: Makefile.am Added files: demos/ppl_lpsol: dummy.cc Log message: Force using the C++ compiler for linking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/dummy.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl/interfaces/Prolog Ciao/Makefile.am GNU/Mak ...
by Roberto Bagnara 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-22 19:01:30 Modified files: interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: Do not use the `-no-undefined' Libtool option to build the dynamically loadable modules. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/doc definitions.dox
by Patricia Hill 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-12-22 16:46:01 Modified files: doc : definitions.dox Log message: Changed "of" to "on" in: Note that all the documented operators automatically perform reductions on their arguments, when needed or appropriate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl TODO
by Enea Zaffanella 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-22 16:35:32 Modified files: . : TODO Log message: The remaining item postponed to version 0.8 or later. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.13…

1 0

ppl ./TODO doc/definitions.dox src/Determinate ...
by Enea Zaffanella 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-22 16:31:13 Modified files: . : TODO doc : definitions.dox src : Determinate.defs.hh Log message: Added a note about lazy Omega-reduction in the documentation of the powerset domain. Avoid underscore when providing the name of operators, unless inside a <CODE> tag. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.13… 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/Determinate.defs.hh.diff?…

1 0

ppl/src Powerset.defs.hh
by Enea Zaffanella 22 Dec '04

22 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-22 16:27:11 Modified files: src : Powerset.defs.hh Log message: Added a reference to the description of the powerset domain in definitions.dox. Documented the methods begin() and end() returning a const_iterator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvs…

1 0