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_map.c: fix typo
2010-07-30
Sven V
e
r
d
oolae
g
e
isl_map
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
i
sl_cat: read gen
e
ric objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
erdoo
l
aege
i
sl_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 isl_obj_none
a
co
n
stant expr
e
s
s
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoo
l
a
ege
a
d
d isl_
m
ap_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
i
s
l_map_fa
s
t
_
is_universe: also detect redundant representati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
d
oolaege
ad
d
i
sl_map_
r
eac
h
i
ng_path_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven
Verdoolaege
isl_
m
ap_power: delay equating path lengths to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolae
g
e
isl_map_power
:
apply Floyd-Wa
r
s
h
all to
c
omput
e
powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
oolaege
isl_map_lexmax: produ
c
e
les
s
cryptic
e
rror message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n Verdoo
l
aege
fix isl_basic_map_move_dims in presence of existential
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdoo
l
aege
isl_test
:
drop debuggi
n
g output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_transitive
_
c
l
o
sur
e
.
c: fix
t
yp
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
l
a
ege
fi
x
i
s
l
_map_lex_ge and
i
sl_m
a
p_le
x
_le
i
n
th
e
zero
-
dim
e
n
s
iona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoolaege
isl_pr
i
nter_print_map: replace variable by its d
e
finiti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Ver
d
oolaege
privatel
y
export isl_ba
s
ic_map_fast_cmp
and is
l
_basic_
m
ap_f
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
isl_dim_set_name: don't ac
c
ept
nam
e
s that look li
k
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven V
e
rd
o
olaege
isl_conve
x
_
hull
.
c:
a
void side-effects in c
a
lls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
Ver
d
ool
a
ege
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
S
ven Verdoo
l
aege
a
d
d isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven V
e
rdoolaege
doc:
f
ix
s
om
e
typos
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolae
g
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Makef
i
le
.
am
:
reall
y
include include/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
add
i
sl_map
_
is_bijective
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verd
o
ol
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verd
o
olaege
do
c
: drop duplicate b
o
oktitle fro
m
K
elly1996clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoo
l
aege
doc: use more e
x
plicit notation t
o
avo
i
d
conf
u
si
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
a
d
d
i
s
l_constr
a
i
nt
_
i
s
_di
v
_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
is
l
_
m
ap_s
i
mpl
i
fy
.
c
: s
e
pa
r
a
te out isl_basic_map_
i
s_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
isl_basic_
m
ap_from_
c
onstraint: keep al
l
di
v
s
, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oolaeg
e
isl_b
a
sic_
m
ap_from_
c
onstrai
n
t
: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdo
o
laege
i
s
l_c
o
nstraint_ad
d
_di
v
: correctly set line to
f
irs
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdo
o
l
a
e
g
e
isl_pip: rename pip_options t
o
avoi
d
conflict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
d
oolaege
isl_convex_h
u
ll
.
c:
i
nitial_f
a
cet_const
r
a
i
nt: fi
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoola
e
g
e
doc: describe back
w
ard
in
c
ompatib
l
e
c
h
anges
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
doc: men
t
ion disc
u
ssio
n
group
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
rename isl_basic_
m
ap_convex_
h
u
ll
t
o isl_basi
c
_
m
ap_re
m
o
v
e_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
l
aeg
e
isl_af
f
ine_hul
l
.
c
: o
u
tside_point:
f
ix error
h
a
nd
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
isl_tab_r
o
llback
:
avoid double free on err
o
r p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
t
a
b
.
c: tab_m
a
t
_
p
rodu
c
t:
a
void NULL pointer
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
i
s
l
_
tab_extend_cons:
a
void
NULL pointer
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaeg
e
im
p
le
m
ent antiquated
i
sl_basic_set
_
n
_*
in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_convex_hull: avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
d
oo
l
aege
isl_tab_add_valid_eq:
return int inst
e
ad
of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_affine_hull
.
c: affine_hull_with_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_equalities
.
c:
p
arameter_compr
e
s
sion_m
u
l
ti
:
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_basic_map
_
p
r
o
j
e
ct_out
:
avoid NULL
po
i
n
te
r
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_coale
s
ce
.
c: coa
l
esce_pair: avoid NULL poin
t
er de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_convex_hull
.
c
:
exten
d
: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
g
e
impleme
n
t an
t
iq
u
ated isl_set
_
n_* i
n
te
r
ms of isl_set_d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
map_simplify
.
c: normalize_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: va
r
s_d
r
op: fix error hand
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl
_
c
onvex_hull
.
c: uset_convex_h
u
ll_wra
p
_bou
n
ded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erd
o
olaege
isl_set_wrap_facet: fix
e
rro
r
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tab_min:
avoid NULL po
i
nter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
affine_hull
.
c: extend_
a
ff
i
ne
_
hull: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
is
l
_basic_map_extend
:
plu
g
m
e
mory l
e
ak on error pat
h
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_af
f
in
e
_hull
.
c: equalities
_
in_
u
nder
l
ying_
s
et: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_ba
s
ic_set_preimage: a
v
oid
NULL po
i
nter dere
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl_tab_
p
ip
.
c: no_
s
ol_
i
n_strict: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_affin
e
_hull
.
c: equali
t
ies_in_un
d
erlying_set
:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_affine_hull
.
c: affine_hull: fix er
r
o ha
n
dlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_map_project_out:
f
i
x
er
r
or
return value
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
i
s
l_basic_map_int
e
rse
c
t
_range:
a
voi
d
NULL p
o
inter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: find_
s
o
lutions: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_alloc_dim: fi
x
error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_basic_map_i
n
tersect
:
a
v
o
i
d
NU
L
L
p
oin
t
er d
e
refer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl
_
tab_pip
.
c:
s
ol_map_ini
t
:
avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_basic_m
a
p_intersect
_
dom
a
in: avo
i
d NULL poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl_flow
.
c: compute_val
_
based_depend
e
nces: fix
e
r
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_
f
low_
a
lloc: fix error
h
an
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
er
d
oo
l
aege
isl
_
access_
i
nfo
_
comput
e
_flow
:
fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_{set,map}_fa
s
t_is_
e
mpty: avo
i
d N
U
L
L pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l
_f
l
ow
.
c: avoi
d
a
c
cessing di
m
fiel
d
direct
l
y
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_
a
ccess_info_com
p
ute_fl
o
w: avoid
N
U
L
L
pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdool
a
ege
i
s
l_
i
nput
.
c: obj_read: av
o
id
N
U
L
L
po
i
nt
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_subtract
.
c: t
a
b_add_c
o
nstrai
n
t
s
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
tab
.
c: close_row:
f
ix
e
r
r
or hand
l
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_map_sim
p
lify
.
c:
r
em
o
ve_d
u
plica
t
e_divs: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
b
asic_ma
p
_affine_h
u
ll: avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
tab_add_eq: return int instead of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolae
g
e
is
l
_map_sim
p
lify
.
c:
rem
o
ve_du
p
l
i
cate_constra
i
nts:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l_m
a
p_sim
p
lify
.
c: eliminate_
d
ivs_in
e
q: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
l
a
ege
isl_ba
s
ic_map_elimina
t
e_vars: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
ge
isl_
s
am
p
l
e
.
c: interval_sample
:
avoid NUL
L
pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_sample
.
c
: drop_constraints_involvin
g
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_st
r
eam_new: read_defined_var_list: avoid d
o
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c
_
map_i
n
tersect: avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_sample
.
c: gbr_sample:
a
void NULL
p
o
inte
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
o
o
laege
i
s
l
_
test
.
c:
a
void NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
isl_test:
a
void accessing bas
i
c set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_input
.
c:
r
ead_defined_va
r
_
l
ist
:
avoid double
free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_map
_
convex_
h
ull: a
v
oid NULL
p
o
inter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
isl_basic
_
map_normalize_con
s
traints: a
v
oid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_total_dim: avoid NULL pointer
d
erefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
i
s
l_basic_
m
ap_o
r
der_divs: avoid NULL pointer
d
eref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
g
e
isl_convex_hull
.
c
: isl_basic_
s
et_add_
e
qua
l
ity: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
e
g
e
i
s
l_convex_hull
.
c: comput
e
_facet: avo
i
d
N
ULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
isl_test
.
c: map_is
_
e
qual: c
h
e
ck input
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_dim
.
c:
copy_names
:
ch
e
ck input
d
i
m
commit
|
commitdiff
|
tree
next