- Update to 0.18
* 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