October 2005 - PPL-devel - BUGSENG Mailman

ppl/m4 ac_check_swi_prolog.m4
by Roberto Bagnara 21 Oct '05

21 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-21 16:39:28 Modified files: m4 : ac_check_swi_prolog.m4 Log message: Comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_swi_prolog.m4.dif…

1 0

ppl/src Polyhedra_Powerset.defs.hh
by Enea Zaffanella 21 Oct '05

21 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-21 14:03:22 Modified files: src : Polyhedra_Powerset.defs.hh Log message: Added a couple of missing declarations of template specializations, that were causing an error to be reported by the Intel compiler. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h…

1 0

Locating sicstus.h
by Roberto Bagnara 21 Oct '05

21 Oct '05

Most people installing SICStus onto some non-standard place, will set their PATH environment variable so that the command `sicstus' does the right thing. Exploiting this fact, I would like to know where is sicstus.h located. In other words, I need something like what is offered by SWI-Prolog as follows: $ pl -dump-runtime-variables CC="gcc"; PLBASE="/usr/local/lib/pl-5.4.7"; PLARCH="i686-linux"; PLLIBS="-ldl -lreadline -lncurses -lm -lrt "; PLLIB="-lpl"; PLLDFLAGS="-export-dynamic -O3 -pthread"; PLSOEXT="so"; PLVERSION="50407"; PLSHARED="yes"; PLTHREADS="yes"; Here, PLBASE tells me the installation path, and from there I can retrieve everything. Notice that I rely on the fact that PATH has been set so that `pl' works. What is the simplest way to achieve this effect for SICStus? Many thanks, 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/src BD_Shape.defs.hh
by Enea Zaffanella 20 Oct '05

20 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-20 11:10:22 Modified files: src : BD_Shape.defs.hh Log message: The Doxygen documentation is now (almost) formatted according to STANDARDS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl src/BDS_Status.idefs.hh src/BDS_Status.inl ...
by Enea Zaffanella 20 Oct '05

20 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-20 10:31:36 Modified files: src : BDS_Status.idefs.hh BDS_Status.inlines.hh BD_Shape.defs.hh BD_Shape.inlines.hh tests/BD_Shape : ascii_dump_load2.cc Log message: Started cleaning up the code for BD_Shape<T>. The entailment clsoure method ofr BDSs is shortest-path closure (transitive closure is another thing): method names and status flags changed accordingly. Now avoiding the (almost) useless initialization of BDS in the constructor BD_Shape(const Generator_System& gs); Source code in file BD_Shape.inlines.hh reordered so that all inline methods/functions come before the non-inline method/function templates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.idefs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.dif… 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?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/ascii_dump_loa…

1 0

ppl/tests/Polyhedron boundingbox1.cc
by Enea Zaffanella 20 Oct '05

20 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-20 10:25:05 Modified files: tests/Polyhedron: boundingbox1.cc Log message: Added another test for shrinking a bounding box in polynomial time when there are redundant constraints. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox1…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h.in
by Enea Zaffanella 19 Oct '05

19 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-19 17:00:08 Modified files: interfaces/C : ppl_c.cc ppl_c.h.in Log message: Public method Constraint_System::has_strict_inequalities() is now accessible even from the C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl NEWS
by Enea Zaffanella 19 Oct '05

19 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-19 16:50:28 Modified files: . : NEWS Log message: Method Constraint_System::has_strict_inequalities() is now public. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.16…

1 0

ppl/src simplex.cc
by Enea Zaffanella 19 Oct '05

19 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-19 16:49:35 Modified files: src : simplex.cc Log message: The primal_simplex() is now also applicable to an NNC constraint system containing no strict inequality constraints. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/src Constraint_System.defs.hh
by Enea Zaffanella 19 Oct '05

19 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-19 16:48:37 Modified files: src : Constraint_System.defs.hh Log message: Method has_strict_inequalities() is no longer private. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh…

1 0