|
|
@ -2,7 +2,7 @@ |
|
|
|
[COPY] This copyright note is auto-generated by ./scripts/Create-CopyPatch. |
|
|
|
[COPY] This copyright note is auto-generated by ./scripts/Create-CopyPatch. |
|
|
|
[COPY] |
|
|
|
[COPY] |
|
|
|
[COPY] Filename: package/.../cloog-ppl/cloog-ppl.desc |
|
|
|
[COPY] Filename: package/.../cloog-ppl/cloog-ppl.desc |
|
|
|
[COPY] Copyright (C) 2009 - 2011 The OpenSDE Project |
|
|
|
[COPY] Copyright (C) 2009 - 2012 The OpenSDE Project |
|
|
|
[COPY] |
|
|
|
[COPY] |
|
|
|
[COPY] More information can be found in the files COPYING and README. |
|
|
|
[COPY] More information can be found in the files COPYING and README. |
|
|
|
[COPY] |
|
|
|
[COPY] |
|
|
@ -12,7 +12,7 @@ |
|
|
|
[COPY] GNU General Public License can be found in the file COPYING. |
|
|
|
[COPY] GNU General Public License can be found in the file COPYING. |
|
|
|
[COPY] --- SDE-COPYRIGHT-NOTE-END --- |
|
|
|
[COPY] --- SDE-COPYRIGHT-NOTE-END --- |
|
|
|
|
|
|
|
|
|
|
|
[I] A library to generate code for scanning Z-polyhedra |
|
|
|
[I] A port of the CLooG library using PPL instead of PolyLib |
|
|
|
|
|
|
|
|
|
|
|
[T] CLooG is a library to generate code for scanning Z-polyhedra. That is it |
|
|
|
[T] CLooG is a library to generate code for scanning Z-polyhedra. That is it |
|
|
|
[T] finds code that reaches each integral point of one or more parameterized |
|
|
|
[T] finds code that reaches each integral point of one or more parameterized |
|
|
@ -24,7 +24,8 @@ |
|
|
|
|
|
|
|
|
|
|
|
[U] http://cloog.org |
|
|
|
[U] http://cloog.org |
|
|
|
|
|
|
|
|
|
|
|
[A] Sebastian Pop <sebpop@gmail.com> |
|
|
|
[A] Cedric Bastoul <cedric.bastoul@inria.fr> (original author) |
|
|
|
|
|
|
|
[A] Sebastian Pop <sebpop@gmail.com> (PPL port) |
|
|
|
[M] The OpenSDE Community <list@opensde.org> |
|
|
|
[M] The OpenSDE Community <list@opensde.org> |
|
|
|
|
|
|
|
|
|
|
|
[C] base/development |
|
|
|
[C] base/development |
|
|
|