March 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 16 Mar '05

16 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-16 21:21:33 Modified files: tests/Polyhedron: Makefile.am Log message: Added `boundedbhrz03extrapolation1' and `nnc_boundedbhrz03extrapolation1' to `XFAIL_WITH_INT8'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 16 Mar '05

16 Mar '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-03-16 11:10:16 Modified files: htdocs/Documentation: ppl.bib Log message: Added Mine05th. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src Polyhedron_widenings.cc
by Roberto Bagnara 16 Mar '05

16 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-16 07:31:54 Modified files: src : Polyhedron_widenings.cc Log message: The limited widening methods now immediately fall back to their non-limited counterparts when given an empty constraint system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0

ppl/src Makefile.am
by Roberto Bagnara 14 Mar '05

14 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-14 10:22:39 Modified files: src : Makefile.am Log message: Added `ppl_include_files.hh' to `noinst_HEADERS' and `BUILT_SOURCES'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh
by Roberto Bagnara 13 Mar '05

13 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-13 20:17:02 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Log message: BD_Shape<T>::CC76_extrapolation_assign(const BD_Shape&) now has its stop-points stored in a local, static array.. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src Makefile.am
by Roberto Bagnara 13 Mar '05

13 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-13 20:09:07 Modified files: src : Makefile.am Log message: Added `fpu-c99.inlines.hh' to `INCLUDE_FILES'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl Makefile.am
by Roberto Bagnara 13 Mar '05

13 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-13 20:08:11 Modified files: . : Makefile.am Log message: Added `build_header' to `EXTRA_DIST'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…

1 0

ppl/tests/BD_Shape addspacedims1.cc addspacedi ...
by Roberto Bagnara 13 Mar '05

13 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-13 16:42:29 Modified files: tests/BD_Shape : addspacedims1.cc addspacedims2.cc addspacedims4.cc addspacedims5.cc addspacedims6.cc Log message: Unused variables removed or commented out. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims2.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims4.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims5.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims6.…

1 0

ppl/src ppl_header.hh
by Roberto Bagnara 13 Mar '05

13 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-13 16:38:54 Modified files: src : ppl_header.hh Log message: Include "version.hh". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.hh.diff?cvsroo…

1 0

ppl/tests/BD_Shape addspacedims3.cc
by Roberto Bagnara 13 Mar '05

13 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-13 16:16:06 Modified files: tests/BD_Shape : addspacedims3.cc Log message: Useless variable removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims3.…

1 0