November 2006 - PPL-devel - BUGSENG Mailman

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

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-30 23:35:03 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: Added Prolog predicates for widening pointset_powerset domains using certificate-based widenings. Code is incomplete and not working. 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/src Interval.defs.hh Box.templates.hh
by Enea Zaffanella 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-30 23:14:10 Modified files: src : Interval.defs.hh Box.templates.hh Log message: Fixed implementation of contains() for intervals. Corrected a bug in the implementation of Box::contains(). Pointed out a name hiding issue. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.defs.hh Box.templates.hh
by Enea Zaffanella 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-30 22:32:03 Modified files: src : Box.defs.hh Box.templates.hh Log message: Implemented method Box::contains(). 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 BD_Shape.templates.hh Octagonal_Shape. ...
by Enea Zaffanella 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-30 18:59:42 Modified files: src : BD_Shape.templates.hh Octagonal_Shape.templates.hh Log message: Use the sign function when comparing a checked coefficient with the integer constant 0. 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/interfaces/OCaml ppl_ocaml.cc ppl_ocaml.ml ...
by Andrea Cimino 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-30 18:43:33 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: Defined and implemented other methods that belong to Polyhedron. 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/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-30 17:09:50 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Added implementation of sgn and cmp for native types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/tests ppl_test.hh
by Enea Zaffanella 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-30 16:36:12 Modified files: tests : ppl_test.hh Log message: Added dummy definitions for Test_Box_Interval_Info and for check_result() on Box objects. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc ppl_ocaml.ml ...
by Andrea Cimino 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-30 14:36:39 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: Added support to return congruence systems. 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/src Interval.defs.hh
by Enea Zaffanella 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-30 14:18:17 Modified files: src : Interval.defs.hh Log message: Typo corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Interval_Info.defs.hh
by Enea Zaffanella 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-30 13:42:45 Modified files: src : Interval_Info.defs.hh Log message: Added copyright preamble. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.dif…

1 0