September 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/OCaml ppl_ocaml.cc
by Roberto Bagnara 30 Sep '06

30 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-30 21:30:07 Modified files: interfaces/OCaml: ppl_ocaml.cc Log message: Support the building of constraint and generator systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc ppl_ocaml.ml ...
by Roberto Bagnara 30 Sep '06

30 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-30 21:01:17 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: Support the building of constraints and generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

ppl/interfaces/OCaml Makefile.am ppl_ocaml.cc ...
by Roberto Bagnara 30 Sep '06

30 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-30 17:50:06 Modified files: interfaces/OCaml: Makefile.am Added files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: Initial steps for the OCaml interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

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

30 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-30 16:44:29 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 Log message: Corrected trivial bug (missing commas) whereby the C interface code was not generated for several methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/C ppl_interface_generator_c_dat.m4
by Enea Zaffanella 30 Sep '06

30 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-30 16:41:20 Modified files: interfaces/C : ppl_interface_generator_c_dat.m4 Log message: Minor improvements: methods not available for BDS are neither avaiable for Octagonal shapes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/src Octagonal_Shape.defs.hh Octagonal_Shap ...
by Enea Zaffanella 30 Sep '06

30 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-30 16:39:14 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Log message: Added methods shrink_bounding_box() and topological_closure_assign(). 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.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 30 Sep '06

30 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-30 16:38:20 Modified files: src : BD_Shape.templates.hh Log message: Corrected a bug in shrink_bounding_box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 30 Sep '06

30 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-30 15:09:45 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 Log message: BD_Shape now have the generalized (pre-) images methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl configure.ac
by Roberto Bagnara 30 Sep '06

30 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-30 14:28:13 Modified files: . : configure.ac Log message: Do not invoke AM_PROG_GCJ. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/C ppl_interface_generator_c_h_p ...
by Enea Zaffanella 30 Sep '06

30 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-30 13:59:09 Modified files: interfaces/C : ppl_interface_generator_c_h_preamble Log message: Distribute the output functions in the corresponding group depending on the interfaced PPL entity. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0