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_aff_normalize: plug in divs with unit coefficient in other divs
2012-11-13
Sven Ve
r
dool
a
ege
i
s
l_aff_norm
a
lize: plu
g
in divs w
i
th unit coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en Ve
r
doolaege
isl_local_sp
a
c
e_substitute_seq
:
t
ak
e
argument for the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Ve
r
doolae
g
e
isl_a
f
f_floor:
normal
i
ze result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
e
rd
o
olaege
isl
_
aff_c
e
il: c
o
mpute
c
eil(e/m) as floor((e + m - 1)/
m
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
S
v
en
V
e
rdoolaege
isl
_
aff_g
i
s
t
: add missing isl_ve
c
_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sve
n
Verdoolaege
isl_union_s
e
t_compute_schedule: d
o
uble check tha
t
w
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven V
e
rdoolae
g
e
i
sl_u
n
io
n
_set_compute_sche
d
ule: en
s
ure ca
r
ry_dependence
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven
Verdoolaege
upd
a
te
for cha
n
ge in cl
a
ng'
s
Diagnos
t
i
c
Options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sven
Verdoo
l
aege
isl_map_plain_is_
d
isjoint
:
handle inputs with dif
f
ere
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
S
v
en
V
erdoolaege
add README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Andreas
Kloeckner
Introd
u
c
e isl_int_free_st
r
to
remo
v
e GMP dependency
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sven
Verdoolae
g
e
i
s
l_union_set
_
co
m
pute_schedu
l
e: handle result with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sve
n
Verdoolaege
isl_ast_codeg
e
n
.
c: g
e
ner
a
te_dom
a
in: postpone
s
i
ngle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven
Ver
d
oo
l
aege
i
sl_as
t
_build_as
t
_from_
s
c
hedule: make con
s
tr
u
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
i
s
l_a
s
t_build_ast_from_
s
chedule: use "<" if upper bo
u
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
ven Ver
d
oolaeg
e
isl_ast_e
x
pr: a
d
d is
l
_ast_o
p
_lt an
d
isl_ast_op
_
g
t
o
p
erations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
a
d
d
isl
_
b
asic_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
ven Verdoolaege
isl_a
s
t_expr_from_a
f
f
:
try
harder to
use
i
sl_ast_op_pdiv_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
ven
Ver
d
oola
e
ge
i
s
l_
a
s
t
_build_expr
.
c
:
separate
out extract_m
o
dul
o
fu
n
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdool
a
ege
isl_ast_build
_
e
xpr
.
c:
f
ix
t
ypo in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Verdoolaege
i
sl_a
s
t_build_ex
p
r
.
c: remove remna
n
ts of code
removed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
S
v
en Verdoolaeg
e
a
d
d ext
r
a
AST gene
r
ation test case fr
o
m
CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ver
d
oolaege
isl_printer_print_s
t
r: handl
e
NULL
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
isl_ast
_
expr_mod: perform missing multi
p
lication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
T
o
b
ias Grosser
M
ake s
e
d expr
e
ssion in Makefi
l
e compatible wit
h
B
S
D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
oola
e
ge
add isl_id_set_fr
e
e_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
is
l
_printe
r
_prin
t
_pw_aff:
use
isl_ast_expr
w
hen printing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add support f
o
r gene
r
ating ASTs from schedule rel
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add ISL_CTX_{GET,SET}_S
T
R_DEF mac
r
os
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
doolaege
d
o
c:
separa
t
e out polyhe
d
ra
l
compilation fu
n
c
ti
o
nality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
a
d
d isl_se
t
_d
i
m
_ha
s
_{lower,uppe
r
}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aeg
e
i
s
l_basic_set_s
u
bstitute: check that input affine ex
p
ression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
isl_p
w
_multi_
a
ff_s
u
b
s
tit
u
te: improve er
r
or handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
r
doolaege
isl_basic_map_ali
g
n_divs: f
i
x
p
otential invalid
a
ccess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
isl_pw_multi_aff
_
from_map:
detect strides in
output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
i
s
l_pw_multi_aff
_
from_map
:
det
e
ct easy
floors directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
p
r
ivately export is
l
_map_
i
s_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
o
olaege
a
d
d is
l
_pw_*_pullba
c
k
_
pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
doolaege
add isl_pw_*_pullback_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
ad
d
isl_multi_
a
f
f
_pullbac
k
_m
u
lt
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verd
o
o
la
e
ge
add isl_aff_
p
ullback_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add i
s
l
_local_space
_
preimage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verd
o
olaeg
e
add isl_set_preimage_pw_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oola
e
g
e
add is
l
_set_pre
i
mage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aege
a
d
d
isl_basic_se
t
_pre
i
mage_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laeg
e
isl_stream_new_str: fail
o
n
NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolaege
pr
i
vat
e
ly export
i
sl_m
u
lti_aff_alig
n
_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add isl_
b
asic_set_add_div_cons
t
raints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
isl_map_is_subset: suppo
r
t rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_
s
tream_read_map: fix pars
i
ng
o
f
Omega input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
rdoolaege
isl_
s
tream_re
a
d_m
a
p: add pa
r
tial supp
o
r
t
for rea
d
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
i
s
l_pw_aff_
n
o
nn
e
g_set: return a rat
i
onal set if
th
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
isl_pw_aff_zero_
s
et:
r
eturn a
rational set if the input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add is
l
_pw_
a
ff_list_set_r
a
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add is
l
_pw_aff_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoola
e
ge
pr
i
v
a
t
ely export isl_set_set_rat
i
o
n
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_s
e
t_has_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
reimplem
e
nt isl_st
r
eam_read_aff i
n
te
r
ms
of isl_stream_
r
ead_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
declar
e
isl_stream_read_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoola
e
ge
isl_s
t
ream_rea
d
_
multi_aff: read tuples directl
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
isl_
i
nput
.
c: change tuple parsin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add isl_pw_multi_aff_range_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add
isl_mu
l
ti_
*
_s
p
lice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_mul
t
i_*_range_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
is
l
_mul
t
i_*_set_
t
upl
e
_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoo
l
aege
a
d
d
is
l
_m
u
lti_*_range_
p
rodu
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoo
l
aege
add isl_mult
i
_
*_ad
d
_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdoolaege
add isl_
m
ulti_*_insert_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add isl_multi_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl_mult
i
_aff
_
from_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
oolaege
isl_multi_te
m
pl
.
c
: rename a
l
ign_par
a
ms_multi_set_and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erd
o
o
l
aege
isl_multi_templ
.
h:
a
v
o
id reference to exp
l
icit element
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
i
sl_mult
i
_
*
_
reset_sp
a
ce_and_domain: ca
l
l isl_*_reset_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
er
d
o
o
l
a
ege
generaliz
e
isl_multi_aff_fl
a
t
_rang
e
_prod
u
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
gen
e
ralize is
l
_multi_aff_drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ve
r
doolaege
generali
z
e isl_multi_
a
ff_set_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ver
d
oo
l
aeg
e
genera
l
ize
i
sl_multi_af
f
_
z
er
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
generalize i
s
l_multi_aff_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdo
o
l
aege
a
d
d isl_pw_aff_zero_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
ad
d
isl_pw_aff_var_on_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdool
a
ege
add
is
l
_af
f
_v
a
r_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verdool
a
ege
isl_i
n
p
ut
.
c: obj_rea
d
_bod
y
:
s
impli
f
y
error han
d
lin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
laege
add isl_basic_set_drop_constraints_not
_
i
nvolvi
n
g_d
i
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdo
o
laeg
e
add isl_{se
t
,
m
ap}_drop_constrai
n
ts_in
v
ol
v
ing_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoo
l
aege
add is
l
_set_uns
h
ifted_simple_hu
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_stream_
r
ead_union_map: f
o
r
c
e result to be
a
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Ver
d
oolae
g
e
add isl_union
_
map_s
u
b
tract_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdool
a
ege
isl_set_fro
m
_pw_mu
l
ti_aff: handle NULL inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n
V
erdoolae
g
e
isl_unio
n
_map
.
c:
p
lai
n
_injective
_
on_range: sil
e
nce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n
Verdoo
l
aege
isl_tra
n
sitive_closure
.
c:
union_
c
omponen
t
s:
a
vo
i
d
i
nv
a
lid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en Verdoo
l
a
ege
isl_range
.
c qpolynomia
l
_
b
ound_on
_
domai
n
_ra
n
ge:
a
void
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_
c
onv
e
x_hull
.
c: initial_facet_constraint
:
avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sve
n
Verdoolaeg
e
is
l
_map_union: sp
e
ci
a
l c
a
s
e
u
niversal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven V
e
rdoolaege
isl_map_
g
ist: special case
u
niv
e
rsal and e
q
ual inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
oolaege
ex
p
ort
i
sl_set_pl
a
in_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoolaege
doc:
c
la
r
i
fy use of i
d
entifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add isl_
b
a
s
ic_se
t
_re
m
ove_u
n
known_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n
V
erdool
a
ege
a
nd is
l
_p
w
_af
f
_tdiv_q and isl
_
pw_a
f
f_tdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdoolaege
add isl_pw_aff_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
er
d
oolaege
add isl_set_is_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next