| commit | f6117503ad00b0bbd0a1149d2a10cb415dba2f0c | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 15 Oct 2010 09:15:32 +0000 (15 11:15 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 27 Oct 2010 09:41:53 +0000 (27 11:41 +0200) | ||
| tree | d6487befb07fe108851af3b896c2108ed0c22b12 | treesnapshot (tar.gz zip) |
| parent | 24ae49f542b665adaecad7c82c52c6b2c1777fb9 | commitdiff |
cloog_input_dump_cloog: use extended polylib output format
The standard PolyLib output format is not usable if any of domains
in the input contain any existentially quantified variables.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The standard PolyLib output format is not usable if any of domains
in the input contain any existentially quantified variables.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| source/isl/domain.c | diffblobblamehistory |