Index: lib/External/CMakeLists.txt
===================================================================
--- lib/External/CMakeLists.txt
+++ lib/External/CMakeLists.txt
@@ -254,6 +254,7 @@
     isl/isl_version.c
     isl/isl_vertices.c
     isl/print.c
+    isl/isl-noexceptions.cpp
     isl/imath/gmp_compat.c
     isl/imath/imath.c
     isl/imath/imrat.c
Index: lib/External/isl/include/isl/isl-noexceptions.h
===================================================================
--- lib/External/isl/include/isl/isl-noexceptions.h
+++ lib/External/isl/include/isl/isl-noexceptions.h
@@ -194,7 +194,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::aff add(isl::aff aff2) const;
   inline isl::aff add_coefficient_si(isl::dim type, int pos, int v) const;
@@ -290,7 +290,7 @@
   inline __isl_give isl_aff_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -366,7 +366,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::ast_expr access(isl::ast_expr_list indices) const;
   inline isl::ast_expr add(isl::ast_expr expr2) const;
@@ -421,7 +421,7 @@
   inline __isl_give isl_ast_expr_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -453,7 +453,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   static inline isl::ast_node alloc_user(isl::ast_expr expr);
   inline isl::ast_node_list block_get_children() const;
@@ -502,7 +502,7 @@
   inline __isl_give isl_ast_node_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -533,7 +533,7 @@
   inline __isl_give isl_band_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -566,7 +566,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::basic_map add_constraint(isl::constraint constraint) const;
   inline isl::basic_map add_dims(isl::dim type, unsigned int n) const;
@@ -697,7 +697,7 @@
   inline __isl_give isl_basic_map_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -731,7 +731,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::basic_set affine_hull() const;
   inline isl::basic_set align_params(isl::space model) const;
@@ -829,7 +829,7 @@
   inline __isl_give isl_basic_set_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -860,7 +860,7 @@
   inline __isl_give isl_constraint *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
   static inline isl::constraint alloc_equality(isl::local_space ls);
   static inline isl::constraint alloc_inequality(isl::local_space ls);
@@ -911,7 +911,7 @@
   inline __isl_give isl_constraint_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -943,7 +943,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   static inline isl::id alloc(isl::ctx ctx, const std::string &name, void * user);
   inline uint32_t get_hash() const;
@@ -978,7 +978,7 @@
   inline __isl_give isl_id_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -1009,7 +1009,7 @@
   inline __isl_give isl_id_to_ast_expr *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
   static inline isl::id_to_ast_expr alloc(isl::ctx ctx, int min_size);
   inline isl::id_to_ast_expr drop(isl::id key) const;
@@ -1047,7 +1047,7 @@
   inline __isl_give isl_local_space *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::local_space add_dims(isl::dim type, unsigned int n) const;
   inline int dim(isl::dim type) const;
@@ -1104,7 +1104,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::map add_constraint(isl::constraint constraint) const;
   inline isl::map add_dims(isl::dim type, unsigned int n) const;
@@ -1299,7 +1299,7 @@
   inline __isl_give isl_map_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -1333,7 +1333,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::multi_aff add(isl::multi_aff multi2) const;
   inline isl::multi_aff add_dims(isl::dim type, unsigned int n) const;
@@ -1429,7 +1429,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::multi_pw_aff add(isl::multi_pw_aff multi2) const;
   inline isl::multi_pw_aff add_dims(isl::dim type, unsigned int n) const;
@@ -1526,7 +1526,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::multi_union_pw_aff add(isl::multi_union_pw_aff multi2) const;
   inline isl::multi_union_pw_aff align_params(isl::space model) const;
@@ -1617,7 +1617,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::multi_val add(isl::multi_val multi2) const;
   inline isl::multi_val add_dims(isl::dim type, unsigned int n) const;
@@ -1696,7 +1696,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::point add_ui(isl::dim type, int pos, unsigned int val) const;
   inline isl::val get_coordinate_val(isl::dim type, int pos) const;
@@ -1737,7 +1737,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::pw_aff add(isl::pw_aff pwaff2) const;
   inline isl::pw_aff add_dims(isl::dim type, unsigned int n) const;
@@ -1843,7 +1843,7 @@
   inline __isl_give isl_pw_aff_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -1878,7 +1878,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::pw_multi_aff add(isl::pw_multi_aff pma2) const;
   inline isl::pw_multi_aff align_params(isl::space model) const;
