Skip to content

Commit

Permalink
Update 2 packages
Browse files Browse the repository at this point in the history 
mingw-w64-i686-isl (0.26-1 -> 0.27-1)
mingw-w64-x86_64-isl (0.26-1 -> 0.27-1)

Signed-off-by: Git for Windows Build Agent <[email protected]>
  • Loading branch information
Git for Windows Build Agent committed Sep 6, 2024
1 parent ab5c1de commit 82226d4
Show file tree
Hide file tree
Showing 41 changed files with 637 additions and 383 deletions.
Binary file modified mingw32/bin/libisl-23.dll
View file
Binary file not shown.
387 changes: 204 additions & 183 deletions mingw32/include/isl/cpp.h
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions mingw32/include/isl/ctx.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -91,6 +91,7 @@ typedef enum {
isl_bool_false = 0,
isl_bool_true = 1
} isl_bool;
isl_stat isl_stat_non_error_bool(isl_bool b);
isl_bool isl_bool_not(isl_bool b);
isl_bool isl_bool_ok(int b);
typedef int isl_size;
Expand Down
3 changes: 3 additions & 0 deletions mingw32/include/isl/map.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -143,6 +143,9 @@ __isl_give isl_basic_map *isl_map_unshifted_simple_hull_from_map_list(
__isl_take isl_map *map, __isl_take isl_map_list *list);

__isl_export
__isl_give isl_basic_map *isl_basic_map_intersect_params(
__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset);
__isl_export
__isl_give isl_basic_map *isl_basic_map_intersect_domain(
__isl_take isl_basic_map *bmap,
__isl_take isl_basic_set *bset);
Expand Down
2 changes: 2 additions & 0 deletions mingw32/include/isl/polynomial.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -132,6 +132,8 @@ __isl_give isl_qpolynomial *isl_qpolynomial_from_constraint(
__isl_take isl_constraint *c, enum isl_dim_type type, unsigned pos);
__isl_give isl_qpolynomial *isl_qpolynomial_from_term(__isl_take isl_term *term);
__isl_give isl_qpolynomial *isl_qpolynomial_from_aff(__isl_take isl_aff *aff);
isl_bool isl_qpolynomial_isa_aff(__isl_keep isl_qpolynomial *qp);
__isl_give isl_aff *isl_qpolynomial_as_aff(__isl_take isl_qpolynomial *qp);
__isl_give isl_basic_map *isl_basic_map_from_qpolynomial(
__isl_take isl_qpolynomial *qp);

