June 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron Makefile.am wrap1.cc
by Roberto Bagnara 05 Jun '08

05 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Branch: bounded_arithmetic Changes by: bagnara(a)cs.unipr.it 2008-06-05 15:55:46 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: wrap1.cc Log message: New file wrap1.cc will contain tests for method Polyhedron::wrap_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/wrap1.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src Polyhedron.defs.hh Polyhedron_public.cc
by Roberto Bagnara 05 Jun '08

05 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Branch: bounded_arithmetic Changes by: bagnara(a)cs.unipr.it 2008-06-05 15:39:52 Modified files: src : Polyhedron.defs.hh Polyhedron_public.cc Log message: Added the declaration and a stub implementation of new method Polyhedron::wrap_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src globals.types.hh
by Roberto Bagnara 05 Jun '08

05 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Branch: bounded_arithmetic Changes by: bagnara(a)cs.unipr.it 2008-06-05 15:10:10 Modified files: src : globals.types.hh Log message: New enumerations Bounded_Integer_Type_Width, Bounded_Integer_Type_Signedness and Bounded_Integer_Type_Overflow to encode the width, signedness and overflow behavior of bounded integer types, respectively. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.types.hh.diff?cvs…

1 0

CVSROOT users
by Roberto Bagnara 04 Jun '08

04 Jun '08

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: bagnara(a)cs.unipr.it 2008-06-04 17:02:27 Modified files: . : users Log message: New users added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/users.diff?cvsroot=ppl&r1…

1 0