Merge branch 'maint'
commit12b1c73fc9a8e1ca80d95abab8da41134433ef85
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 16 Sep 2017 08:44:56 +0000 (16 10:44 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 16 Sep 2017 08:45:03 +0000 (16 10:45 +0200)
tree6d4d70476d3409eb3a34254d51fa82608990ae78
parent2c5592ed0f50bf7e44e383f9a964f2ca79f799d9
parentd2b4c80a3d84e1d4ca980ba750ac7750d6d97a61
Merge branch 'maint'

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_mat.c
isl_pw_templ.c
isl_scheduler.c