December 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Roberto Bagnara 05 Dec '06

05 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-12-05 19:50:35 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 Log message: Spurious semicolon removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/src Polyhedron_nonpublic.cc
by Roberto Bagnara 05 Dec '06

05 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-12-05 19:48:54 Modified files: src : Polyhedron_nonpublic.cc Log message: Avoid shadowing parameters. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src Congruence.defs.hh Congruence.inlines. ...
by Roberto Bagnara 05 Dec '06

05 Dec '06

1 0

ppl/src max_space_dimension.hh
by Roberto Bagnara 05 Dec '06

05 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-12-05 17:59:17 Modified files: src : max_space_dimension.hh Log message: Fixed max_space_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/max_space_dimension.hh.di…

1 0

ppl/tests/Box fromgensys1.cc
by Enea Zaffanella 05 Dec '06

05 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-05 17:47:50 Modified files: tests/Box : fromgensys1.cc Log message: Adapted to the Box abstraction; also test the case of closure points. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/fromgensys1.cc.diff…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 05 Dec '06

05 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-05 17:46:17 Modified files: src : Box.templates.hh Log message: Implemented constructor Box(const Generator_System& gs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 05 Dec '06

05 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-12-05 17:45:34 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Spelling corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/src Box.defs.hh Box.inlines.hh
by Enea Zaffanella 05 Dec '06

05 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-05 17:11:50 Modified files: src : Box.defs.hh Box.inlines.hh Log message: Added recycling constructors from systems of constraints/generators. Prefer Interval::set_universe() where appropriate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc ppl_ocaml.ml ...
by Andrea Cimino 05 Dec '06

05 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-05 11:35:43 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: Implemented `fold_space_dimensions' and `remove_space_dimensions'. 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/tests/Box mapspacedims1.cc
by Enea Zaffanella 05 Dec '06

05 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-05 09:05:33 Modified files: tests/Box : mapspacedims1.cc Log message: Fixed known results. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/mapspacedims1.cc.di…

1 0