Skip to Content.
Sympa Menu

sm-commit - [SM-Commit] GIT changes to master grimoire by Florian Franzmann (dd48886b203ef47f1a85c063ad3cbf2131c8e812)

sm-commit AT lists.ibiblio.org

Subject: Source Mage code commit list

List archive

Chronological Thread  
  • From: Florian Franzmann <scm AT sourcemage.org>
  • To: sm-commit AT lists.ibiblio.org
  • Subject: [SM-Commit] GIT changes to master grimoire by Florian Franzmann (dd48886b203ef47f1a85c063ad3cbf2131c8e812)
  • Date: Sat, 5 Feb 2011 15:01:07 -0600

GIT changes to master grimoire by Florian Franzmann
<siflfran AT hawo.stw.uni-erlangen.de>:

ChangeLog | 6 ++++++
devel/cloog-ppl/DEPENDS | 2 ++
devel/cloog-ppl/DETAILS | 22 ++++++++++++++++++++++
devel/cloog-ppl/HISTORY | 3 +++
science/ppl/DEPENDS | 2 ++
science/ppl/DETAILS | 25 +++++++++++++++++++++++++
science/ppl/HISTORY | 3 +++
7 files changed, 63 insertions(+)

New commits:
commit dd48886b203ef47f1a85c063ad3cbf2131c8e812
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

devel/cloog-ppl: new spell, a library for generating code for scanning
Z-polyhedra

commit 41aaa67a0e06bffbb08642837aa6c4d02fba1a0d
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

science/ppl: made DEPENDS executable

commit b4cacc2e4aca100871aa9dac26cd151b4037d81b
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

science/ppl: new spell, an abstraction for analysing and verifying
complex systems

diff --git a/ChangeLog b/ChangeLog
index c178326..be7825d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2011-02-05 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * science/ppl: new spell, abstractions for analysing and verifying
complex
+ systems
+ * devel/cloog-ppl: new spell, a library for generating code for
scanning
+ Z-polyhedra
+
2011-02-01 Vlad Glagolev <stealth AT sourcemage.org>
* perl-cpan/scalar-list-utils: new spell, replacement for the builtin
distribution
diff --git a/devel/cloog-ppl/DEPENDS b/devel/cloog-ppl/DEPENDS
new file mode 100755
index 0000000..a61a832
--- /dev/null
+++ b/devel/cloog-ppl/DEPENDS
@@ -0,0 +1,2 @@
+depends ppl &&
+depends gmp
diff --git a/devel/cloog-ppl/DETAILS b/devel/cloog-ppl/DETAILS
new file mode 100755
index 0000000..dba8220
--- /dev/null
+++ b/devel/cloog-ppl/DETAILS
@@ -0,0 +1,22 @@
+ SPELL=cloog-ppl
+ VERSION=0.16.1
+ SOURCE="cloog-parma-${VERSION}.tar.gz"
+ SOURCE_URL[0]=http://www.bastoul.net/cloog/pages/download/${SOURCE}
+
SOURCE_HASH=sha512:bcf0ed5cd4349ab183feb51f657915cbffb0e0da050a174a0d8ef8336aa87b0f1923fecfebcc43bb4163a48a54e5997e4e6c80d7e1a5983674c91f3d36462f04
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/cloog-parma-${VERSION}"
+ WEB_SITE="http://www.cloog.org";
+ LICENSE[0]=GPL
+ ENTERED=20110205
+ SHORT="a free software and library to generate code for scanning
Z-polyhedra"
+cat << EOF
+CLooG is a free software and library to generate code for scanning
Z-polyhedra.
+That is, it finds a code (e.g. in C, FORTRAN...) that reaches each integral
+point of one or more parameterized polyhedra. CLooG has been originally
+written to solve the code generation problem for optimizing compilers based
+on the polytope model. Nevertheless it is used now in various area e.g. to
+build control automata for high-level synthesis or to find the best
polynomial
+approximation of a function. CLooG may help in any situation where scanning
+polyhedra matters. While the user has full control on generated code quality,
+CLooG is designed to avoid control overhead and to produce a very effective
+code.
+EOF
diff --git a/devel/cloog-ppl/HISTORY b/devel/cloog-ppl/HISTORY
new file mode 100644
index 0000000..91db481
--- /dev/null
+++ b/devel/cloog-ppl/HISTORY
@@ -0,0 +1,3 @@
+2011-02-05 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: spell created
+
diff --git a/science/ppl/DEPENDS b/science/ppl/DEPENDS
new file mode 100755
index 0000000..130d315
--- /dev/null
+++ b/science/ppl/DEPENDS
@@ -0,0 +1,2 @@
+depends gmp &&
+depends g++
diff --git a/science/ppl/DETAILS b/science/ppl/DETAILS
new file mode 100755
index 0000000..21f552c
--- /dev/null
+++ b/science/ppl/DETAILS
@@ -0,0 +1,25 @@
+ SPELL=ppl
+ VERSION=0.11
+ SOURCE="${SPELL}-${VERSION}.tar.bz2"
+
SOURCE_URL[0]=ftp://ftp.cs.unipr.it/pub/${SPELL}/releases/${VERSION}/${SOURCE}
+
SOURCE_HASH=sha512:55624a8ac8a54c3eda9e604e4c8985afd79b17939d118c5f405dc350b4dce21eeeacef6a7a0d015944b3c1f03cebfcf6d37972d71c0b23d944be562ad74319cf
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+ WEB_SITE="http://www.cs.unipr.it/ppl";
+ LICENSE[0]=GPL
+ ENTERED=20110205
+ SHORT="a numerical abstraction for analysis and verification of
complex systems"
+cat << EOF
+The Parma Polyhedra Library (PPL) provides numerical abstractions especially
+targeted at applications in the field of analysis and verification of
+complex systems. These abstractions include convex polyhedra, defined
+as the intersection of a finite number of (open or closed) halfspaces,
+each described by a linear inequality (strict or non-strict) with rational
+coefficients; some special classes of polyhedra shapes that offer interesting
+complexity/precision tradeoffs; and grids which represent regularly spaced
+points that satisfy a set of linear congruence relations. The library also
+supports finite powersets and products of (any kind of) polyhedra and grids,
+a mixed integer linear programming problem solver using an exact-arithmetic
+version of the simplex algorithm, a parametric integer programming solver,
+and primitives for the termination analysis via the automatic synthesis of
+linear ranking functions.
+EOF
diff --git a/science/ppl/HISTORY b/science/ppl/HISTORY
new file mode 100644
index 0000000..91db481
--- /dev/null
+++ b/science/ppl/HISTORY
@@ -0,0 +1,3 @@
+2011-02-05 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: spell created
+



  • [SM-Commit] GIT changes to master grimoire by Florian Franzmann (dd48886b203ef47f1a85c063ad3cbf2131c8e812), Florian Franzmann, 02/05/2011

Archive powered by MHonArc 2.6.24.

Top of Page