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 Verdoola
e
ge
isl_a
f
f_
n
ormal
i
ze: pl
u
g in divs with unit
c
oe
f
f
icie
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ver
d
ool
a
ege
isl_local_space_substitute_seq: take
argument for the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_flo
o
r: n
o
rmal
i
ze result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verdoo
l
a
e
ge
isl_aff_ceil: compute ceil(e/m
)
as floor
(
(e + m - 1)/
m
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sven V
e
rdoolaege
isl_aff
_
gi
s
t:
add
m
i
ssing isl_vec
_
cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdool
a
ege
i
sl_
u
n
i
on_set_co
m
pute_schedule
:
double check that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven
Verdoola
e
ge
isl
_
uni
o
n_set_c
o
mpu
t
e_schedule:
e
ns
u
re carry_dependences
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
update for change in
c
lang'
s
DiagnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
S
v
e
n
V
e
rdoolaege
is
l
_map_plain_i
s
_disjoint:
han
d
l
e
input
s
with
d
ifferent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sv
e
n Ve
r
doolae
g
e
add REA
D
ME
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoolaeg
e
i
sl
_
un
i
on_se
t
_compute
_
schedule: handle result with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
S
v
en Verdoolae
g
e
is
l
_ast_code
g
en
.
c
:
generate
_
domain: p
o
stpone sin
g
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sve
n
Verdool
a
ege
isl_a
s
t
_
build_ast
_
from_sc
h
edule:
make construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_ast_build_ast_fr
o
m_sc
h
edule
:
use "<" if upper b
o
u
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_ast_e
x
pr: add isl_ast_o
p
_lt and isl
_
a
s
t
_
op_gt operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
add isl_b
a
sic_set
_
from_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ve
r
doolaege
isl_ast_expr
_
from
_
aff: try harder to
use isl_ast_op_pdiv_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven
V
e
r
do
o
laege
isl
_
a
s
t_build_expr
.
c
: se
p
a
r
ate out ext
r
act_modulo fu
n
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_a
s
t_bu
i
ld_expr
.
c
:
fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
v
en Ver
d
oolaege
isl_as
t
_build_e
x
pr
.
c: remove remnants of
c
o
d
e removed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verdoo
l
aege
a
d
d ex
t
ra
A
ST gen
e
ration
t
est c
a
se from CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
i
s
l
_
printer_print
_
str
:
handle
NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n
Verdoolaege
is
l
_ast_expr_
m
od: perfo
r
m missi
n
g multipli
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verdo
o
l
ae
g
e
add isl_id
_
set_free_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
isl_printer_print_p
w
_af
f
: use
isl
_
a
st_expr when
p
ri
n
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add suppo
r
t for genera
t
i
ng ASTs fro
m
schedule relation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
a
d
d ISL_CTX_{GET,SET
}
_ST
R
_DEF mac
r
os
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
doolaege
doc: se
p
a
rate out p
o
lyhe
d
ral compilation
f
u
n
ctiona
l
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d
isl_set_
d
im_has_{lo
w
e
r
,upper}_boun
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
isl_basic_
s
et_substi
t
ut
e
: check that
i
npu
t
affine
e
xpression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
doola
e
ge
isl_pw_mul
t
i_aff_sub
s
titut
e
: improve er
r
or
handl
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
i
s
l_basic_map_ali
g
n_di
v
s:
fix pot
e
ntial inv
a
lid access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
isl_pw
_
multi_aff_
f
rom_map: detect strides
in o
u
tpu
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_m
u
lti_af
f
_from_m
a
p: d
e
tect easy fl
o
ors di
r
ect
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
pr
i
vately export isl_map_i
s
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verd
o
olaege
a
dd is
l
_pw_*_pullback_pw_multi
_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add isl_pw
_
*_pullback_mu
l
ti_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
V
erdoo
l
aege
a
dd isl_multi_aff_pullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl_
a
f
f
_pullback_
m
ulti_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add isl_lo
c
al_space_preimage_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add isl_set_preimage_p
w
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl
_
set_preima
g
e_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add isl_ba
s
ic_set_preimag
e
_mul
t
i
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolae
g
e
isl_stream_new_str
:
fail on
N
U
L
L
inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aege
privatel
y
export isl_mul
t
i_aff
_
al
i
gn_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oo
l
aege
add is
l
_ba
s
ic_set_add_div_
c
o
n
straints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
isl_map_
i
s_subset: sup
p
ort rati
o
nal ma
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaeg
e
i
s
l_s
t
ream_read_map: fi
x
parsi
n
g of Omega
i
n
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Ver
d
oola
e
ge
i
sl
_
stream_read_map:
a
dd partial supp
o
rt for
r
eading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
i
s
l
_
pw_
a
ff_nonneg_se
t
: return a rationa
l
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_set: r
e
turn a rational se
t
if the input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add i
s
l_
p
w
_
aff_
l
ist_set_r
a
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
oolaege
add isl_pw_af
f
_
s
e
t_rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
oolaege
privately
exp
o
rt isl_set_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaeg
e
add
i
s
l
_set_has_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
re
i
mplement isl_stream_r
e
ad_aff
in terms
o
f isl_str
e
a
m_r
e
ad_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoo
l
ae
g
e
dec
l
are
isl_stream_read_m
u
l
t
i
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdo
o
laege
isl_stream
_
read_multi_aff: read tuples directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
i
s
l
_
input
.
c:
change
tuple par
s
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verd
o
o
l
aege
add isl_pw_multi_aff_
r
a
nge_pro
d
u
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl
_
m
u
lti
_
*_
s
plice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add i
s
l_multi
_
*_range_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aeg
e
add isl_multi_*
_
s
e
t_
t
uple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verdoolaege
add
isl_mul
t
i_
*
_rang
e
_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdool
a
ege
a
d
d
isl_mu
l
t
i_*_add
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aeg
e
ad
d
isl_multi_*_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
d
oola
e
ge
ad
d
i
s
l_mu
l
t
i
_aff_
f
rom_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
isl_mult
i
_
templ
.
c: re
n
ame alig
n
_p
a
r
a
m
s_
m
ult
i
_se
t
_
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ver
d
oolae
g
e
isl_multi_templ
.
h: avoid
r
eference t
o
explicit elem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_multi_*_r
e
set_space_and_domain
:
ca
l
l isl_
*
_rese
t
_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
e
r
doolaege
generalize isl_multi_aff_fl
a
t_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdool
a
ege
generalize
i
sl_multi_aff_drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rdoolaeg
e
generalize
i
sl_mu
l
t
i_a
f
f_se
t
_
d
i
m
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaeg
e
general
i
ze isl_multi_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdoolaege
gener
a
l
i
ze isl_multi_af
f
_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_
p
w_aff_zero_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d isl_pw_aff
_
var_o
n
_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
e
rdoolaege
add
isl
_
aff_var_
o
n_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verd
o
ol
a
ege
isl
_
in
p
ut
.
c: obj_read_body: simplify error handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoo
l
aege
add isl_basic_set_
d
ro
p
_con
s
train
t
s_not_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoolaege
add isl_{set
,
m
a
p}
_
dr
o
p_const
r
aint
s
_
involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoolaege
add isl_set_un
s
h
i
fte
d
_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n Verdoolaege
isl_
s
tre
a
m
_
read_u
n
ion_map
:
f
orce res
u
lt
t
o
b
e a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verdoolaege
add isl_
u
nion_map_subtra
c
t
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verd
o
ola
e
ge
isl_
s
et_f
r
om_
p
w_mult
i
_aff: handle NULL
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sve
n
Verdoolaege
is
l
_union_m
a
p
.
c: plain_
i
nj
e
ctiv
e
_on
_
range: silen
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_transitive_closure
.
c: unio
n
_compone
n
ts:
av
o
id invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Ve
r
do
o
l
a
ege
i
s
l_r
a
nge
.
c qpolynomial_bo
u
nd_on_d
o
main_range: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sve
n
Verdoolaege
is
l
_c
o
nv
e
x_hull
.
c
: initial_
f
acet_constraint:
avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
S
v
en Verdoolae
g
e
is
l
_map_union: spec
i
a
l c
a
se univer
s
a
l
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verd
o
olaege
isl
_
map_gist: speci
a
l case un
i
versa
l
and e
q
u
al inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoolaeg
e
expor
t
i
sl_
s
et
_
plain_cm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
doc: clarify
use
o
f identifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
r
d
oo
l
aege
add
isl_basic_set_remove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verd
o
olaege
and i
s
l_pw_aff_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 Ver
d
ool
a
ege
add i
s
l
_
pw_aff_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add
i
sl_set_is_dis
j
oint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoolaege
isl_map_plai
n
_
i
s_
d
isjoint:
special case obv
i
ously empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n
Verdoolaege
isl_b
a
s
ic_ma
p
_
i
s
_empty: s
p
ecial case universal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next