repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
declare isl_pw_qpolynomial_from_range
2017-02-16
Sven
V
e
r
doola
e
ge
declare
i
sl_
p
w_q
p
ol
y
nomi
a
l
_
f
r
om_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-16
Sven Ve
r
doolaege
dec
l
are i
s
l_pw_aff_proj
e
c
t_domain_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-16
Sv
e
n Verdoolaege
declare isl_multi_aff_pla
i
n_cm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-16
Sven Verdoolaege
isl_verti
c
es
.
c: triangulate: fi
x
r
e
tu
r
n ty
p
e of callback
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-15
Sven Verdoolaege
isl_
v
er
t
ices_priv
a
te
.
h:
p
rotect
a
gainst
multiple incl
u
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-15
Sven Verdoolaege
isl_f
a
ctor
i
za
t
ion
.
h: protect a
g
ai
n
st multiple
i
ncl
u
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
is
l
_coalesce
.
c
: wraps_updat
e
_max: re
t
u
rn isl_
s
tat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
isl
_
coa
l
esce
.
c:
w
r
aps_init: return i
s
l_sta
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sv
e
n Verdoolaege
isl_aff
.
c:
f
ix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verd
o
olaege
isl_schedule_no
d
e
.
c
:
update
_
anc
e
sto
r
s
:
dro
p
unused
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sv
e
n Verdoolaege
isl_sc
h
edule_band
.
c: d
r
op unused var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
S
v
en Verdool
a
ege
i
sl_point
.
c:
i
s
l
_
prin
t
er_print_point: d
r
op unused va
r
i
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoo
l
aege
isl_m
a
p
_
simplify
.
c: uset_
g
i
st_fu
l
l: dr
o
p u
n
used variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
isl
_
fold
.
c:
a
dd_pw
q
p: drop un
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sv
e
n
Ve
r
doola
e
ge
isl_coalesce
.
c: har
m
on
i
ze_s
t
ride
_
divs: drop unus
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sve
n
V
erdoolaege
b
o
und
.
c: ver
i
fy_point: dro
p
unus
e
d v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
interface: up
d
ate to Co
m
pilerInstance::setInvocati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
S
v
en Verdoolaege
configure
.
ac:
move de
t
ecti
o
n
of
c
lang t
o
separ
a
te file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-06
S
ven Verdoolae
g
e
is
l
_union_{ma
p
,set}_contains: r
e
turn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-06
S
ven Verdoola
e
ge
isl_union_{
m
ap
,
set}_conta
i
ns:
d
rop
s
p
u
r
ious memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-06
Sven Verdoolaege
isl_union_{map,s
e
t}_contains: rename "dim" argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-31
Sven Verdo
o
laege
is
l
_
q
polynomial_as_polynomial_on_do
m
a
i
n: return
i
s
l
_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-31
Sven V
e
rdo
o
laege
isl_qpolynomial_bound_o
n
_
do
m
ai
n
_ber
n
stein: r
e
t
u
rn isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-31
Sven Verdool
a
ege
i
s
l_qpolynomial
_
b
ound_on_domain_ra
n
ge:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
rdoolaeg
e
is
l
_map
.
c: check_basi
c
_map_compatible_range_multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdoolaege
isl_map
.
c: check_
b
asic_map_comp
a
tibl
e
_ra
n
g
e_multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoolaege
i
sl
_
*_check_ma
t
ch_domai
n
_
s
pace: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoolaege
isl_
*
_check_match_domain_space: adjust to isl_space_match
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoolaege
isl_a
f
f
_
get_
d
e
n
om
i
nator: return isl_sta
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doolaege
i
s
l_basic_
{
se
t
,
map}_foreach_l
e
x
opt:
r
etu
r
n isl
_
stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n V
e
rdoolaege
isl_
s
et_s
c
a
n:
r
e
t
urn isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdo
o
la
e
g
e
isl
_
b
asic_set_scan: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdo
o
l
a
ege
isl_scan
.
c: scan_0D
:
ad
d
memory
m
a
n
agem
e
nt a
n
n
o
tati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaeg
e
isl_basic_set_sca
n
: add mem
o
ry manageme
n
t annot
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdoo
l
aege
isl_
s
chedu
l
er
.
c
:
count_map_constraints:
return isl_s
t
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaeg
e
i
sl_sc
h
eduler
.
c: count_all_constraints
:
return
isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl
_
scheduler
.
c:
add_all_constr
a
ints: r
e
turn i
s
l_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Verdoolaege
isl_vertices_foreach_{d
i
s
joint_
c
ell,simplex}: retu
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl
_
coalesce
.
c: a
d
d_wraps_a
r
ound_facet: r
e
tur
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
i
sl_coalesce
.
c: add_
w
raps: re
t
urn isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
ool
a
ege
isl_co
a
lesce
.
c: add_su
b
_vars: retu
r
n is
l
_st
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Verdoolaeg
e
isl_map_subtract
.
c
:
t
ab_
a
d
d
_
con
s
tra
i
nt: return
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n V
e
rd
o
olae
g
e
isl_map_su
b
tr
a
c
t
.
c: tab_add_divs: retur
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
i
s
l
_
map_su
b
tract
.
c: isl_d
i
ff_
c
o
llector
.
add: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Ve
r
doolaege
i
sl
_
map_
s
ubtract
.
c
:
tab_add_constraint
s
:
r
et
u
rn is
l
_s
t
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
o
o
la
e
ge
isl_set_foreach_orthan
t
: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Ver
d
ool
a
ege
is
l
_basic_s
e
t_dims_get_si
g
n: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_basic_set_vars_get_s
i
g
n:
retu
r
n isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_map
.
c: check_map_compatible_ran
g
e
_m
u
lti_af
f
: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doolaege
i
s
l_set_dim_residue_class: return isl_
s
tat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
V
erdool
a
ege
i
s
l_set_dim_residue_class: a
d
d memory management annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoo
l
aege
isl_basic_set_dim_residue_class: return
isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Ve
r
doolaege
is
l
_basi
c
_s
e
t_dim_residue_class:
a
dd memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdool
a
e
ge
isl_m
a
p
.
c: add
_
lower_div_constraint: re
t
ur
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Ve
r
doolaege
i
sl
_
map
.
c:
add
_
upper_d
i
v_cons
t
r
a
int: return i
s
l_st
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl
_
basic_m
a
p_free_d
i
v: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_t
a
b
.
c
:
add_d
i
v_constr
a
ints:
r
e
turn isl
_
stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doolaege
isl_tab
.
c: perform_un
d
o: r
e
t
urn isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdoolaege
i
sl_tab_callback
.
run: retu
r
n isl
_
stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaeg
e
is
l
_ta
b
.
c: perfo
r
m_undo_var: re
t
u
r
n isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
V
e
r
d
oola
e
ge
is
l
_tab
.
c: ununrestrict: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaege
isl_tab
.
c:
u
nrelax:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdoolaege
i
sl_tab
.
c
: drop_
r
o
w: return
isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doolaege
isl_tab
.
c: dro
p
_col: return isl_st
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdo
o
l
a
ege
is
l
_tab_trac
k
_b
s
et: r
e
turn isl_sta
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Ve
r
doo
l
aege
isl
_
tab_tr
a
ck_bmap:
r
e
t
u
rn isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_tab_add_ineq:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoolae
g
e
isl_tab
_
mark_empty: retu
r
n isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
olaege
isl_fold
.
c: join_
c
omp
a
tib
l
e:
r
et
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoo
l
aege
isl_fold
.
c: join
_
com
p
atibl
e
: ad
j
ust
to
i
sl_sp
a
ce_m
a
tch
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
i
s
l_fold
.
c: join_compatib
l
e: rename "
d
im" argumen
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Ve
r
d
o
o
laege
isl_*_matchin
g
_params: return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaeg
e
isl_*_matching_params: adjust to isl_space_match
returning
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en
V
erdoolaeg
e
is
l
_space
.
c: m
a
t
c
h: r
e
tu
r
n is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
r
doo
l
aege
isl_polynomial
.
c: compatible_divs:
ret
u
r
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Verdoola
e
ge
isl_mat_is_equal: re
t
urn
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaeg
e
isl
_
m
a
p
_conta
i
ns_p
o
int: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdo
o
lae
g
e
i
sl_v
e
rtices
.
c;
b
se
t
_covers_tab: return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_transiti
v
e_cl
o
s
u
re
.
c: isl_set_overlaps: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolae
g
e
isl_transitive_closu
r
e
.
c: parametric_con
s
tant_never_positive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdoolaege
isl_transitive_closure
.
c: is_eq_st
r
ide:
r
etu
r
n isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n
V
e
rdoolaege
isl_
s
chedul
e
r
.
c
:
has_
a
ny_defining
_
equ
a
l
it
y
: r
e
turn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdoola
e
ge
isl_
p
w_*_
h
as
_
equal_s
p
a
c
e
: re
t
urn
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
rdoolaege
isl_pw_tem
p
l
.
c: an
y
_divs
:
return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaeg
e
isl_tab_pip
.
c: parallel_const
r
ain
t
s: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n Ve
r
d
o
olaege
isl_ta
b
_
pi
p
.
c: need_s
p
lit*:
return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
o
olaege
isl_s
e
t_is_bounded: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_coal
e
s
c
e
.
c:
cont
a
in
s
: return
isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolae
g
e
is
l
_
c
oales
c
e
.
c: same_divs: ret
u
rn isl_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_
c
o
a
le
s
ce
.
c: sa
m
e_divs: adjus
t
to isl_b
a
s
ic
_
map_divs_know
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdool
a
ege
isl_coales
c
e
.
c
:
i
s_affecte
d
: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
oo
l
aege
isl_coalesce
.
c: has_nested_div: ret
u
r
n
i
sl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdool
a
e
g
e
isl_
m
ap_plain_is_singleton: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en
V
e
r
doo
l
a
e
ge
i
s
l_basic_m
a
p_plain_
i
s_singl
e
ton: retur
n
isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Ve
r
doo
l
aege
isl_set_has_rati
o
nal: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verdo
o
l
aege
isl_map_has_rational: retu
r
n
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdool
a
ege
isl_basic
_
map_has_ration
a
l: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
dool
a
ege
isl
_
basic_m
a
p_is_
r
ational: return
i
sl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaeg
e
is
l
_b
a
s
ic_s
e
t_has_definin
g
_
i
nequali
t
ies: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
rdoolae
g
e
i
sl_basic_set_has
_
defin
i
ng_
e
qu
a
lity: return
is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next