February 2008 - PPL-devel - BUGSENG Mailman

ppl/src Octagonal_Shape.defs.hh Octagonal_Shap ...
by Roberto Bagnara 19 Feb '08

19 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-19 22:18:51 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Og_Status.idefs.hh Log message: Added methods to operate on the status. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Og_Status.idefs.hh.diff?c…

1 0

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 19 Feb '08

19 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-19 22:17:49 Modified files: src : BD_Shape.defs.hh Log message: Comment improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/src Box.defs.hh Box.templates.hh
by Roberto Bagnara 19 Feb '08

19 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-19 22:16:33 Modified files: src : Box.defs.hh Box.templates.hh Log message: Added a (still unused) status member. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh B ...
by Roberto Bagnara 19 Feb '08

19 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-19 20:31:45 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh Log message: Added methods to operate on the status. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src BDS_Status.idefs.hh
by Roberto Bagnara 19 Feb '08

19 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-19 20:30:27 Modified files: src : BDS_Status.idefs.hh Log message: Comment improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.idefs.hh.diff?…

1 0

ppl/src Makefile.am Box_Status.idefs.hh Box_St ...
by Roberto Bagnara 19 Feb '08

19 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-19 19:11:56 Modified files: src : Makefile.am Added files: src : Box_Status.idefs.hh Box_Status.inlines.hh Log message: Declaration and definitions of the class Box<Interval>::Status. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box_Status.idefs.hh?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box_Status.inlines.hh?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src BDS_Status.idefs.hh BDS_Status.inlines ...
by Roberto Bagnara 19 Feb '08

19 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-19 19:10:32 Modified files: src : BDS_Status.idefs.hh BDS_Status.inlines.hh Grid_Status.idefs.hh Og_Status.idefs.hh Ph_Status.idefs.hh Log message: Multiple inclusion guards fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.idefs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.idefs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Og_Status.idefs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.idefs.hh.diff?c…

1 0

ppl/src Box.defs.hh Partially_Reduced_Product. ...
by Enea Zaffanella 19 Feb '08

19 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-02-19 13:54:47 Modified files: src : Box.defs.hh Partially_Reduced_Product.defs.hh Log message: Fixed a bunch of Doxygen related errors and warnings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product…

1 0

ppl/src Polyhedron_public.cc
by Patricia Hill 17 Feb '08

17 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-17 22:00:26 Modified files: src : Polyhedron_public.cc Log message: Small improvement to code for relation_with(Congruence). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 17 Feb '08

17 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-17 00:04:50 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Enable relation_with() for a congruence for the weakly relational domains in all the interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0