@@ -1967,7 +1967,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::pw_qpolynomial add(isl::pw_qpolynomial pwqp2) const;
   inline isl::pw_qpolynomial add_dims(isl::dim type, unsigned int n) const;
@@ -2041,7 +2041,7 @@
   inline __isl_give isl_qpolynomial *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::qpolynomial add(isl::qpolynomial qp2) const;
   inline isl::qpolynomial add_dims(isl::dim type, unsigned int n) const;
@@ -2114,7 +2114,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::schedule align_params(isl::space space) const;
   static inline isl::schedule empty(isl::space space);
@@ -2163,7 +2163,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::schedule_constraints apply(isl::union_map umap) const;
   inline isl::schedule compute_schedule() const;
@@ -2210,7 +2210,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::schedule_node align_params(isl::space space) const;
   inline isl::schedule_node ancestor(int generation) const;
@@ -2305,7 +2305,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::set add_constraint(isl::constraint constraint) const;
   inline isl::set add_dims(isl::dim type, unsigned int n) const;
@@ -2463,7 +2463,7 @@
   inline __isl_give isl_set_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -2497,7 +2497,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::space add_dims(isl::dim type, unsigned int n) const;
   inline isl::space align_params(isl::space dim2) const;
@@ -2708,7 +2708,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::union_map add_map(isl::map map) const;
   inline isl::union_map affine_hull() const;
@@ -2834,7 +2834,7 @@
   inline __isl_give isl_union_map_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -2869,7 +2869,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::union_pw_aff add(isl::union_pw_aff upa2) const;
   inline isl::union_pw_aff add_pw_aff(isl::pw_aff pa) const;
@@ -2930,7 +2930,7 @@
   inline __isl_give isl_union_pw_aff_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -2967,7 +2967,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::union_pw_multi_aff add(isl::union_pw_multi_aff upma2) const;
   inline isl::union_pw_multi_aff add_pw_multi_aff(isl::pw_multi_aff pma) const;
@@ -3031,7 +3031,7 @@
   inline __isl_give isl_union_pw_multi_aff_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -3127,7 +3127,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::union_set add_set(isl::set set) const;
   inline isl::union_set affine_hull() const;
@@ -3213,7 +3213,7 @@
   inline __isl_give isl_union_set_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -3247,7 +3247,7 @@
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
   inline std::string to_str() const;
-  inline void dump() const;
+  void dump() const;
 
   inline isl::val two_exp() const;
   inline isl::val abs() const;
@@ -3329,7 +3329,7 @@
   inline __isl_give isl_val_list *take();
   inline explicit operator bool() const;
   inline isl::ctx get_ctx() const;
-  inline void dump() const;
+  void dump() const;
 
 };
 
@@ -3420,12 +3420,6 @@
   return S;
 }
 
-
-void aff::dump() const {
-  isl_aff_dump(get());
-}
-
-
 isl::aff aff::add(isl::aff aff2) const {
   auto res = isl_aff_add(copy(), aff2.release());
   return manage(res);
@@ -3818,13 +3812,6 @@
 }
 
 
-
-void aff_list::dump() const {
-  isl_aff_list_dump(get());
-}
-
-
-
 // implementations for isl::ast_build
 isl::ast_build manage(__isl_take isl_ast_build *ptr) {
   return ast_build(ptr);
@@ -4038,11 +4025,6 @@
 }
 
 
-void ast_expr::dump() const {
-  isl_ast_expr_dump(get());
-}
-
-
 isl::ast_expr ast_expr::access(isl::ast_expr_list indices) const {
   auto res = isl_ast_expr_access(copy(), indices.release());
   return manage(res);
@@ -4231,13 +4213,6 @@
 }
 
 
-
-void ast_expr_list::dump() const {
-  isl_ast_expr_list_dump(get());
-}
-
-
-
 // implementations for isl::ast_node
 isl::ast_node manage(__isl_take isl_ast_node *ptr) {
   return ast_node(ptr);
@@ -4314,11 +4289,6 @@
 }
 
 
-void ast_node::dump() const {
-  isl_ast_node_dump(get());
-}
-
-
 isl::ast_node ast_node::alloc_user(isl::ast_expr expr) {
   auto res = isl_ast_node_alloc_user(expr.release());
   return manage(res);
@@ -4477,13 +4447,6 @@
 }
 
 
