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
V
er
d
ool
a
ege
doc: d
r
o
p
long
outdated no
t
e
on
t
ransitive cl
o
sure
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sv
e
n Ve
r
doolaege
add
i
sl_basic_set_get_dim
_
n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
S
ven Verdoolaege
is
l
_map_ident
i
ty:
t
ake dimension specif
i
cation of ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
e
rdoolaege
ren
a
m
e isl_d
i
m_map to isl_dim_ma
p
_fro
m
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven V
e
rd
o
olaege
transitive closure:
projec
t
ou
t
parameters when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
privately exp
o
rt isl_bas
i
c_
s
et_
r
es
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verdoolae
g
e
isl_set_lift: preserve structu
r
e of spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
e
n
V
erdoolaege
isl_pw
_
qp
o
ly
n
omial_bound: han
d
le combination of w
r
appi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaeg
e
is
l
_tab
_
p
ip
.
c: f
i
x typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
olae
g
e
i
s
l_tab: check for obv
i
ously empty tableaus after d
i
scover
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
doolaege
isl_
b
asic_map_
g
ist:
prefe
r
c
ontraints without exi
s
tentiall
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoolaege
isl
_
basic
_
map_s
o
rt_constr
a
i
nts: chang
e
com
p
arison routi
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_tab_ineq_type:
classify
m
ore con
s
t
r
aints as be
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
S
ven Verdo
o
lae
g
e
isl_map_coa
l
esce: b
e
more
relaxed about multipl
e
equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Verdoola
e
ge
ad
d
isl_ba
s
ic_m
a
p_from_domain_and_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ve
r
do
o
l
a
e
g
e
a
d
d isl_basi
c
_set_
n
eg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
r
doolaege
add isl
_
basic_
s
et_flat
_
product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaeg
e
exp
o
rt is
l
_basic_map_flatt
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ve
r
d
o
olaege
add isl_
b
asic_map_from_qpoly
n
om
i
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdoolaege
isl_strea
m
:
su
p
port \
<
ne
w
line> line
c
ontin
u
a
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
add isl_uni
o
n_map_read
_
from_fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven V
e
rdoolaege
isl_stre
a
m_re
a
d_
m
ap: accep
t
'
true' and 'false' c
o
n
straints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en V
e
rdo
o
laege
i
sl_stream_
r
ead_
m
a
p: allow extra ';' at
e
nd of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoola
e
g
e
i
sl_stream_rea
d
_map: allow negat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
s
l_
s
tream_rea
d
_
map: allow ex
i
sten
t
ial quantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doola
e
ge
p
riva
t
ely export
isl_basic_map_add_div_constr
a
i
nts_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
isl_mor
p
h_basic_set:
preserve rationality of inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
a
dd isl_basi
c
_set_is_rationa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Ve
r
d
oo
l
aege
i
sl_printer_p
r
int_basic_m
a
p: explicitly mark
r
at
i
o
n
al
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ve
r
dool
a
ege
isl
_
str
e
am_r
e
a
d_
m
ap: read ra
t
ional
ma
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdoola
e
ge
isl_basi
c
_m
a
p_i
n
sert: preserve rat
i
o
nality of i
n
pu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoola
e
ge
add isl_b
a
sic_m
a
p_
s
et
_
rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n V
e
rdoolaege
isl_bas
i
c_map_
f
ast
_
cm
p
: differenti
a
te between rati
o
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaege
isl_output
.
c:
r
emove som
e
code dup
l
ic
a
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ve
r
doolaege
isl_
p
rinter_
p
rint_b
a
sic_{set,
m
ap}: don
'
t s
t
ar
t
new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven V
e
rdoola
e
g
e
i
sl_stream_read_map: accept '|' at start
of co
n
str
a
i
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_stream: k
e
ep track
o
f textual
r
epre
s
ent
a
tio
n
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven
Verdoolaege
isl_input
.
c: clean up read_disj
u
n
c
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sv
e
n
Verdoolaege
is
l
_stre
a
m
_
read_map: acc
e
pt disjunctions
within a co
n
jun
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
S
ven Verdoolaege
isl_
c
onvex_hull
.
c: explicitl
y
mark wrapping lp
problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoo
l
aege
isl_tab_min: micro-opt
i
mizati
o
n: postpone tak
i
ng into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
Merge bra
n
ch 'mai
n
t
'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
isl_tab
_
add_row: add
f
urth
e
r explanat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
i
sl_tab
.
c: fix typos in comment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_t
a
b_pip
.
c
:
c
o
rr
e
ctly
d
e
te
c
t
no
n
-negativ
i
ty of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
add
t
es
t
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdo
o
laege
test both conte
x
t handli
n
g me
c
h
a
nisms of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
isl_
t
ab_is_equality:
p
roper
l
y support "big
p
arameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Ve
r
doolaege
is
l
_tab_pip
.
c: f
i
x typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
sl_affine_
h
u
ll
.
c: fix typ
o
s in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
isl_union
_
map_compute_f
l
ow: return acc
e
sses
w
ith no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl_union_map
.
c:
inp
l
ace: pa
s
s da
t
a pointer to is
l
_hash_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Verdoolaege
isl_dim_move: update para
m
e
ters of neste
d
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
doolaege
add isl_ma
p
_nat_un
i
verse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n
Verdoolaege
clean up isl_set
_
f
r
om_basi
c
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdoolaege
merge isl_basic_se
t
/i
s
l_b
a
sic_map an
d
isl_s
e
t/
i
sl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename "ome
g
a
"
transit
i
ve
c
l
os
u
re
t
o "box" transitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Verdoolaege
export isl_int_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
isl_vertices
.
c
: fix ty
p
os
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
is
l
_union_temp
l
.
c
: fix
ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
V
e
rdo
o
lae
g
e
isl_map_subtract
.
c: n_non_redundan
t
:
propage isl
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n V
e
r
doolaege
i
sl_berns
t
ein
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
e
rdoolaege
ad
d
isl_union_pw_qpolynomial_
m
ul_isl_
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
e
ge
isl_
s
tream_
r
ead_obj
:
read
i
n
t
o
bjects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
add i
n
t obj
e
cts for
use in i
s
cc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Verdoolaege
isl_
b
as
i
c_m
a
p
_
re
m
o
v
e_divs
:
fin
a
lize resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add isl_basic
_
s
e
t_g
e
t_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoolaege
M
e
r
g
e branch '
m
aint'
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoolaege
i
sl_u
n
ion_map_sam
p
le: don
'
t
r
e
t
urn NULL on empt
y
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdo
o
laege
i
s
l_basic_ma
p
_set_
t
uple_name:
fi
n
alize
r
es
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ver
d
o
o
laege
isl_transitive_closure
.
c: more an
o
nym
i
ze in
p
ut
m
ap
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verd
o
olaeg
e
i
sl_basic_
s
et
_
factorizer: make su
r
e group
i
nfor
m
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
erdoolaege
a
dd
i
s
l_union_map_
r
a
n
ge_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
d
o
c: document product functi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
erdoolaege
r
e
name is
l
_b
a
sic_s
e
t_p
r
oduc
t
to
isl_basic
_
s
et_list_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdo
o
laege
isl_set_
c
onv
e
x
_
hul
l
: optio
n
ally u
s
e Fourier-Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl
_
basic_set_sa
m
ple_poi
n
t: expl
o
it factorizat
i
on if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
ola
e
ge
a
d
d isl_mo
r
p
h_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoo
l
aege
change
proto
t
ype of isl_vec_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ve
r
doolaeg
e
add
i
s
l
_printer_print_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ve
r
doolaege
add isl_union_se
t
_apply_union_pw_q
p
olynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
expor
t
isl_union_map
_
f
r
om_
d
o
m
ain and isl_union_
m
ap_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
i
s
l
_basic_map_inter
s
e
c
t
_do
m
ain: repla
c
e open-coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven V
e
rdoolaege
i
sl_stream_read_map: accept modulo
expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
isl_basic_m
a
p_inse
r
t: don't simplify the result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
isl_ba
s
ic_map_from_constraint_mat
r
ices: c
l
ear ne
w
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolaege
is
l
_token_free
:
free
s
tring
r
epresentation
of
keywords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdoolaege
isl_input
.
c: r
e
a
d
_factor:
d
r
op unexpect
e
d
i
d
e
n
t
ifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
V
e
rdoola
e
ge
isl_i
n
put
.
c: ac
c
e
p
t_affine_factor: avoi
d
double free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
To
b
ia
s
Grosser
A
d
d isl_union_(set/map)_dete
c
t
_
equalitie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
erdoo
l
aege
i
sl_st
r
eam
_
re
a
d_map: allow space names
t
hat
happen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verdoolaege
isl_st
r
eam_next
_
t
oke
n
:
keep
t
ra
c
k of string repr
e
s
entation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n
Verd
o
olaege
add
i
sl_basic_set_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verd
o
olaeg
e
a
d
d isl
_
union_map_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
V
erdoolaege
Merg
e
bran
c
h
'
maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
olaege
add isl_se
t
_
r
emo
v
e_u
n
k
n
own_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_m
a
p_is_subset: don't co
m
p
ute divs o
f
minuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
rename isl_map_is_singleton to
isl_map_
f
ast_is_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next