summary refs log tree commit diff
path: root/pkgs/development/libraries/isl
AgeCommit message (Expand)AuthorFilesLines
2011-11-30ISL: Downgrade to 0.07 so that CLooG builds.Ludovic Courtès1-2/+2
2011-11-30ISL 0.08, with some simplifications.Ludovic Courtès1-15/+8
2011-11-07Use correct gmp for cross-buildMichael Raskin1-1/+4
2011-03-31Add isl, the integer set library (needed for cloog, an optional dependency fo...Shea Levy1-0/+28