March 2003 - PPL-devel - BUGSENG Mailman

ppl NEWS
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 16:29:13 Modified files: . : NEWS Log message: News item concerning Polyhedron::shuffle_dimensions() completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.55…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 16:22:28 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: New function int ppl_Polyhedron_shuffle_dimensions(). Patches: 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…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-03 15:22:02 Modified files: src : Polyhedron.defs.hh Log message: Another reorganization for better documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-03 14:24:26 Modified files: src : Polyhedron.defs.hh Log message: Let all the methods <method>_and_minimize be declared after the corresponding methods <method>, so that a less disordered documentation is produced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-03 12:19:27 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Now the constraint system parameter of methods bounded_*_widening_assign and limited_*_widening_assign is a const parameter. Patches: 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…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 11:53:14 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: New function int ppl_not_a_dimension(ppl_dimension_type*). Patches: 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…

1 0

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Roberto Bagnara 03 Mar '03

03 Mar '03

1 0

ppl ./NEWS src/globals.hh
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 11:27:44 Modified files: . : NEWS src : globals.hh Log message: New function dimension_type not_a_dimension(): returns a value that does not designate a valid dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.54… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl TODO
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 08:13:03 Modified files: . : TODO Log message: We must explain to the users of CVS versions how to build the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.34…

1 0

ppl TODO
by Roberto Bagnara 02 Mar '03

02 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-02 20:12:32 Modified files: . : TODO Log message: Make sure all the functionalities are available in all interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.33…

1 0