December 2004 - PPL-devel - BUGSENG Mailman

ppl STANDARDS
by Enea Zaffanella 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-28 20:57:44 Modified files: . : STANDARDS Log message: Anonymous namespaces hve to do with visibility of names, not linkage. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/interfaces/Prolog track_allocation.hh Ciao ...
by Enea Zaffanella 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-28 20:54:55 Modified files: interfaces/Prolog: track_allocation.hh interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/GNU: ppl_gprolog_sd.cc interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Use anonymous namespaces instead of keyword "static" to hide functions and variables from the eyes of other translation units. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/track_alloc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/src Extended_Number.defs.hh Extended_Numbe ...
by Abramo Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-28 19:39:24 Added files: src : Extended_Number.defs.hh Extended_Number.inlines.hh Extended_Number.types.hh Log message: Added preliminary Extended_Number implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Extended_Number.defs.hh?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Extended_Number.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Extended_Number.types.hh?…

1 0

ppl/src E_Rational.inlines.hh Interval.inlines ...
by Abramo Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-28 19:36:50 Modified files: src : E_Rational.inlines.hh Interval.inlines.hh Polyhedron_nonpublic.cc Log message: Fixed some Checked::assign use. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/E_Rational.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

w3ppl/htdocs/About About.raw
by Roberto Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-12-28 19:22:25 Modified files: htdocs/About : About.raw Log message: Link to OCaml web page fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

ppl/tests/BD_Shape exceptions2.cc exceptions3.cc
by Roberto Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-12-28 18:36:05 Modified files: tests/BD_Shape : exceptions2.cc exceptions3.cc Log message: Refer to `Coefficient' instead of `Integer'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/exceptions2.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/exceptions3.cc…

1 0

ppl/src checked.defs.hh
by Abramo Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-28 18:35:51 Modified files: src : checked.defs.hh Log message: Fixed incomplete change of return type for set_special. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr…

1 0

ppl/tests/BD_Shape .cvsignore
by Roberto Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-12-28 18:35:31 Added files: tests/BD_Shape : .cvsignore Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/.cvsignore?cvs…

1 0

ppl STANDARDS
by Enea Zaffanella 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-28 18:33:40 Modified files: . : STANDARDS Log message: Added guideline for the specification of internal linkage functions and variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/tests/Polyhedron NNCbecomesC1.cc addconstr ...
by Enea Zaffanella 28 Dec '04

28 Dec '04

1 0