August 2002 - PPL-devel - BUGSENG Mailman

ppl/src C_Polyhedron.defs.hh C_Polyhedron.inli ...
by Roberto Bagnara 16 Aug '02

16 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-16 22:21:34 Modified files: src : C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Polyhedron.defs.hh Polyhedron.cc Log message: New constructors to build polyhedra from read-only constraint and generator systems: C_Polyhedron(const ConSys&), C_Polyhedron(const GenSys&), NNC_Polyhedron(const ConSys&), and NNC_Polyhedron(const GenSys&). Some comments improved. Poorly chosen variable name changed. Exception messages improved. Patches: 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/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh… 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.cc.diff?cvsroo…

1 0

ppl/src Determinate.defs.hh Determinate.inlines.hh
by Enea Zaffanella 16 Aug '02

16 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-16 16:33:03 Modified files: src : Determinate.defs.hh Determinate.inlines.hh Log message: Chnages needed to let China compile (taken from the main trunk). 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…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 16 Aug '02

16 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-16 16:24:21 Modified files: src : Polyhedron.cc Log message: Widening operators now should work with the NER. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 16 Aug '02

16 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-16 10:28:43 Modified files: src : Polyhedron.cc Log message: Corrected a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src GenSys.cc
by Enea Zaffanella 16 Aug '02

16 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-16 10:27:38 Modified files: src : GenSys.cc Log message: Corrected method adjust_topology_and_dimension(), which could have introduced an illegal (all zero's) ray when mapping a NNC to a C gensys. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src C_Polyhedron.cc
by Enea Zaffanella 16 Aug '02

16 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-16 10:24:57 Modified files: src : C_Polyhedron.cc Log message: Constructor C_Polyhedron::C_Polyhedron(const NNC_Polyhedron& y) now is implemented using generators (using constraints is not safe wrt NER). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsr…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 16 Aug '02

16 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-16 10:22:09 Modified files: interfaces/C/lpenum: lpenum.c Log message: Always call ppl_finalize() on exit. Avoid a compiler warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl ./config.h.in ./configure.ac Watchdog/Watc ...
by Roberto Bagnara 16 Aug '02

16 Aug '02

1 0

ppl/src GenSys.cc GenSys.defs.hh Generator.cc ...
by Enea Zaffanella 15 Aug '02

15 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-15 11:38:53 Modified files: src : GenSys.cc GenSys.defs.hh Generator.cc Generator.defs.hh Log message: Removed useless methods Generator::is_matching_closure_point() and GenSys::add_corresponding_points(). Patches: 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/Generator.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 15 Aug '02

15 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-15 11:36:58 Modified files: src : Polyhedron.cc Log message: Corrected trivial errors in is_topologically_closed() and topological_closure_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0