February 2006 - PPL-devel - BUGSENG Mailman

ppl/m4 ac_cxx_float32_binary_format.m4
by Roberto Bagnara 05 Feb '06

05 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-05 11:40:33 Added files: m4 : ac_cxx_float32_binary_format.m4 Log message: New function to detect the binary format used by 32-bit floats. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float32_binary_form…

1 0

ppl/m4 ac_cxx_float96_binary_format.m4
by Roberto Bagnara 05 Feb '06

05 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-05 10:07:28 Modified files: m4 : ac_cxx_float96_binary_format.m4 Log message: Correctly handle the case where a 96-bit floating point format is not detected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float96_binary_form…

1 0

ppl configure.ac
by Roberto Bagnara 05 Feb '06

05 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-05 10:03:24 Modified files: . : configure.ac Log message: Detect the binary format used by 96-bit floats. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/m4 ac_cxx_float96_binary_format.m4
by Roberto Bagnara 05 Feb '06

05 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-05 10:02:51 Added files: m4 : ac_cxx_float96_binary_format.m4 Log message: New function to detect the binary format used by 96-bit floats. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float96_binary_form…

1 0

ppl configure.ac
by Roberto Bagnara 04 Feb '06

04 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-04 22:54:48 Modified files: . : configure.ac Log message: Detect the binary format used by 64-bit floats. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/m4 ac_cxx_float64_binary_format.m4
by Roberto Bagnara 04 Feb '06

04 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-04 22:54:01 Added files: m4 : ac_cxx_float64_binary_format.m4 Log message: New function to detect the binary format used by 64-bit floats. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float64_binary_form…

1 0

PPL usage with cygwin for "Abstract Model Interpretation"
by Ernst Sassen 03 Feb '06

03 Feb '06

Dear PPL Developers, I am currently working on my master thesis: "Abstract Model Interpretation" that applies abstract interpretation on fomal models of software systems. For implementing an abstract domain, I plan to use PPL for the handling of Polyhedra. Actually, we plan on accessing PPL from our Java code via a wrapper class in C++. Right now my problem is how to inlcude the PPL classes in my C++ project. I am using a Windows XP System with cygwin. 'Make' and 'make install' of the PPL source directory worked fine. However now I am unsure about how to actually include PPL classes (e.g. "Polyhedron") in a C++ project and also could find no further instructions in the user manual or the README and INSTALL files, provided. Maybe you can help me answering this question: - What is the intended usage of PPL? Should one just include "ppl.hh" and the created libraries? Right now, this yields error messages like:"... undefined reference to `Parma_Polyhedra_Library::Init::Init[in-charge]()' ...undefined reference to `Parma_Polyhedra_Library::Init::~Init [in-charge]()' " The libraries libppl.a, ..., were created by 'make install' and should be accessible to g++. However, it seems the linker is unable to find the used library functions. Your help will be much appreciated! With best regards, Ernst Sassen Diplomand Technische Universität München Lehrstuhl für Software & Systems Engineering

2 1

ppl/src LP_Problem.cc
by Andrea Cimino 03 Feb '06

03 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-02-03 03:25:06 Modified files: src : LP_Problem.cc Log message: A couple of fixes in OK(): Some assertions were failing without a good reason. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src LP_Problem.cc
by Andrea Cimino 01 Feb '06

01 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-02-01 23:27:14 Modified files: src : LP_Problem.cc Log message: The FIXME about incrementality was already dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src LP_Problem.cc
by Andrea Cimino 01 Feb '06

01 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-02-01 23:23:22 Modified files: src : LP_Problem.cc Log message: Other little improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0