March 2002 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-03-13 08:53:57 Modified files: htdocs/Download: requirements.raw Log message: Passed "make check" on a ix86 machine running FreeBSD 4.3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

Working on the strict branch
by Roberto Bagnara 13 Mar '02

13 Mar '02

Dear all, the work we have planned on the strict branch should be done in manageable pieces, so that any problem can be identified as early as possible. What I would like to see is - a first commit where Polyhedron* has become, by renaming, PolyBase* and where the new Polyhedron is just defined to be a PolyBase; - a second commit where the new flags are added to PolyBase and the other classes: at this stage the new flags exist but are unused; - a third commit where we start using the flags so that our new (ordinary, closed) Polyhedron classes works as usual. This should be checked also by running China on all our benchmarks and comparing the results with the version we have now (I am producing them). We will see later how to proceed. Ciao Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

`strict' branch created
by Roberto Bagnara 13 Mar '02

13 Mar '02

Dear all, I have just created a branch called `strict' of PPL's main CVS trunk. To check it out, recognized developers (i.e., those with an account on cvs.cs.unipr.it) should use a command like cvs -d cvs.cs.unipr.it:/cvs/ppl checkout -r strict ppl whereas others should just follow the instructions at http://www.cs.unipr.it/ppl/Download/cvs#read-only-access simply adding `-r strict' to the checkout command. Of course, you should not do that from a directory where you have another directory called `ppl' ;-) All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-13 07:38:07 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Always build `pplpl' and `pl_clpq'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh
by Roberto Bagnara 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-13 07:11:52 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh Log message: Added new atoms for the relations of polyhedra with constraints and generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-13 07:11:03 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: Missing semicolons added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-03-12 22:36:38 Modified files: htdocs/Download: requirements.raw Log message: Passed "make check" also on a PowerPC RS/6000 running Linux 2.2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-12 20:46:30 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: Macro SP_STUB_3 added and used for ppl_limited_widening_assign/3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh S ...
by Patricia Hill 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-12 19:46:11 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: <=, ==, and < added as ppl predicates. SWI and SICStus interfaces updated with <= and == predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh S ...
by Patricia Hill 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-12 19:08:59 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Added ppl_add_generators_and_minimize, ppl_check_universe, and ppl_is_bounded. SICStus and SWI updated to use the new predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0