February 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid addcongruence1.cc addcongruence ...
by Patricia Hill 28 Feb '06

28 Feb '06

1 0

ppl ./TODO src/Polyhedron_nonpublic.cc
by Roberto Bagnara 28 Feb '06

28 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-28 07:57:00 Modified files: . : TODO src : Polyhedron_nonpublic.cc Log message: TODO item partly done: added some missing assert(OK()). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.18… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/doc Makefile.am
by Roberto Bagnara 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-27 19:00:04 Modified files: doc : Makefile.am Log message: Upon `make clean', erase also the temporary directories (they will be there if the build did not complete successfully). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/doc Makefile.am
by Roberto Bagnara 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-27 18:33:04 Modified files: doc : Makefile.am Log message: Use two distinct rules for the user and developer HTML documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/doc devref.doxyconf-html.in user.doxyconf- ...
by Roberto Bagnara 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-27 18:29:05 Modified files: doc : devref.doxyconf-html.in user.doxyconf-html.in Log message: Set HTML_OUTPUT the right way. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif…

1 0

ppl/doc Makefile.am
by Roberto Bagnara 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-27 18:21:25 Modified files: doc : Makefile.am Log message: Allow parallel building of the user and developer HTML documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/tests ppl_test.hh Polyhedron/bhrz03widenin ...
by Roberto Bagnara 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-27 17:48:09 Modified files: tests : ppl_test.hh tests/Polyhedron: bhrz03widening3.cc boundingbox3.cc Log message: New macros NEW_TEST_F, NEW_TEST_F64, NEW_TEST_F32, NEW_TEST_F16, NEW_TEST_F8 and NEW_TEST_F8A to be used for tests that are known to fail always, with bounded coefficients with number of bits less than or equal to the indicated number, or with 8-bit coefficient and with assertions enabled, respectively. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03wideni… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox3…

1 0

ppl configure.ac
by Roberto Bagnara 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-27 17:16:36 Modified files: . : configure.ac Log message: Improved the selection of the type of coefficients. New C++ macro COEFFICIENT_BITS holds the number of bits of coefficients, 0 if they are unbounded. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/Prolog/GNU Makefile.am
by Roberto Bagnara 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-27 15:44:48 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: The GNU-Prolog interface can now be built also with --disable-static and with --disable-shared. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

ppl/interfaces/Prolog/YAP Makefile.am
by Roberto Bagnara 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-27 15:10:59 Modified files: interfaces/Prolog/YAP: Makefile.am Log message: The YAP-Prolog interface cannot be built if shared libraries are not available. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0