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
add isl_set_set_tuple_name
2010-07-30
Sven Verdo
o
l
a
ege
i
s
l_c
a
t: r
e
ad generic objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaeg
e
i
sl_printer: add NU
L
L
checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
make isl
_
o
b
j_none a
con
s
tan
t
expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
la
e
ge
add
i
sl
_
map_g
e
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
Verdoolaege
isl_map_fast_is_univ
e
rse:
also det
e
c
t redu
n
dant repres
e
n
tati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Ver
d
o
olae
g
e
add
i
sl_ma
p
_reaching_path_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoo
l
aege
isl_map_p
o
w
e
r
: delay equating path leng
t
hs to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaeg
e
isl_map_pow
e
r: apply Flo
y
d-Warshal
l
to co
m
pute pow
e
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
rdoola
e
ge
isl_map_lex
m
ax:
p
roduc
e
less cryptic error
m
essage
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
laege
f
i
x isl_basic_map_move_dims in pre
s
e
n
ce
of existent
i
a
l
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
o
laege
isl_test:
d
r
op debugging output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoolaeg
e
isl_transitive_closure
.
c: fix
t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
V
erdoolaege
f
i
x
i
sl_map_lex
_
g
e and
i
sl_map_lex_le in the zero-dimensi
o
na
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sv
e
n Verdoolaege
isl_printer_print
_
ma
p
: repla
c
e variable by its definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sve
n
Verdoolaege
privately expor
t
isl_basic_map_fas
t
_cmp
and
i
sl_basic_ma
p
_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven
V
e
rdo
o
laeg
e
isl_dim_set_name: d
o
n't
a
cce
p
t names that look l
i
ke
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
isl_convex_hull
.
c: avoi
d
side-e
f
fects in calls
to
isl_
i
nt_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdool
a
ege
add isl_
h
ash_
b
uil
t
in
commit
|
commitdiff
|
tree
2010-07-04
Sven
V
erdoolaege
add
isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdo
o
laege
doc: fix s
o
m
e ty
p
os
commit
|
commitdiff
|
tree
2010-06-29
S
v
en V
e
rdoo
l
aeg
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
Makefile
.
am: really i
n
clud
e
include/
i
s
l
_
vertice
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
oo
l
aeg
e
a
d
d isl_map_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoolae
g
e
do
c
: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-28
S
ven
V
erdoolaege
doc
:
drop dupli
c
ate bo
o
ktit
l
e from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aege
do
c
: use mor
e
explicit notation to
avoi
d
confusion
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
Verdoolaege
add isl_constraint_is_d
i
v
_
constr
a
int
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
i
s
l
_m
a
p
_simpl
i
fy
.
c: separ
a
te out
isl_basic_
m
a
p
_is_div
_
constraint
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdo
o
laege
isl_basic_map_fro
m
_con
s
t
r
ai
n
t
:
keep all divs,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
is
l
_
b
asic_map_fr
o
m_c
o
nstraint: only
ret
u
rn copy
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
V
e
rdoolaege
isl
_
c
onstraint_
a
dd_div: correctly s
e
t line to firs
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
i
sl_p
i
p: rena
m
e pi
p
_op
t
io
n
s to
avoid co
n
f
lict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl
_
c
onv
e
x_hull
.
c: ini
t
ial_facet_c
o
nstraint
:
fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
d
oc: de
s
crib
e
backwa
r
d incompa
t
ibl
e
c
hang
e
s
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
doc: mention
discuss
i
on group
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolae
g
e
rename
i
s
l
_basic_map_convex_hull to
isl_basic_map_remov
e
_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
a
f
f
i
ne_hull
.
c: out
s
ide_point: fix
e
rror
h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_tab
_
ro
l
lback: av
o
i
d
d
ouble fr
e
e on
e
rror path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_tab
.
c: tab
_
m
a
t
_pro
d
uct: avoid
NUL
L
pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_e
x
t
e
nd_cons:
a
void NULL pointer
d
erefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
implemen
t
antiquate
d
isl_basic_set_n
_
*
in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
is
l
_map_co
n
vex
_
hull:
a
void NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdool
a
ege
isl_tab_add_valid_eq: return int inst
e
ad of is
l
_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olae
g
e
i
sl_affine_hull
.
c: aff
i
ne_hull_with_cone
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
isl_equali
t
ies
.
c: paramet
e
r_c
o
mp
r
ession_multi: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_basic
_
m
a
p_pro
j
ect
_
out
:
avo
i
d NULL
pointer de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_c
o
alesce
.
c: coalesc
e
_pair: avoid NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl_convex_hull
.
c: extend: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
impl
e
ment antiquated isl_se
t
_n_* in terms of
isl_
s
e
t
_dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ver
d
o
o
laege
isl_ma
p
_simplify
.
c: normal
i
ze_divs
:
avoid
N
ULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl_
i
n
p
ut
.
c
: vars_drop:
f
ix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl
_
convex_hu
l
l
.
c: uset
_
conv
e
x_hull_
w
rap_boun
d
ed: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_
set_wra
p
_facet: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_tab_min: avoi
d
NULL p
o
i
n
te
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_affine_
h
ull
.
c
:
ex
t
end_
a
ffine_hull: avoid NU
L
L
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_
b
a
sic
_
map_extend:
plug
m
em
o
r
y
leak on error path
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
e
rdoolaege
isl
_
affine_hull
.
c
:
equalit
i
es_in_
u
n
d
er
l
ying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_basi
c
_set_pre
i
mage: avoid
NULL p
o
inter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
eg
e
isl_tab_pip
.
c: no_
s
ol
_
in_
s
trict: fix e
r
ror h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
a
f
f
ine_hull
.
c: e
q
u
alitie
s
_in_un
d
erlying_s
e
t: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: affine_hull: fix erro handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_
m
ap_proj
e
c
t_o
u
t: f
i
x e
r
ror retur
n
value
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl
_
basic
_
m
a
p_i
n
terse
c
t_range: avoid N
U
LL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c:
find_soluti
o
n
s:
f
ix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoolaege
isl_ba
s
ic_ma
p
_alloc_
d
i
m: fix
error
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_m
a
p_intersec
t
: avoid NULL poi
n
te
r
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl
_
t
ab_pip
.
c: sol_map_ini
t
: avoid N
U
LL
p
o
i
nter
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic_map_i
n
tersect_dom
a
in: avoid NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
i
s
l_flow
.
c: compute
_
val
_
b
ased
_
dependences
:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_flow_alloc: fix err
o
r handlin
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
rdoolaege
isl_access_info_
c
ompute_flow: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_{
s
e
t,
m
ap}_fa
s
t_is_e
m
pty
:
avoid NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_
f
low
.
c
:
avoid acces
s
ing dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
d
oolaege
isl_a
c
cess_inf
o
_c
o
m
pute_f
l
o
w
: a
v
oid NUL
L
poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c
:
obj_read
:
a
v
o
id NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
map_subtract
.
c: t
a
b_add_constraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_tab
.
c
:
close
_
r
o
w: f
i
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoola
e
ge
isl_
m
ap_
s
imp
l
ify
.
c:
r
e
m
ove_dup
l
i
cate_
d
ivs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_b
a
s
i
c
_
map_
a
ffine_h
u
ll: avoid NU
L
L pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoo
l
aege
i
sl_tab_a
d
d_eq: re
t
ur
n
int instead of
i
sl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
map_simplify
.
c:
r
em
o
ve_d
u
p
l
icate_constraints: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_map_simpl
i
fy
.
c: e
l
iminate_divs_ineq: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl_basic_map_el
i
minate_vars
:
avoi
d
NULL poin
t
er
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
s
a
m
ple
.
c: interval_sample: av
o
id NULL pointer
d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
i
sl_sample
.
c
: drop_cons
t
raints_involving: a
v
oi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stre
a
m
_
new: read_def
i
ned_var_
l
i
s
t: av
o
id double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_basic_map_intersect: avoid NULL pointer der
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ver
d
o
o
laeg
e
i
sl_sam
p
le
.
c: gbr_s
a
mple: avoid NULL
po
i
nter
d
eref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
is
l
_test
.
c: avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
est: avoid a
c
c
essing basi
c
s
e
t intern
a
ls
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
input
.
c: read_defined
_
va
r
_list: a
v
oi
d
d
ouble f
r
ee
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_map_co
n
v
ex_
h
ull: avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_map_norm
a
lize
_
constr
a
int
s
:
a
voi
d
NU
L
L
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
isl_basic_map
_
total_dim:
a
void NU
L
L
poin
t
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
is
l
_basic_map_order_div
s
:
a
vo
i
d N
U
LL poin
t
er derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_
h
u
ll
.
c: isl_b
a
sic_set_add
_
equality: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
l
aege
i
s
l_co
n
vex_hul
l
.
c: c
o
mpute
_
f
a
cet: avoid NULL
p
oint
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
ol
a
eg
e
isl_test
.
c: map_
i
s_
e
qual:
check input
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
is
l
_dim
.
c: c
o
py_names:
c
hec
k
i
nput dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl_dim_dup: check
i
nput dim
commit
|
commitdiff
|
tree
next