Skip to Content.
Sympa Menu

sm-commit - [SM-Commit] GIT changes to master grimoire by Ismael Luceno (d0f41e546d50f5866740e3c7867a45099659ecee)

sm-commit AT lists.ibiblio.org

Subject: Source Mage code commit list

List archive

Chronological Thread  
  • From: Ismael Luceno <scm AT sourcemage.org>
  • To: sm-commit AT lists.ibiblio.org
  • Subject: [SM-Commit] GIT changes to master grimoire by Ismael Luceno (d0f41e546d50f5866740e3c7867a45099659ecee)
  • Date: Wed, 17 Sep 2014 12:56:29 -0500

GIT changes to master grimoire by Ismael Luceno <ismael AT sourcemage.org>:

ChangeLog | 1 +
libs/isl/DETAILS | 26 ++++++++++++++++++++++++++
libs/isl/HISTORY | 2 ++
3 files changed, 29 insertions(+)

New commits:
commit d0f41e546d50f5866740e3c7867a45099659ecee
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

isl: new spell, Integer Set Library

diff --git a/ChangeLog b/ChangeLog
index 57cea33..2c4572b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,7 @@
2014-09-17 Ismael Luceno <ismael AT sourcemage.org>
* net/corkscrew: new spell, tool for tunneling SSH through HTTP
proxies
+ * libs/isl: new spell, Integer Set Library

2014-09-16 Ismael Luceno <ismael AT sourcemage.org>
* devel/elfkickers: new spell, Kickers of ELF
diff --git a/libs/isl/DETAILS b/libs/isl/DETAILS
new file mode 100755
index 0000000..c546aff
--- /dev/null
+++ b/libs/isl/DETAILS
@@ -0,0 +1,26 @@
+ SPELL=isl
+ VERSION=0.13
+ SOURCE="${SPELL}-${VERSION}.tar.xz"
+ SOURCE_URL[0]=http://${SPELL}.gforge.inria.fr/${SOURCE}
+
SOURCE_HASH=sha512:08cbcefc671be7754ec8ab17695d960bc2340df06d8c16143530f24b38dc1d0bc1ed095ba4f8c1c61d99739224ce2d8b07a648953026fef5bdd4f390d6fe3b43
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+ WEB_SITE="http://isl.gforge.inria.fr/";
+ LICENSE[0]="MIT"
+ ENTERED=20140917
+ KEYWORDS=""
+ SHORT="Integer Set Library"
+cat << EOF
+isl is a library for manipulating sets and relations of integer points
bounded
+by linear constraints. Supported operations on sets include intersection,
+union, set difference, emptiness check, convex hull, (integer) affine hull,
+integer projection, computing the lexicographic minimum using parametric
+integer programming, coalescing and parametric vertex enumeration. It also
+includes an ILP solver based on generalized basis reduction, transitive
+closures on maps (which may encode infinite graphs), dependence analysis
+and bounds on piecewise step-polynomials. For more information see
+the project page, the online user manual (html) or the complete manual
+(pdf). For an introduction to the underlying concepts, see the first part
+of the presentation Integer sets and relations: from high-level modeling to
+low-level implementation . The barvinok package contains an iscc calculator
+that exposes some of the operations supported by isl.
+EOF
diff --git a/libs/isl/HISTORY b/libs/isl/HISTORY
new file mode 100644
index 0000000..5056b99
--- /dev/null
+++ b/libs/isl/HISTORY
@@ -0,0 +1,2 @@
+2014-09-17 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: spell created



  • [SM-Commit] GIT changes to master grimoire by Ismael Luceno (d0f41e546d50f5866740e3c7867a45099659ecee), Ismael Luceno, 09/17/2014

Archive powered by MHonArc 2.6.24.

Top of Page