June 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces ppl_interface_generator_common_ ...
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 16:31:08 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: For the Polyhedra_Powerset classes, we now allow for add_disjunct and pairwise_reduce in the interfaces (currently these are only included in the Prolog interfaces). 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/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
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 12:13:06 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Avoid generating unwanted spaces. 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 28 Jun '06

28 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-28 12:00:55 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Revised the friend pattern replacement macros. Added handles for C_Polyhedron and NNC_Polyhedron whenever the Polyhedron class is generated. 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/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces Makefile.am C/Makefile.am Prolo ...
by Roberto Bagnara 27 Jun '06

27 Jun '06

1 0

ppl/interfaces/Prolog Makefile.am
by Roberto Bagnara 27 Jun '06

27 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: bagnara(a)cs.unipr.it 2006-06-27 18:41:55 Modified files: interfaces/Prolog: Makefile.am Log message: Added ../ppl_interface_generator_common_dat.m4 to interface_generator_files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/interfaces/C Makefile.am
by Roberto Bagnara 27 Jun '06

27 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: bagnara(a)cs.unipr.it 2006-06-27 18:28:52 Modified files: interfaces/C : Makefile.am Log message: Added ../ppl_interface_generator_common_dat.m4 to interface_generator_files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 27 Jun '06

27 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: bagnara(a)cs.unipr.it 2006-06-27 18:28:22 Removed files: interfaces/C : ppl_c.cc Log message: This is now a generated source. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

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

27 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-27 13:42:07 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Now it does not remove spaces from the class names. 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 27 Jun '06

27 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-27 13:06:53 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Simplified the code for the replacements for pattern "friend" by making a new more generic macro. Added friends for octagons and polyhedra_powersets class kinds. 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 27 Jun '06

27 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-27 09:57:42 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc.m4 Log message: Added and redone existing code so that any class of kind BD_Shape is a friend of any other class of kind BD_Shape and also a friend of Polyhedron class. Note that if a class is defined as a "friend" then the schema name ppl_new_@TOPOLOGY@@CLASS@_from_@INTOPOLOGY@@FRIEND@ is instantiated to have this class and friend. The Prolog C++ (ppl_prolog.icc) code needs the procedure converting terms to class handles to come before use. With this friend code, all these procedures must be defined before any other generated code. Therefore a new macro m4_pre_all_classes_code is called before generating the main classes code. This has a default expansion of the empty string. 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