October 2006 - PPL-devel - BUGSENG Mailman

ppl interfaces/C/ppl_interface_generator_c_cc_ ...
by Enea Zaffanella 30 Oct '06

30 Oct '06

1 0

ppl interfaces/Prolog/ppl_interface_generator_ ...
by Roberto Bagnara 30 Oct '06

30 Oct '06

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 29 Oct '06

29 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-29 22:59:16 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code Log message: Added generic tests for the binary operators. Patches: 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 ./BUGS ./COPYING ./CREDITS ./ChangeLog ./I ...
by Roberto Bagnara 29 Oct '06

29 Oct '06

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 28 Oct '06

28 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-28 10:18:51 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code Log message: Added generic tests for adding a representation or elements of a representation (with and without minimize). Patches: 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/Octagonal_Shape.defs.hh src/Octagonal_ ...
by Barbara Quartieri 27 Oct '06

27 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-10-27 17:42:10 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh tests/Octagonal_Shape: Makefile.am boundedaffineimage1.cc disjoint1.cc relatwithcons2.cc Added files: tests/Octagonal_Shape: boundedaffinepreimage1.cc expandspacedim1.cc Log message: Corrected a bug in the method relation_with(). Added some tests on the methods relation_with() and is_disjoint_from(). Defined the methods bounded_affine_preimage() and expand_space_dimension() and added some tests on them. 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.templates… 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/expands… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil… 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/disjoin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi…

1 0

ppl/tests/BD_Shape Makefile.am membytes1.cc
by Elena Mazzi 27 Oct '06

27 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-27 16:00:13 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : membytes1.cc Log message: Added new tests on on the methods external_memoty_in_bytes() and total_memory_in_bytes(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/membytes1.cc?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/tests/BD_Shape relations3.cc
by Elena Mazzi 27 Oct '06

27 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-27 12:41:31 Modified files: tests/BD_Shape : relations3.cc Log message: Added some new tests on BD_Shape::relation_with(Constraint). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.…

1 0

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

27 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-27 12:40:35 Modified files: src : BD_Shape.templates.hh Log message: Corrected a bug in BD_Shape::relation_with(const Constraint& c) when the constraint is an equality and is disjoint from BDS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/Octagonal_Shape membytes1.cc
by Barbara Quartieri 27 Oct '06

27 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-10-27 11:41:01 Modified files: tests/Octagonal_Shape: membytes1.cc Log message: Removed an annotation indicating an expected failure with 8 bits coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/membyte…

1 0