| commit | 600941351e20ec9cca1617f6b28887fb7dd25252 | [log] [tgz] |
|---|---|---|
| author | Tobias Grosser <tobias@grosser.es> | Mon Dec 26 12:11:40 2016 +0000 |
| committer | Tobias Grosser <tobias@grosser.es> | Mon Dec 26 12:11:40 2016 +0000 |
| tree | a28dd8a7ad32ce17a78d3d73bbfadd729551f422 | |
| parent | 80db76d55621928c4fec1c30363dd2733335a29f [diff] |
Update to isl-0.18-17-g2844ebf This update improves isl's ability to coalesce different convex sets/maps, especially when the contain existentially quantified variables. llvm-svn: 290538