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_cat: read generic objects
2010-07-30
Sven Verdoolaege
i
sl_ca
t
: read generic objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl
_
p
r
int
e
r: a
d
d
NULL che
c
k
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Ve
r
doolaege
make isl_obj_none
a constant expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
d
o
olaeg
e
a
d
d i
s
l_map_get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Ve
r
doola
e
g
e
isl_map_fas
t
_is_univer
s
e: a
l
s
o
detec
t
redundant representati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Verdoolaege
ad
d
isl_map_reaching
_
path_len
g
ths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
doolaege
is
l
_map_p
o
wer:
d
e
l
ay
equating path lengt
h
s
to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
r
d
oolaege
isl_map_power:
apply Floy
d
-Wa
r
shall to compute
powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Verdoola
e
ge
isl_map_
l
exmax:
p
rodu
c
e
l
e
ss cryptic error message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolae
g
e
fix i
s
l_bas
i
c_map_mov
e
_dims in prese
n
c
e
of
e
xistentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_test: drop debugging
o
utput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
dool
a
ege
isl_tran
s
itive_cl
o
sure
.
c: fix typo in com
m
en
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Ve
r
doola
e
g
e
fix isl_
m
ap_
l
ex_ge and is
l
_map_lex_
l
e
i
n the z
e
ro-dime
n
si
o
na
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
S
v
e
n Verdoolaege
isl_pri
n
t
e
r_print_map:
repl
a
ce var
i
ab
l
e
b
y its
d
efinition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n Ve
r
doolaege
pr
i
vate
l
y expor
t
isl_basic_m
a
p_fast_cmp an
d
is
l
_basic_map_f
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
isl_
d
im
_
set_na
m
e: don't accept
names that look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sve
n
Verdoola
e
ge
isl_conv
e
x_hull
.
c: avoid side-effec
t
s in calls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven
V
erdoolaeg
e
a
dd isl
_
hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n Verdo
o
laege
add isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
S
v
en
Verdoola
e
ge
doc: fix s
o
me typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rd
o
olaege
Makefile
.
am: really
i
n
clude
i
nclude/isl_ve
r
tice
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Ver
d
o
olaege
add isl_map_is_bijectiv
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
doc: drop duplicate booktit
l
e f
r
om Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: use mor
e
e
xplicit notation t
o
avoid
c
onfu
s
ion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
add
isl_constraint_
i
s_div_const
r
ain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
s
l_map_
s
implify
.
c
:
separate
o
ut isl_basic_
m
ap_is_div_c
o
nstraint
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
isl_basic
_
map_from_constraint: keep
all d
i
vs
,
e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
is
l
_basic_map_from_constrai
n
t: only r
e
turn copy
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_cons
t
raint_add_div: correct
l
y se
t
l
i
n
e to fi
r
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl
_
pip: re
n
ame pip_opt
i
o
n
s to avo
i
d conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
i
s
l
_conv
e
x
_hu
l
l
.
c: initial
_
facet_constraint:
fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: describe ba
c
kward
incom
p
atible c
h
anges
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
e
g
e
d
o
c: me
n
tion discussio
n
grou
p
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
rename isl_basic_map
_
c
o
nvex_hu
l
l to isl_basi
c
_ma
p
_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
ola
e
ge
isl_affine_hull
.
c: outsid
e
_poi
n
t: fix
e
r
r
or
h
andling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
i
sl_tab_rollb
a
ck: avoid double f
r
ee
on error pat
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
isl_tab
.
c: tab_mat_product: avoid NULL poi
n
ter
d
er
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
a
e
ge
isl_
t
ab_extend_c
o
ns: avoid NULL po
i
nt
e
r
d
eref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
implement antiquated isl
_
basic_set_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_convex_hull: avoid NULL pointer de
r
e
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_
t
ab_add_v
a
lid_eq: return
int ins
t
ead
of isl_
t
a
b
*
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
isl_af
f
ine
_
h
u
ll
.
c: affine_hull_
w
ith_
c
one: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_equ
a
lities
.
c
: parameter
_
comp
r
e
s
s
i
on_multi:
avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdo
o
laeg
e
isl_basic_map_proje
c
t_out:
a
v
oid NULL
p
ointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_coalesce
.
c:
c
oales
c
e_p
a
ir: avoid
N
ULL pointer de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
i
sl_convex_hull
.
c: exte
n
d
: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement antiquated isl
_
set_n_*
i
n terms
o
f isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c: normalize_divs: avoid NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_inp
u
t
.
c:
v
ars_drop: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hu
l
l
.
c: us
e
t_convex_hull_wrap
_
bo
u
nded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l
_set_wrap_facet: fix er
r
or handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
sl_tab_min
:
avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affin
e
_hull
.
c: exte
n
d_affine_hull: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
ol
a
ege
isl
_
basic_ma
p
_
extend: plug
memory leak on
error path
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doola
e
g
e
isl_aff
i
ne_hul
l
.
c: equalities
_
in_un
d
erlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
i
sl_basi
c
_set
_
preim
a
ge: avoid NULL pointer
d
er
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olae
g
e
is
l
_tab_pip
.
c: n
o
_sol
_
i
n
_
strict: fi
x
error ha
n
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
er
d
o
o
l
aege
isl_affine_
h
u
ll
.
c: equalities
_
in_
u
n
de
r
l
ying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdool
a
eg
e
i
s
l_a
f
f
i
ne_hull
.
c: affi
n
e_hull: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_map_project_out:
f
ix erro
r
return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl_basic_ma
p
_
int
e
r
sect_range: avo
i
d NULL
p
ointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
sl_tab_pip
.
c: f
i
nd_so
l
utions: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
isl_bas
i
c_map_alloc_di
m
: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
b
a
s
ic_map_inter
s
ect
:
avoid NULL poin
t
er
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
l
a
e
ge
isl_tab_pip
.
c:
so
l
_map_init: avoid NULL point
e
r deref
e
renc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl_b
a
s
i
c
_
m
ap_intersect
_
do
m
a
in: avoid NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
i
s
l_flow
.
c: compu
t
e_val_ba
s
ed_depe
n
d
e
n
ces: fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
l
aege
isl_flow_a
l
l
o
c: fix
error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_a
c
cess
_
info_compu
t
e_flow:
f
ix er
r
or
handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verd
o
olaege
isl_{s
e
t
,
map}_fast_is_empty: avoid NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verd
o
ola
e
ge
isl_flow
.
c: avoid
a
ccessing dim field
d
irectly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_
a
cc
e
ss
_
info_co
m
pute_f
l
o
w
:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdo
o
laege
isl_inpu
t
.
c:
o
bj_r
e
ad: a
v
oid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_subtract
.
c
:
tab_add_
c
on
s
tr
a
ints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab
.
c: close_
r
o
w
:
f
ix error
h
andl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_ma
p
_simpl
i
fy
.
c: remov
e
_
d
u
p
licate_divs: avo
i
d NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basic_map_affine_h
u
ll: avo
i
d NULL po
i
nter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdool
a
ege
isl_tab_add_eq: return
i
nt
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoo
l
aege
isl_map_si
m
p
l
i
f
y
.
c: remove_dupli
c
ate_c
o
nstrain
t
s: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_
s
implify
.
c: el
i
m
i
nate_divs_in
e
q: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basi
c
_
map_el
i
minate_vars:
av
o
id N
U
LL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ver
d
oolae
g
e
isl_sam
p
le
.
c: inte
r
val_sam
p
le:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
g
e
isl_sam
p
le
.
c: d
r
o
p
_constra
i
nts_in
v
olving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_stream_new: read_de
f
i
n
ed_var_
l
ist: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
b
a
sic_m
a
p_i
n
tersect: avoi
d
NULL po
i
nter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl
_
sample
.
c: gbr_sa
m
ple: avoid NULL poi
n
ter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_test
.
c: avoid N
U
L
L
pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl_test:
avoid accessi
n
g basic
set interna
l
s
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
o
olaege
i
s
l
_input
.
c: read_defined_v
a
r_list
:
avoi
d
double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_convex_hull: avoid NULL p
o
inter
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l_basic_ma
p
_
normalize_constraints:
avoid NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_
b
asi
c
_ma
p
_total_
d
im: avo
i
d
NUL
L
p
o
inter
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoola
e
g
e
isl_basic_map_or
d
er_
d
ivs
:
avoi
d
NUL
L
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
i
s
l_convex_hul
l
.
c: isl
_
basic_set_ad
d
_e
q
u
a
l
ity: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
laege
isl_c
o
n
v
ex_h
u
ll
.
c: compute_fa
c
et: avoid
N
ULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl_test
.
c: m
a
p_
i
s
_
e
q
ual: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_dim
.
c: co
p
y
_
n
a
mes: check in
p
u
t
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_dim_d
u
p: check input dim
commit
|
commitdiff
|
tree
next