-
-void ast_node_list::dump() const {
-  isl_ast_node_list_dump(get());
-}
-
-
-
 // implementations for isl::band_list
 isl::band_list manage(__isl_take isl_band_list *ptr) {
   return band_list(ptr);
@@ -4550,13 +4513,6 @@
 }
 
 
-
-void band_list::dump() const {
-  isl_band_list_dump(get());
-}
-
-
-
 // implementations for isl::basic_map
 isl::basic_map manage(__isl_take isl_basic_map *ptr) {
   return basic_map(ptr);
@@ -4637,11 +4593,6 @@
 }
 
 
-void basic_map::dump() const {
-  isl_basic_map_dump(get());
-}
-
-
 isl::basic_map basic_map::add_constraint(isl::constraint constraint) const {
   auto res = isl_basic_map_add_constraint(copy(), constraint.release());
   return manage(res);
@@ -5216,13 +5167,6 @@
 }
 
 
-
-void basic_map_list::dump() const {
-  isl_basic_map_list_dump(get());
-}
-
-
-
 // implementations for isl::basic_set
 isl::basic_set manage(__isl_take isl_basic_set *ptr) {
   return basic_set(ptr);
@@ -5307,11 +5251,6 @@
 }
 
 
-void basic_set::dump() const {
-  isl_basic_set_dump(get());
-}
-
-
 isl::basic_set basic_set::affine_hull() const {
   auto res = isl_basic_set_affine_hull(copy());
   return manage(res);
@@ -5727,13 +5666,6 @@
 }
 
 
-
-void basic_set_list::dump() const {
-  isl_basic_set_list_dump(get());
-}
-
-
-
 // implementations for isl::constraint
 isl::constraint manage(__isl_take isl_constraint *ptr) {
   return constraint(ptr);
@@ -5800,12 +5732,6 @@
 }
 
 
-
-void constraint::dump() const {
-  isl_constraint_dump(get());
-}
-
-
 isl::constraint constraint::alloc_equality(isl::local_space ls) {
   auto res = isl_constraint_alloc_equality(ls.release());
   return manage(res);
@@ -5973,13 +5899,6 @@
 }
 
 
-
-void constraint_list::dump() const {
-  isl_constraint_list_dump(get());
-}
-
-
-
 // implementations for isl::id
 isl::id manage(__isl_take isl_id *ptr) {
   return id(ptr);
@@ -6056,11 +5975,6 @@
 }
 
 
-void id::dump() const {
-  isl_id_dump(get());
-}
-
-
 isl::id id::alloc(isl::ctx ctx, const std::string &name, void * user) {
   auto res = isl_id_alloc(ctx.release(), name.c_str(), user);
   return manage(res);
@@ -6148,13 +6062,6 @@
 }
 
 
-
-void id_list::dump() const {
-  isl_id_list_dump(get());
-}
-
-
-
 // implementations for isl::id_to_ast_expr
 isl::id_to_ast_expr manage(__isl_take isl_id_to_ast_expr *ptr) {
   return id_to_ast_expr(ptr);
@@ -6221,12 +6128,6 @@
 }
 
 
-
-void id_to_ast_expr::dump() const {
-  isl_id_to_ast_expr_dump(get());
-}
-
-
 isl::id_to_ast_expr id_to_ast_expr::alloc(isl::ctx ctx, int min_size) {
   auto res = isl_id_to_ast_expr_alloc(ctx.release(), min_size);
   return manage(res);
@@ -6333,12 +6234,6 @@
 }
 
 
-
-void local_space::dump() const {
-  isl_local_space_dump(get());
-}
-
-
 isl::local_space local_space::add_dims(isl::dim type, unsigned int n) const {
   auto res = isl_local_space_add_dims(copy(), static_cast<enum isl_dim_type>(type), n);
   return manage(res);
@@ -6539,11 +6434,6 @@
 }
 
 
-void map::dump() const {
-  isl_map_dump(get());
-}
-
-
 isl::map map::add_constraint(isl::constraint constraint) const {
   auto res = isl_map_add_constraint(copy(), constraint.release());
   return manage(res);
@@ -7438,13 +7328,6 @@
 }
 
 
-
-void map_list::dump() const {
-  isl_map_list_dump(get());
-}
-
-
-
 // implementations for isl::multi_aff
 isl::multi_aff manage(__isl_take isl_multi_aff *ptr) {
   return multi_aff(ptr);
@@ -7529,11 +7412,6 @@
 }
 
 
