| commit | dccf6cb6bc27b6c81c13c970c42da6f425b16dee | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 23 Dec 2008 14:52:26 +0000 (23 15:52 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 23 Jan 2009 14:33:09 +0000 (23 15:33 +0100) | ||
| tree | 84b943ef25ec38cb80ba1883d4b6e4dc8845c1b4 | treesnapshot (tar.gz zip) |
| parent | 88618ff6ddd654a7df990d7cd315fcdd930da76e | commitdiff |
isl backend: support existentially quantified variables in domains
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| source/isl/constraints.c | diffblobblamehistory |