August 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 20 Aug '03

20 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-20 11:25:53 Modified files: interfaces/C : ppl_c.cc Log message: Fixed constructor `PIFunc::PIFunc(dimension_type* v, size_t n)': it was not initializing the `empty' member. (Thanks to Axel Simon.) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/src Polyhedra_PowerSet.inlines.hh PowerSet ...
by Roberto Bagnara 19 Aug '03

19 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-19 09:57:19 Modified files: src : Polyhedra_PowerSet.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh Log message: Lazy, much more efficient implementation of powersets. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl ./NEWS src/Variable.cc src/Variable.defs.h ...
by Roberto Bagnara 18 Aug '03

18 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-18 22:32:12 Modified files: . : NEWS src : Variable.cc Variable.defs.hh tests : writevariable1.cc Log message: The type of output functions for the class Variable, Variable::Output_Function_Type, is now defined as void Output_Function_Type(std::ostream& s, const Variable& v). In other words, `v' is now passed by const reference and not by value. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.76… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writevariable1.cc.diff?…

1 0

installation problem.
by nitinsk＠cfdvs.iitb.ac.in 14 Aug '03

14 Aug '03

Sir, i have a problem regarding the installation of ppl-0.5. It does not install on my system. configure exits saying that "gmp not found" I have installed GMP on my machine. all self tests that come with GMP are also working fine. for gmp, i used the --enable-cxx option with configure. then make, make check, and finally make install as mentioned in the gmp installation instructions. I start ppl installation with : [root@neem ppl-0.5]# ./configure --with-gmp-dir=/usr/local/lib --with-gmp-includes=/pkg2/GMP/gmp-4.1.2 GMP source directory is /pkg2/GMP/gmp-4.1.2 and GMP libraries are installed in /usr/local/lib. is there something that i am missing? please help. Thank you, Nitin Kulkarni.

2 3

ppl/src Polyhedra_PowerSet.inlines.hh
by Enea Zaffanella 10 Aug '03

10 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-08-10 14:52:40 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: Removed the final pairwise-reduction step from the 4th case of the new widening. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/src Polyhedra_PowerSet.inlines.hh
by Enea Zaffanella 10 Aug '03

10 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-08-10 12:47:19 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: Added a new case to the definition of the new widening for powerset polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/src Polyhedra_PowerSet.inlines.hh
by Enea Zaffanella 08 Aug '03

08 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-08-08 16:26:16 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: Corrected the implementation of the new widening so that we now check for `y' not being a singleton before computing its multiset lgo information. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/tests powersetwidening1.cc
by Roberto Bagnara 07 Aug '03

07 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-07 12:49:22 Added files: tests : powersetwidening1.cc Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/powersetwidening1.cc?cv…

1 0

ppl src/Polyhedra_PowerSet.defs.hh src/Polyhed ...
by Enea Zaffanella 06 Aug '03

06 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-08-06 14:48:12 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_widenings.cc tests : Makefile.am Log message: Added a (rough) draft for the new widening on Polyhedra_PowerSet, using the BHRZ03 widening and based on the lgo relation induced by the BHRZ03 lgo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl ./configure.ac Watchdog/configure.ac
by Roberto Bagnara 06 Aug '03

06 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-06 08:17:36 Modified files: . : configure.ac Watchdog : configure.ac Log message: Allow for `mild', -O1 optimization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0