-void multi_aff::dump() const {
-  isl_multi_aff_dump(get());
-}
-
-
 isl::multi_aff multi_aff::add(isl::multi_aff multi2) const {
   auto res = isl_multi_aff_add(copy(), multi2.release());
   return manage(res);
@@ -7927,11 +7805,6 @@
 }
 
 
-void multi_pw_aff::dump() const {
-  isl_multi_pw_aff_dump(get());
-}
-
-
 isl::multi_pw_aff multi_pw_aff::add(isl::multi_pw_aff multi2) const {
   auto res = isl_multi_pw_aff_add(copy(), multi2.release());
   return manage(res);
@@ -8330,11 +8203,6 @@
 }
 
 
-void multi_union_pw_aff::dump() const {
-  isl_multi_union_pw_aff_dump(get());
-}
-
-
 isl::multi_union_pw_aff multi_union_pw_aff::add(isl::multi_union_pw_aff multi2) const {
   auto res = isl_multi_union_pw_aff_add(copy(), multi2.release());
   return manage(res);
@@ -8706,11 +8574,6 @@
 }
 
 
-void multi_val::dump() const {
-  isl_multi_val_dump(get());
-}
-
-
 isl::multi_val multi_val::add(isl::multi_val multi2) const {
   auto res = isl_multi_val_add(copy(), multi2.release());
   return manage(res);
@@ -9022,11 +8885,6 @@
 }
 
 
-void point::dump() const {
-  isl_point_dump(get());
-}
-
-
 isl::point point::add_ui(isl::dim type, int pos, unsigned int val) const {
   auto res = isl_point_add_ui(copy(), static_cast<enum isl_dim_type>(type), pos, val);
   return manage(res);
@@ -9144,11 +9002,6 @@
 }
 
 
-void pw_aff::dump() const {
-  isl_pw_aff_dump(get());
-}
-
-
 isl::pw_aff pw_aff::add(isl::pw_aff pwaff2) const {
   auto res = isl_pw_aff_add(copy(), pwaff2.release());
   return manage(res);
@@ -9597,13 +9450,6 @@
 }
 
 
-
-void pw_aff_list::dump() const {
-  isl_pw_aff_list_dump(get());
-}
-
-
-
 // implementations for isl::pw_multi_aff
 isl::pw_multi_aff manage(__isl_take isl_pw_multi_aff *ptr) {
   return pw_multi_aff(ptr);
@@ -9692,11 +9538,6 @@
 }
 
 
-void pw_multi_aff::dump() const {
-  isl_pw_multi_aff_dump(get());
-}
-
-
 isl::pw_multi_aff pw_multi_aff::add(isl::pw_multi_aff pma2) const {
   auto res = isl_pw_multi_aff_add(copy(), pma2.release());
   return manage(res);
@@ -10065,11 +9906,6 @@
 }
 
 
-void pw_qpolynomial::dump() const {
-  isl_pw_qpolynomial_dump(get());
-}
-
-
 isl::pw_qpolynomial pw_qpolynomial::add(isl::pw_qpolynomial pwqp2) const {
   auto res = isl_pw_qpolynomial_add(copy(), pwqp2.release());
   return manage(res);
@@ -10357,12 +10193,6 @@
 }
 
 
-
-void qpolynomial::dump() const {
-  isl_qpolynomial_dump(get());
-}
-
-
 isl::qpolynomial qpolynomial::add(isl::qpolynomial qp2) const {
   auto res = isl_qpolynomial_add(copy(), qp2.release());
   return manage(res);
@@ -10655,11 +10485,6 @@
 }
 
 
-void schedule::dump() const {
-  isl_schedule_dump(get());
-}
-
-
 isl::schedule schedule::align_params(isl::space space) const {
   auto res = isl_schedule_align_params(copy(), space.release());
   return manage(res);
@@ -10820,11 +10645,6 @@
 }
 
 
-void schedule_constraints::dump() const {
-  isl_schedule_constraints_dump(get());
-}
-
-
 isl::schedule_constraints schedule_constraints::apply(isl::union_map umap) const {
   auto res = isl_schedule_constraints_apply(copy(), umap.release());
   return manage(res);
@@ -10976,11 +10796,6 @@
 }
 
 
-void schedule_node::dump() const {
-  isl_schedule_node_dump(get());
-}
-
-
 isl::schedule_node schedule_node::align_params(isl::space space) const {
   auto res = isl_schedule_node_align_params(copy(), space.release());
   return manage(res);
@@ -11374,11 +11189,6 @@
 }
 
 
