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
do
o
laege
i
sl
_
a
ff_normali
z
e: plug in divs with unit coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdool
a
ege
isl_local_sp
a
ce_substitute_seq:
t
ake
argument for the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdool
a
ege
isl_a
f
f_floor: no
r
ma
l
i
z
e r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoo
l
a
e
g
e
isl
_
aff_ce
i
l
: c
o
mpute c
e
il(e/m)
as floor
(
(e
+
m -
1
)/m
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sven Ver
d
oolaege
isl_aff_
g
i
s
t: add mi
s
sing i
s
l_v
e
c_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sv
e
n Ver
d
oolaege
isl_u
n
ion
_
s
e
t_comp
u
te_sc
h
e
d
u
l
e: double ch
e
ck th
a
t we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoolaeg
e
i
sl_union_
s
et
_
c
o
mput
e
_schedule:
e
nsure c
a
rry_d
e
pendences
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sv
e
n
V
erdoolaege
update for change in cl
a
ng'
s
Diagnosti
c
Options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
S
v
e
n Ver
d
o
o
laege
isl_map_plain
_
is_di
s
joint: h
a
n
d
l
e inputs wi
t
h
d
i
ffere
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdool
a
ege
ad
d
README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Andreas
Kloeckner
Intr
o
duc
e
isl_i
n
t_free_str to remove
G
M
P
d
ependency
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
S
v
en V
e
rdoolaege
isl_u
n
i
on_s
e
t_compute_
s
c
h
edule: handle result with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdoolaege
isl_
a
st_co
d
egen
.
c
: generate_domain: po
s
tpone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
S
ven Verd
o
olaege
isl_ast
_
build_ast_
f
rom_s
c
hedul
e
:
make co
n
struction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_ast_build_
a
st_from_s
c
hedule: use "<" if u
p
per b
o
und
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
v
e
n Verdoolaege
isl_
a
st_expr: add isl_ast_o
p
_lt and isl_ast_op_gt operat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sv
e
n
V
e
rdoolae
g
e
add isl_ba
s
ic_
s
et_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdool
a
ege
isl_as
t
_
e
xpr_fro
m
_aff
:
try ha
r
d
e
r
t
o use isl_as
t
_op_pdiv_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ve
r
doolaeg
e
is
l
_ast_build_expr
.
c
:
se
p
arate out extract_m
o
d
u
lo function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_build_expr
.
c
:
fix typo in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdool
a
ege
isl_ast_build
_
expr
.
c: remove re
m
nants of
c
ode removed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven Ve
r
doolaege
add
extra AST
g
enera
t
ion test
case from CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdo
o
laege
isl_printer_print_st
r
: handle N
U
LL in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Verdoola
e
ge
isl_ast_ex
p
r_
m
o
d: perform mi
s
sin
g
mul
t
ipli
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Tob
i
as Grosser
Ma
k
e sed expression in Makefile com
p
atible
with
B
SD
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdo
o
laege
ad
d
isl_id_
s
et_free_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rdo
o
laege
isl_print
e
r_prin
t
_
p
w_aff: use isl
_
ast_expr when printing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
a
dd support fo
r
genera
t
ing AS
T
s from
s
c
hedule rela
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add
I
S
L_CTX_{GET,SET
}
_STR_DEF macros
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
o
l
a
ege
doc: separate
o
u
t
pol
y
hedra
l
compilatio
n
functionality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oola
e
ge
a
d
d
isl_set_di
m
_has_{lo
w
e
r
,
u
p
p
e
r}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
is
l
_ba
s
i
c
_set_substitute: chec
k
that inp
u
t affine expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
isl_pw_multi_aff_substitu
t
e: i
m
p
r
ove erro
r
h
a
ndlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
er
d
o
o
laeg
e
isl_b
a
sic_m
a
p
_
align_divs: fix potential invalid
access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
isl_p
w
_multi_a
f
f_from_map: det
e
ct strides in o
u
tput
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ver
d
o
olaeg
e
isl
_
p
w
_
mul
t
i_aff_from_map: detec
t
e
asy floors directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
oola
e
ge
pr
i
vatel
y
export is
l
_ma
p
_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdool
a
ege
add isl_
p
w
_*_pullback_pw_
m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw_
*
_p
u
llback_mu
l
ti
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
er
d
oolaeg
e
add isl_
m
u
lti_aff_pullba
c
k_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoo
l
aege
add isl_aff_pullba
c
k_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rdoolaeg
e
a
dd
i
sl_local_spac
e
_preimage_multi
_
af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
a
d
d is
l
_s
e
t_preimage_p
w
_m
u
lti_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erd
o
olae
g
e
add
i
sl_set_preimage_mul
t
i_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoo
l
aege
add isl_basic_set_
p
reimag
e
_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_stream_new_str: fail
o
n
NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oola
e
g
e
priva
t
ely
e
xport isl_m
u
lti_aff
_
align_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaeg
e
add isl_ba
s
ic_set_a
d
d
_div_constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_map_is_subset
:
support
rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_strea
m
_read_
m
ap: fix parsing
o
f
O
mega
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
isl_stream_read_map:
a
d
d partial support fo
r
read
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
isl_pw_af
f
_
n
onneg_set: re
t
u
rn a ra
t
ional set if the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_p
w
_aff_zero_s
e
t:
r
e
t
u
r
n a r
a
tional set
i
f the input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl_pw_aff_lis
t
_
set_r
a
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd isl_pw_aff_set_ra
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
lae
g
e
priva
t
ely export isl_set_
s
et_ration
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoo
l
aege
add
isl_set_has_
r
a
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
reimplement
i
s
l_stream_
r
ea
d
_aff in terms
of isl_stre
a
m_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
oolaege
d
e
clar
e
isl_stream_read_mu
l
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoo
l
aege
isl_stream_r
e
a
d
_multi_aff
:
rea
d
tuples directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
isl_input
.
c: change tuple p
a
rsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
add isl_pw_m
u
lti_aff_r
a
n
ge_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdoolae
g
e
add i
s
l
_
multi_*_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaege
add isl_multi_*_rang
e
_
s
plic
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaeg
e
a
d
d isl_multi_*_
s
et_tupl
e
_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl
_
m
ulti_*_range_
p
r
oduc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add isl_mu
l
ti_
*
_
add_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
doolaege
a
d
d i
s
l_multi_*_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
add isl_multi
_
p
w
_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
sl_mu
l
ti_
a
ff
_
from
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
isl_multi_
t
empl
.
c
:
r
ename align_
p
arams_mul
t
i_set
_
an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
isl_multi_t
e
mpl
.
h: avoi
d
r
e
fere
n
ce
to explicit element
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verd
o
olae
g
e
isl_multi_*_
r
ese
t
_space_and_domain:
c
all is
l
_*_reset_d
o
mai
n
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
generali
z
e isl_m
u
l
ti_aff_
f
lat_ran
g
e_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize
i
sl_multi_aff_dro
p
_
d
i
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdo
o
laege
gener
a
lize isl
_
mu
l
ti_
a
ff_set_dim_n
a
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolae
g
e
generalize i
s
l_multi_af
f
_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ve
r
d
oolaege
g
eneralize isl_mult
i
_
a
ff_
i
denti
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdo
o
laege
add isl_pw_
a
ff_ze
r
o_on_
d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
isl_pw_aff_va
r
_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
olaege
add isl_
a
ff_var_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoola
e
ge
isl
_
input
.
c: obj_read_b
o
dy: simplify e
r
r
o
r h
a
nd
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verd
o
olaeg
e
add isl_basic_set_drop_const
r
a
i
nts
_
not_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ve
n
Verdoolaege
add isl_{set,map}_dro
p
_constraints_
i
nvolving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ve
r
doolaege
add
is
l
_
set_
u
n
s
hifted
_
simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_str
e
am_r
e
ad_u
n
ion_map: force re
s
ult to b
e
a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
oolaege
add isl_union_map_subtract_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Ver
d
o
o
laege
i
s
l
_se
t
_
fro
m
_pw
_
m
u
lti_
a
f
f: handle NULL i
n
pu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n Verdoolaege
i
sl_union_map
.
c: plain_injective_
o
n_range: s
i
lence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en V
e
rd
o
o
l
a
eg
e
isl_transitive_closur
e
.
c: u
n
ion_components: av
o
i
d invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven
V
erdoo
l
aege
isl_range
.
c qpo
l
ynomial_bo
u
nd_on_domain_range: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
i
s
l_conve
x
_hull
.
c: ini
t
i
al_fa
c
e
t_constraint: a
v
oid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sv
e
n Verdoolaeg
e
is
l
_map_u
n
ion: speci
a
l case universal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verd
o
olaege
isl
_
map_gist: special
c
ase universa
l
and
e
qual
inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en V
e
rdoola
e
ge
export isl_
s
et_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ve
r
doolaege
do
c
: clarify u
s
e of ident
i
fi
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add i
s
l
_
ba
s
ic_
s
et_remove_unknown_
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
oolaege
a
n
d
isl_pw_a
f
f_tdiv_q and isl_pw_aff_tdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolaege
add isl_p
w
_aff_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ve
r
doolaege
add
i
sl_set_is_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next