Implemented project structure

This commit is contained in:
Fabio Scotto di Santolo
2025-11-29 18:39:57 +01:00
commit c59b4004e5
6024 changed files with 1100108 additions and 0 deletions

View File

@@ -0,0 +1,71 @@
isl was written by
Sven Verdoolaege
2006-2007 Leiden Institute of Advanced Computer Science
Universiteit Leiden
Niels Bohrweg 1
2333 CA Leiden
The Netherlands
2008-2009 K.U.Leuven
Departement Computerwetenschappen
Celestijnenlaan 200A
B-3001 Leuven
Belgium
2010-2011 INRIA Saclay - Ile-de-France
Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod
91893 Orsay
France
2011-2012 consultant for Leiden Institute of Advanced Computer Science
2012-2014 Ecole Normale Superieure
45 rue d'Ulm, 75230 Paris
France
2014-2015 INRIA Rocquencourt
Domaine de Voluceau - Rocquencourt, B.P. 105
78153 Le Chesnay
France
2015-2022 Polly Labs
2018-2021 Cerebras Systems
175 S San Antonio Rd
Los Altos, CA
USA
2021-2022 Cerebras Systems
1237 E Arques Ave
Sunnyvale, CA
USA
Contributions by
Mythri Alle
Riyadh Baghdadi
Serge Belyshev
Basile Clement
Albert Cohen
Ray Donnelly
Johannes Doerfert
Andi Drebes
Ron Estrin
Clement Foyer
Armin Groesslinger
Tobias Grosser
Frederik Harwath
Alexandre Isoard
Andreas Kloeckner
Michael Kruse
Manjunath Kudlur
Alexander Matz
Chielo Newctle
Riccardo Mori
Sebastian Pop
Louis-Noel Pouchet
Benoit Pradelle
Uday Bondhugula
Andreas Simbuerger
Tianjiao Sun
Malhar Thakkar
Sergei Trofimovich
Miheer Vaidya
Sven van Haastregt
Matt Whitlock
Oleksandr Zinenko
The merge sort implementation was written by Jeffrey Stedfast.

View File

@@ -0,0 +1,19 @@
MIT License (MIT)
Permission is hereby granted, free of charge, to any person obtaining a copy of
this software and associated documentation files (the "Software"), to deal in
the Software without restriction, including without limitation the rights to
use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
of the Software, and to permit persons to whom the Software is furnished to do
so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.

View File

@@ -0,0 +1,53 @@
isl is a thread-safe C library for manipulating sets and relations
of integer points bounded by affine constraints. The descriptions of
the sets and relations may involve both parameters and existentially
quantified variables. All computations are performed in exact integer
arithmetic using GMP.
isl is released under the MIT license, but depends on the LGPL GMP
library.
Minimal compilation instructions:
./configure
make
make install
If you are taking the source from the git repository, then you first
need to do
git clone git://repo.or.cz/isl.git
./autogen.sh
For more information, see doc/user.pod or the generated documentation.
New releases are announced on http://groups.google.com/group/isl-announce
If you use isl, you can let me know by stacking
https://www.openhub.net/p/isl on Open Hub.
For bug reports, feature requests and questions,
contact http://groups.google.com/group/isl-development
Whenever you report a bug, please mention the exact version of isl
that you are using (output of "./isl_cat --version"). If you are unable
to compile isl, then report the git version (output of "git describe")
or the version included in the name of the tarball.
If you use isl for your research, you are invited do cite
the following paper and/or the paper(s) describing the specific
operations you use.
@incollection{Verdoolaege2010isl,
author = {Verdoolaege, Sven},
title = {isl: An Integer Set Library for the Polyhedral Model},
booktitle = {Mathematical Software - ICMS 2010},
series = {Lecture Notes in Computer Science},
editor = {Fukuda, Komei and Hoeven, Joris and Joswig, Michael and
Takayama, Nobuki},
publisher = {Springer},
isbn = {978-3-642-15581-9},
pages = {299-302},
volume = {6327},
year = {2010}
}