September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_c_implementation.defs.hh ...
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 15:39:53 Modified files: interfaces/C : ppl_c_implementation.defs.hh ppl_c_implementation.inlines.hh ppl_interface_generator_c_cc_code.m4 Log message: Some code reorganized and comments added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/src Octagonal_Shape.defs.hh
by Enea Zaffanella 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-13 15:35:22 Modified files: src : Octagonal_Shape.defs.hh Log message: Typo corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0

ppl/interfaces/C ppl_c.h.in
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 14:49:15 Removed files: interfaces/C : ppl_c.h.in Log message: Obsolete file removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl interfaces/C/Makefile.am interfaces/C/ppl_ ...
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 14:44:11 Modified files: interfaces/C : Makefile.am ppl_interface_generator_c_h.m4 src : Makefile.am Removed files: interfaces/C : ppl_interface_generator_c_cc_preamble ppl_interface_generator_c_h_preamble Log message: Use a better machinery to generate ppl_c.h. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/tests/Box refinewithconstraint1.cc refinew ...
by Enea Zaffanella 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-13 11:32:25 Modified files: tests/Box : refinewithconstraint1.cc refinewithconstraints1.cc refinewithconstraints2.cc Log message: Those tests that were written to check constraint propagation (rather than syntactical refinement) temporarily disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refinewithconstrain… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refinewithconstrain… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refinewithconstrain…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-13 11:20:10 Modified files: interfaces/C : ppl_interface_generator_c_cc_files.m4 Log message: Cleaned generator so that ppl_c_fixed.cc is not generated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/C Makefile.am ppl_interface_gen ...
by Patricia Hill 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-13 09:55:22 Modified files: interfaces/C : Makefile.am Removed files: interfaces/C : ppl_interface_generator_c_cc.m4 Log message: We no longer need to generate the file ppl_c.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl ./configure.ac interfaces/C/Makefile.am in ...
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 08:30:46 Modified files: . : configure.ac interfaces/C : Makefile.am ppl_c_implementation.cc ppl_c_implementation.defs.hh Log message: The C interface is operational again. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa…

1 0

PPL Java interface
by Benjamin Weiss 13 Sep '08

13 Sep '08

Dear PPL team, your homepage mentions a Java interface for the PPL. However, such an interface does not seem to be part of the 0.9 distribution, and the manual only mentions C and Prolog. Could you please tell me whether a usable Java interface exists, and if so, how it can be obtained? Thanks and best regards Benjamin Weiss -- Benjamin Weiss Forschungsgruppe Prof. Dr. P. H. Schmitt Institut fuer Theoretische Informatik Universitaet Karlsruhe (TH)

2 1

ppl/interfaces/C ppl_interface_generator_c_hh_ ...
by Patricia Hill 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-13 07:59:58 Modified files: interfaces/C : ppl_interface_generator_c_hh_files.m4 Log message: Simplified the generation of the files and added extra fixed code to the generated domain files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0