ccc915e5d3
* improve elimination of redundant existentially quantified variables * improve coalescing * improve parametric integer programming * preserve isolate option in isl_schedule_node_band_split * print AST nodes in YAML format * minor improvements to Python bindings - Inherits update to 0.17.1 * fix bug in coalescing treatment - Inherits update to 0.17 * optionally combine SCCs incrementally in scheduler * optionally maximize coincidence in scheduler * optionally avoid loop coalescing in scheduler * fix handling of nested integer divisions * optionally detect min/max expressions during AST generation * minor AST generator improvements * simplify stride constraints * improve support for expansions in schedule trees OBS-URL: https://build.opensuse.org/package/show/devel:libraries:c_c++/isl?expand=0&rev=26