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_read: extract out read_var_def
2010-07-30
Sv
e
n
Verdoolaege
isl_
m
a
p
_
r
ead: extract out
r
ead_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoola
e
ge
isl_hash_table
_
fo
r
e
a
ch: pass point
e
r
to entry
d
ata
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
l
a
e
g
e
isl_h
a
sh_table_f
o
re
a
ch: a
d
d user argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_transitive_closure
.
c
:
fix double fre
e
on err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aeg
e
isl_ma
p
_gist
:
use simple hull instead of c
o
n
v
e
x
hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_m
a
p
.
c
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
isl
_
cat: read gene
r
ic objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_prin
t
er: a
d
d N
U
LL ch
e
cks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verd
o
o
laege
make isl_obj_none
a
c
onst
a
nt expressio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
add isl_map_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
o
l
aege
isl_map_fast
_
is_univ
e
rs
e
:
also dete
c
t redundant
repre
s
entati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdoolaege
add isl_map_reach
i
ng_path_l
e
ngths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
is
l
_m
a
p_power: delay equat
i
ng
p
ath l
e
ngths
t
o po
w
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdo
o
lae
g
e
isl_map_power: apply Floyd-Warshall to
c
o
m
p
u
t
e
power
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_lexmax: produce less cryp
t
ic er
r
or message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoola
e
ge
f
i
x is
l
_basic_map
_
move_d
i
ms in prese
n
ce of
e
xistentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doolaege
isl_
t
es
t
: drop
d
eb
u
gging out
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doolaege
isl
_
transitive_clo
s
ure
.
c: fix
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaeg
e
fix
isl_
m
ap_lex_ge and isl_m
a
p
_
lex_le in
the zero-dimen
s
i
o
na
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoolaege
i
sl_printer_prin
t
_map:
r
eplace variable by its defin
i
tio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoo
l
aege
pr
i
vatel
y
export isl_bas
i
c_map_fast_cmp a
n
d isl_basic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoola
e
ge
i
sl_dim_set_name: don't
a
ccept nam
e
s th
a
t look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verd
o
ol
a
ege
isl_c
o
nvex_hull
.
c: avoid s
i
de-effects in calls to isl
_
int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven V
e
rdoolaege
add isl_hash_bui
l
tin
commit
|
commitdiff
|
tree
2010-07-04
S
v
en
V
erdoolaege
add isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
d
o
c: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
d
oolaeg
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Makef
i
le
.
a
m
: really include
includ
e
/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdool
a
ege
add
isl_map_is_bij
e
cti
v
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
d
o
c
: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdo
o
laege
doc: drop duplicate booktitle f
r
o
m
Kelly1996closur
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdoolae
g
e
doc:
u
s
e more explici
t
notation to avoid confusion
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdo
o
l
aege
add is
l
_const
r
aint_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
V
e
r
do
o
laege
isl_map_sim
p
lify
.
c: sepa
r
ate out i
s
l
_ba
s
ic_map_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
V
e
rdoolaege
isl_ba
s
i
c
_map
_
from_cons
t
raint: k
e
ep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
s
l
_basic_map_from_const
r
aint: only re
t
urn copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
is
l
_con
s
traint_add_di
v
: c
o
r
rectly s
e
t
line
to fi
r
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
aeg
e
isl
_
pi
p
: rename pip_options to
a
void con
f
li
c
t with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_co
n
vex_hu
l
l
.
c: initial
_
fa
c
et
_
const
r
aint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oo
l
aeg
e
doc
:
desc
r
ib
e
b
a
ckwar
d
inc
o
m
p
atible changes
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
doc:
ment
i
on discus
s
ion group
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
ol
a
ege
rename is
l
_
b
a
sic_map_convex_hu
l
l to isl_bas
i
c_ma
p
_remove_re
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_
a
f
f
ine_
h
ull
.
c: outside_point: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdo
o
l
a
e
g
e
isl_t
a
b_r
o
llb
a
c
k
: av
o
id doubl
e
free on error
p
a
th
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_t
a
b
.
c:
t
ab_mat
_
product
:
avoi
d
NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ver
d
o
o
lae
g
e
isl_ta
b
_extend_c
o
ns: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement
antiquated isl_basic
_
set_n_*
in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_
m
ap_c
o
nvex_hull: avoid NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
t
ab_
a
dd_valid_eq: return int ins
t
e
a
d of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_affine_h
u
ll
.
c
:
a
ffi
n
e_hull_wit
h
_cone: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
ae
g
e
is
l
_equalitie
s
.
c:
p
arameter_compre
s
sion_multi:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doola
e
ge
isl_
b
asic_map_project_out: avoid
N
ULL p
o
in
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
g
e
i
s
l_
c
o
alesce
.
c: coa
l
esce_pai
r
: avo
i
d
N
ULL
p
oint
e
r
d
er
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_c
o
nvex_
h
ull
.
c:
extend
:
fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
implement antiquated isl_set_n_* in
terms of i
s
l_set_d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_map_simplify
.
c
:
normaliz
e
_di
v
s: a
v
oi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl
_
i
nput
.
c: vars_drop:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
i
s
l
_co
n
vex_hull
.
c: us
e
t
_convex_hull_wrap_b
o
unde
d
: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
oolaege
isl
_
set_wr
a
p_facet: fix
e
r
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab_min: avoid
N
UL
L
pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
i
sl
_
aff
i
ne_
h
ul
l
.
c: extend_
a
f
fine_hul
l
: avoid NULL p
o
in
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
i
s
l_basic_map_extend: plug memory leak on e
r
ror path
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl_affine_hull
.
c: equalities_in_und
e
rlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_
b
a
s
ic_set_preimage: a
v
oid NULL poi
n
ter der
e
fe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
l
a
ege
is
l
_tab_pip
.
c: no_sol_in_st
r
ict:
fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_a
f
fine_hul
l
.
c: equalities_in_unde
r
lyi
n
g_set: pl
u
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_aff
i
n
e
_
hull
.
c: affine_hull: fix erro ha
n
dlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
i
sl_map_
p
roject_out:
fix error return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
e
ge
isl_basic
_
map_in
t
er
s
e
ct_range: avoi
d
NULL pointer deref
e
renc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: find_
s
olutions: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
ge
i
s
l_basic
_
map_all
o
c_dim: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
isl_
b
asic
_
map_inter
s
ect: av
o
id NULL pointer
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab_pip
.
c: so
l
_
map_init: avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
isl_basic_map_inter
s
e
ct_
d
o
m
ain: av
o
id NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
i
s
l
_
flow
.
c
: compute_
v
a
l
_based
_
dependences: fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl
_
flow_all
o
c: f
i
x error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl_
a
cce
s
s_
i
nfo
_
compute_flow
:
fix
e
r
ror h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
rdoolaege
isl
_
{
s
et,ma
p
}_fast_is
_
empty: avoid NULL pointer d
e
refer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_flow
.
c:
avoid accessin
g
dim field
d
i
rectly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access
_
i
n
f
o_
c
omp
u
t
e
_f
l
ow
:
a
v
oid N
U
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_input
.
c:
o
b
j_read: avoid NULL pointer
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
i
sl_map_subtract
.
c
:
t
a
b_add_con
s
tr
a
ints:
a
vo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab
.
c: close_row: fix error
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
e
g
e
isl_map_
s
imp
l
ify
.
c: remove_duplicate_
d
ivs: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
i
sl_basic_
m
ap_
a
f
fine_h
u
l
l
: avoid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
i
s
l
_
tab_add_
e
q
: return
i
nt instead of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
i
s
l_map_
s
implify
.
c
: remove_duplicate_
c
o
nst
r
aints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
e
r
doolae
g
e
i
s
l
_
m
a
p_s
i
m
p
lify
.
c:
e
l
iminate_divs_ine
q
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolae
g
e
i
sl_basic_
m
ap_eliminate_vars
:
avoid NULL
pointer der
e
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
isl_sam
p
l
e
.
c: inter
v
a
l
_sa
m
ple: avoid
N
U
LL
pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_sam
p
le
.
c
:
drop_const
r
aints_in
v
o
l
ving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_stre
a
m_
n
ew: read_defined_var
_
list: avoid
d
ouble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
sic_map_inters
e
ct: avoid NUL
L
po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdo
o
laege
isl_
s
ample
.
c: g
b
r_sample: avoid
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_test
.
c:
avoid NULL pointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_tes
t
: avoid acce
s
si
n
g
b
asic set internal
s
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olae
g
e
isl_input
.
c: read_
d
efin
e
d_var_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_map_convex_
h
u
l
l: av
o
i
d
NULL pointer
d
eref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_b
a
sic_map_normaliz
e
_constrain
t
s: avoid
N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l_b
a
sic_map_
t
otal_dim: avoid NULL point
e
r dere
f
ere
n
ce
commit
|
commitdiff
|
tree
next