| commit | e9ea01df07f5f60f7419500866eaccd52c84df42 | |
| author | Sven Verdoolaege <sven@nestor.cs.kuleuven.be> | |
| Thu, 18 Feb 2010 13:50:05 +0000 (18 14:50 +0100) | ||
| committer | Sven Verdoolaege <sven@nestor.cs.kuleuven.be> | |
| Thu, 18 Feb 2010 14:12:06 +0000 (18 15:12 +0100) | ||
| tree | a27c3ee741a5120123830fd79956ab27a87cf33c | treesnapshot (tar.gz zip) |
| parent | b940c0b5b8a844da10dd84ec151da0977e9dd574 | commitdiff |
isl_map_transitive_closure: reformulate exactness test in terms of extended paths
This will make it easier to compute exactness per component.
This will make it easier to compute exactness per component.
| isl_transitive_closure.c | diffblobblamehistory |