June 2006 - PPL-devel - BUGSENG Mailman

ppl/src Constraint.cc
by Roberto Bagnara 29 Jun '06

29 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-06-29 14:37:09 Modified files: src : Constraint.cc Log message: Constraint::OK() improved: it now detects illegal "strict" equalities. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo…

1 0

ppl/tests/Polyhedron Makefile.am bug2.cc bug2.dat
by Roberto Bagnara 29 Jun '06

29 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-06-29 14:11:00 Modified files: tests/Polyhedron: Makefile.am Removed files: tests/Polyhedron: bug2.cc bug2.dat Log message: The bug shown by bug2.cc and bug2.dat has been fixed long ago. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug2.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug2.dat.dif…

1 0

ppl/tests/Polyhedron bug1.dat
by Roberto Bagnara 29 Jun '06

29 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-06-29 13:05:48 Modified files: tests/Polyhedron: bug1.dat Log message: Testcase simplified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug1.dat.dif…

1 0

ppl/tests/Polyhedron bug1.dat
by Matthew Mundell 29 Jun '06

29 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-29 12:42:41 Added files: tests/Polyhedron: bug1.dat Log message: Add data file for bug1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug1.dat.dif…

1 0

ppl/tests/Polyhedron Makefile.am bug1.cc
by Matthew Mundell 29 Jun '06

29 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-29 12:39:38 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: bug1.cc Log message: Add bug1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 29 Jun '06

29 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-29 09:31:36 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Simplified code for defining the add_disjuncts replacement - this uses the new macro m4_echo_unquoted added in the previous commit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 29 Jun '06

29 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-29 08:52:46 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 Log message: Added 3 new application-independent macros to the common.m4 m4_echo_quoted, m4_echo_unquoted, m4_arg_counter: m4_echo_quoted and m4_echo_unquoted correspond to echo1 and echo2 in the m4 documentation. Neither used yet but I plan to use the m4_echo_unquoted to expand terms. m4_arg_counter takes a string and a sequence of arguments and either expands to the first index of the argument sequence that matches the string or to the empty string. m4_arg_counter is now used instead of m4_check_if_class_in_group which is removed. In common_dat.m4 added a dummy predicate for widening Polyhedra_Powerset classes and in prolog_icc_code.m4 added unused schematic code for developing the widening for powersets (this is prefixed by a "FIXME" and should be ignored). 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/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 28 Jun '06

28 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-28 19:00:07 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Added Polyhedra_Powerset schema predicate for "get_disjuncts"/2. Removed some unwanted commented-out lines of code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/src checked_numeric_limits.hh
by Enea Zaffanella 28 Jun '06

28 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-06-28 18:15:56 Modified files: src : checked_numeric_limits.hh Log message: Adjusted spacing when using \ to break lines in macro definitions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_numeric_limits.hh…

1 0

ppl/src OR_Matrix.inlines.hh
by Enea Zaffanella 28 Jun '06

28 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-06-28 18:14:51 Modified files: src : OR_Matrix.inlines.hh Log message: Do initialize `i' when constructing the past-the-end any_row_iterator, so as to avoid the annoying compiler warning. Do initialize `size_' when default constructing a Pseudo_Row (for the same reason as above). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.inlines.hh.diff…

1 0