November 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_c.h
by Roberto Bagnara 23 Nov '02

23 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-23 09:51:15 Modified files: interfaces/C : ppl_c.h Log message: Include <stdio.h> before <gmp.h> so as to avoid warnings about the implicit declaration of all the I/O functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/tests disjoint2.cc
by Roberto Bagnara 22 Nov '02

22 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-22 17:01:32 Modified files: tests : disjoint2.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/disjoint2.cc.diff?cvsro…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 22 Nov '02

22 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-22 15:01:13 Modified files: src : algorithms.hh Log message: Practice information hiding. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/tests affinepreimage9.cc append1.cc append ...
by Roberto Bagnara 22 Nov '02

22 Nov '02

1 0

ppl/tests files.hh
by Roberto Bagnara 22 Nov '02

22 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-22 12:02:32 Modified files: tests : files.hh Log message: Include <iostream> instead of <iosfwd>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.hh.diff?cvsroot=p…

1 0

ppl/src Matrix.inlines.hh
by Elisa Ricci 22 Nov '02

22 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-22 11:54:38 Modified files: src : Matrix.inlines.hh Log message: Added the assertion "assert(num_rows() >= first_pending_row())" in Matrix::num_pending_rows(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv…

1 0

ppl/src ConSys.cc GenSys.cc Matrix.cc Polyhedr ...
by Elisa Ricci 22 Nov '02

22 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-22 10:23:37 Modified files: src : ConSys.cc GenSys.cc Matrix.cc Polyhedron.cc Polyhedron.inlines.hh Log message: Added some comments to explain the case in which the polyhedron has something pending. Added some assertions to verify that a method is not used in wrong cases. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src Determinate.defs.hh
by Roberto Bagnara 22 Nov '02

22 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-22 10:13:27 Modified files: src : Determinate.defs.hh Log message: Teo declarations uncommented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?…

1 0

ppl/interfaces/C ppl_c.h
by Roberto Bagnara 22 Nov '02

22 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-22 09:48:18 Modified files: interfaces/C : ppl_c.h Log message: Declarations of ppl_ConSys_begin() and ppl_ConSys_end() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/tests ppl_test.hh
by Roberto Bagnara 22 Nov '02

22 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-22 09:37:35 Modified files: tests : ppl_test.hh Log message: Copyright notice added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0