Filewatcher File Search File Search
Catalog
Content Search
» » » »

ppl_0.11.2.orig.tar.bz2

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:ppl_0.11.2.orig.tar.bz2

/ppl-0.11.2/README

Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
See below for the copying conditions.


Parma Polyhedra Library (Release 0.11.2)
========================================

This is the release 0.11.2 of the Parma Polyhedra Library:
a C++ library for (not necessarily closed) convex polyhedra
and other numerical abstractions.

To b
more»

/ppl-0.11.2/README.alpha

There appears to be a bug in GCC (all versions up to and including
4.3.x) concerning exception handling on the Alpha.  This may be
related to

  http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8966

Strictily speaking, the PPL uses exception handling, so if that does
not work on the Alpha, then the PPL does not work on the Alpha.  And
there is nothing to do but fix the GCC bug.

However, if that GCC b
more»

/ppl-0.11.2/README.arm

On the ARM, whether or not the rounding mode can be set in a way that allows
the PPL to work with floating point numbers, will depend on the actual
hardware.  However, disabling the affected PPL code at run-time is
impractical.  Thus, to ensure that the binary distributions of the PPL for the
ARM work as expected on any hardware, on the ARM, the affected code
is disabled at compile-time.  It is st
more»

/ppl-0.11.2/README.configure

Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2011 BUGSENG srl (h
more»

/ppl-0.11.2/README.solaris

Build problems have been reported for Solaris 10, affecting the build
of the Java language interface
more»

/ppl-0.11.2/Watchdog/README

Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2011 BUGSENG srl (h
more»

/ppl-0.11.2/Watchdog/doc/README.doc

Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2011 BUGSENG srl (h
more»

/ppl-0.11.2/demos/ppl_lcdd/examples/README

Most of the examples in this directory have been taken (sometimes with
changes) from cddlib version 
more»

Browse inside ppl_0.11.2.orig.tar.bz2

         [DIR]ppl-0.11.2/ (41)  54 mirrors

Download ppl_0.11.2.orig.tar.bz2

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com