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
doc: fix typo
2012-11-22
Sven Verdoolaege
doc:
f
i
x typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-21
Sven Ver
d
oolaege
add befo
r
e
_eac
h
_for/after_ea
c
h
_
for callba
c
k
s
commit
|
commitdiff
|
tree
2012-11-21
S
v
e
n
Verdoola
e
g
e
isl_ast
_
build_from_conte
x
t: allow unnam
e
d set
d
imens
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven V
e
rdoolaege
isl_ba
s
i
c
_map_gist:
d
r
o
p irrelevant con
s
t
ra
i
nts
f
rom
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verd
o
olaeg
e
isl_map_simpli
f
y
.
c: fix
ty
p
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en V
e
rdoola
e
ge
isl_ast_
b
uild_eliminate_divs: remove u
n
k
n
own divs
b
efor
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
ven Verdoola
e
ge
isl_a
f
fine_hull
.
c: affi
n
e
_
hull_
w
ith_cone:
p
lug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n V
e
rdoolaege
c
h
a
nge protot
y
p
e of isl_factorizer_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
e
rdoolaege
isl_
t
ab
_
sam
p
l
e: perform greedy sear
c
h before
performing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_tab_s
a
mple: extra
c
t out c
o
mp
u
te
_
min and compute_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
ven Verd
o
olaege
isl_tab
_
sample: t
r
eat
e
mptiness of tabl
e
au as erro
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sven Verdoola
e
ge
AST generation: fix handling of s
e
p
a
ration cl
a
sses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdoo
l
aege
isl_printer_
p
ri
n
t_{basic_,}{set,
m
ap
}
: don't start
new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n V
e
r
doolaege
isl_printer
_
pr
i
nt_space: sup
p
ort print
i
ng
in "omeg
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ver
d
o
ola
e
ge
r
e
name is
l
_basic_set_add to is
l
_ba
s
ic_set_add
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_no
r
malize
:
plug i
n
divs wit
h
unit coeffi
c
ient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Ve
r
d
o
o
laege
isl_local_
s
pace_substitute_
s
e
q: ta
k
e argument for
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_f
l
oor: normalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rd
o
olaege
isl_aff_ce
i
l: compute ceil(e/m
)
as floor((e + m - 1)/m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
S
v
e
n
Verdoolaege
isl
_
af
f
_gist: add missing isl_vec_
c
ow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdool
a
ege
isl_union_set_
c
om
p
ute_schedu
l
e: double check that
w
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
S
v
e
n Verdoolaeg
e
isl_unio
n
_set_compu
t
e_sched
u
le: ensure carry_d
e
pendences
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
S
ven Verdoolaege
update f
o
r chang
e
i
n
c
lang's DiagnosticOpt
i
on
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdoolaege
isl_map_plain_
i
s
_
disjoint: h
a
n
d
l
e inputs with
d
iffere
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven Ve
r
doolaege
add README
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
An
d
reas Kloeckn
e
r
Intro
d
uce
i
sl_int_free_str to remove GMP dependency
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
S
v
e
n Ve
r
d
oolaeg
e
is
l
_union
_
set_compute_sch
e
d
ule:
handle result
w
ith
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sven Ve
r
doolaege
isl_ast_codegen
.
c: gene
r
ate_
d
omain
:
postpone single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoolaege
isl
_
ast
_
build_ast
_
from_schedule: m
a
ke c
o
n
s
tru
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
S
ven Verdoolaege
i
s
l_ast_build_as
t
_from_schedul
e
: use "<" if
u
ppe
r
b
o
und
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Ve
r
doolaege
is
l
_a
s
t_expr: add isl
_
ast_op_
l
t and isl_ast_o
p
_gt ope
r
a
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
S
v
en Verd
o
o
laege
add
i
sl_basic_set_from_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_expr_from_aff: try ha
r
der to u
s
e
is
l
_ast_op_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Verd
o
o
l
a
ege
isl_ast_build_expr
.
c: separate ou
t
extract_mo
d
ulo function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ve
r
do
o
laege
isl_ast_build_exp
r
.
c
: fix ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast
_
b
u
il
d
_expr
.
c:
remove
r
emn
a
nts of co
d
e removed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sven V
e
rdoolae
g
e
add extr
a
AS
T
ge
n
eration test case from CLo
o
G
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ver
d
o
o
laege
isl_
p
r
i
n
ter_print_str: han
d
le NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n Verdoolaege
isl_ast_expr_mod: pe
r
form missing multip
l
ication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosser
M
a
ke s
e
d expression i
n
M
a
kefile compatibl
e
wi
t
h BSD
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_
i
d
_
set_free_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_printer
_
pr
i
nt
_
pw_aff:
u
se isl_ast_exp
r
when
printing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
o
olaege
add
s
upport fo
r
ge
n
e
r
a
ti
n
g ASTs f
r
om schedule relat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rdoo
l
aege
add ISL_CTX_{GE
T
,SET
}
_STR_
D
EF m
a
cros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
e
r
d
oolaege
d
o
c
:
separate out polyhedr
a
l compi
l
ation fu
n
ction
a
lit
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Ve
r
doolaege
add isl_set
_
d
i
m_
h
as_{
l
ower,upper}_bou
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
isl_b
a
s
ic
_
set_substitu
t
e: ch
e
ck that input affine expre
s
sion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaeg
e
isl_pw_m
u
l
t
i
_
aff
_
substitute: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaeg
e
i
sl_bas
i
c
_map_a
l
ign_divs: fix pote
n
tial
i
nvalid
a
c
c
es
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_p
w
_mult
i
_a
f
f_from_map
:
d
et
e
c
t
stride
s
in ou
t
put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_m
u
lti_aff_f
r
om_map: detect
e
asy flo
o
rs directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
pr
i
vat
e
ly exp
o
rt isl_m
a
p_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add
isl_pw_*_pul
l
back_pw_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw_*_pul
l
b
ack_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdo
o
laege
add isl_multi_aff_pullbac
k
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ver
d
o
ola
e
ge
a
d
d isl_aff_pull
b
ac
k
_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add isl_local_spa
c
e_pre
i
mage_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
a
dd i
s
l_set_preimage_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
o
o
laege
add isl_s
e
t_preimage_m
u
lt
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verd
o
olaege
add isl_basi
c
_set_preima
g
e_
m
ulti_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
oolaeg
e
isl_stream_new_str: fail on
N
ULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
a
eg
e
private
l
y export
i
sl_multi_aff_al
i
gn
_
div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add isl_b
a
sic
_
set
_
add_div_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_map_is_subset:
support rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
i
s
l_strea
m
_
r
ead_map:
f
ix pa
r
sing of
Omega inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_stre
a
m_read_map: add
p
artial
s
upport for reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
i
s
l
_
pw_aff_nonneg_set: return a rationa
l
set if the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Verdoolaege
isl_pw_aff_zero_set: return a rational set if t
h
e
inp
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolae
g
e
add isl_pw_aff_l
i
st_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdo
o
laege
a
dd isl_pw_aff_se
t
_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erd
o
o
l
aege
privately
e
xport isl_set_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add isl_set
_
has_ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
re
i
mple
m
ent isl_stream_read_af
f
in terms of isl_stream_r
e
ad_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
decla
r
e is
l
_s
t
rea
m
_read_m
u
lti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoo
l
aege
isl_stream_
r
ead_m
u
lti_aff: read tuples
direct
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_input
.
c: change tu
p
le parsin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
ad
d
isl_pw_multi_aff_range_
p
roduc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
ge
add isl_multi_*_
s
pli
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdoolaeg
e
a
d
d isl
_
m
ulti
_
*_ra
n
ge
_
spl
i
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolae
g
e
add
isl_multi_*_set_
t
uple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add i
s
l_multi_*_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolae
g
e
add is
l
_multi
_
*_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add isl
_
multi_*
_
in
s
ert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdoolaege
add isl_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add i
s
l
_
m
u
lti
_
aff_from_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
isl_multi_te
m
p
l
.
c:
r
ename
align_
p
arams_multi_set_and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_mul
t
i_tem
p
l
.
h
: avoi
d
refe
r
ence to ex
p
licit
element
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
isl_multi_*_rese
t
_spac
e
_and_
d
omain: call
i
sl_*_
r
e
set_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
oolae
g
e
generalize isl_multi_aff_flat_range
_
product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
g
e
neral
i
ze
i
sl_multi_aff_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
g
eneralize isl
_
m
u
lti_aff_set_di
m
_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaeg
e
ge
n
e
r
alize isl_multi_aff_
z
ero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
generalize isl_multi
_
aff_
i
d
entity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdo
o
laege
add isl_pw
_
aff_zero_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
olaege
add isl
_
pw_aff_var_on_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaeg
e
add isl_aff
_
var_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verdoo
l
aege
isl_inpu
t
.
c:
o
bj_read_body:
s
implify error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_basic_set_drop_constraints_not_in
v
olv
i
ng_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
r
d
oolaege
add isl_{set
,
map}_drop_con
s
t
raints_
i
nvolving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
ad
d
isl_se
t
_
u
nshifted_sim
p
le_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next