November 2006 - PPL-devel - BUGSENG Mailman

ppl/src Box.inlines.hh
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 22:04:33 Modified files: src : Box.inlines.hh Log message: Two FIXMEs partially resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-05 22:04:15 Modified files: src : Interval.defs.hh Log message: Added contains. Simplified operator==. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Boundary.defs.hh
by Abramo Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-05 22:03:34 Modified files: src : Boundary.defs.hh Log message: Modified implementation of is_unbounded and extended its use. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-05 21:42:34 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Added add_disjunct and get_disjuncts to the Prolog interface. The generated tests show a bug, still to be fixed, in get_disjuncts. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/src Box.defs.hh Box.templates.hh
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 21:09:35 Modified files: src : Box.defs.hh Box.templates.hh Log message: Added dimension_type Box<Interval>::affine_dimension() const. 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.templates.hh.diff?cvs…

1 0

ppl/src Box.inlines.hh Box.templates.hh
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 20:53:17 Modified files: src : Box.inlines.hh Box.templates.hh Log message: Added void Box<Interval>::add_space_dimensions_and_embed(const dimension_type) and void Box<Interval>::add_space_dimensions_and_project(const dimension_type). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.templates.hh Interval.defs.hh
by Abramo Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-05 19:12:53 Modified files: src : Box.templates.hh Interval.defs.hh Log message: Cosmetic fixes. Added contains_integer_point implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src BD_Shape.templates.hh Octagonal_Shape. ...
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-05 19:02:59 Modified files: src : BD_Shape.templates.hh Octagonal_Shape.templates.hh Log message: Exception throwers simplified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl ./configure.ac interfaces/Java/Makefile.am ...
by Andrea Cimino 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-05 18:57:33 Modified files: . : configure.ac interfaces/Java: Makefile.am interfaces/Java/jni: ppl_java_Polyhedron.cc Added files: interfaces/Java/jni: Makefile.am interfaces/Java/tests: C_Polyhedron_test1.java Makefile.am Log message: The `ppl_java' library is now built. Added the first test for the Java interface. Solved some cut and paste bugs in ppl_java_Polyhedron.cc. 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/Java/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/C_Polyh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-05 18:35:12 Modified files: src : Interval.defs.hh Log message: Added missing (). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0