-void set::dump() const {
-  isl_set_dump(get());
-}
-
-
 isl::set set::add_constraint(isl::constraint constraint) const {
   auto res = isl_set_add_constraint(copy(), constraint.release());
   return manage(res);
@@ -12094,13 +11904,6 @@
 }
 
 
-
-void set_list::dump() const {
-  isl_set_list_dump(get());
-}
-
-
-
 // implementations for isl::space
 isl::space manage(__isl_take isl_space *ptr) {
   return space(ptr);
@@ -12185,11 +11988,6 @@
 }
 
 
-void space::dump() const {
-  isl_space_dump(get());
-}
-
-
 isl::space space::add_dims(isl::dim type, unsigned int n) const {
   auto res = isl_space_add_dims(copy(), static_cast<enum isl_dim_type>(type), n);
   return manage(res);
@@ -12920,11 +12718,6 @@
 }
 
 
-void union_map::dump() const {
-  isl_union_map_dump(get());
-}
-
-
 isl::union_map union_map::add_map(isl::map map) const {
   auto res = isl_union_map_add_map(copy(), map.release());
   return manage(res);
@@ -13472,13 +13265,6 @@
 }
 
 
-
-void union_map_list::dump() const {
-  isl_union_map_list_dump(get());
-}
-
-
-
 // implementations for isl::union_pw_aff
 isl::union_pw_aff manage(__isl_take isl_union_pw_aff *ptr) {
   return union_pw_aff(ptr);
@@ -13567,11 +13353,6 @@
 }
 
 
-void union_pw_aff::dump() const {
-  isl_union_pw_aff_dump(get());
-}
-
-
 isl::union_pw_aff union_pw_aff::add(isl::union_pw_aff upa2) const {
   auto res = isl_union_pw_aff_add(copy(), upa2.release());
   return manage(res);
@@ -13794,13 +13575,6 @@
 }
 
 
-
-void union_pw_aff_list::dump() const {
-  isl_union_pw_aff_list_dump(get());
-}
-
-
-
 // implementations for isl::union_pw_multi_aff
 isl::union_pw_multi_aff manage(__isl_take isl_union_pw_multi_aff *ptr) {
   return union_pw_multi_aff(ptr);
@@ -13897,11 +13671,6 @@
 }
 
 
-void union_pw_multi_aff::dump() const {
-  isl_union_pw_multi_aff_dump(get());
-}
-
-
 isl::union_pw_multi_aff union_pw_multi_aff::add(isl::union_pw_multi_aff upma2) const {
   auto res = isl_union_pw_multi_aff_add(copy(), upma2.release());
   return manage(res);
@@ -14139,13 +13908,6 @@
 }
 
 
-
-void union_pw_multi_aff_list::dump() const {
-  isl_union_pw_multi_aff_list_dump(get());
-}
-
-
-
 // implementations for isl::union_pw_qpolynomial
 isl::union_pw_qpolynomial manage(__isl_take isl_union_pw_qpolynomial *ptr) {
   return union_pw_qpolynomial(ptr);
@@ -14465,11 +14227,6 @@
 }
 
 
-void union_set::dump() const {
-  isl_union_set_dump(get());
-}
-
-
 isl::union_set union_set::add_set(isl::set set) const {
   auto res = isl_union_set_add_set(copy(), set.release());
   return manage(res);
@@ -14823,13 +14580,6 @@
 }
 
 
-
-void union_set_list::dump() const {
-  isl_union_set_list_dump(get());
-}
-
-
-
 // implementations for isl::val
 isl::val manage(__isl_take isl_val *ptr) {
   return val(ptr);
@@ -14914,11 +14664,6 @@
 }
 
 
-void val::dump() const {
-  isl_val_dump(get());
-}
-
-
 isl::val val::two_exp() const {
   auto res = isl_val_2exp(copy());
   return manage(res);
@@ -15240,12 +14985,6 @@
 }
 
 
-
-void val_list::dump() const {
-  isl_val_list_dump(get());
-}
-
-
 } // namespace noexceptions
 } // namespace isl
 
