August 2002 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.defs.hh Polyhedron.cc
by Roberto Bagnara 19 Aug '02

19 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-19 15:58:25 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Log message: The historical operators operator<<(std::ostream&, const Polyhedron&) and oprator>>(std::istream&, Polyhedron&) have been replaced by (internal) methods Polyhedron::ASCII_dump(std::ostream& s) and ASCII_load(std::istream& s). New version of operator<<(std::ostream& s, const Polyhedron& ph): writes a textual representation of \p ph on \p s: "false" is written if `ph' is an empty polyhedron; "true" is written if `ph' is a universe polyhedron; a minimized system of constraints defining `ph' is written otherwise, all constraints in one row separated by ", ". Patches: 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 Init.inlines.hh Makefile.am Variable.d ...
by Roberto Bagnara 19 Aug '02

19 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-19 12:23:58 Modified files: src : Init.inlines.hh Makefile.am Variable.defs.hh Variable.inlines.hh Variable.cc Log message: Allow the user to change the output function for Variable objects by calling Variable::set_output_function(). Allow the user to obtain a pointer to the current output function by calling Variable::get_output_function(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.cc.diff?cvsroot=…

1 0

ppl/src globals.hh
by Roberto Bagnara 19 Aug '02

19 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-19 12:21:00 Modified files: src : globals.hh Log message: Obey the indentation rules. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 18 Aug '02

18 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-18 22:43:00 Modified files: tests : Makefile.am Log message: We know nnc_limitedh79widening3 should fail (for the time being). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests addconstraints4.cc addconstraints5.c ...
by Roberto Bagnara 18 Aug '02

18 Aug '02

1 0

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

18 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-18 18:30:41 Modified files: src : Polyhedron.cc Log message: Adjusted new constructors to produce the new epsilon representations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am limitedh79widening3.cc
by Roberto Bagnara 18 Aug '02

18 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-18 16:38:08 Modified files: tests : Makefile.am Added files: tests : limitedh79widening3.cc Log message: New test showing an incongruence in the behavior of the limited widening operations in C and NNC polyhedra, respectively. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79widening3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Row.cc
by Roberto Bagnara 17 Aug '02

17 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-17 18:45:39 Modified files: src : Row.cc Log message: Properly terminate messages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/src PowerSet.defs.hh PowerSet.inlines.hh
by Roberto Bagnara 17 Aug '02

17 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-17 18:42:45 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh Log message: Define `reverse_iterator' and `const_reverse_iterator'. New methods rbegin() and rend(). New method definitely_contains(const CS&). First prototype of method limited_H79_widening_assign(const PowerSet&, ConSys&). Patches: 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/src Determinate.defs.hh Determinate.inlines.hh
by Roberto Bagnara 17 Aug '02

17 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-17 18:40:06 Modified files: src : Determinate.defs.hh Determinate.inlines.hh Log message: New method is_definitely_equivalent_to(const Determinate&). 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