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_transitive_closure.c: fix typo in comment
2010-07-23
Sven Ver
d
oolaege
isl_transit
i
ve
_
closure
.
c
: fix typo in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix
isl_map_le
x
_ge and
i
s
l
_map_lex_le in t
h
e ze
r
o-dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sve
n
Verdoolaeg
e
isl_printer_pr
i
nt_map:
r
eplace variable by its
d
e
finitio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdool
a
ege
private
l
y export is
l
_
b
asic_m
a
p
_fast_cm
p
an
d
i
sl_basic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
ven V
e
rdoola
e
ge
i
sl_dim_set_
n
ame
:
don't accept names that look
like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
T
o
bias Grosser
Remove com
m
a at the e
n
d o
f
enumeration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven
Verd
o
olaeg
e
isl_convex_h
u
l
l
.
c: a
v
o
i
d side-effects i
n
calls to isl_i
n
t_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven
V
e
r
do
o
laege
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven
V
erdoolaege
add is
l
_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven
Verdo
o
la
e
g
e
d
oc: fix
s
ome ty
p
os
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
do
o
laege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
Makefile
.
a
m
:
reall
y
includ
e
include/
i
sl_v
e
r
tic
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
add isl_ma
p
_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
S
v
en
V
e
rdoolaege
d
o
c:
fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdoolaeg
e
doc
:
drop du
p
licate
bookt
i
tle fr
o
m
K
e
lly1996cl
o
sure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaege
doc: use mor
e
explicit notati
o
n to
a
v
o
id confusion
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verd
o
olaeg
e
a
d
d i
s
l
_con
s
traint_is_d
i
v_co
n
strain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
isl_map_simplify
.
c: s
e
parate out isl
_
basic_map_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_basic_map_fro
m
_constra
i
nt: kee
p
all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
isl
_
basic
_
map_from_constraint: o
n
ly
r
eturn copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Ver
d
oolaege
isl_c
o
n
s
traint_add_div: correctly set
l
in
e
t
o first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_
p
ip:
r
ename pip_optio
n
s
to avoid conf
l
ict w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_convex_hu
l
l
.
c
: initi
a
l_facet_c
o
nstraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
doc: de
s
cribe backward
incompatible
ch
a
nges
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
doc: mention discussion g
r
oup
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
rename
i
sl_
b
asic
_
map_conve
x
_hull to i
s
l
_
basic_map
_
remo
v
e_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
is
l
_
af
f
ine_hu
l
l
.
c
: ou
t
side_po
i
nt: f
i
x erro
r
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
is
l
_tab
_
rollback: a
v
oid doub
l
e fr
e
e on
e
rror path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_ta
b
.
c:
tab_mat_product: avoid NULL
p
ointer der
e
fe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_tab_extend_cons: avoi
d
N
ULL p
o
inter
d
erefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
implement anti
q
uat
e
d isl_basic
_
set_n_*
in
t
erms
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
i
s
l_map_con
v
ex_hu
l
l:
a
v
o
id NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_ta
b
_add
_
valid_e
q
: return i
n
t instead of
i
sl
_
tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
o
l
a
e
ge
isl_affine_h
u
ll
.
c: af
f
ine_hul
l
_with_cone:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl
_
equa
l
itie
s
.
c: pa
r
a
meter_
c
ompres
s
ion_mul
t
i: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
is
l
_basic_ma
p
_p
r
ojec
t
_o
u
t: a
v
oid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
isl_coalesc
e
.
c: coalesc
e
_pair: avoid
NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aeg
e
isl_con
v
ex_hull
.
c: exten
d
: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement an
t
iquated
i
sl_set_n_* in t
e
r
m
s of isl_set
_
di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
map_simplify
.
c: nor
m
alize_divs:
a
v
o
id NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
a
ege
isl_i
n
put
.
c: v
a
rs_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_convex_hull
.
c
:
us
e
t_convex_hu
l
l
_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
a
ege
isl_s
e
t
_
w
rap_facet:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab_min: avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
isl_affi
n
e_hul
l
.
c:
ex
t
end
_
affine_hull: avoid N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erd
o
olaege
isl_basic_m
a
p_exten
d
: plug me
m
ory leak on error pat
h
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_af
f
ine
_
hu
l
l
.
c: equalities_in_underl
y
ing_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_basic_s
e
t_pre
i
mage: av
o
id NULL po
i
nter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
doolae
g
e
isl_ta
b
_pip
.
c: no_sol_in_strict: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdool
a
ege
isl_aff
i
ne
_
hull
.
c
:
equalities_i
n
_un
d
er
l
ying_set: plu
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
i
s
l
_
affine
_
hull
.
c: affine_hu
l
l
:
fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaeg
e
i
s
l
_ma
p
_proje
c
t_out: fix error retu
r
n value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_inte
r
sect_
r
an
g
e
:
avoid NULL p
o
inte
r
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl
_
tab_pip
.
c: find_solut
i
on
s
: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_basic_map_all
o
c_di
m
:
f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ver
d
oolaege
isl_basic_map_inte
r
sect: avoid NULL p
o
in
t
er
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
is
l
_tab_pi
p
.
c: s
o
l_map_ini
t
: av
o
i
d NULL po
i
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_bas
i
c_ma
p
_
i
ntersect_domain: av
o
id NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
i
sl_flo
w
.
c: compute
_
val_based_dependences: fix e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_flow_al
l
o
c
: fi
x
error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
i
s
l_a
c
ce
s
s_i
n
fo_
c
ompute_flow: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
isl_{set,m
a
p}_fas
t
_is_empty: avoid NULL p
o
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_flow
.
c: a
v
oid acces
s
ing dim
field dire
c
tl
y
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
is
l
_access_info_compute_flow: avoid NULL pointe
r
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_input
.
c:
o
b
j
_r
e
ad: avo
i
d
NULL poi
n
ter dere
f
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_m
a
p_subtract
.
c: tab_add_constraints:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
is
l
_tab
.
c
:
c
lose_row: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ma
p
_
simplify
.
c: remove_dupli
c
ate
_
divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_af
f
ine_hull: avo
i
d
NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
tab_add_e
q
:
return int ins
t
e
a
d of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
map_simplify
.
c: remove_duplicate_
c
onstrai
n
ts: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
i
sl_map_simplify
.
c: elimina
t
e_
d
ivs
_
ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
o
o
l
aege
isl_
b
a
sic_map_elimi
n
ate_vars: avoi
d
NULL p
o
inter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c:
interval_sample:
avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_samp
l
e
.
c: drop_constraints_involving: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_stream
_
new:
r
ead_defined_var_list: avoi
d
do
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic_map_intersect: avoid NU
L
L p
o
in
t
er der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_sample
.
c: gbr_sample: avoid NU
L
L po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
t
est
.
c: avoid NULL
p
ointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test:
avoid acc
e
ssing bas
i
c se
t
i
n
tern
a
l
s
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_input
.
c:
r
e
ad_d
e
fined_
v
a
r
_
l
i
s
t
:
a
void do
u
ble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
i
s
l_m
a
p_conv
e
x_hull: avo
i
d
NULL po
i
nt
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_
m
a
p
_
normalize_co
n
straints: avoid
N
ULL
poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
a
p
_
to
t
al_dim: avoid NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doola
e
ge
isl
_
basic
_
map_o
r
der_
d
ivs: avoid N
U
LL po
i
nte
r
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_convex_
h
u
ll
.
c: isl_basic_se
t
_a
d
d_equality:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaeg
e
is
l
_c
o
n
v
ex_hull
.
c: compu
t
e_face
t
: a
v
oi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
is
l
_test
.
c:
m
ap_is_equ
a
l
:
check in
p
ut
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_dim
.
c:
copy_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl_dim_dup: check
i
n
put
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
isl_
b
asic_map_cow:
check result of
all
o
ca
t
i
on
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_stream_new_str
:
c
h
e
c
k
resul
t
of
a
llocation
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdoolaege
is
l
_
s
tream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolae
g
e
is
l
_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ve
r
doolaege
isl
_
tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ve
r
doolaege
i
sl_
p
ol
y
nomial
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_vertices
.
c:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
o
olaege
i
s
l
_
mor
p
h
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_map
.
c:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdo
o
laege
isl_
m
ap_simpli
f
y
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
next