Merge branch 'maint' into HEAD
commitc37e447e97f2f65abe893ec9963ffbb58ab3231a
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 25 May 2016 13:43:24 +0000 (25 15:43 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 25 May 2016 13:43:24 +0000 (25 15:43 +0200)
treeeb3a0b85a3a55990c466641dc76ba7b49bcab10c
parent0bbb46b81efaebef93f39e6ab5565144ed4e7a74
parent5fef5359450c0b0f6562186f2bddd10e7f54614a
Merge branch 'maint' into HEAD
isl_convex_hull.c
isl_map_simplify.c
isl_tab.c