- PPL-devel - BUGSENG Mailman

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

ppl/src Determinate.inlines.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 17:02:34 Modified files: src : Determinate.inlines.hh PowerSet.inlines.hh Log message: PowerSet<CS>::omega_reduction() properly implemented. operator<<(std::ostream&, const Determinate<PH>&) implemented so as to obtain something readable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl ./NEWS ./config.h.in ./configure.ac Watchd ...
by Roberto Bagnara 17 Aug '02

17 Aug '02

1 0

Proper spelling, please
by Roberto Bagnara 17 Aug '02

17 Aug '02

Please do not write "zero-dim" in comments when you actually mean "zero-dimensional". Thanks 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 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 13:30:27 Modified files: src : PowerSet.inlines.hh Log message: PowerSet<CS>::concatenate_assign() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

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

17 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-17 11:43:48 Modified files: src : Polyhedron.cc Log message: In method add_dimensions_and_project(), now adding the minus_epsilon_ray instead of the zero_dim_closure_point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.inlines.hh
by Enea Zaffanella 17 Aug '02

17 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-17 10:07:30 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Log message: Method shuffle_dimensions(...) implemented in tha alt_nnc branch too. 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.inlines.hh.dif…

1 0

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/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 22:54:37 Modified files: . : NEWS interfaces/C : ppl_c.cc ppl_c.h interfaces/C/lpenum: lpenum.c Log message: The functions taking non-const arguments named ppl_new_<T>_from_<S> have been renamed ppl_new_<T>_recycle_<S>, where <T> is either "C" or "NNC", and <S> is either "ConSys" or "GenSys". The old names have been given to the new const functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.30… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl src/Determinate.defs.hh src/Determinate.in ...
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:26:19 Modified files: src : Determinate.defs.hh Determinate.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh tests : mc91.cc Log message: Another bit of Determinate and PowerSet implementation written. 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… 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?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mc91.cc.diff?cvsroot=pp…

1 0

ppl NEWS
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:24:03 Modified files: . : NEWS Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.29…

1 0