Expand Down
4 changes: 2 additions & 2 deletions mingw32/include/isl/stdint.h
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
#ifndef _ISL_INCLUDE_ISL_STDINT_H
#define _ISL_INCLUDE_ISL_STDINT_H 1
#ifndef _GENERATED_STDINT_H
#define _GENERATED_STDINT_H "isl 0.26"
/* generated using gnu compiler gcc.exe (Rev10, Built by MSYS2 project) 12.2.0 */
#define _GENERATED_STDINT_H "isl 0.27"
/* generated using gnu compiler gcc.exe (Rev1, Built by MSYS2 project) 14.2.0 */
#define _STDINT_HAVE_STDINT_H 1
#include <stdint.h>
#endif
Expand Down
96 changes: 96 additions & 0 deletions mingw32/include/isl/typed_cpp.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1094,7 +1094,9 @@ struct basic_map<Domain, Range> : public isl::basic_map {
inline typed::basic_map<Domain, Range> intersect_domain(const typed::point<Domain> &bset) const;
inline typed::map<Domain, Range> intersect_domain_wrapped_domain(const typed::set<> &domain) const = delete;
inline typed::union_map<Domain, Range> intersect_domain_wrapped_domain(const typed::union_set<> &domain) const = delete;
inline typed::basic_map<Domain, Range> intersect_params(const typed::basic_set<> &bset) const;
inline typed::map<Domain, Range> intersect_params(const typed::set<> &params) const;
inline typed::basic_map<Domain, Range> intersect_params(const typed::point<> &bset) const;
inline typed::basic_map<Domain, Range> intersect_range(const typed::basic_set<Range> &bset) const;
inline typed::map<Domain, Range> intersect_range(const typed::set<Range> &set) const;
inline typed::union_map<Domain, Range> intersect_range(const typed::space<Range> &space) const;
Expand Down Expand Up @@ -1309,7 +1311,9 @@ struct basic_map<pair<Domain, Range>, Range2> : public isl::basic_map {
inline typed::basic_map<pair<Domain, Range>, Range2> intersect_domain(const typed::point<pair<Domain, Range>> &bset) const;
inline typed::map<pair<Domain, Range>, Range2> intersect_domain_wrapped_domain(const typed::set<Domain> &domain) const;
inline typed::union_map<pair<Domain, Range>, Range2> intersect_domain_wrapped_domain(const typed::union_set<Domain> &domain) const;
inline typed::basic_map<pair<Domain, Range>, Range2> intersect_params(const typed::basic_set<> &bset) const;
inline typed::map<pair<Domain, Range>, Range2> intersect_params(const typed::set<> &params) const;
inline typed::basic_map<pair<Domain, Range>, Range2> intersect_params(const typed::point<> &bset) const;
inline typed::basic_map<pair<Domain, Range>, Range2> intersect_range(const typed::basic_set<Range2> &bset) const;
inline typed::map<pair<Domain, Range>, Range2> intersect_range(const typed::set<Range2> &set) const;
inline typed::union_map<pair<Domain, Range>, Range2> intersect_range(const typed::space<Range2> &space) const;
Expand Down Expand Up @@ -1522,7 +1526,9 @@ struct basic_map<Domain, Domain> : public isl::basic_map {
inline typed::basic_map<Domain, Domain> intersect_domain(const typed::point<Domain> &bset) const;
inline typed::map<Domain, Domain> intersect_domain_wrapped_domain(const typed::set<> &domain) const = delete;
inline typed::union_map<Domain, Domain> intersect_domain_wrapped_domain(const typed::union_set<> &domain) const = delete;
inline typed::basic_map<Domain, Domain> intersect_params(const typed::basic_set<> &bset) const;
inline typed::map<Domain, Domain> intersect_params(const typed::set<> &params) const;
inline typed::basic_map<Domain, Domain> intersect_params(const typed::point<> &bset) const;
inline typed::basic_map<Domain, Domain> intersect_range(const typed::basic_set<Domain> &bset) const;
inline typed::map<Domain, Domain> intersect_range(const typed::set<Domain> &set) const;
inline typed::union_map<Domain, Domain> intersect_range(const typed::space<Domain> &space) const;
Expand Down Expand Up @@ -1741,7 +1747,9 @@ struct basic_map<Domain, pair<Range, Range2>> : public isl::basic_map {
inline typed::basic_map<Domain, pair<Range, Range2>> intersect_domain(const typed::point<Domain> &bset) const;
inline typed::map<Domain, pair<Range, Range2>> intersect_domain_wrapped_domain(const typed::set<> &domain) const = delete;
inline typed::union_map<Domain, pair<Range, Range2>> intersect_domain_wrapped_domain(const typed::union_set<> &domain) const = delete;
inline typed::basic_map<Domain, pair<Range, Range2>> intersect_params(const typed::basic_set<> &bset) const;
inline typed::map<Domain, pair<Range, Range2>> intersect_params(const typed::set<> &params) const;
inline typed::basic_map<Domain, pair<Range, Range2>> intersect_params(const typed::point<> &bset) const;
inline typed::basic_map<Domain, pair<Range, Range2>> intersect_range(const typed::basic_set<pair<Range, Range2>> &bset) const;
inline typed::map<Domain, pair<Range, Range2>> intersect_range(const typed::set<pair<Range, Range2>> &set) const;
inline typed::union_map<Domain, pair<Range, Range2>> intersect_range(const typed::space<pair<Range, Range2>> &space) const;
Expand Down Expand Up @@ -1955,7 +1963,9 @@ struct basic_map<pair<T1, T2>, pair<T1, T2>> : public isl::basic_map {
inline typed::basic_map<pair<T1, T2>, pair<T1, T2>> intersect_domain(const typed::point<pair<T1, T2>> &bset) const;
inline typed::map<pair<T1, T2>, pair<T1, T2>> intersect_domain_wrapped_domain(const typed::set<T1> &domain) const;
inline typed::union_map<pair<T1, T2>, pair<T1, T2>> intersect_domain_wrapped_domain(const typed::union_set<T1> &domain) const;
inline typed::basic_map<pair<T1, T2>, pair<T1, T2>> intersect_params(const typed::basic_set<> &bset) const;
inline typed::map<pair<T1, T2>, pair<T1, T2>> intersect_params(const typed::set<> &params) const;
inline typed::basic_map<pair<T1, T2>, pair<T1, T2>> intersect_params(const typed::point<> &bset) const;
inline typed::basic_map<pair<T1, T2>, pair<T1, T2>> intersect_range(const typed::basic_set<pair<T1, T2>> &bset) const;
inline typed::map<pair<T1, T2>, pair<T1, T2>> intersect_range(const typed::set<pair<T1, T2>> &set) const;
inline typed::union_map<pair<T1, T2>, pair<T1, T2>> intersect_range(const typed::space<pair<T1, T2>> &space) const;
Expand Down Expand Up @@ -2171,7 +2181,9 @@ struct basic_map<pair<T1, T2>, pair<Range, Range2>> : public isl::basic_map {
inline typed::basic_map<pair<T1, T2>, pair<Range, Range2>> intersect_domain(const typed::point<pair<T1, T2>> &bset) const;
inline typed::map<pair<T1, T2>, pair<Range, Range2>> intersect_domain_wrapped_domain(const typed::set<T1> &domain) const;
inline typed::union_map<pair<T1, T2>, pair<Range, Range2>> intersect_domain_wrapped_domain(const typed::union_set<T1> &domain) const;
inline typed::basic_map<pair<T1, T2>, pair<Range, Range2>> intersect_params(const typed::basic_set<> &bset) const;
inline typed::map<pair<T1, T2>, pair<Range, Range2>> intersect_params(const typed::set<> &params) const;
inline typed::basic_map<pair<T1, T2>, pair<Range, Range2>> intersect_params(const typed::point<> &bset) const;
inline typed::basic_map<pair<T1, T2>, pair<Range, Range2>> intersect_range(const typed::basic_set<pair<Range, Range2>> &bset) const;
inline typed::map<pair<T1, T2>, pair<Range, Range2>> intersect_range(const typed::set<pair<Range, Range2>> &set) const;
inline typed::union_map<pair<T1, T2>, pair<Range, Range2>> intersect_range(const typed::space<pair<Range, Range2>> &space) const;
Expand Down Expand Up @@ -17191,13 +17203,27 @@ typed::basic_map<Domain, Range> typed::basic_map<Domain, Range>::intersect_domai
return typed::basic_map<Domain, Range>(res);
}

template <typename Domain, typename Range>
typed::basic_map<Domain, Range> typed::basic_map<Domain, Range>::intersect_params(const typed::basic_set<> &bset) const
{
auto res = isl::basic_map::intersect_params(bset);
return typed::basic_map<Domain, Range>(res);
}

template <typename Domain, typename Range>
typed::map<Domain, Range> typed::basic_map<Domain, Range>::intersect_params(const typed::set<> &params) const
{
auto res = isl::basic_map::intersect_params(params);
return typed::map<Domain, Range>(res);
}

template <typename Domain, typename Range>
typed::basic_map<Domain, Range> typed::basic_map<Domain, Range>::intersect_params(const typed::point<> &bset) const
{
auto res = isl::basic_map::intersect_params(bset);
return typed::basic_map<Domain, Range>(res);
}

template <typename Domain, typename Range>
typed::basic_map<Domain, Range> typed::basic_map<Domain, Range>::intersect_range(const typed::basic_set<Range> &bset) const
{
Expand Down Expand Up @@ -17891,13 +17917,27 @@ typed::union_map<pair<Domain, Range>, Range2> typed::basic_map<pair<Domain, Rang
return typed::union_map<pair<Domain, Range>, Range2>(res);
}

template <typename Domain, typename Range, typename Range2>
typed::basic_map<pair<Domain, Range>, Range2> typed::basic_map<pair<Domain, Range>, Range2>::intersect_params(const typed::basic_set<> &bset) const
{
auto res = isl::basic_map::intersect_params(bset);
return typed::basic_map<pair<Domain, Range>, Range2>(res);
}

template <typename Domain, typename Range, typename Range2>
typed::map<pair<Domain, Range>, Range2> typed::basic_map<pair<Domain, Range>, Range2>::intersect_params(const typed::set<> &params) const
{
auto res = isl::basic_map::intersect_params(params);
return typed::map<pair<Domain, Range>, Range2>(res);
}

template <typename Domain, typename Range, typename Range2>
typed::basic_map<pair<Domain, Range>, Range2> typed::basic_map<pair<Domain, Range>, Range2>::intersect_params(const typed::point<> &bset) const
{
auto res = isl::basic_map::intersect_params(bset);
return typed::basic_map<pair<Domain, Range>, Range2>(res);
}

template <typename Domain, typename Range, typename Range2>
typed::basic_map<pair<Domain, Range>, Range2> typed::basic_map<pair<Domain, Range>, Range2>::intersect_range(const typed::basic_set<Range2> &bset) const
{
Expand Down Expand Up @@ -18549,13 +18589,27 @@ typed::basic_map<Domain, Domain> typed::basic_map<Domain, Domain>::intersect_dom
return typed::basic_map<Domain, Domain>(res);
}

template <typename Domain>
typed::basic_map<Domain, Domain> typed::basic_map<Domain, Domain>::intersect_params(const typed::basic_set<> &bset) const
{
auto res = isl::basic_map::intersect_params(bset);
return typed::basic_map<Domain, Domain>(res);
}

template <typename Domain>
typed::map<Domain, Domain> typed::basic_map<Domain, Domain>::intersect_params(const typed::set<> &params) const
{
auto res = isl::basic_map::intersect_params(params);
return typed::map<Domain, Domain>(res);
}

template <typename Domain>
typed::basic_map<Domain, Domain> typed::basic_map<Domain, Domain>::intersect_params(const typed::point<> &bset) const
{
auto res = isl::basic_map::intersect_params(bset);
return typed::basic_map<Domain, Domain>(res);
}

template <typename Domain>
typed::basic_map<Domain, Domain> typed::basic_map<Domain, Domain>::intersect_range(const typed::basic_set<Domain> &bset) const
{
Expand Down Expand Up @@ -19239,13 +19293,27 @@ typed::basic_map<Domain, pair<Range, Range2>> typed::basic_map<Domain, pair<Rang
return typed::basic_map<Domain, pair<Range, Range2>>(res);
}

template <typename Domain, typename Range, typename Range2>
typed::basic_map<Domain, pair<Range, Range2>> typed::basic_map<Domain, pair<Range, Range2>>::intersect_params(const typed::basic_set<> &bset) const
{
auto res = isl::basic_map::intersect_params(bset);
return typed::basic_map<Domain, pair<Range, Range2>>(res);
}

template <typename Domain, typename Range, typename Range2>
typed::map<Domain, pair<Range, Range2>> typed::basic_map<Domain, pair<Range, Range2>>::intersect_params(const typed::set<> &params) const
{
auto res = isl::basic_map::intersect_params(params);
return typed::map<Domain, pair<Range, Range2>>(res);
}

template <typename Domain, typename Range, typename Range2>
typed::basic_map<Domain, pair<Range, Range2>> typed::basic_map<Domain, pair<Range, Range2>>::intersect_params(const typed::point<> &bset) const
{
auto res = isl::basic_map::intersect_params(bset);
return typed::basic_map<Domain, pair<Range, Range2>>(res);
}

template <typename Domain, typename Range, typename Range2>
typed::basic_map<Domain, pair<Range, Range2>> typed::basic_map<Domain, pair<Range, Range2>>::intersect_range(const typed::basic_set<pair<Range, Range2>> &bset) const
{
Expand Down Expand Up @@ -19995,13 +20063,27 @@ typed::union_map<pair<T1, T2>, pair<T1, T2>> typed::basic_map<pair<T1, T2>, pair
return typed::union_map<pair<T1, T2>, pair<T1, T2>>(res);
}

template <typename T1, typename T2>
typed::basic_map<pair<T1, T2>, pair<T1, T2>> typed::basic_map<pair<T1, T2>, pair<T1, T2>>::intersect_params(const typed::basic_set<> &bset) const
{
auto res = isl::basic_map::intersect_params(bset);
return typed::basic_map<pair<T1, T2>, pair<T1, T2>>(res);
}

template <typename T1, typename T2>
typed::map<pair<T1, T2>, pair<T1, T2>> typed::basic_map<pair<T1, T2>, pair<T1, T2>>::intersect_params(const typed::set<> &params) const
{
auto res = isl::basic_map::intersect_params(params);
return typed::map<pair<T1, T2>, pair<T1, T2>>(res);
}

template <typename T1, typename T2>
typed::basic_map<pair<T1, T2>, pair<T1, T2>> typed::basic_map<pair<T1, T2>, pair<T1, T2>>::intersect_params(const typed::point<> &bset) const
{
auto res = isl::basic_map::intersect_params(bset);
return typed::basic_map<pair<T1, T2>, pair<T1, T2>>(res);
}

template <typename T1, typename T2>
typed::basic_map<pair<T1, T2>, pair<T1, T2>> typed::basic_map<pair<T1, T2>, pair<T1, T2>>::intersect_range(const typed::basic_set<pair<T1, T2>> &bset) const
{
Expand Down Expand Up @@ -20744,13 +20826,27 @@ typed::union_map<pair<T1, T2>, pair<Range, Range2>> typed::basic_map<pair<T1, T2
return typed::union_map<pair<T1, T2>, pair<Range, Range2>>(res);
}

template <typename T1, typename T2, typename Range, typename Range2>
typed::basic_map<pair<T1, T2>, pair<Range, Range2>> typed::basic_map<pair<T1, T2>, pair<Range, Range2>>::intersect_params(const typed::basic_set<> &bset) const
{
auto res = isl::basic_map::intersect_params(bset);
return typed::basic_map<pair<T1, T2>, pair<Range, Range2>>(res);
}

template <typename T1, typename T2, typename Range, typename Range2>
typed::map<pair<T1, T2>, pair<Range, Range2>> typed::basic_map<pair<T1, T2>, pair<Range, Range2>>::intersect_params(const typed::set<> &params) const
{
auto res = isl::basic_map::intersect_params(params);
return typed::map<pair<T1, T2>, pair<Range, Range2>>(res);
}

template <typename T1, typename T2, typename Range, typename Range2>
typed::basic_map<pair<T1, T2>, pair<Range, Range2>> typed::basic_map<pair<T1, T2>, pair<Range, Range2>>::intersect_params(const typed::point<> &bset) const
{
auto res = isl::basic_map::intersect_params(bset);
return typed::basic_map<pair<T1, T2>, pair<Range, Range2>>(res);
}

template <typename T1, typename T2, typename Range, typename Range2>
typed::basic_map<pair<T1, T2>, pair<Range, Range2>> typed::basic_map<pair<T1, T2>, pair<Range, Range2>>::intersect_range(const typed::basic_set<pair<Range, Range2>> &bset) const
{
Expand Down
Binary file modified mingw32/lib/libisl.a
View file
Binary file not shown.
Binary file modified mingw32/lib/libisl.dll.a
View file
Binary file not shown.
2 changes: 1 addition & 1 deletion mingw32/lib/pkgconfig/isl.pc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ suffix=

Name: isl
Description: isl Library
Version: 0.26
Version: 0.27
Requires:
Libs: -L${libdir} -L/mingw32/lib -lisl -lgmp
Cflags: -I${includedir} -I/mingw32/include
Binary file modified mingw64/bin/libisl-23.dll
View file
Binary file not shown.
Loading

0 comments on commit 82226d4

Please sign in to comment.