February 2005 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Bugs Bugs.raw archive.raw
by Roberto Bagnara 11 Feb '05

11 Feb '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-02-11 19:04:13 Modified files: htdocs/Bugs : Bugs.raw archive.raw Log message: Announce the bug just fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

Any emacs guru out there?
by Roberto Bagnara 11 Feb '05

11 Feb '05

Is there a simple way, in emacs, to require spell-checking of all the comments and/or all the strings in C/C++ source files? All the required knowledge seems to be there: emacs already knows about comments and strings so it should only be a matter of extracting their contents and passing it through the spelling checker. Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/src Linear_System.cc Linear_System.defs.hh ...
by Roberto Bagnara 11 Feb '05

11 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-11 18:02:58 Modified files: src : Linear_System.cc Linear_System.defs.hh Linear_System.inlines.hh Polyhedron_nonpublic.cc Polyhedron_public.cc Log message: Pending rows in a linear (constraint or generator) system make sense only when the system is part of a polyhedron. The ordinary copy constructor and assignment operator now turn pending rows into non-pending ones. A full copy constructor and pseudo-assignment are now provided for those cases where the copy and assignment must preserve the pending status of pending rows. These changes fix the bug exhibited by tests/Polyhedron/constraints5.cc and tests/Polyhedron/generators7.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src globals.defs.hh
by Roberto Bagnara 11 Feb '05

11 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-11 17:57:36 Modified files: src : globals.defs.hh Log message: Comment reformatted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr…

1 0

ppl/tests/Polyhedron generators7.cc
by Roberto Bagnara 11 Feb '05

11 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-11 16:53:29 Modified files: tests/Polyhedron: generators7.cc Log message: Fixed and made silent. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators7.…

1 0

ppl/tests/Polyhedron constraints5.cc
by Roberto Bagnara 11 Feb '05

11 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-11 16:53:15 Modified files: tests/Polyhedron: constraints5.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints5…

1 0

ppl/tests/BD_Shape ascii_dump_load1.cc
by Roberto Bagnara 11 Feb '05

11 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-11 16:51:55 Modified files: tests/BD_Shape : ascii_dump_load1.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/ascii_dump_loa…

1 0

ppl/src Constraint_System.cc Constraint_System ...
by Roberto Bagnara 11 Feb '05

11 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-11 10:55:39 Modified files: src : Constraint_System.cc Constraint_System.inlines.hh Generator_System.cc Generator_System.inlines.hh Linear_System.cc Log message: Missing assertions added. Code formatting improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.inlines.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs…

1 0

ppl/tests/Polyhedron Makefile.am generators7.cc
by Roberto Bagnara 10 Feb '05

10 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-10 22:49:30 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: generators7.cc Log message: New test triggering a bug in Generator_System::insert(const Generator&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators7.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests/Polyhedron Makefile.am constraints5.cc
by Roberto Bagnara 10 Feb '05

10 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-10 22:41:58 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: constraints5.cc Log message: New test triggering a bug in Constraint_System::insert(const Constraint&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints5… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0