Index: lib/External/isl/isl-noexceptions.cpp
===================================================================
--- /dev/null
+++ lib/External/isl/isl-noexceptions.cpp
@@ -0,0 +1,182 @@
+#include <isl/isl-noexceptions.h>
+
+void isl::aff::dump() const {
+	isl_aff_dump(get());
+}
+
+void isl::aff_list::dump() const {
+	isl_aff_list_dump(get());
+}
+
+void isl::ast_expr::dump() const {
+	isl_ast_expr_dump(get());
+}
+
+void isl::ast_expr_list::dump() const {
+	isl_ast_expr_list_dump(get());
+}
+
+void isl::ast_node::dump() const {
+	isl_ast_node_dump(get());
+}
+
+void isl::ast_node_list::dump() const {
+	isl_ast_node_list_dump(get());
+}
+
+void isl::band_list::dump() const {
+	isl_band_list_dump(get());
+}
+
+void isl::basic_map::dump() const {
+	isl_basic_map_dump(get());
+}
+
+void isl::basic_map_list::dump() const {
+	isl_basic_map_list_dump(get());
+}
+
+void isl::basic_set::dump() const {
+	isl_basic_set_dump(get());
+}
+
+void isl::basic_set_list::dump() const {
+	isl_basic_set_list_dump(get());
+}
+
+void isl::constraint::dump() const {
+	isl_constraint_dump(get());
+}
+
+void isl::constraint_list::dump() const {
+	isl_constraint_list_dump(get());
+}
+
+void isl::id::dump() const {
+	isl_id_dump(get());
+}
+
+void isl::id_list::dump() const {
+	isl_id_list_dump(get());
+}
+
+void isl::id_to_ast_expr::dump() const {
+	isl_id_to_ast_expr_dump(get());
+}
+
+void isl::local_space::dump() const {
+	isl_local_space_dump(get());
+}
+
+void isl::map::dump() const {
+	isl_map_dump(get());
+}
+
+void isl::map_list::dump() const {
+	isl_map_list_dump(get());
+}
+
+void isl::multi_aff::dump() const {
+	isl_multi_aff_dump(get());
+}
+
+void isl::multi_pw_aff::dump() const {
+	isl_multi_pw_aff_dump(get());
+}
+
+void isl::multi_union_pw_aff::dump() const {
+	isl_multi_union_pw_aff_dump(get());
+}
+
+void isl::multi_val::dump() const {
+	isl_multi_val_dump(get());
+}
+
+void isl::point::dump() const {
+	isl_point_dump(get());
+}
+
+void isl::pw_aff::dump() const {
+	isl_pw_aff_dump(get());
+}
+
+void isl::pw_aff_list::dump() const {
+	isl_pw_aff_list_dump(get());
+}
+
+void isl::pw_multi_aff::dump() const {
+	isl_pw_multi_aff_dump(get());
+}
+
+void isl::pw_qpolynomial::dump() const {
+	isl_pw_qpolynomial_dump(get());
+}
+
+void isl::qpolynomial::dump() const {
+	isl_qpolynomial_dump(get());
+}
+
+void isl::schedule::dump() const {
+	isl_schedule_dump(get());
+}
+
+void isl::schedule_constraints::dump() const {
+	isl_schedule_constraints_dump(get());
+}
+
+void isl::schedule_node::dump() const {
+	isl_schedule_node_dump(get());
+}
+
+void isl::set::dump() const {
+	isl_set_dump(get());
+}
+
+void isl::set_list::dump() const {
+	isl_set_list_dump(get());
+}
+
+void isl::space::dump() const {
+	isl_space_dump(get());
+}
+
+void isl::union_map::dump() const {
+	isl_union_map_dump(get());
+}
+
+void isl::union_map_list::dump() const {
+	isl_union_map_list_dump(get());
+}
+
+void isl::union_pw_aff::dump() const {
+	isl_union_pw_aff_dump(get());
+}
+
+void isl::union_pw_aff_list::dump() const {
+	isl_union_pw_aff_list_dump(get());
+}
+
+void isl::union_pw_multi_aff::dump() const {
+	isl_union_pw_multi_aff_dump(get());
+}
+
+void isl::union_pw_multi_aff_list::dump() const {
+	isl_union_pw_multi_aff_list_dump(get());
+}
+
+void isl::union_set::dump() const {
+	isl_union_set_dump(get());
+}
+
+void isl::union_set_list::dump() const {
+	isl_union_set_list_dump(get());
+}
+
+void isl::val::dump() const {
+	isl_val_dump(get());
+}
+
+void isl::val_list::dump() const {
+	isl_val_list_dump(get());
+}
+