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
add isl_union_pw_multi_aff_get_union_pw_aff
2015-01-23
Sven Ver
d
oolaege
add
isl_un
i
on_pw_multi_aff_get_union_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoolaege
add isl_uni
o
n_pw_af
f
_
m
od_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Verdoolaege
add isl_union_pw_aff_aff_
o
n_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
ven V
e
rdoola
e
ge
a
dd isl_un
i
on_pw_aff_va
l
_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoo
l
a
ege
add isl
_
union_
p
w_aff_fl
o
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaeg
e
add
i
s
l
_u
n
ion_pw_aff_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add i
s
l
_
u
n
ion_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en V
e
rdoolaege
isl_
o
ut
p
ut
.
c: print_
p
w_aff_isl: extract out print_
p
w_
a
ff_body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n
V
erdoolaeg
e
isl_union_t
e
mpl
.
c: allow multip
l
e inclusion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
V
e
rdoo
l
aege
add isl_union_map_doma
i
n_
m
a
p_union_pw_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
ola
e
ge
add isl_union_pw_multi_a
f
f
_pullb
a
ck_union_
p
w_mu
l
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
ven
V
e
r
doolaege
add isl_unio
n
_pw_multi_aff_fro
m
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdoolaege
add isl_union_pw_*_set_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
d
oolaeg
e
a
d
d isl_union_pw_*_drop_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add i
s
l_union_
p
w
_*_n
_
pw_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
a
dd isl_union_p
w
_*_reset_u
s
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Ver
d
o
olaege
a
d
d isl_pw_*_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n
V
e
rdoolaege
a
d
d isl_pw_
m
ult
i
_aff_range_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdoola
e
ge
add
i
s
l
_
pw_aff_pos_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
v
e
n
V
erdoolaege
isl_pw_af
f
_
nonn
e
g_set:
m
erge implem
e
ntation with pw_
a
ff_zero
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erd
o
olaege
generalize isl_union_pw_qpolyn
o
mial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Tobias Gr
o
sser
Fix so
m
e
typos in comment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven
Verdoolaege
add
isl_multi_*_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
add
isl
_
mult
i
_
*_mod
_
multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
S
ven Verdoo
l
ae
g
e
a
dd isl_m
u
l
t
i_val_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven
V
erdool
a
ege
isl_inpu
t
.
c: re
a
d_tuple:
s
epara
t
e tuple parsing from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
S
ven Verdoolaege
ge
n
erali
z
e isl_mu
l
ti_af
f
_sub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven van Haa
s
tregt
doc:
c
lar
i
f
y
list ca
p
a
city
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
S
v
en Ver
d
oolaege
isl_map_coalesce: harmonize integer division
s
that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolae
g
e
add isl_tab_
s
hi
f
t_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoo
l
a
e
ge
add is
l
_basic_m
a
p
_
s
h
ift_
d
iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ver
d
oolaege
isl_map_coa
l
es
c
e: coa
l
esce withi
n
a
f
fine hull first
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
privately expor
t
i
sl_basic
_
m
ap
_
g
et_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdool
a
ege
isl_
m
ap_coalesce: try and coalesce basic maps with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verd
o
olae
g
e
isl_coalesc
e
.
c: i
s
_adj_eq_ex
t
ension: allow basi
c
m
aps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolae
g
e
isl_coal
e
sce
.
c: fus
e
: allow basic maps
to have differ
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_map
_
coalesce:
re
m
ove hidden factors
f
rom co
n
straint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoo
l
aege
add isl_basic_map_reduce
_
coefficients
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
v
e
n Verd
o
olaege
i
sl
_
m
ap_coales
c
e: handle divs that hav
e
been simplified
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ve
r
d
oolaege
priv
a
tely
e
x
p
o
r
t isl_aff_substitute_equali
t
ies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
erdoolaeg
e
add isl_local_space_wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
ven
V
e
rdoolaege
add isl_ta
b
_insert_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Ver
d
ool
a
eg
e
isl_ma
p
_coale
s
ce: check
f
or
s
ubsets
with smaller number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoo
l
aege
add
isl_basic
_
map_plain
_
a
f
fine_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Ver
d
oolaege
isl
_
coalesce
.
c: can_w
r
a
p
_
in_fac
e
t: only wr
a
p facet
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Verdoolaege
is
l
_coalesce
.
c: can_wrap_
i
n_facet: extract out
a
dd_wr
a
p
s
_a
r
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_coalesce
.
c
: check_a
d
j_eq: allow
c
ut constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verdool
a
ege
isl
_
coalesce
.
c: check_adj_eq: d
r
op red
u
ndant te
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven
Verdool
a
ege
isl_coalesce
.
c
: wrap_in
_
facets
:
c
heck for number of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven V
e
rdoolaege
isl_coalesce
.
c: w
r
ap
_
in_
f
ac
e
ts: onl
y
wrap aro
u
nd other
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
isl_map_coalesce:
only wrap const
r
aints that
a
re not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
S
ven Verdo
o
laege
is
l
_coalesce
.
c: add_wr
a
ps: extr
a
c
t
out
c
om
m
on add_wr
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
S
v
en
Verdoolaege
isl_coalesce
.
c
:
fuse:
c
opy valid half of equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ve
r
dool
a
ege
i
s
l
_
coalesce
.
c
:
fu
s
e:
extract out a
d
d_v
a
lid_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
add extra isl
_
set_coal
e
sce test
case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
is
l
_test: gene
r
al
i
ze coalesce t
e
sts
w
it
h
unbounded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n Verdoolaeg
e
isl_coalesce
.
c: co
n
ta
i
ns:
always r
e
turn equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verd
o
o
l
aege
isl_coalesce_info: add equality
and i
n
equalit
y
types
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ver
d
oolaege
isl
_
coalesce
.
c: c
o
ntain
s
:
pass i
s
l_coale
s
c
e
_info
i
ns
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_coale
s
c
e
.
c: wraps_update_max: pass isl_coa
l
esce_info
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
S
ven
V
erdoolaege
isl_c
o
ales
c
e
.
c:
a
dd_wraps: p
a
ss isl_co
a
les
c
e
_
info inst
e
ad
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven
Verdoolaege
isl_map_coalesce: keep trac
k
o
f
info
r
matio
n
on
b
asi
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdool
a
ege
i
s
l_coalesc
e
.
c: e
x
trac
t
out upda
t
e_basi
c
_maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
S
ven Verdo
o
laege
isl_coalesce
.
c: coales
c
ed_subs
e
t
:
separate check from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verd
o
olaege
isl_
c
oalesc
e
.
c: coalesce:
keep track of how a pair
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven
Verdoola
e
g
e
i
sl_c
o
a
l
e
sce
.
c: is_ad
j
_eq_ex
t
ension: always put extension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven
V
erdoolaege
isl_coalesce
.
c: fuse: always put fused b
a
sic
m
ap i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven
Verdoolaege
isl_coa
l
es
c
e
.
c: wrap_in_f
a
c
e
ts: s
i
m
p
lify computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
isl_coalesce
.
c
:
c
h
e
ck_eq_adj_eq: al
l
ow mult
i
ple equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven V
e
r
doolaege
isl_
t
est
.
c:
f
ix whit
e
s
p
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sve
n
Verdoolaege
add isl
_
basic
_
map_detect_in
e
quality_pairs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
S
v
e
n Verdo
o
laege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2015-01-01
S
ven
V
erdoolaege
i
s
l_convex_hull
.
c:
compute_face
t
: a
v
oid double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doolaege
isl_coalesce
.
c
:
coalesce_subset: properly i
n
dicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laege
is
l
_coal
e
s
c
e
.
c: set_from_updated_bmap: update underl
y
ing set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
o
laeg
e
isl_co
a
le
s
c
e
.
c
:
ch
e
ck_f
a
c
e
ts
:
update just
i
fication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaeg
e
isl
_
coalesce
.
c: chec
k
_facets
:
m
a
r
k
t
abl
e
au ra
t
ional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Verdool
a
ege
a
d
d isl_tab_mark_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaege
i
sl_coal
e
sce
.
c: fix
t
y
p
os in co
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
rdoo
l
aege
isl_coalesce
.
c: can_wrap_in
_
facet: up
d
ate com
m
en
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoola
e
ge
isl_coalesce
.
c: check_wrap:
update comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_tab
_
r
elax: retu
r
n in
t
in
s
tea
d
of isl
_
tab *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
e
r
do
o
laege
isl
_
tab_relax: avoid NUL
L
poi
n
t
e
r der
e
f
e
rence
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
ege
i
sl_tab_add_e
q
: propagate
e
r
r
ors of
drop_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
e
r
do
o
l
a
e
g
e
isl_tab
.
c: p
e
rform_undo_var:
propag
a
te errors of
d
rop_r
o
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verd
o
ola
e
ge
isl_tab
_
min
_
at_most_neg_
o
ne
:
b
e
consi
s
tent about
r
eturning
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doolaege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
rdo
o
laege
isl_
a
st_build_ast_from_sc
h
edule: remov
e
r
edundant
c
onstrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
do
o
laege
add is
l
_union_{set,map}_re
m
ove_red
u
ndancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdoo
l
aege
isl
_
ast_build_expr
.
c: isl_a
s
t
_
expr_
a
dd
_
term: allow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Ver
d
oolaege
i
sl_ast_codegen
.
c:
a
dd_implied_
g
uar
d
s: combine de
g
enerate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_
a
st_b
u
ild_expr
.
c: isl_ast_expr_a
d
d_term: st
o
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaege
i
s
l_ast_build_e
x
pr
.
c: try_ex
t
ract_mod: declare variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven
Verdo
o
laege
AST generator: sele
c
t
unroll l
o
wer bound introd
u
cing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
isl_ast_codegen
.
c: move up at
_
offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven
Verdool
a
ege
isl_ast_codegen
.
c: extract ou
t
is_be
t
ter_lower_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-19
Sven Verdoolaege
isl_prin
t
er
_
fl
u
sh:
a
ctually cle
a
r
buffer whe
n
called
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sv
e
n
Ver
d
oolae
g
e
isl_map_g
i
st: try
a
nd
exploit implicit co
n
straints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
isl_te
s
t
.
c:
t
es
t
_gist
:
conside
r
test
inputs as sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoolaege
add isl_
m
ap_
u
nshifted_simple_
h
ul
l
_fro
m
_map_l
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next