April 2004 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am exceptions3.cc
by Roberto Bagnara 21 Apr '04

21 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-21 14:52:45 Modified files: tests : Makefile.am Added files: tests : exceptions3.cc Log message: New test program: this shows that we are not checking against attempts of building polyhedra with a dimension greater than max_space_dimension() (which results in violated assertions and who knows what other nasty things). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions3.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests exceptions1.cc exceptions2.cc
by Roberto Bagnara 21 Apr '04

21 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-21 14:47:00 Modified files: tests : exceptions1.cc exceptions2.cc Log message: Comment improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl/tests bgp99extrapolation1.cc bhz03widening ...
by Roberto Bagnara 21 Apr '04

21 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-21 10:11:26 Modified files: tests : bgp99extrapolation1.cc bhz03widening1.cc bhz03widening2.cc dualhypercubes.cc Log message: Avoid defining things in the global namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bgp99extrapolation1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening2.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/dualhypercubes.cc.diff?…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 21 Apr '04

21 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-21 08:33:44 Modified files: src : algorithms.hh Log message: The function check_containment(const PH&, const Polyhedra_PowerSet<PH>&s) is now declared before being defined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 21 Apr '04

21 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-21 08:17:28 Modified files: interfaces/C : ppl_c.cc Log message: Use the `%u' conversion specifier (not `%d') for the conversion of an object of type ppl_dimension_type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/interfaces/C ppl_c.h.in
by Roberto Bagnara 21 Apr '04

21 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-21 08:13:57 Modified files: interfaces/C : ppl_c.h.in Log message: Unused SWIG stuff removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl/src Matrix.cc
by Roberto Bagnara 19 Apr '04

19 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-19 14:29:57 Modified files: src : Matrix.cc Log message: Fixed Matrix::permute_columns(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 19 Apr '04

19 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-19 14:24:07 Modified files: src : Polyhedron.inlines.hh Log message: Avoid useless parentheses. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/tests Makefile.am mapdim3.cc
by Roberto Bagnara 19 Apr '04

19 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-19 14:22:50 Modified files: tests : Makefile.am Added files: tests : mapdim3.cc Log message: New test for Polyhedron::map_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapdim3.cc?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 19 Apr '04

19 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-19 08:35:42 Modified files: src : Polyhedron.inlines.hh Log message: Comment improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0