November 2008 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron_public.cc
by Enea Zaffanella 18 Nov '08

18 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-18 14:25:40 Modified files: src : Polyhedron_public.cc Log message: Added a couple of comments regarding the recently corrected bug in contains_integer_point(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl interfaces/Prolog/tests/ppl_interface_gene ...
by Patricia Hill 18 Nov '08

18 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-18 13:49:52 Modified files: interfaces/Prolog/tests: ppl_interface_generator_prolog_generated_test_pl_code.m4 ppl_prolog_generated_test_common.pl tests/Powerset : Makefile.am Added files: tests/Powerset : containsintegerpoint1.cc Log message: Corrected some m4 code that resulted in wrongly named test predicates. Corrected expected answers for tests that checked properties such as "is_empty()". Added tests for the contains_integer_point() for the Pointset_Powerset domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/containsintege… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.di…

1 0

ppl tests/Polyhedron/containsintegerpoint1.cc ...
by Patricia Hill 18 Nov '08

18 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-18 13:47:25 Modified files: tests/Polyhedron: containsintegerpoint1.cc src : Polyhedron_public.cc Log message: Several bugs in code for contains_integer_point() fixed. Added new tests that showed the bugs. Uncommented some tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/containsinte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 18 Nov '08

18 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-18 08:40:21 Modified files: src : Polyhedron_public.cc Log message: Corrected typo in comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 17 Nov '08

17 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-17 20:29:07 Modified files: htdocs/Download: requirements.raw Log message: A bug in GCC 4.1.0 prevents compiling PPL 0.10 (thanks to Andrey Belevantsev for reporting this). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl NEWS
by Roberto Bagnara 17 Nov '08

17 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-17 17:57:47 Modified files: . : NEWS Log message: Recorded the fix solving the `make check' problem when the `--disable-watchdog' configure option is used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.27…

1 0

ppl/tests/Polyhedron Makefile.am
by Enea Zaffanella 17 Nov '08

17 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-17 17:43:01 Modified files: tests/Polyhedron: Makefile.am Log message: The sources for test memory1 should be distributed unconditionally (i.e., even when valgrind tests are disabled). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests/MIP_Problem Makefile.am
by Enea Zaffanella 17 Nov '08

17 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-17 17:41:26 Modified files: tests/MIP_Problem: Makefile.am Log message: Test mipproblem2 should be built iff the watchdog library is enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/Makefile.am…

1 0

ppl/tests/Powerset Makefile.am
by Patricia Hill 16 Nov '08

16 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-16 21:57:44 Modified files: tests/Powerset : Makefile.am Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.di…

1 0

ppl/tests Box/Makefile.am Polyhedron/polydiffe ...
by Patricia Hill 14 Nov '08

14 Nov '08

1 0