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_dim_get_hash
2010-07-31
Sven Ver
d
oola
e
ge
add isl_di
m
_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
is
l
_
d
i
m: allow specification of tu
p
le
n
ames
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl
_
ma
p
_from_do
m
ai
n
_
a
n
d
_range:
impleme
n
t in terms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
V
erdoolaege
i
sl_basi
c
_map_d
o
main
:
pro
p
erly s
e
t dimen
s
ion
of
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
priva
t
ely export isl_set_rese
t
_
dim and isl
_
map_res
e
t
_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_m
a
p_read: extract
out read_var_d
e
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_hash
_
ta
b
l
e
_f
o
r
e
ac
h
: pas
s
poi
n
ter to entry data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_hash_table_fo
r
each: add us
e
r ar
g
ument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_transiti
v
e_cl
o
sur
e
.
c:
fix double free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
sl_map_g
i
s
t
: use simpl
e
hull in
s
tead of con
v
ex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map
.
c: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
i
sl_cat: read generic object
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
isl_
p
rinter:
a
dd NULL checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
make isl_obj_none
a
co
n
stant expre
s
sion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
l
a
ege
add isl_ma
p
_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_f
a
st
_
i
s_universe: a
l
so detect redundant rep
r
esentati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
oolaeg
e
ad
d
i
sl_m
a
p
_
re
a
c
hing_path_
l
e
ngths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_po
w
er:
d
el
a
y equating path length
s
to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdoola
e
ge
isl_ma
p
_
po
w
er: app
l
y
F
loyd-W
a
r
shall t
o
c
o
m
p
ute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n Ver
d
oolae
g
e
isl
_
map_lexmax: produce less crypti
c
error messa
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verd
o
olaege
fix
i
sl_basic_map_move
_
dims in presence of existentiall
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdoolaege
is
l
_test:
d
r
op
debugging output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdoolaege
isl_transitive_
c
l
osure
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaeg
e
fix isl_map_lex_ge an
d
isl
_
map_lex_
l
e in the zero-di
m
ensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven
V
erdoolaege
isl_printer_pr
i
n
t
_
map: r
e
place variab
l
e by its defi
n
ition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
p
r
ivately
e
x
p
ort isl_bas
i
c_map_fast_c
m
p and isl_basic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en Ver
d
o
olaeg
e
isl_dim_set_n
a
me
:
don
'
t acc
e
p
t
names that look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven Ve
r
d
oolaege
isl_conve
x
_hu
l
l
.
c:
a
v
oid s
i
de-effects in c
a
lls
to i
s
l_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
en Verdoo
l
aeg
e
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaeg
e
a
d
d
isl
_
int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sv
e
n Verdool
a
ege
doc: f
i
x some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
Ma
k
e
f
ile
.
am: really include include
/
isl_vert
i
ces
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
add is
l
_map_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
S
ven Ver
d
oolae
g
e
do
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Ver
d
o
o
laege
doc: drop d
u
pli
c
ate book
t
itle from Kelly
1
996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc:
use more explicit not
a
tion to avoid confusion
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
V
erdoolaege
add isl_const
r
aint_is_div_con
s
traint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
sl
_
map_
s
implify
.
c: separate out isl_
b
asic_
m
a
p_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
isl
_
basic_
m
a
p
_from
_
con
s
traint:
keep all div
s
, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
V
e
rdoolaege
i
sl_basic_map_from_cons
t
rain
t
: only ret
u
rn co
p
y
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl_constrain
t
_add
_
d
iv: correctly set line
t
o fir
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
isl_pip: rename pip_options to avoid conflic
t
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
er
d
oo
l
aege
isl_co
n
vex_hull
.
c:
in
i
tial_facet_con
s
traint: fix erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
d
o
c
:
desc
r
ibe
b
a
c
kward incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoo
l
aege
doc:
me
n
tion discuss
i
on group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
g
e
r
ename isl_basic_map_co
n
v
e
x
_
hull to is
l
_basic
_
map
_
remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verd
o
o
laege
isl_a
f
fine_
h
ull
.
c: ou
t
side_point: fix erro
r
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
ool
a
e
ge
is
l
_tab_rollback:
av
o
id doub
l
e
f
re
e
on error
p
ath
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_t
a
b
.
c: tab_
m
at_product: a
v
oid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaeg
e
isl_
t
a
b_extend
_
cons:
avoid NULL
po
i
nter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
impl
e
ment antiquated isl_b
a
sic_set_n_*
in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaeg
e
i
s
l_map_con
v
ex_hull: avoid NULL
p
ointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
l
aege
isl
_
tab_ad
d
_valid_eq:
r
et
u
rn int
i
nstead o
f
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
isl_affine_hull
.
c:
affine_hull
_
with_cone: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
d
o
olaege
isl_e
q
ualities
.
c: pa
r
ameter_compression_m
u
lti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
i
s
l
_bas
i
c_map_project_out:
a
v
oi
d
NULL pointer
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_coa
l
esce
.
c
: coalesce_
p
a
ir: av
o
i
d N
U
L
L
poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doola
e
ge
isl_convex_hull
.
c
: extend: fix error
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ve
r
doola
e
ge
i
m
plement antiquated
i
sl_set_n_* in terms o
f
isl_se
t
_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl_
m
ap_simplify
.
c: normalize_divs: avoid N
U
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_input
.
c: vars_drop: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_convex_hull
.
c: use
t
_c
o
nvex_hu
l
l_wr
a
p
_
bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_set_
w
rap_facet: fix error
h
and
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
isl_tab_min: avoid NULL pointer d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c
:
extend_
a
ff
i
n
e
_hull:
a
v
o
id NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_
b
asic_
m
ap_exten
d
:
plug memory
l
eak on erro
r
p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: equalities_in_underlying_se
t
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_basic_set_preimage: av
o
id NUL
L
poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
o
o
laege
isl_tab_pip
.
c:
n
o_sol_
i
n_strict: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
affine_hull
.
c: equa
l
i
ties
_
in_underlying_se
t
: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
i
s
l_affine_hull
.
c
: af
f
ine_hull
:
f
i
x erro handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_map_projec
t
_
o
ut:
fix error ret
u
rn value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_
i
ntersect_range:
avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
t
ab_pip
.
c: fin
d
_solutions:
f
ix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
isl_basic_map_alloc_d
i
m:
fix
e
r
ror hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_basic
_
map_int
e
rs
e
ct: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
o
ol
a
ege
isl_tab_pip
.
c: sol
_
m
a
p_
i
nit:
a
void NULL
p
ointe
r
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaeg
e
isl_basic_map_intersect
_
domain: avoid NULL poin
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl_
f
low
.
c: compute_val_bas
e
d_dependen
c
es: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_f
l
ow_alloc: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_acce
s
s_info_com
p
ute_f
l
ow: fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl_{set,m
a
p}_fa
s
t_is_empty: avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_flow
.
c: avoi
d
acces
s
i
ng
dim
field di
r
ectl
y
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_
a
c
ce
s
s_inf
o
_
c
ompute_flow: avoid
N
U
LL
p
ointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
i
n
put
.
c: obj_read: avoid
NULL
pointer deref
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_subtr
a
ct
.
c
:
tab_a
d
d_constraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_t
a
b
.
c
:
c
lose_row:
fix erro
r
han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_si
m
p
lify
.
c
: remove_dup
l
icate_divs: avo
i
d NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_ba
s
ic_map_affine_hull: avoid NU
L
L poin
t
er
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_eq: ret
u
rn int i
n
stea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl
_
map_simplif
y
.
c: re
m
ove_
d
uplicate
_
constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map
_
sim
p
lify
.
c: elim
i
nate_divs_ineq: av
o
i
d
NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic_map_eliminate_vars: avoid NU
L
L pointer dere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaege
isl_sample
.
c: interval_sample:
avoid NULL pointer deref
e
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdool
a
e
ge
isl_sample
.
c: d
r
o
p
_const
r
aints
_
i
nvolving
:
avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_st
r
ea
m
_new:
read_defined_var_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rd
o
o
l
aege
isl_ba
s
ic_ma
p
_inte
r
sect: avoid NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_sam
p
le
.
c: gbr_sample: avoid NULL pointer d
e
ref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
est
.
c: a
v
o
i
d NULL
p
ointer d
e
refer
e
nce
commit
|
commitdiff
|
tree
next