Merge branch 'maint'
commit64c34b571ae49b0a8f47b7acd65e255785ffbaca
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 23 Oct 2018 19:59:49 +0000 (23 21:59 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 23 Oct 2018 19:59:49 +0000 (23 21:59 +0200)
treec35591efd87d4a7518d90338197a37bcf4c42474
parent7092aed3fe6bf9dcfd01ba42a59688fa3f34e7e5
parent7a40cfef07fd5ccc5009cf96bd8a7571c55ffe80
Merge branch 'maint'
Makefile.am
isl_coalesce.c
isl_convex_hull.c
isl_output.c
isl_test.c