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
privately export isl_set_reset_dim and isl_map_reset_dim
2010-07-30
S
v
en Verdoolaege
p
rivatel
y
expor
t
isl_set_
r
eset_dim
and isl_map
_
r
e
s
et_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_map_re
a
d: extract out read_var_d
e
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n Verdool
a
e
ge
isl_h
a
sh_table_for
e
ach: pa
s
s pointer
t
o entry da
t
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
isl
_
hash_tab
l
e
_foreach: add
u
ser argum
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oola
e
ge
isl_transiti
v
e_closure
.
c
:
fi
x
doubl
e
free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
e
ge
i
sl_map_gist: use simple hull
instead of
convex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoo
l
aege
isl_
m
a
p
.
c:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n V
e
rdoolaege
isl_ca
t
: read
g
e
neric objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_pri
n
ter:
add NULL checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
make isl_
o
bj_n
o
ne a c
o
n
s
tant expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
add isl_map_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
isl_ma
p
_fas
t
_is_universe: also
det
e
c
t redundant
represen
t
ati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
e
rd
o
ol
a
eg
e
add isl_map
_
r
eaching_pa
t
h_le
n
gt
h
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
d
o
o
l
a
e
ge
isl
_
map_power: delay equa
t
i
ng
p
ath lengths to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdoolaege
i
sl_map_po
w
er:
a
p
pl
y
Floyd-Warsha
l
l to compute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdoolaege
i
sl_map_l
e
xm
a
x: prod
u
ce less cryptic er
r
or message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
V
e
rdoolaege
fix isl_basic_map_move_dims in presen
c
e o
f
existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
dool
a
ege
isl_test: drop debugging
o
utput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoola
e
ge
isl_transitive_closu
r
e
.
c
:
fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdoolaege
fix
i
sl_map_lex_ge and isl_map_lex_
l
e i
n
the zero-dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
S
v
e
n
Ve
r
doolaege
isl_printer_print_map: rep
l
ace vari
a
ble by
its d
e
finition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n Verdoolaege
pri
v
ately export isl_basic_map
_
fa
s
t_cmp and i
s
l
_bas
i
c_m
a
p_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven V
e
rdoolaege
isl_dim_se
t
_name: d
o
n
't accept na
m
e
s
t
h
at look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-11
Tobias
G
rosser
Remove comma at the end
of e
n
umeration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
i
sl_convex_hull
.
c: avoid side
-
effe
c
t
s
i
n
c
a
lls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
en Verd
o
olaege
a
dd i
s
l
_hash_b
u
iltin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoo
l
a
ege
add isl_i
n
t_get_st
r
commit
|
commitdiff
|
tree
2010-07-02
Sven Verd
o
ola
e
ge
doc: fix s
o
me typos
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verd
o
olaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
M
akefi
l
e
.
am: r
e
ally include in
c
lude/
i
s
l
_verti
c
es
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
ad
d
isl
_
map_is_b
i
jective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoo
l
aege
doc: drop
duplicate booktitle from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdo
o
laege
doc: us
e
m
ore ex
p
l
i
c
i
t
n
o
tat
i
on
to avoid
c
o
nfusion
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolae
g
e
add isl_constraint_is_div_constrain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
o
olaege
isl_
m
ap_simplify
.
c: separate out isl_bas
i
c_map_is_div_cons
t
raint
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdool
a
ege
i
s
l_
b
asic_map_from_constraint:
k
eep
a
ll divs,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
isl_basic_
m
ap_from_cons
t
raint: only return copy
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_constraint_add_div: c
o
rrectly set
lin
e
t
o firs
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
isl_pip: rename p
i
p_options t
o
avoid conflict
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
e
ge
isl_convex
_
hul
l
.
c: initia
l
_
f
acet_c
o
nstraint:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
d
oc: de
s
cribe backward i
n
compatible ch
a
nges
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
do
c
: mention discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
rename isl_
b
asic_map_convex_hull to isl
_
basic_map_r
e
move
_
re
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_a
f
fine_hull
.
c: outside_point: fix
e
r
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_rollb
a
ck: a
v
oid
d
ouble
f
ree on err
o
r pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
d
o
o
laege
isl_tab
.
c: tab_mat_product: avoid NULL
p
oi
n
t
er
de
r
efere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_extend_con
s
: avoid NULL poin
t
er d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
imp
l
eme
n
t
antiquated isl_basic_set_n_* in
t
er
m
s of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_map_co
n
v
ex_hul
l
:
avoi
d
NULL p
o
inte
r
dere
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_tab_add
_
v
alid_eq: return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
affin
e
_hull
.
c
: affine_hull_with_cone
:
avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_equal
i
t
ie
s
.
c:
p
ara
m
eter_compression_mu
l
ti
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Ve
r
do
o
laege
i
sl_basi
c
_map
_
project_out: avoid NULL p
o
inter derefe
r
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
coalesce
.
c
:
c
oa
l
esce_pair: avoid
N
UL
L
p
oint
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
do
o
laege
isl_convex_hull
.
c: extend: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
imple
m
ent antiquated isl_s
e
t
_n_* in
terms of
i
s
l_set_di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_m
a
p_
s
implify
.
c: normalize_
d
ivs: a
v
oi
d
NU
L
L
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: va
r
s_drop: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
i
sl_c
o
nvex_h
u
ll
.
c
:
u
se
t
_convex_hull_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_set_wr
a
p_f
a
cet: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
is
l
_tab_min: avoid N
U
LL
p
ointer derefe
r
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
do
o
la
e
ge
i
s
l
_affine_hull
.
c: ex
t
end_
a
ffine_hull: avoid NULL
point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_map_extend: plug memory leak on error
p
a
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_affine_hull
.
c: equalit
i
es_in_
u
n
d
e
r
l
ying_set
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
b
asic_set_p
r
eimage: avoi
d
NULL poi
n
ter deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
laeg
e
isl
_
tab_
p
ip
.
c:
n
o_sol_i
n
_st
r
ic
t
:
fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_affine_hull
.
c: e
q
ualit
i
e
s
_in
_
u
nde
r
lying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_affine_hull
.
c: affine_hull:
f
ix erro hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l_map_pro
j
e
c
t_out
:
fix error return valu
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
s
l_basic_ma
p
_inter
s
ect_range:
a
v
oid NU
L
L pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_t
a
b_pip
.
c: find_so
l
uti
o
n
s: fix er
r
or
h
a
nd
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_alloc
_
dim:
f
ix erro
r
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
i
sl_ba
s
ic_map_intersect: avo
i
d
NU
L
L poin
t
er dere
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: sol_map_in
i
t
:
a
void NULL pointer dere
f
ere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
i
s
l
_basic_map_intersect_d
o
main
:
avoid NULL
p
oin
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_flow
.
c: compute_va
l
_based_depen
d
e
nces:
fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
o
o
laeg
e
i
s
l
_flow_al
l
oc: fix err
o
r ha
n
dlin
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
ool
a
ege
isl_access_in
f
o_
c
ompu
t
e_f
l
ow: fix error
h
and
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
o
laege
isl_{set,ma
p
}
_fast_is_empty:
avoid NULL p
o
inter d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_f
l
ow
.
c: avoi
d
accessing
d
im field directly
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
isl_access_info_comput
e
_
f
low: avoid
N
ULL pointer d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_input
.
c: obj_read: avoid NU
L
L
pointer dere
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl
_
map_subtract
.
c: tab_a
d
d_constraints:
avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_tab
.
c: close_
r
ow: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
ge
isl_map_simp
l
ify
.
c:
rem
o
ve_duplica
t
e_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaeg
e
isl_bas
i
c
_map_
a
ff
i
ne_hull: av
o
i
d
NULL poi
n
t
e
r
d
erefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_t
a
b_add_eq: retu
r
n int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
isl
_
map_simplify
.
c
:
r
e
mo
v
e
_
duplicate
_
constraints
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_simplify
.
c: eliminate_divs_ineq: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdo
o
laege
isl
_
basic_map_
e
liminate_vars: avoid
N
U
LL point
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_samp
l
e
.
c
:
interval_s
a
m
p
le: avoid NULL p
o
inter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl_sample
.
c: drop_con
s
t
r
aints_in
v
olving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl
_
stream_new: read_defi
n
e
d_var_list: av
o
id d
o
uble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
sl_basic_map
_
inters
e
ct: avoid
NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_sample
.
c: gbr
_
sampl
e
: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
isl_t
e
s
t
.
c
:
avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_test: avoid accessing ba
s
ic set
i
nternals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
i
nput
.
c: re
a
d_defined_var_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
isl_map_c
o
n
vex_hull:
av
o
id NULL pointer d
e
r
efer
e
nce
commit
|
commitdiff
|
tree
next