Merge branch 'maint'
commit292c0a9323fe6e8e38e488f37aefc17655275cfc
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 7 Oct 2018 16:52:13 +0000 (7 18:52 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 7 Oct 2018 16:52:13 +0000 (7 18:52 +0200)
tree193e49bdfa4c91922f0c7a05b2f6b0820fde11a9
parentbecdce9b8aa3fd272f871708a7121e4add3bc7be
parent179e221bbd892f327cfb7ba3ed408ae695d604aa
Merge branch 'maint'
12 files changed:
Makefile.am
isl_coalesce.c
isl_map.c
isl_map_private.h
isl_map_simplify.c
isl_point.c
isl_tab.c
isl_tab.h
isl_test.c
isl_union_multi.c
isl_union_single.c
isl_union_templ.c