January 2007 - PPL-devel - BUGSENG Mailman

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 31 Jan '07

31 Jan '07

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2007-01-31 13:48:36 Modified files: src : Octagonal_Shape.templates.hh Log message: Removed 'plus_infinity' test from strong_coherence_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

No floating point coefficients?
by Manoj Rajagopalan 29 Jan '07

29 Jan '07

Hi all In my experiments, I find myself unable to assign float or double coefficients to linear expressions that form my constraints. In attempting to rebuild the library on my intel FC6 machine, I find that the choices i have for the coefficients are all integer types (as told to me by the --enable-coefficients configure option). Does this mean that PPL is good only with constraints that have integer coefficients? Can i not work with linear expressions like (4.5*x + 3.9*y) etc? Thanks for Enea Zaffanella and Roberto Bagnara for replies to my previous question on point containment within polyhedra. I tried out their suggestions and found that my coefficients were being truncated to integers which is why some of my tests were failing. Thanks in advance, Manoj Rajagopalan

2 1

newbie question - point containment within polyhedron
by Manoj Rajagopalan 28 Jan '07

28 Jan '07

Hi all How do I check if a point is contained within a polyhedron? Firstly, how do i represent the point? in terms of X, Y, Z where these are declared to be of type Variable? Would someone have any example code snippets to illustrate related points? thanks Manoj Rajagopalan

3 2

ppl/src MIP_Problem.cc
by Roberto Bagnara 24 Jan '07

24 Jan '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-01-24 08:41:16 Modified files: src : MIP_Problem.cc Log message: Code for debugging improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Patricia Hill 19 Jan '07

19 Jan '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2007-01-19 13:13:09 Modified files: htdocs/Documentation: ppl.bib Log message: Added volume number for BagnaraDHMZ07 Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl TODO
by Patricia Hill 19 Jan '07

19 Jan '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-01-19 12:09:29 Modified files: . : TODO Log message: Removed item: - Add tests for ppl_Polyhedron_contains_integer_point/1 in pl_check.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.20…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 19 Jan '07

19 Jan '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-01-19 12:07:53 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: pl_check.pl ppl_interface_generator_predicate_check_code.m4 Log message: Added a test to pl_check.pl for ppl_Polyhedron_contains_integer_point/2 Also added m4 code to generate interface predicates such as ppl_Pointset_Powerset_C_Polyhedron_linear_partition/4 and ppl_Pointset_Powerset_Grid_approximate_partition/4 Added m4 code for generating tests for these. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 19 Jan '07

19 Jan '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-01-19 10:31:03 Modified files: htdocs : news.raw ppl.raw Log message: Small improvement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs news.raw ppl.raw Documentation/Ba ...
by Roberto Bagnara 19 Jan '07

19 Jan '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-01-19 10:25:36 Modified files: htdocs : news.raw ppl.raw Added files: htdocs/Documentation: BagnaraHZ07TR.pdf Log message: New technical report. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 19 Jan '07

19 Jan '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-01-19 09:48:31 Modified files: htdocs/Documentation: ppl.bib Log message: Added BagnaraHZ07TR. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0