- PPL-devel - BUGSENG Mailman

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

ppl/tests ehandlers.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 09:34:59 Modified files: tests : ehandlers.cc Log message: Include ehandlers.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ehandlers.cc.diff?cvsro…

1 0

ppl configure.ac
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:30:21 Modified files: . : configure.ac Log message: Bump version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src ConSys.cc ConSys.defs.hh GenSys.cc Gen ...
by Elisa Ricci 21 Nov '02

21 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-21 18:18:06 Modified files: src : ConSys.cc ConSys.defs.hh GenSys.cc GenSys.defs.hh Matrix.cc Matrix.defs.hh Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh conversion.cc minimize.cc simplify.cc Log message: Added the methods Matrix::add_pending_row(), Matrix::insert_pending(), GenSys::insert_pending() and ConSys::insert_pending(). Erased the matrices `pending_cs' and `pending_gs' from polyhedron: now if the polyhedron has pending constraints/generators, they are in con_sys/gen_sys. Modified the methods of Polyhedron, ConSys, GenSys and Matrix so that they always consider if the polyhedron contains something pending or if the matrix has some pending rows. 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/ConSys.defs.hh.diff?cvsro… 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/GenSys.defs.hh.diff?cvsro… 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/Matrix.defs.hh.diff?cvsro… 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.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0