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: drop long outdated note on transitive closures
2011-03-02
Sven Verdo
o
la
e
ge
do
c
: d
r
op long outdated note on tr
a
n
s
itive clos
u
res
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoolae
g
e
a
dd is
l
_basi
c
_
s
e
t_ge
t
_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
i
s
l_
m
a
p
_identity: ta
k
e di
m
ension s
p
e
c
ifica
t
ion of
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdoolaege
ren
a
me
isl_dim_map to isl_dim_map
_
fr
o
m_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
erdoolaege
transitive closure: proje
c
t o
u
t
param
e
ter
s
when
any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
priv
a
tel
y
expor
t
isl_ba
s
ic_set_res
e
t_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdoola
e
ge
isl_set_lift: preserve str
u
c
tu
r
e of sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven
Verdoolaege
isl_
p
w
_qpo
l
ynomial_b
o
und:
h
a
ndle
c
o
mbination of wr
a
pping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolae
g
e
isl_tab_
p
ip
.
c:
f
ix t
y
po in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaeg
e
isl_tab: check
f
o
r
obvious
l
y
emp
t
y ta
b
l
eaus a
f
ter
d
iscoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
r
d
oolaeg
e
i
s
l
_
basic_map_
g
ist: pr
e
fer contrai
n
ts without existe
n
tia
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sv
e
n Verdoolaege
isl_b
a
sic_map_sort_constraints: change co
m
parison routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sve
n
Verdo
o
l
aege
is
l
_tab_ineq_type: classify more constrai
n
ts as being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sv
e
n
V
e
rdoolaege
isl_
m
ap_
c
o
alesce: be mo
r
e
relaxed about mu
l
tiple
e
q
ualitie
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en
Verdo
o
laege
add isl_basic
_
m
a
p
_from_do
m
ai
n
_a
n
d_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
e
rdoola
e
ge
add isl_basic_
s
et_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ve
n
Verd
o
olae
g
e
add is
l
_
bas
i
c_set_flat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoolaeg
e
export i
s
l_ba
s
ic_
m
a
p_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven
V
e
r
doolaeg
e
a
dd isl_basic_m
a
p_from
_
qp
o
lynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n V
e
r
d
o
o
laege
isl_stream: s
u
pp
o
r
t
\<newline
>
l
ine cont
i
nua
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
a
dd isl_
u
nion_m
a
p_read_from_fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n V
e
rdoolaege
isl_s
t
ream_r
e
ad_
m
ap: accept '
t
r
ue' and 'f
a
lse' cons
t
r
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoola
e
ge
isl_stream_
r
ead_map
:
allow extr
a
';' at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Ver
d
ool
a
ege
isl_stream_re
a
d_map: a
l
low nega
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
e
n
Verdoolaeg
e
i
sl
_
stream_read_map: all
o
w existential qua
n
tif
i
cation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
privately expor
t
isl_b
a
sic_map_
a
d
d
_
div_constraints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
sl_morph_
b
a
s
i
c_
s
et: prese
r
ve rat
i
onali
t
y of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
ad
d
i
sl_basic_set_
i
s_
r
ational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_pr
i
nter_print_b
a
sic_map: explicitly mark ra
t
i
onal
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_stre
a
m
_read_map: read rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doo
l
aege
isl_ba
s
ic_map_
i
ns
e
rt: pr
e
serve ratio
n
a
lit
y
o
f input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oo
l
aege
add is
l
_basic_map_set_r
a
tional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl
_
bas
i
c_map_fast_cmp: diffe
r
entiate between r
a
tiona
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
rdoolae
g
e
isl_output
.
c: remove some code
duplic
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Ver
d
o
o
l
a
e
ge
isl_printer_p
r
int_basic_{set,map}: don't st
a
rt new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl
_
stre
a
m_read_map: acc
e
pt
'
|' at star
t
of constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
v
en Verdoo
l
aege
isl_strea
m
: keep track of textual representation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
i
sl_input
.
c: cl
e
an up r
e
ad_d
i
sjun
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sve
n
Verdool
a
ege
is
l
_stream_read_
m
ap: acc
e
p
t
dis
j
un
c
tions within a co
n
ju
n
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n Ve
r
d
o
ol
a
eg
e
i
s
l_conve
x
_hull
.
c
: explici
t
ly m
a
rk wr
a
pping l
p
p
roblem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verd
o
olaege
is
l
_tab_min
:
mic
r
o-o
p
timization: post
p
one
taki
n
g
into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdool
a
ege
isl_tab_a
d
d_row: add further explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
isl_tab
.
c: f
i
x t
y
pos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verdoolaege
isl
_
tab_pip
.
c:
correctly
d
etect non-n
e
g
ativity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ver
d
oo
l
aege
add tes
t
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
test bot
h
context handl
i
ng m
e
chanisms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n Ver
d
oolaege
isl_tab_is_
e
quali
t
y
: pr
o
perl
y
support "big para
m
et
e
r
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
g
e
isl_tab_pip
.
c: fi
x
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rd
o
olaege
isl_affine_
h
u
l
l
.
c: fix
t
yp
o
s in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_
u
nion_
m
a
p
_compute_flow: return a
c
ces
s
es with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdo
o
l
aege
is
l
_un
i
o
n
_
m
ap
.
c
: inplace:
p
a
ss
data
p
o
inte
r
to i
s
l_hash_ta
b
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
e
rdool
a
ege
isl_d
i
m_move:
update paramet
e
rs of neste
d
s
paces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ver
d
o
o
laege
a
dd isl_ma
p
_nat_univers
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Ve
r
doolaege
clean
up isl_set_
f
rom_basic_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoo
l
aege
m
erge isl_
b
as
i
c_set/is
l
_b
a
sic_map a
n
d isl_set
/
isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sve
n
V
erdoolaege
rena
m
e "omega" transitive
closure t
o
"box" t
r
a
n
siti
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
ex
p
ort
isl_
i
nt_o
b
j_fr
e
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
isl
_
vertice
s
.
c: f
i
x
typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoo
l
ae
g
e
isl_u
n
ion_templ
.
c
: fix
t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Ve
r
d
oolaege
i
sl_map_subtract
.
c: n_non_
r
edundant: p
r
opage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Verdoo
l
aege
isl
_
bernstein
.
c: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
ge
add isl
_
uni
o
n_pw_qp
o
l
y
nomial_mul_i
s
l_i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
l
aege
i
s
l_stre
a
m
_
r
e
a
d_obj: read int obje
c
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
add int obj
e
cts
for
use in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdo
o
laeg
e
isl_basic_map_remove_divs: finalize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdoola
e
g
e
add is
l
_
b
a
s
ic_set
_
g
et_tu
p
le
_
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdool
a
ege
Merge branch 'm
a
i
nt'
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoo
l
ae
g
e
isl_un
i
o
n
_map_sampl
e
: don't ret
u
rn N
U
LL on empty in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
doo
l
aege
isl_basic_m
a
p_
s
et_tuple_name:
finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
doolae
g
e
isl_t
r
ansi
t
ive_closure
.
c: more
anonymize input
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolae
g
e
i
s
l
_
basic_set_factorizer: make sure
grou
p
i
n
f
ormatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
ven Verdoolae
g
e
add isl_unio
n
_map_
r
ange_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
doc: document
p
r
o
duct functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
ven Verdoo
l
a
ege
rename isl_basic_set_product
t
o i
s
l_basic_set_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven V
e
rdool
a
eg
e
isl_set_convex_hull:
o
ptionally
u
s
e F
o
urier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
a
e
ge
isl_basic_set_sample_p
o
i
nt: exploit factor
i
zatio
n
if
a
ny
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
a
e
ge
add isl_morph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolae
g
e
ch
a
n
g
e p
r
oto
t
ype of isl_vec_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
add
isl
_
pr
i
nter_
p
rint_v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
add
isl_
u
nion_set
_
app
l
y_union_pw
_
qpolynomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ve
r
doo
l
aege
export
i
s
l_
u
nion_m
a
p
_
from
_
domain and isl_union_map_fr
o
m_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
r
do
o
l
a
eg
e
isl_basi
c
_map_inters
e
c
t_domain: replac
e
o
pen-cod
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
i
sl
_
strea
m
_read_map: accept modulo
e
xpre
s
sions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
sl
_
basic_map_insert: do
n
't s
i
mplify
t
he result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
M
e
r
g
e b
r
an
c
h 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaeg
e
isl
_
basic_map_f
r
om
_
c
onstraint_ma
t
rice
s
:
c
l
ear
newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
aege
isl_t
o
ken_free: free string repre
s
e
ntation of keywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
V
erdo
o
laege
isl_input
.
c: read_f
a
ctor:
d
rop unexpected identifie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n
V
e
rdoolaege
i
sl_input
.
c: accept_affine_factor: av
o
id doubl
e
f
ree
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoola
e
ge
i
s
l_str
e
a
m_re
a
d_map:
allow
space names
t
hat
h
app
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
erdoolaege
is
l
_stream_
n
ext_token: keep track of str
i
n
g
representation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verdoolaeg
e
add
i
sl_basic_set_fla
t
te
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doolaege
add isl_union_map_simp
l
e
_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
M
erge bra
n
c
h 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n
Ve
r
doolaege
add isl_se
t
_remove_unkno
w
n_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
lae
g
e
is
l
_map_is_subset
:
don't
compute divs of minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n
V
erdoolaege
r
e
name is
l
_map_is_single
t
on to isl
_
m
ap_fast_is_
s
i
n
gleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoolaege
add isl_map_fas
t
_is_single_
v
alued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next