- PPL-devel - BUGSENG Mailman

ppl/src algorithms.hh
by Roberto Bagnara 13 Oct '02

13 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-13 16:36:39 Modified files: src : algorithms.hh Log message: Bug fixed in widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Constraint.defs.hh
by Roberto Bagnara 13 Oct '02

13 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-13 16:35:11 Modified files: src : Constraint.defs.hh Log message: We were too eager in converting "<" and ">" to "\<" and "\>" in Doxygen comments: this should not be done within LaTeX formulas. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

1 0

ppl/src conversion.cc
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 22:42:06 Modified files: src : conversion.cc Log message: Comment fixed for Doxygen. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/tests memory1.cc
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 21:47:03 Modified files: tests : memory1.cc Log message: Much improved portability. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot…

1 0

ppl config.h.in configure.ac
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 21:20:39 Modified files: . : config.h.in configure.ac Log message: Check for declarations of RLIMIT_DATA, RLIMIT_RSS, RLIMIT_VMEM, RLIMIT_AS in <sys/resource.h>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 20:42:43 Modified files: src : algorithms.hh Log message: Two serious bugs have been fixed. Other improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Determinate.defs.hh Determinate.inline ...
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 20:40:26 Modified files: src : Determinate.defs.hh Determinate.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh Log message: New default constructor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl doc/definitions.dox src/AskTell.defs.hh sr ...
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 14:56:33 Modified files: doc : definitions.dox src : AskTell.defs.hh C_Polyhedron.defs.hh Constraint.defs.hh Determinate.defs.hh NNC_Polyhedron.defs.hh Log message: Fix all but one of the problems reported by the new version of Doxygen. Patches: 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/AskTell.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di…

1 0

ppl doc/fdl.dox doc/gpl.dox interfaces/Prolog/ ...
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 14:37:31 Modified files: doc : fdl.dox gpl.dox interfaces/Prolog: Prolog_interface.dox Log message: Sectioning fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/fdl.dox.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.dox.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/doc bib2dox definitions.dox bib2html1.sed ...
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 09:21:45 Modified files: doc : bib2dox definitions.dox Added files: doc : bib2html1.sed bib2html2.sed Removed files: doc : bib2html2dox.sed Log message: Improvements to the machinery we use to build the bibliography section of the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html1.sed?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html2.sed?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2dox.diff?cvsroot=ppl&… 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/doc/bib2html2dox.sed.diff?cvs…

1 0