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 Verdoola
e
g
e
isl_ma
p
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_cat:
r
ead
g
eneric objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verd
o
olaege
isl_pr
i
n
ter: add NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
make is
l
_ob
j
_none a
c
onsta
n
t expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
add isl_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_fast_is_univers
e
: also d
e
tect redund
a
nt
represent
a
ti
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n Verdoolaege
a
d
d isl_map_reachin
g
_path_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdool
a
eg
e
isl_m
a
p_power: delay equa
t
i
n
g p
a
th
len
g
ths t
o
power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
rdoolaege
isl_m
a
p_
p
o
w
e
r: ap
p
ly Floyd
-
Warshall to comput
e
powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
V
erdoo
l
ae
g
e
isl_map_lexmax: produce le
s
s cryptic error
message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n
V
erdoolaege
fix
i
sl_basic
_
map_mov
e
_dim
s
in presence
of existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Verd
o
olaege
i
sl_test: drop debugging outp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
laege
is
l
_transitive_closure
.
c: fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven V
e
rdoolae
g
e
fix isl_map_lex_ge
and is
l
_map_lex_le in the
z
er
o
-dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verd
o
o
laege
isl_print
e
r_p
r
i
n
t_ma
p
: replace var
i
able by its
d
efini
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
ven Verdoolaeg
e
privately export
i
sl
_
basic_map_fast_cmp and isl_basic_map
_
f
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
isl_dim_s
e
t_name: don't accept n
a
mes that
l
ook li
k
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoola
e
ge
i
s
l_conv
e
x_hu
l
l
.
c: avoid side-e
f
fect
s
in calls
t
o
isl
_
int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdool
a
ege
add isl_h
a
sh_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add
i
s
l_int
_
g
e
t_st
r
commit
|
commitdiff
|
tree
2010-07-02
Sven
Ver
d
oolaege
d
o
c
: fix some
typos
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolae
g
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
o
l
aege
Makefile
.
am: really incl
u
de include/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
ad
d
i
s
l
_
m
ap_is_bijectiv
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
lae
g
e
do
c
: fi
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdoolaege
doc: drop duplicate bookti
t
le from
Kelly1996
c
l
o
su
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaege
d
oc
:
use m
o
re ex
p
licit nota
t
ion to avoid confusion
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
add isl_cons
t
raint_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoo
l
aege
isl_map_sim
p
li
f
y
.
c:
s
epar
a
te out isl_ba
s
ic_map_is_div
_
constr
a
int
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Ver
d
oolaege
isl_basic
_
map_fr
o
m_constraint: k
e
e
p
all d
i
v
s, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
i
s
l
_b
a
sic_map_fr
o
m_constraint: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
do
o
laege
isl_con
s
tr
a
int_add_div: correctly set
li
n
e
to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
eg
e
isl_pip: rename
p
ip_
o
pti
o
ns
t
o
avoid conflict wit
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_convex_hull
.
c: initial_fa
c
e
t
_constraint
:
fix
e
r
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
doc
:
describe backwa
r
d inco
m
pati
b
le ch
a
nge
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
d
o
c: m
e
ntion discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
rename isl_basic_map_con
v
ex_hull
t
o isl_basic_ma
p
_remov
e
_
red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_a
f
fine_hull
.
c: ou
t
si
d
e_poi
n
t: f
i
x error
h
an
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
isl_tab_
r
ollbac
k
: avo
i
d double free on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olae
g
e
isl_tab
.
c: tab_mat_product:
avo
i
d NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_tab
_
extend_con
s
: avoid
N
U
LL pointer
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
mplem
e
nt antiq
u
ated isl_bas
i
c_set
_
n
_* in te
r
ms
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl_map_
c
onvex_hull
:
a
v
o
i
d
NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab_add_va
l
id_eq: return int i
n
st
e
ad of isl_
t
a
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
affine_hull
.
c: affine_hu
l
l_with_cone: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_equalities
.
c:
p
ara
m
ete
r
_compressio
n
_
m
ulti: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_basic_map_project_out: avoid NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_coalesce
.
c: c
o
alesce_pair: avoid NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
i
sl_convex_h
u
ll
.
c
:
extend
:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
mp
l
ement antiquated isl
_
set_n_* in terms of is
l
_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl_map_simpl
i
fy
.
c: normaliz
e
_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
is
l
_input
.
c:
var
s
_drop: fix
e
rror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_convex_h
u
ll
.
c: uset_c
o
nvex_hull_wrap_bo
u
nded: f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
set_wrap_fac
e
t: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
isl_tab_min:
a
v
oid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
a
e
ge
i
sl_affine_hull
.
c: extend_affine_hull: a
v
oid
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_e
x
tend: p
l
ug memo
r
y l
e
ak on err
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: e
q
ualities
_
in_underlying_s
e
t: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c_
s
et
_
preima
g
e:
avoid NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_tab_pip
.
c: no_sol_in
_
s
t
rict: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaege
isl_af
f
ine_h
u
ll
.
c
: eq
u
alities_in
_
underl
y
in
g
_set:
p
lug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_affine_hull
.
c
: affine_hul
l
: fix erro han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
map_proj
e
ct_out:
f
ix error
r
eturn val
u
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
o
olaege
i
sl_basic_map_in
t
ersect_range: avo
i
d N
U
LL p
o
in
t
e
r de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_tab_pip
.
c: find_solutions: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl
_
basic_map_alloc_dim: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_b
a
sic_map
_
intersect: av
o
id
NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab_pi
p
.
c: sol_map_init: avoid NUL
L
pointer
d
er
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
ae
g
e
isl_ba
s
i
c_map_intersect_domain: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
dool
a
ege
isl_flow
.
c: compute_val_based_dependenc
e
s: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl_flow_alloc:
f
ix
error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_ac
c
es
s
_in
f
o_compute_flow:
fix err
o
r
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_{set,map}_fast_is_empty: avoid NU
L
L po
i
nter d
e
re
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
rdoolaege
isl_flow
.
c
:
av
o
id
a
ccessing
dim field
directl
y
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_a
c
cess_info_
c
ompute_flow:
avoid NULL pointer d
e
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_input
.
c: obj_re
a
d:
a
void NULL pointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
is
l
_map_subtract
.
c: tab_add_c
o
n
straints: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c
: clos
e
_
row: fix error
h
andlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
isl_m
a
p_simplify
.
c: remov
e
_duplicate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_m
a
p_affine_
h
ull: avoid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
o
o
l
a
e
g
e
i
s
l_tab_add_eq: ret
u
r
n int instead of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolae
g
e
isl_map
_
simplify
.
c: remove_
d
uplicate_constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_
s
i
mplif
y
.
c: eliminat
e
_divs
_
ineq: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_map_
e
liminate_vars: avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sampl
e
.
c
: int
e
rv
a
l_s
a
mple: avoid NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_
s
a
m
ple
.
c
: drop_co
n
s
t
r
a
in
t
s
_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_stream_new: r
e
ad_d
e
fin
e
d
_var_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
isl_basic_map_i
n
tersect
:
av
o
id NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
s
l_sample
.
c: gbr_
s
am
p
le: avoid NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_test
.
c: avo
i
d NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
la
e
ge
isl_test: avoid access
i
ng basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
e
g
e
isl_input
.
c: r
e
ad_defined
_
v
ar_list:
av
o
id double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_convex_hull: avoid NULL poin
t
er de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_basic_map_normalize_constraints: avo
i
d NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_b
a
sic_map_total_dim: avoi
d
NULL
p
ointer derefe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_
b
asic_map_order_divs: avoid
NULL po
i
nter der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
i
sl_con
v
ex_hull
.
c: is
l
_basic_set_add_equality
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_convex_hull
.
c: compute
_
facet: avoid NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_test
.
c: map
_
is_equal: che
c
k input
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
isl_dim
.
c
:
copy_names: che
c
k input di
m
commit
|
commitdiff
|
tree
next