October 2006 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/images/abstractions abstractions.tex
by Roberto Bagnara 18 Oct '06

18 Oct '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-10-18 13:06:19 Modified files: htdocs/images/abstractions: abstractions.tex Log message: Copyright years extended. Trailing blanks removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions/…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 18 Oct '06

18 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-18 11:53:02 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code Log message: Improved organisation of test data. Use "alt_replacement" to get an alternative build representation. Added test data 3 for some tests. Other minor improvements. 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/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/src MIP_Problem.cc MIP_Problem.templates.hh
by Andrea Cimino 17 Oct '06

17 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-17 20:56:40 Modified files: src : MIP_Problem.cc MIP_Problem.templates.hh Log message: Be more verbose when throwing exceptions. Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.templates.hh.…

1 0

ppl/tests/Octagonal_Shape boundedaffineimage1. ...
by Barbara Quartieri 17 Oct '06

17 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-10-17 15:37:05 Modified files: tests/Octagonal_Shape: boundedaffineimage1.cc generalizedaffineimage3.cc generalizedaffinepreimage2.cc Log message: Improved some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bounded… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/general… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/general…

1 0

ppl/tests/Octagonal_Shape boundedaffineimage1. ...
by Barbara Quartieri 17 Oct '06

17 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-10-17 14:05:22 Modified files: tests/Octagonal_Shape: boundedaffineimage1.cc generalizedaffineimage3.cc generalizedaffinepreimage2.cc Log message: Corrected some inaccurate comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bounded… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/general… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/general…

1 0

ppl/tests/Octagonal_Shape affineimage1.cc affi ...
by Elena Mazzi 17 Oct '06

17 Oct '06

1 0

ppl/src Octagonal_Shape.templates.hh
by Elena Mazzi 17 Oct '06

17 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-17 10:52:44 Modified files: src : Octagonal_Shape.templates.hh Log message: Corrected a bug in strong_reduction_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src BD_Shape.templates.hh
by Elena Mazzi 17 Oct '06

17 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-17 10:52:12 Modified files: src : BD_Shape.templates.hh Log message: Corrected a bug in shortest_path_reduction_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/Octagonal_Shape minconstraints1.cc
by Elena Mazzi 17 Oct '06

17 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-17 10:40:00 Modified files: tests/Octagonal_Shape: minconstraints1.cc Log message: Test 3 shows a bug in minimized_constraints() when the Octagonal Shape is zero-dimensional and universe. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/mincons…

1 0

ppl/tests/BD_Shape minconstraints1.cc
by Elena Mazzi 17 Oct '06

17 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-17 10:38:26 Modified files: tests/BD_Shape : minconstraints1.cc Log message: Test 2 shows a bug in minimized_constraints() when the BD_Shape is zero-dimensional and universe. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/minconstraints…

1 0