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_basic_map_domain: properly set dimension of result
2010-07-30
Sven Verdoola
e
ge
isl_basi
c
_ma
p
_domain: prope
r
l
y
s
et dimensi
o
n
o
f
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
pri
v
ately expo
r
t
isl
_
s
e
t_reset_di
m
and isl_map_reset_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
isl_map_re
a
d: e
x
tra
c
t
o
ut read_var
_
def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl
_
hash
_
table_foreach: pas
s
pointer to entry
d
ata
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
isl_hash_table_fore
a
c
h
: add user argum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
isl_t
r
a
n
sitive_clo
s
ure
.
c: f
i
x
dou
b
l
e
free on erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_ma
p
_
gist: use simp
l
e
h
ull instead of
c
onvex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doo
l
aege
isl_map
.
c: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
isl_cat: read g
e
neric objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaeg
e
isl_prin
t
e
r
: add NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
make i
s
l_obj_none
a
constant ex
p
ression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
o
ol
a
e
g
e
add isl_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_map_fast_is_universe: also detect r
e
du
n
dant repre
s
enta
t
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n V
e
rdoolaege
add
isl_map_reachi
n
g_path_len
g
ths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
doolaege
isl_ma
p
_po
w
er: de
l
ay equating path lengths to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
o
olaege
isl
_
ma
p
_pow
e
r: apply
Floy
d
-Warshall t
o
co
m
pute
p
owers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoolae
g
e
i
sl
_
map_lexmax: produce less cryptic er
r
or message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl_
b
asi
c
_map_move_dims
i
n presence
of existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n
Verdoo
l
ae
g
e
i
s
l_test: dro
p
debugging out
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolae
g
e
isl
_
transitive
_
closure
.
c
:
fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl
_
m
a
p_lex_ge
a
nd
i
sl_
m
ap_le
x
_le in the zero-dime
n
siona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verd
o
o
l
ae
g
e
i
s
l_printer_print_map: replace variable
by its definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
ve
n
Verdoolaeg
e
privately
e
xport isl_basi
c
_map_fast_cmp and i
s
l_basic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
e
n Verdoolaege
is
l
_
dim_set_name: don't accept names that
l
o
ok like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
To
b
ias Gr
o
s
s
e
r
Remove com
m
a at t
h
e
end of enum
e
rati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdool
a
eg
e
isl_conve
x
_hu
l
l
.
c:
av
o
i
d side-effects in calls to is
l
_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
en Verdoolaege
add isl_ha
s
h_b
u
iltin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaeg
e
a
d
d isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
S
v
e
n Verdoola
e
ge
do
c
: fi
x
s
o
me t
y
pos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ver
d
ool
a
ege
M
a
kefile
.
a
m
: rea
l
ly include i
n
clude/isl_ver
t
ic
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
V
erdoolae
g
e
ad
d
isl_map_is_b
i
jective
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: dro
p
d
upli
c
ate booktitl
e
from K
e
lly1
9
96closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: use
m
ore explicit not
a
tion to
a
void confusion
commit
|
commitdiff
|
tree
2010-06-27
S
v
en V
e
rdoola
e
g
e
add isl_co
n
s
traint_
i
s_
d
iv_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_map
_
si
m
plify
.
c: separate out isl_basic
_
m
a
p
_is_div_cons
t
raint
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
isl_basic_
m
ap_from_constr
a
i
n
t
: keep all div
s
, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
isl_basi
c
_map_from_constra
i
nt: only return
c
o
py of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
o
l
a
ege
isl
_
c
o
ns
t
r
aint_ad
d
_
d
iv:
c
orrectly s
e
t line to
f
ir
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
la
e
g
e
isl_pip: renam
e
pip_o
p
tions
t
o
avoid con
f
lict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
i
s
l_convex_hull
.
c: initial_facet_constra
i
nt: fix e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
doc: desc
r
ibe backwar
d
incompatible change
s
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
doc
:
ment
i
on discussion grou
p
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaeg
e
ren
a
me i
s
l
_basi
c
_
m
ap
_
conv
e
x_hull to is
l
_basi
c
_map_
r
emove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
i
s
l
_a
f
fine_hull
.
c: outside_poin
t
: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab
_
rol
l
back: avoid dou
b
le free on error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_tab
.
c: tab_ma
t
_product: avoid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erdoolaege
i
s
l
_
t
a
b
_e
x
tend_cons: avoid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
implement anti
q
uated isl_basic_
s
et_n
_
* i
n
terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olae
g
e
isl_ma
p
_con
v
ex_hul
l
: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
ae
g
e
is
l
_tab_add_valid_eq:
retu
r
n int instead o
f
isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
r
d
oolaege
isl_a
f
f
i
ne_hul
l
.
c:
a
ffine_hull_with_cone: avoi
d
NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_equal
i
ties
.
c: parameter_compression_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
laege
isl_basic_
m
ap_project_
o
ut: avoid NULL pointer
d
er
e
feren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_
c
oalesce
.
c: coalesce_pair: avoid NU
L
L pointer d
e
r
e
fe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_convex_h
u
ll
.
c: ex
t
end: f
i
x error
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
mplem
e
n
t antiquat
e
d isl_set_n_* in ter
m
s of
i
sl_set_di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_map_simplify
.
c: normali
z
e
_divs: avoid NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_input
.
c
:
vars_drop: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c: uset_c
o
nvex_h
u
ll_wr
a
p
_
bounde
d
: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
sl_set_wrap_facet: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_tab_mi
n
: avoi
d
NULL p
o
int
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
l
aege
i
s
l
_affine
_
hull
.
c: extend_
a
ffine_hull: av
o
id NU
L
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_bas
i
c_map_ext
e
nd: plug memor
y
leak
on error path
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoola
e
ge
isl
_
affine
_
hull
.
c: e
q
ua
l
ities
_
in_underlyin
g
_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rd
o
olaege
isl
_
b
a
s
ic_set_preimage: a
v
o
i
d NULL point
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_pip
.
c:
no_sol
_
in_strict: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaeg
e
isl_affi
n
e
_hull
.
c: equa
l
ities_in_underlying_set
:
p
lug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_affi
n
e_hul
l
.
c: affine_
h
ull: fix erro
ha
n
dli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
dool
a
ege
is
l
_m
a
p_project_out: fix error return
va
l
ue
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_b
a
sic
_
map
_
intersect_range: avoid NULL poi
n
ter derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_tab_pip
.
c
: find_so
l
u
tions: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
isl_basic_map_allo
c
_
d
im: fi
x
e
rror han
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl
_
basic_map_intersec
t
: avo
i
d
NU
L
L p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl
_
ta
b
_pip
.
c: s
o
l
_
map_init: av
o
id N
U
L
L point
e
r
d
erefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
isl_basic_ma
p
_intersect_do
m
ain
:
avo
i
d N
U
LL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erd
o
olaege
isl_
f
low
.
c: comput
e
_val_based_dependenc
e
s: fix e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl
_
flow_alloc:
f
i
x
err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_access_in
f
o
_compu
t
e_flow:
fix e
r
ror h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_{set,map}_fast_
i
s
_
e
mpty: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doola
e
ge
isl_flow
.
c: avoid accessing dim field
directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
sl_access_
i
n
fo_c
o
mpute
_
f
l
ow:
avoid NULL poin
t
er
d
eref
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l_
i
n
put
.
c
:
obj
_
r
e
ad: avoi
d
NUL
L
pointer der
e
fe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
isl_m
a
p
_
subt
r
ac
t
.
c: t
a
b
_
a
d
d_constra
i
nts: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
isl
_
tab
.
c: close_row:
fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ma
p
_simplify
.
c
: remove_duplicate_divs:
a
void
N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
doolaege
i
s
l_basic_ma
p
_aff
i
ne_hull: avo
i
d NULL pointer de
r
e
fe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_t
a
b_add_eq: return
int instead of isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_map_
s
impli
f
y
.
c
: remove_du
p
li
c
ate_co
n
s
t
raints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_s
i
m
p
li
f
y
.
c: el
i
minate_divs_ineq: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_basic_
m
ap
_
eliminate_va
r
s: avoid
N
UL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_s
a
mple
.
c: i
n
te
r
val_sample: avoid NULL pointer
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sampl
e
.
c: drop_c
o
nstrain
t
s_invol
v
ing: a
v
oid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_strea
m
_n
e
w:
read_de
f
ined_var_list: av
o
id do
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl
_
basic_map_intersect: av
o
i
d NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_samp
l
e
.
c: gbr_sample: avoid NULL point
e
r
derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tes
t
.
c:
avoid NULL pointer der
e
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_test: avoid accessing
b
as
i
c set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_input
.
c: r
e
ad_defined_var_l
i
st: avoid double free
.
.
.
commit
|
commitdiff
|
tree
next