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_union_map_is_empty: fix typo that resulted in memory leaks
2010-08-10
Sven Verdoo
l
a
e
ge
isl
_
union_m
a
p_is_empty:
f
ix ty
p
o that resul
t
e
d
in m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoola
e
ge
a
dd isl_basic_map_has_definin
g
_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
add is
l
_set_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-07
Sven
V
erdoolaege
isl_pri
n
ter_p
r
int_map: fi
x
p
r
intin
g
in
l
atex format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en Verdoolaeg
e
i
s
l
_
set_wrap_face
t
:
norma
l
ize resu
l
ting facet constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdool
a
ege
isl_coale
s
ce
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
ven Ve
r
doolaege
isl
_
p
w_qpolyno
m
i
a
l_
i
nte
r
sect_doma
i
n: simplify po
l
ynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en Verdoolaege
isl_qpolynomial_move_dims:
plug me
m
o
r
y leak
a
nd fix
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ver
d
oolaege
add isl_pw_
q
polynomi
a
l_
r
e
a
d
_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven V
e
rdoolaege
add
isl_qpolyno
m
ial_fold_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
l
aege
isl_pw_qpolynomial_interse
c
t_dom
a
in:
dro
p
pieces that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdool
a
ege
isl_ma
p
_product: used
n
ested spaces i
n
res
u
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
isl_pw
_
qp
o
lynomial_boun
d
:
handle isl_pw_q
p
olyno
m
ial
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
s
u
pport nested isl_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ve
r
doolaege
d
oc: fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n V
e
rdoo
l
aege
export isl_
d
im_tu
p
le_match
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l_o
u
tput
.
c:
e
xtract out comm
o
n
pr
i
nt_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdo
o
laege
isl_input
.
c: read_tup
l
e: construct
isl_dim instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
doc
:
remove des
c
ription of ho
w
to get the piplib sub
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aeg
e
isl_printer_print_pw_qpolynomi
a
l_fold:
p
rint dim
as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_pw_qpolynom
i
al
_
insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoolaege
a
d
d
i
sl_
s
et_i
n
sert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
ad
d
isl_
b
asic_map
_
image_is_bounde
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verd
o
ola
e
ge
av
o
id NULL pointe
r
ex
c
ep
t
ion
in is
l
_
b
asic_ma
p
_
n
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
fix is
l
_pw_q
p
oly
n
omial_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
add isl_m
a
t_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verd
o
ol
a
ege
add i
s
l
_
mat_
a
dd
_
zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven Verdoolaeg
e
export isl_bas
i
c_map_move_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
hide isl_dim
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en
V
erdo
o
laege
add isl
_
di
m
_get
_
c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdoolaege
isl
_
basic_
m
ap_reset_dim: fi
n
alize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoolaege
isl_tr
a
nsit
i
v
e
_closure
.
c:
anonymi
z
e
input
map dur
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
isl_transitive_cl
o
s
ure
.
c:
k
eep track of do
m
ains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
is
l
_dim_dro
p
:
alw
a
y
s
r
e
m
o
v
e tuple
n
ame
,
eve
n
if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_dim_se
t
_
tuple_name: al
l
ow explicit rem
o
val of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add suppo
r
t f
o
r union sets and relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
isl_transitive_closure
.
c: extract out some reusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoo
l
aege
add isl_pw_qpolynomial_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
add isl_
m
ap_has_equal_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
erdoo
l
aege
ad
d
isl_dim_get_ha
s
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
is
l
_dim:
a
llow specif
i
cation of
tu
p
le names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Ver
d
oolaege
isl_map_from_domain_and_ran
g
e: imple
m
e
nt in terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdo
o
laege
i
sl_
b
asic_ma
p
_domain: properly set
dimension of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
p
rivat
e
ly expo
r
t isl_
s
et_reset_dim and isl
_
map_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ve
n
Ve
r
doolaege
isl_map_
r
ead:
extra
c
t out r
e
ad_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl_hash_table_fo
r
each: pa
s
s pointer to entry data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_hash_table_foreac
h
: add use
r
argume
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verd
o
olaege
isl_t
r
ansitive_
c
losure
.
c
:
fix double
f
ree o
n
e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_gist: use simple hull instead of convex
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
i
s
l_map
.
c: fix
t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
V
e
r
doolaege
isl
_
cat: read ge
n
eric objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaeg
e
i
s
l_printer
:
add NU
L
L checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaeg
e
m
ake isl_obj
_
none a constant expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
a
dd
isl_ma
p
_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
o
o
laege
isl
_
m
a
p_fast_is
_
un
i
verse: also det
e
ct red
u
nd
a
nt
representa
t
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Verdool
a
ege
ad
d
isl_map_rea
c
h
i
ng_p
a
th_leng
t
hs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoola
e
g
e
i
sl_map
_
p
o
wer: d
e
lay eq
u
a
t
ing pa
t
h
lengths to powe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verd
o
ola
e
g
e
is
l
_map_power:
a
p
p
ly Floy
d
-Warsh
a
ll to compute powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en
V
e
r
doolaege
isl_map_le
x
m
a
x:
p
r
oduce l
e
ss cryptic error
me
s
sage
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven V
e
rdoolaege
fix
isl_basic_ma
p
_move_dim
s
in p
r
e
sence
of existent
i
ally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
laege
i
sl_test:
drop debugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
Verdoolae
g
e
isl_
t
r
a
nsit
i
ve_closu
r
e
.
c: fix
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
laege
fix
i
sl_map_lex_ge and
isl_map
_
lex
_
le in the zero-dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
S
v
en Verdoolaege
i
sl_printer_pri
n
t_map: replace variable b
y
its definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
V
erdoolaege
p
rivately expo
r
t
isl_basi
c
_map
_
fast_cmp and isl_basic_m
a
p_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
V
e
r
d
oola
e
ge
isl_dim_set_name: don'
t
accept nam
e
s that loo
k
like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven
Verdoola
e
ge
isl_convex_hull
.
c: avoid
s
i
de
-
e
ffec
t
s in calls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
e
n
Verdo
o
laeg
e
add isl_hash_built
i
n
commit
|
commitdiff
|
tree
2010-07-04
S
v
en Verdo
o
laege
add isl_int_
g
et_str
commit
|
commitdiff
|
tree
2010-07-02
Sven
V
e
rdo
o
laege
doc: fix
some typo
s
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
is
l
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verd
o
olaege
M
a
kefile
.
am: really include
inc
l
u
d
e
/is
l
_
v
er
t
ice
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Verdoolaege
add isl_map_is_bijectiv
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Ve
r
doolaege
doc: d
r
op duplicate booktitle fr
o
m K
e
lly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc:
u
se
m
o
re ex
p
l
icit notatio
n
to avoid
c
o
nfusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
a
dd is
l
_constra
i
n
t_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolae
g
e
is
l
_m
a
p_simplify
.
c: separate o
u
t
isl
_
basic_
m
a
p_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolae
g
e
i
sl_basic
_
m
a
p_from_con
s
traint: k
e
ep all
d
ivs,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl
_
ba
s
ic_map_
f
rom_const
r
aint: only return copy o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
o
o
lae
g
e
isl_cons
t
raint_add
_
div: c
o
rrectly
s
et line to
first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
i
sl_pi
p
: r
e
n
ame pi
p
_optio
n
s
t
o a
v
oid conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c
:
in
i
tial_
f
a
c
e
t
_const
r
aint: fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
doc: describe backward
i
nc
o
mp
a
tib
l
e
chang
e
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: mention discus
s
ion grou
p
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verd
o
olaeg
e
rename isl_basic_map_convex_hul
l
to isl_basi
c
_
m
ap_r
e
mo
v
e
_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoo
l
aege
isl_affine_hull
.
c: outside_poin
t
: fix erro
r
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab_rol
l
back: avoid double free on erro
r
path
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_tab
.
c: tab_mat_produ
c
t: a
v
oid
N
ULL
poin
t
er de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab_extend_cons
:
avoid NULL pointer d
e
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
implement antiq
u
ated isl_basic_set_n_* in t
e
r
m
s of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_map_c
o
nv
e
x_hull: a
v
oid NULL po
i
nte
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_va
l
id_eq: retu
r
n int instead of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
lae
g
e
isl_aff
i
ne_hull
.
c: af
f
i
n
e
_
h
ull_
w
ith
_
cone:
a
void NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_equalities
.
c:
parameter_compression_m
u
lt
i
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaeg
e
isl_
b
a
sic_map_proj
e
ct_out: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_coalesce
.
c:
c
oal
e
sc
e
_pair: avoid NULL pointer derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_convex_hul
l
.
c
: ex
t
end: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
o
l
aege
implement antiquated isl_set_
n
_* in terms o
f
isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaege
isl_ma
p
_
s
implify
.
c:
n
ormal
i
ze_divs
:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
next