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 Ve
r
do
o
laege
isl_cat: re
a
d generic objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdool
a
ege
isl_printer: a
d
d NULL ch
e
cks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
make i
s
l_obj_non
e
a constant exp
r
ession
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oola
e
ge
add
i
s
l_ma
p
_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
i
s
l
_
map_fast_is_universe:
also
detect
r
edundant represen
t
ati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoo
l
aege
add isl_map_reachi
n
g
_
pa
t
h_le
n
g
t
hs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
oo
l
aege
isl_map_pow
e
r: dela
y
e
quating
p
a
th lengt
h
s
to p
o
wer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_
p
ower: apply Floyd-
W
arshall to compute
p
owers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdoola
e
ge
i
s
l_map
_
lexm
a
x: produce less cryptic error message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Ver
d
ool
a
ege
fix isl_basic
_
map
_
mo
v
e_dims
in presence of exis
t
ent
i
ally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en V
e
rdool
a
eg
e
isl_test: dro
p
debugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdoolaege
isl
_
t
rans
i
tive_cl
o
sure
.
c
:
fix typo in c
o
m
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
erdoolaeg
e
fix isl_map_lex_ge and
i
sl_map_lex_le i
n
th
e
zero-d
i
mensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoolaege
isl_printer_print
_
map: replace
variable by its definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoola
e
ge
p
r
ivately export isl_basic_map_fast_c
m
p and
isl_
b
asic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
is
l
_dim_set_n
a
m
e: don't a
c
cept
n
a
mes that
look li
k
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias
Gr
o
ss
e
r
Remov
e
comma at
the end of en
u
meration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sv
e
n
V
e
rdoolaege
i
sl_convex_hull
.
c
:
av
o
id si
d
e-effects in call
s
to
is
l
_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add isl
_
h
a
sh_builtin
commit
|
commitdiff
|
tree
2010-07-04
S
ven Verdoolaege
add isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sv
e
n
Verdoolaege
doc: fix some ty
p
os
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
i
sl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Makefile
.
am:
really include in
c
lude/isl
_
vertic
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
ad
d
isl_map_is_bije
c
tive
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoolaeg
e
doc: drop du
p
li
c
at
e
bo
o
ktitle from
Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: use more explicit
n
otation to avoid confusion
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoola
e
ge
add i
s
l_constraint_is_di
v
_c
o
nstrain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaege
isl_
m
a
p
_si
m
plify
.
c: separate
out
i
s
l_basic
_
m
ap_is_d
i
v_con
s
train
t
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoola
e
ge
isl_basic
_
map_from_c
o
nstrai
n
t
: keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl
_
b
a
sic_ma
p
_from_constra
i
nt: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oola
e
g
e
i
s
l_constr
a
int_add_div:
c
orrec
t
ly
s
e
t
line
to fir
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
Verdoolaege
is
l
_pip
:
rename
p
ip_options t
o
avoid
c
on
f
lict w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
conve
x
_hu
l
l
.
c: in
i
tial_f
a
cet_constraint:
f
ix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
g
e
doc: describe backward incompatibl
e
changes
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolae
g
e
doc: mention di
s
cussio
n
group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
re
n
a
me i
s
l_bas
i
c_map_conve
x
_
hull to i
s
l_basic_map_
r
emove
_
red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
s
l_
a
ffine_
h
ull
.
c: out
s
ide_point: fix
error
h
a
n
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aeg
e
is
l
_
t
ab_rollback: av
o
id double fre
e
on
e
rror p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tab
.
c: tab_mat_produ
c
t: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoo
l
a
ege
isl_tab_
e
xtend_cons: avoid NULL pointer derefe
r
enc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
imp
l
e
m
e
n
t
a
n
tiquate
d
isl_basic_set_n_* in
t
e
rms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_map_convex_hull: a
v
oid N
U
L
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tab_add_
v
ali
d
_eq: re
t
urn int
i
nste
a
d of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
isl_af
f
ine
_
hull
.
c:
a
f
f
ine
_
hu
l
l_w
i
t
h_cone:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_equalities
.
c: parameter_comp
r
e
s
sion_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic_map_pro
j
ec
t
_ou
t
:
avoid
N
U
L
L pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_coalesce
.
c: coalesce_pair: avo
i
d NULL
pointe
r
der
e
fere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_convex_
h
ull
.
c: extend: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
i
m
pl
e
me
n
t an
t
i
quated isl_
s
e
t
_n_* in terms o
f
isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
a
e
g
e
i
sl_map_sim
p
l
i
fy
.
c: normal
i
ze_d
i
vs: av
o
id NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_i
n
put
.
c: v
a
rs_d
r
op: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl
_
convex_hull
.
c: uset_con
v
ex_hull_w
r
a
p_
b
ounded: fi
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_s
e
t_wr
a
p_facet:
fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
is
l
_
ta
b
_min: av
o
id
NULL po
i
nter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_a
f
fine_
h
u
l
l
.
c: ex
t
end_affine_hull: avoid
NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_
m
ap_extend: plug me
m
ory leak on e
r
r
o
r pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_affine_hull
.
c: equalities_in_unde
r
lying_
s
et: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_basic_
s
et_pre
i
mage:
avoid N
U
LL point
e
r
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_t
a
b_pip
.
c:
no_sol_in
_
stri
c
t: fix err
o
r han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_aff
i
ne_
h
ull
.
c: eq
u
aliti
e
s
_in
_
u
n
derlyi
n
g
_set:
p
lug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c
:
affin
e
_
h
u
ll: fix erro
h
andli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
sl_map_project
_
o
u
t:
fi
x
e
rror re
t
u
r
n value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_intersect_range: avoid NULL poin
t
er de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
i
sl_tab_p
i
p
.
c: f
i
nd_sol
u
tio
n
s: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_basic_map_alloc_dim
:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_
m
ap_in
t
ersect: avoi
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_tab_p
i
p
.
c: sol_m
a
p
_
i
n
it:
avoid NU
L
L point
e
r
de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_m
a
p_intersect_dom
a
in: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aeg
e
isl
_
f
low
.
c: com
p
u
t
e_val_based_depen
d
ences: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_flow_alloc: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_access_i
n
fo_comp
u
te_flow: f
i
x
er
r
or handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
is
l
_{set,map}_fast_is
_
empty: avoid NULL p
o
inter d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow
.
c
: avoid acces
s
ing d
i
m field directl
y
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
isl
_
a
c
cess_info_compute_flow:
avoid NULL pointer d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
i
s
l_input
.
c
:
obj_read:
a
void
N
U
LL poin
t
er d
e
refer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map
_
subtract
.
c: tab_add_constraints: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab
.
c
: close_row: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_map_simpli
f
y
.
c: remove_duplicate_divs:
a
void N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_basic_map_affine_hu
l
l: avoid NULL p
o
i
nter de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_tab_add_eq:
r
eturn in
t
instead of
i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_
m
ap_sim
p
lify
.
c: remove_dup
l
icate_const
r
a
i
nts:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_map_sim
p
lify
.
c: eliminate_divs_ine
q
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oo
l
aege
isl_basic_ma
p
_
e
lim
i
nate_vars:
avoid
N
ULL pointe
r
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
isl_sample
.
c: interval_sample:
a
voi
d
NULL
po
i
nter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
i
s
l_sample
.
c: drop_constr
a
ints_involving: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdool
a
ege
isl_
s
tream_new: read_defined_va
r
_list: av
o
id
double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_
b
asic_m
a
p_inters
e
ct: av
o
id NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_sample
.
c: gbr_sample: avoi
d
NULL pointer
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
is
l
_
t
e
s
t
.
c: avo
i
d NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_t
e
st: avoid accessing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
i
np
u
t
.
c: read_
d
efined_va
r
_
list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_convex_hull
:
avo
i
d NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_basi
c
_map_normalize_c
o
nstraints:
avoid NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic_
m
a
p
_total
_
dim:
a
vo
i
d NULL pointer der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_
b
a
s
ic_m
a
p_order_di
v
s: a
v
oid
NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoo
l
aege
isl
_
convex_hull
.
c
: isl_ba
s
i
c_set_add
_
equ
a
l
i
ty: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
convex_hull
.
c: compute
_
facet: avoi
d
NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aeg
e
i
sl_test
.
c: map_is_e
q
ua
l
: chec
k
input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_dim
.
c: copy_nam
e
s: check in
p
ut dim
commit
|
commitdiff
|
tree
next