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_map_has_equal_dim
2010-07-31
Sven Verdoolaege
add i
s
l_map_has
_
equal_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
add isl_dim_
g
et_has
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verd
o
olaege
isl_dim:
a
llow specification of
tu
p
le names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_m
a
p_from_domain_and_ran
g
e
:
imp
l
ement in terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laeg
e
isl_ba
s
i
c_map_domain: properly set dimension of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
privately exp
o
r
t
isl_
s
et_reset_dim
a
n
d
isl_m
a
p_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l
_ma
p
_read
:
ex
t
ract out r
e
ad_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
isl_has
h
_ta
b
l
e
_fore
a
ch: pass pointer t
o
ent
r
y
d
ata
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
isl_hash_table_foreach:
a
dd user
a
rgum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_transit
i
v
e_c
l
osu
r
e
.
c: f
i
x
double free o
n
e
rro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
i
sl_m
a
p
_gist: use sim
p
l
e
h
ull inste
a
d of convex
h
ul
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaeg
e
i
sl_map
.
c
: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
sl
_
cat: read
generic objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
isl_
p
rinter: add NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
make isl_ob
j
_none
a
constant e
x
p
r
ession
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
add isl_ma
p
_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
e
rdoolaege
isl_map
_
fas
t
_is_universe: also
d
e
t
ect r
e
dundant rep
r
esentati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
e
n
Verdool
a
ege
a
d
d
isl_map_reaching_path
_
le
n
gths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
doolae
g
e
isl_map_power: de
l
ay
e
quating path lengths t
o
power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Verdoolaeg
e
isl
_
map_pow
e
r: a
p
ply F
l
o
y
d-Warshall to
comp
u
te powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map
_
lexmax: produce less crypti
c
e
r
ror message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdoolaeg
e
fix isl_bas
i
c_map
_
move_dims in presence o
f
existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Verd
o
olaege
isl_test:
d
r
op d
e
bu
g
g
ing output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n Verdoo
l
aege
i
s
l_transitive_cl
o
s
ure
.
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_lex_ge and isl_map_
l
e
x
_le
i
n the zero-
d
imensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven
V
erdoolaege
isl_printer_print_map: replace
v
ariable by it
s
def
i
n
ition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoo
l
a
e
ge
p
r
ivately expor
t
isl_b
a
sic_ma
p
_
f
ast_cmp and isl_basic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
e
n
Ve
r
doolae
g
e
isl_d
i
m_
s
et_nam
e
: do
n
't accept names t
h
a
t look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Rem
o
v
e
comma at t
h
e end of enumeration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
isl_con
v
ex_hull
.
c: avoid si
d
e-effects
in c
a
lls to is
l
_in
t
_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven
V
erdoolaege
a
d
d i
s
l_hash_b
u
i
l
tin
commit
|
commitdiff
|
tree
2010-07-04
Sven
Ver
d
oolaeg
e
add isl_int_
g
et_str
commit
|
commitdiff
|
tree
2010-07-02
S
ven Verdoolaege
doc: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
isl
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
Makefile
.
a
m
: really include
include/isl_ve
r
tices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
la
e
ge
add
isl_map_i
s
_bijective
commit
|
commitdiff
|
tree
2010-06-28
S
v
en
V
erdoolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
e
r
d
oolaege
doc: dr
o
p duplicate bo
o
ktitle
from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
d
o
c: use
m
ore explicit notation to
avo
i
d confusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
add isl_constraint_is_div_c
o
n
s
trai
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolae
g
e
isl_map_si
m
plify
.
c
: sepa
r
ate out isl_b
a
sic_map_is
_
div
_
constr
a
int
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_
b
asic_map_from_c
o
ns
t
ra
i
nt: keep
a
ll di
v
s, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_
b
asic_m
a
p_from_con
s
traint: only return co
p
y
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
i
sl_constraint_add_div: correctly
s
et
l
ine
t
o first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
V
e
r
doolaege
isl_p
i
p:
r
enam
e
pip_options
to avoid c
o
nflict
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_conv
e
x_h
u
l
l
.
c: i
n
itia
l
_
f
acet_constraint: fix e
r
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
d
o
c: d
e
scribe backward
incompatible ch
a
nges
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
doc: mention d
i
scussion grou
p
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
rename isl_basic_map_
c
onvex_hull to isl_basic
_
map_
r
e
move_re
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: outside
_
point
:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_
t
ab_
r
o
l
l
b
ack:
a
void double fr
e
e
o
n error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_t
a
b
.
c: tab_m
a
t_produ
c
t
:
avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl
_
tab_ext
e
nd_cons: avoid NULL
p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
e
g
e
implement antiquated is
l
_basic_set_n_* in
terms
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_ma
p
_convex_h
u
ll: a
v
oid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaeg
e
i
sl_tab_add_valid_eq
:
return in
t
instead of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
o
o
laege
isl_
a
ffine_hull
.
c
:
a
f
f
i
ne_hull_with_c
o
ne: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_eq
u
alities
.
c
:
para
m
ete
r
_compr
e
ssion_mult
i
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolae
g
e
isl_bas
i
c_m
a
p_project_out: avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_coalesce
.
c
:
coales
c
e
_
pair: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_convex_hull
.
c:
extend:
f
ix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
implem
e
nt antiq
u
ated isl_se
t
_n_* in t
e
rms of isl
_
set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_map_si
m
plify
.
c: n
o
rm
a
lize
_
divs: avoid
NU
L
L pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: vars_drop
:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl_convex_hu
l
l
.
c: uset_convex_h
u
ll_wrap_bou
n
de
d
: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl
_
s
et_wrap_face
t
:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaege
is
l
_t
a
b_min:
avoid NULL point
e
r der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_affi
n
e_hull
.
c: ex
t
e
n
d_af
f
ine_hull: avoid
NU
L
L
pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
ap_
e
x
t
end: plug
m
emory leak on error path
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
i
sl_af
f
i
ne_hu
l
l
.
c: equa
l
ities_in_underlyin
g
_s
e
t:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
lae
g
e
isl_basic_
s
et_pre
i
mage: avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_tab_pip
.
c: no_
s
ol_i
n
_strict:
f
i
x
err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
i
s
l
_
affine_hull
.
c: equal
i
ties_in_underl
y
ing_
s
et: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaeg
e
isl_aff
i
ne
_
h
u
ll
.
c: affine_hull: f
i
x erro
h
an
d
l
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_project_out: fix
err
o
r return value
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
o
o
l
aege
isl_b
a
sic_map_
i
ntersect_r
a
n
ge: av
o
id NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_p
i
p
.
c: fin
d
_sol
u
t
i
ons: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
e
g
e
isl
_
ba
s
ic_m
a
p_alloc_dim: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_
b
asic_map_in
t
e
r
sect: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rd
o
olaege
i
s
l_t
a
b_pip
.
c:
sol
_
map_
i
n
it: avo
i
d
NULL p
o
inter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
isl_b
a
sic_map
_
i
n
te
r
sect
_
domain: avoid N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_flow
.
c:
c
ompute_val_based_dependenc
e
s: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verd
o
olaege
isl_flo
w
_
a
lloc: f
i
x erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_inf
o
_compu
t
e
_flow:
fi
x
e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_{set,map}_fast_is_empty: a
v
oid
NULL
p
o
i
nt
e
r deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdo
o
lae
g
e
isl_fl
o
w
.
c: avoid accessi
n
g dim field
direc
t
ly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_access_
i
n
f
o_compute_
f
low: av
o
id NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
i
s
l_input
.
c: obj_read:
a
void
N
ULL
p
o
i
nt
e
r
d
e
refer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
i
s
l
_
map_subtrac
t
.
c
:
ta
b
_add_const
r
aints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
ool
a
ege
isl_
t
ab
.
c
: clo
s
e_row: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map_simplify
.
c
: r
e
move_dup
l
i
c
at
e
_divs: avoid
N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoola
e
ge
isl_
b
asic_map_
a
f
fine_hull:
a
vo
i
d NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
isl_
t
ab_add_eq: retu
r
n int instead of
i
sl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_
m
ap_
s
imp
l
ify
.
c: remove_
d
uplica
t
e_constraints:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
ae
g
e
isl_
m
ap_simplify
.
c: eliminat
e
_divs_ineq: a
v
oid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_ma
p
_eliminat
e
_vars: a
v
oi
d
NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
isl_
s
am
p
le
.
c: interva
l
_samp
l
e: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
o
olae
g
e
is
l
_sample
.
c: drop_constraints_involv
i
n
g: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_
s
t
r
eam_new: read_defined
_
var_list: avoid dou
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_basic_
m
ap_interse
c
t
: avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
next