| commit | a16a5be002d8641bf0c371e810b631115446d07e | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 21 Feb 2011 15:54:43 +0000 (21 16:54 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 25 Feb 2011 13:54:17 +0000 (25 14:54 +0100) | ||
| tree | ab92f516c5a6604a7c6e13c3b2907591bdfe744c | treesnapshot (tar.gz zip) |
| parent | 26c2b299ca995f6ecbb1b1701a6edd4c2b3da1d7 | commitdiff |
transitive closure: project out parameters when any constraints are impure
The resulting delta set can lead to extra constraints on the path,
resulting in a possibly more accurate approximation.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The resulting delta set can lead to extra constraints on the path,
resulting in a possibly more accurate approximation.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| doc/implementation.tex | diffblobblamehistory | |
| doc/manual.tex | diffblobblamehistory | |
| isl_transitive_closure.c | diffblobblamehistory |