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_stream_read_union_map: force result to be a map
2012-09-17
Sven Verd
o
olaege
isl_s
t
ream_read_union_map: force result to
b
e a
ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verd
o
o
laege
a
dd
isl_u
n
ion_map_subtract_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_set_from_pw_m
u
lti_aff: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
ven Verdoolaege
isl_uni
o
n_map
.
c
: plai
n
_
i
n
j
e
c
tive_on_
r
a
nge
:
silence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n
Ve
r
doo
l
aege
isl_
t
ran
s
itive_closu
r
e
.
c: unio
n
_com
p
onents: avoi
d
i
nvalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoo
l
a
eg
e
isl_range
.
c qpolynomial_bound_on_domain_r
a
nge: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoola
e
ge
isl_convex_hull
.
c: ini
t
ial_facet_constrain
t
: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdo
o
laege
isl_map
_
union: spec
i
al cas
e
u
ni
v
ersal input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sv
e
n Verdoola
e
ge
isl_m
a
p_gis
t
: special case universal
and equal inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoo
l
aege
export isl_set_plain_
c
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdool
a
ege
doc: clarify use of identif
i
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Verdoolaege
ad
d
isl
_
basic_set_rem
o
v
e
_
unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
oolae
g
e
and isl_pw_aff_tdiv
_
q and isl_pw_aff_tdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdool
a
ege
add isl_pw_aff_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
o
o
lae
g
e
add isl_set_is_
d
isjoi
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en V
e
rdoolaege
isl_map_plain_is_disjoint: spec
i
al
case obvi
o
usly empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Ver
d
oolaege
isl_basi
c
_map_is_
e
mpty: spec
i
al case u
n
iver
s
al i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_map_plain_is_dis
j
oint: fix
e
rror handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ve
r
doolaege
isl_aff
.
c: fix typo in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven
V
erdoolaege
isl_aff_normalize: combine
identical divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ve
r
doolaege
isl_aff_norma
l
ize: pl
u
g in divs with denominator o
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
S
v
en Verdoolae
g
e
extrac
t
out isl
_
l
ocal_space_substitute
_
seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven
V
erdoolaege
extr
a
ct out common
i
sl_
s
e
q
_subst
i
t
u
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaeg
e
isl_a
f
f_n
o
rmalize: sort divs in l
o
cal space of affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolae
g
e
add isl_loca
l
_space_swap_
d
i
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven
Verd
o
o
l
a
e
ge
private
l
y export isl_mat_cmp_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Gr
o
sser
fix isl_unio
n
_ma
p
_detect_equali
t
ies memory m
a
n
ag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoo
l
aege
a
d
d is
l
_map_u
n
curry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Ver
d
oolaege
add isl_union_map_subtr
a
ct
_
dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
isl_pw_*_gist: avoi
d
intersecti
o
n
of domain w
i
th
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl
_
map
_
in
t
ersect_domain: avoid us
e
l
es
s
doub
l
e
reverse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_map_intersect_{ra
n
ge,domain}
:
stop allow
i
n
g
inters
e
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_map_intersect:
s
pecial case
u
niversal input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_constr
a
int_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoola
e
ge
add
i
s
l_pw_m
u
lti_aff_set_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n
Verd
o
ol
a
e
ge
add isl_
p
w_multi_aff_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
l
a
e
g
e
d
ec
l
are
isl_pw_
m
u
l
ti_aff_ali
g
n_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
er
d
o
o
la
e
ge
dec
l
are isl_basic_map_
r
emove
_
div
s
_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n
Verdoolae
g
e
ad
d
isl_vec_fdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_*_
l
ist_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
decla
r
e isl_
m
ap_fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Ve
r
doolae
g
e
add i
s
l_basic_map_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Ve
r
doola
e
ge
add
isl_basic
_
map_order_ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoolaege
declar
e
i
sl_aff_zero_basi
c
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoola
e
ge
add
isl_ve
c
_concat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_v
e
c
_
free
:
re
t
urn NUL
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en
V
e
r
doola
e
ge
is
l
_map_free:
return NUL
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
o
olaege
isl
_
basic_set_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
lae
g
e
isl_basi
c
_m
a
p_free: return NU
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
isl_space_
f
r
e
e:
r
eturn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_basic_map_gauss: also se
t
prog
r
es
s
if a div expres
s
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdo
o
la
e
ge
isl_tarjan_graph_init: document the order of the
components
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaeg
e
isl_aff
.
c: document isl_aff_norm
a
l
i
ze
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rd
o
o
laeg
e
isl_aff
.
c: fi
x
typo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verd
o
ol
a
ege
hide in
t
ernal chec
k
_help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaeg
e
hide interna
l
basic_
m
ap
_
ide
n
t
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdo
o
l
aeg
e
isl_map_
s
implify
.
c:
r
emove_duplicat
e
_divs: preserve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
S
v
en
V
erdoolaege
isl_basic_map_drop
_
redundant_divs: d
o
n'
t
drop divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven
Verdoolaege
isl_test
:
generalize subset t
e
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
S
ven Verdoo
l
aege
ren
a
me isl
_
set_dim_ha
s
_*_b
o
und to isl_set_dim_has_any_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Ve
r
doo
l
aege
rel
i
ce
n
se
isl
und
e
r
t
he MIT license
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
e
r
doo
l
aege
configure
.
ac: link again
s
t same LL
V
M componen
t
s as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
Merge branch
'mai
n
t'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sve
n
V
e
rdoolaege
isl_map_
i
ntersect:
f
i
x
error hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
erdoolaege
isl
_
access_info_add_sour
c
e
:
p
l
u
g
m
emo
r
y leak on erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
S
ven Ve
r
doolaege
isl_set_dim_residue_class: corre
c
t
l
y consider all basi
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verdool
a
ege
i
sl_map_subtract:
h
andle duplicate
divs i
n
subtrahend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sven
V
e
rdool
a
e
g
e
isl_aff_scale_do
w
n
:
c
h
e
ck fo
r
s
ca
l
ing do
w
n by
z
ero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
S
ven Verdoo
l
aege
a
d
d isl_
*
_list_drop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven
V
e
r
doolaeg
e
i
sl_*_list_add
:
d
y
namically grow list to acco
m
od
a
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sve
n
Ver
d
o
olaege
config
u
r
e
.
ac:
don't
allow i
n
stallation i
n
sou
r
c
e or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Ve
r
doolaege
add isl_space_i
s
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
export isl_spac
e
_is_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
doc: document isl_space_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven
V
erdoo
l
aege
add isl_space
_
is_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven
V
e
r
doola
e
ge
declare isl_pw_m
u
l
t
i_aff_project
_
domai
n
_on
_
pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Ve
r
d
oolaege
a
d
d isl_map_has_tuple_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-04
Sven Ver
d
oolaege
A
U
THORS:
add Mythri Alle
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_printer_free:
r
eturn NUL
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
declar
e
isl_pw_multi_aff_drop
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
V
erdoolaege
expor
t
is
l
_multi_aff_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdoolaege
extr
a
ct comm
o
n implementation
of
Tarjan's
a
lg
o
rithm
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
add is
l
_poin
t
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaege
isl_
u
nion_map_e
x
t
ract_ma
p
: ignor
e
parameters in sp
a
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoola
e
ge
isl_union_map
_
e
x
trac
t
_map:
r
e
name d
i
m argume
n
t to space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoola
e
ge
isl_map_simplify
.
c: elim
i
nate_var_usin
g
_equality: normalize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoo
l
a
e
ge
isl_st
r
eam_read_
m
a
p
:
for
c
e r
e
sul
t
t
o
b
e a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
i
s
l_strea
m
_read_map: a
c
c
e
p
t rational affine expressi
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
olaege
add
i
sl_map_{lexmin
,
l
e
x
ma
x
}_pw_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
dec
l
are
i
s
l
_m
a
p_remove_unk
n
own_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
e
n
V
erdoolaege
doc: document isl
_
set_remov
e
_unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
olaege
d
ec
l
are is
l
_map_
r
e
move_di
v
s_in
v
olving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erd
o
olaege
a
d
d
i
sl_basic_set_remove_d
i
vs_involving_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaege
d
o
c: d
o
cument isl_set_remove
_
divs_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolae
g
e
add isl_basic_set_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
add isl_union_set_fr
o
m
_
b
a
sic_set a
n
d
isl_u
n
i
o
n_map_f
r
o
m_basi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolaege
a
dd isl_basic_{set,map}_
i
nsert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoola
e
ge
ad
d
is
l
_b
a
sic_{s
e
t,ma
p
}_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
laege
ad
d
isl_un
i
on_ma
p
_do
m
ain
_
prod
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoolaege
declare isl_basic_map_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next