February 2008 - PPL-devel - BUGSENG Mailman

ppl src/Box.templates.hh tests/Box/relations4.cc
by Patricia Hill 16 Feb '08

16 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-16 23:51:33 Modified files: src : Box.templates.hh tests/Box : relations4.cc Log message: Improved code changed for 0-dimensional box domains for relation_with() for a congruence. Added a test to check this change. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/relations4.cc.diff?…

1 0

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

16 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-16 23:06:06 Modified files: interfaces : ppl_interface_generator_common_dat.m4 src : Box.templates.hh tests/Box : relations4.cc Log message: Enabled the relation_with() for box domains in all the interfaces. The Prolog generated tests showed a bug in the code for the zero dimensional empty Box - now tested in relations 4.cc. The bug has been fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/relations4.cc.diff?…

1 0

ppl/src Interval.inlines.hh Interval_Info.defs.hh
by Roberto Bagnara 16 Feb '08

16 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-16 16:28:09 Modified files: src : Interval.inlines.hh Interval_Info.defs.hh Log message: Properly comment the closing brace of namespaces. When used in templates, Parma_Polyhedra_Library::used() should be fully qualified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.dif…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 16 Feb '08

16 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-02-16 15:28:09 Modified files: src : Interval.defs.hh Log message: Some fixes to refine_universal. Added unrepresentability_error check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Boundary.defs.hh
by Abramo Bagnara 16 Feb '08

16 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-02-16 15:04:53 Modified files: src : Boundary.defs.hh Log message: Propagate unrepresentability error insted of aborting. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl src/Box.defs.hh src/Box.templates.hh tests ...
by Patricia Hill 16 Feb '08

16 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-16 13:14:30 Modified files: src : Box.defs.hh Box.templates.hh tests/Box : Makefile.am Added files: tests/Box : relations4.cc Log message: Renamed private method interval_relation_no_check() as interval_relation() as there is now nothing that is unchecked. Added relation_with() for congruences for Boxes. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/relations4.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/tests/Interval
by Roberto Bagnara 16 Feb '08

16 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-16 09:17:26 ppl/tests/Interval Update of /cvs/ppl/ppl/tests/Interval In directory spartacus.cs.unipr.it:/tmp/cvs-serv1954/Interval Log Message: Directory /cvs/ppl/ppl/tests/Interval added to the repository

1 0

ppl/tests/Box membytes1.cc
by Roberto Bagnara 16 Feb '08

16 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-16 09:15:40 Modified files: tests/Box : membytes1.cc Log message: Test rewritten. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/membytes1.cc.diff?c…

1 0

ppl/tests/Box Makefile.am
by Roberto Bagnara 16 Feb '08

16 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-16 09:15:12 Modified files: tests/Box : Makefile.am Log message: Do test also with membytes1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/src Box.templates.hh
by Patricia Hill 15 Feb '08

15 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-15 18:03:06 Modified files: src : Box.templates.hh Log message: Corrected a bug in an assignment in relation_with(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0