December 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Box interval1.cc
by Roberto Bagnara 12 Dec '06

12 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-12 18:47:33 Modified files: tests/Box : interval1.cc Log message: Revised so as to perform more interesting tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/interval1.cc.diff?c…

1 0

ppl/src Boundary.defs.hh Interval.defs.hh
by Abramo Bagnara 12 Dec '06

12 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-12 18:29:27 Modified files: src : Boundary.defs.hh Interval.defs.hh Log message: New implementation for intervals add, sub and mul. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl ./configure.ac interfaces/OCaml/Makefile.a ...
by Andrea Cimino 11 Dec '06

11 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-11 16:30:19 Modified files: . : configure.ac interfaces/OCaml: Makefile.am ppl_ocaml.mli Added files: interfaces/OCaml: ppl_ocaml.ml Log message: Separated declaration and implementation of the OCaml interface. Added some kinds of exceptions that relates to PPL. Added a piece of code in `configure.ac' that tries to detect the presence of the GMP-OCaml module. 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/OCaml/ppl_ocaml.ml… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Patricia Hill 11 Dec '06

11 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2006-12-11 12:13:18 Modified files: htdocs/Documentation: ppl.bib Log message: Previous references added removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Patricia Hill 11 Dec '06

11 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2006-12-11 11:14:27 Modified files: htdocs/Documentation: ppl.bib Log message: Revised the reference for BagnaraDHMZ06a. Added references for AlurCHHHNOSY95, AlurCHH93, and Henzinger96. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/tests/Polyhedron hybrid.cc
by Enea Zaffanella 10 Dec '06

10 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-12-10 16:32:17 Modified files: tests/Polyhedron: hybrid.cc Log message: Tests 01 and 02 fail with 8-bit coefficients; the same for test 04, but only when assertions are enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/hybrid.cc.di…

1 0

ppl/tests/Polyhedron Makefile.am hybrid.cc
by Patricia Hill 08 Dec '06

08 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-12-08 23:59:01 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: hybrid.cc Log message: The hybrid.cc tests three examples adapted from the papers by Halbwachs, Proy and Roumanoff on linear hybrid systems (1994 and 1997). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/hybrid.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests/Polyhedron Makefile.am serialize1.cc
by Andrea Cimino 08 Dec '06

08 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: serial Changes by: cimino(a)cs.unipr.it 2006-12-08 14:58:13 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: serialize1.cc Log message: Added some tests for the Serializer class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/serialize1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl ./configure.ac src/Bit_Matrix.defs.hh src/ ...
by Andrea Cimino 08 Dec '06

08 Dec '06

1 0

ppl/src Polyhedron_nonpublic.cc
by Andrea Cimino 07 Dec '06

07 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-07 11:05:37 Modified files: src : Polyhedron_nonpublic.cc Log message: Use `gen_sys_i' instead of `g' whenever is appropriate to avoid wrong computations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0