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
isl_union_map_compute_flow: use isl_union_map_{,domain_}factor_range
2015-01-23
Sven Verdoo
l
aeg
e
ad
d
isl_multi_union_pw_
a
ff_from_
m
ul
t
i_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add isl_mul
t
i_union_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
olaege
gene
r
ali
z
e is
l
_
m
ulti_*_gi
s
t and isl_mul
t
i
_*_intersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verd
o
olaege
extr
a
c
t
out isl_multi
_
gist
.
c and isl_multi
_
intersect
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdoolaege
extract out isl_mult
i
_macr
o
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdoolaege
streamline isl_mult
i
_*_{gist*,
i
nters
e
ct_
*
}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Verdoolaege
isl_union_pw_*_
a
li
g
n_pa
r
ams: ext
r
a
c
t out isl_union_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
isl_union_pw_*_al
i
gn_params:
d
r
op dead c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add isl_union_pw_aff_pu
l
lb
a
ck_un
i
on_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdoolaege
a
d
d i
s
l_union_map_from_u
n
ion_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoola
e
ge
add isl_union_pw_a
f
f_zero_
u
n
i
o
n
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdo
o
lae
g
e
add isl_u
n
i
o
n_pw_multi_af
f
_from_unio
n
_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdool
a
ege
add isl_unio
n
_pw_mult
i
_
aff
_
ge
t
_unio
n
_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add isl_union
_
p
w
_
aff_
m
o
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdoola
e
ge
add isl_union_
p
w_aff
_
aff_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdo
o
l
aege
add isl_unio
n
_pw_a
f
f_val_
o
n_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
V
e
rdoolaege
a
d
d isl_unio
n
_pw_aff_f
l
oor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdo
o
laege
add isl
_
u
n
ion
_
pw_aff_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
ve
n
Verdoolaege
a
d
d
i
s
l_un
i
on_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n
Verdoolaege
isl_output
.
c:
print
_
pw_aff_isl
:
extr
a
ct out print_pw_aff
_
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolae
g
e
isl_
u
ni
o
n_t
e
m
p
l
.
c: allow multi
p
le inclus
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven V
e
rdool
a
eg
e
add isl_union
_
map_domain_map_union_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
v
e
n
Verd
o
o
l
a
ege
add isl_unio
n
_pw
_
mult
i
_aff_pull
b
ack_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
doolaege
a
d
d
is
l
_
union_p
w
_multi_aff_fr
o
m_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n
Verdoolaege
a
d
d isl_union_pw
_
*_set_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdoolaege
add isl_union_pw_*_dr
o
p_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
olaege
add is
l
_union_pw_*_n_pw_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
olae
g
e
a
d
d isl_union_pw_*_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Verdoolaege
add i
s
l_
p
w
_
*_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoo
l
aege
add
isl_pw_mu
l
ti_aff_range_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add isl_
p
w
_
aff_
p
os_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdool
a
ege
i
s
l
_
pw
_
aff_nonneg_
s
et: merge
implementati
o
n with pw_aff_zer
o
_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdoolae
g
e
generalize isl_un
i
on
_
pw_qpolyno
m
ial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven
Verdoolaege
add
i
sl_multi_
*
_ne
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sv
e
n Verdoolaege
add isl_multi_
*
_mod_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sve
n
Verdo
o
l
a
e
ge
add isl_multi
_
val_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoo
l
aege
isl
_
i
n
put
.
c: r
e
ad_t
u
ple: se
p
arat
e
tuple pars
i
ng
from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
S
v
en Ve
r
doolaege
g
e
neralize
i
sl_mul
t
i
_
a
f
f_sub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolae
g
e
i
s
l_m
a
p
_
c
oalesce: harmonize i
n
tege
r
di
v
i
sions
t
h
at
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Ve
r
doo
l
aege
add i
s
l_tab_s
h
i
ft_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdool
a
ege
add isl_basic_
m
ap_shift_di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Verdoolaege
i
s
l_map_coale
s
ce: co
a
l
e
s
ce within
affine hull first
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
privately export isl_ba
s
ic_map_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Verdoolaege
isl_m
a
p_co
a
lesce: tr
y
and coalesce basic maps
w
ith
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
ven
V
erdoolaege
i
sl_co
a
lesce
.
c: is_adj_eq
_
e
xt
e
ns
i
on: a
l
low basic ma
p
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
erdoo
l
aege
isl_coalesce
.
c: fuse:
a
llow ba
s
ic maps to
have differe
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_ma
p
_coalesce: r
e
mov
e
hidden fac
t
ors from
constraint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
ad
d
isl_basic_map_r
e
duce_co
e
fficients
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaeg
e
isl_map_coalesce: handle divs that
have been simplifie
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
erdoolaege
private
l
y
expor
t
i
sl_aff_substitute_e
q
ualiti
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verd
o
olaege
add
i
sl_l
o
cal_s
p
a
ce_wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verd
o
o
l
aege
add isl_tab_insert_va
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Verdoolaege
isl_map_coalesce: check for sub
s
ets with smaller num
b
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
ad
d
isl_
b
asi
c
_map_p
l
ain_affine_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven
Verdoolaege
isl_coalesce
.
c: can_wrap_i
n
_fac
e
t
: only
wrap
f
acet
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n
V
erdo
o
laege
isl_coalesce
.
c
: can_wrap_in_facet: extr
a
ct out add
_
wraps_aro
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ve
r
d
o
olaege
isl_coa
l
e
s
ce
.
c
: check_ad
j
_eq: allow cut c
o
n
st
r
aints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Ver
d
oola
e
g
e
isl_coales
c
e
.
c: check_adj_eq: dro
p
redundant test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoola
e
ge
isl_coalesce
.
c: wrap_in
_
facets: chec
k
f
o
r numbe
r
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
isl_coale
s
ce
.
c
:
wrap_in_facets: only wrap
a
round other
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
isl_ma
p
_coalesce:
only wrap constraints that are not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdool
a
ege
isl_coalesce
.
c: add_wrap
s
: extract out
common add_wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
i
s
l_coales
c
e
.
c: fuse: co
p
y valid h
a
lf
of equ
a
lity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven
V
erdoolaege
isl_coalesce
.
c
:
f
u
se: ext
r
act
o
ut add_va
l
id_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdo
o
l
a
ege
add ext
r
a isl_
s
et_
c
oalesce test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sve
n
Verdoolaege
is
l
_test: gene
r
alize coalesce tests w
i
th unb
o
unde
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoo
l
aege
isl_coale
s
ce
.
c: contains: always
r
etu
r
n equalitie
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaeg
e
is
l
_coalesce_i
n
fo: add equ
a
l
i
ty and i
n
equa
l
ity typ
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoo
l
aege
isl_co
a
lesce
.
c:
c
o
n
tains: pa
s
s i
s
l_coalesce_in
f
o i
n
ste
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven V
e
rdoo
l
aege
isl_co
a
lesce
.
c: wraps_
u
pdate_max: pass isl_coalesce_info
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_
c
oale
s
ce
.
c: add_wraps: pass isl
_
c
oa
l
esce_info instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_map_coales
c
e: keep t
r
a
c
k of information
on basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n Verdoolae
g
e
is
l
_
c
oale
s
c
e
.
c: e
x
trac
t
out update_basic_maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoola
e
ge
isl_coalesce
.
c
: coalesced_s
u
bs
e
t
: sepa
r
ate check from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
S
ven Verdoolae
g
e
isl_coalesce
.
c
:
c
o
alesce:
keep track of how
a pair
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
S
ve
n
Verdoolaege
isl_coale
s
ce
.
c: is_a
d
j_eq_ext
e
nsion: alw
a
ys put
e
xtension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verd
o
ol
a
eg
e
isl_coalesc
e
.
c: fus
e
: always put f
u
sed b
a
sic map in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdo
o
l
aege
i
s
l
_coales
c
e
.
c
:
w
rap_in_facets: simpli
f
y
c
o
m
p
utation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
S
ve
n
Verd
o
olaege
isl_coalesce
.
c: check_eq_ad
j
_eq: all
o
w multiple
e
q
ualit
i
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
S
ven V
e
rd
o
olaeg
e
isl_
t
es
t
.
c: fix
w
hitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sv
e
n Verdoolaege
add i
s
l_b
a
sic_map_detect_inequalit
y
_pair
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdo
o
laege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2015-01-01
Sv
e
n Verdo
o
laege
isl_conve
x
_h
u
ll
.
c: comp
u
t
e
_facet:
a
void d
o
uble free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdo
o
laege
i
s
l_coales
c
e
.
c
: coale
s
ce_subset:
p
roperly indicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n
Ver
d
ool
a
ege
i
s
l_coalesce
.
c: set_fro
m
_updated_bmap: upd
a
te
underlyi
n
g set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Ver
d
oolaege
isl_co
a
lesce
.
c: ch
e
ck_face
t
s:
u
pdate ju
s
tification
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coalesce
.
c: check_facets:
m
a
rk
t
a
bleau rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoolaege
a
d
d
isl_tab_ma
r
k_r
a
tional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdoolaege
isl_
c
oalesce
.
c: fix typos
i
n comment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ver
d
oolaege
isl_c
o
alesc
e
.
c: can_wra
p
_in_facet: update comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en V
e
r
d
o
olaege
isl_co
a
lesce
.
c
: c
h
ec
k
_
w
rap
:
updat
e
comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_tab_relax: return int instead of i
s
l_t
a
b *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verd
o
o
l
ae
g
e
is
l
_tab_relax:
a
v
oid NULL poi
n
ter dereference
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n
Verdoolaege
i
s
l
_
tab_add_eq: p
r
opagate errors of drop_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
e
ge
isl_tab
.
c: perform_undo_var: p
r
opaga
t
e err
o
rs of
drop_
r
o
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoo
l
a
eg
e
isl_t
a
b_
m
in_at_most_n
e
g_one
:
be
c
ons
i
stent about r
e
turning
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoola
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdoolaege
i
s
l_ast_build_ast_
f
rom_s
c
hedule: remove re
d
undant co
n
st
r
ai
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
a
dd isl_
u
nion_{set,map}_remove_redun
d
ancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_ast_b
u
ild_expr
.
c: i
s
l_ast_expr_
a
dd_term: allow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next