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_from_domain_and_range: implement in terms of isl_map_apply_range
2010-07-30
Sven Verdoolaege
isl_map_from_domain_and_ra
n
ge: imp
l
e
ment in terms o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
is
l
_basic
_
map_domain: properl
y
set d
i
me
n
s
i
on
o
f result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
priv
a
tely expo
r
t
is
l
_se
t
_r
e
set
_
di
m
and isl
_
map_reset
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map
_
rea
d
: extract
out
r
ead_
v
ar_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_h
a
sh_ta
b
le_foreach: pass pointer to
entry
d
at
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_hash
_
table_foreach:
add user argu
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
e
ge
isl_
t
r
ansitive_closure
.
c: fix double free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
r
doolaege
isl_ma
p
_gist:
use simple h
u
ll
i
nstead of con
v
e
x
hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
isl
_
cat: read generic objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
l
aege
isl_printer: add NUL
L
checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
make isl_obj_none a
c
onstant e
x
pres
s
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
er
d
o
o
l
a
e
ge
a
d
d i
s
l_map_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_map
_
fa
s
t_is_univer
s
e:
als
o
detec
t
redundant representati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Verdool
a
ege
add i
s
l
_map_reachin
g
_path_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en V
e
rd
o
olaege
i
s
l
_
map_p
o
wer
:
delay
e
q
uating
pat
h
lengths to p
o
we
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_power: apply Fl
o
yd-Warshall to com
p
ute p
o
wers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
rdoolaeg
e
isl
_
map_lexmax: produce less cryptic
e
rror
message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doolaege
f
i
x i
s
l
_bas
i
c
_
map_move_dims in presence of
exis
t
enti
a
lly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
e
rdoolae
g
e
isl_test: drop deb
u
gging ou
t
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_transitive_closure
.
c: fix typo in
co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Ver
d
oolaege
f
ix is
l
_map_lex_g
e
and isl_map_
l
ex_
l
e
in the ze
r
o-dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
S
v
en Verdoo
l
aege
i
s
l_printer_p
r
in
t
_map: replace variable b
y
i
t
s definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
privatel
y
ex
p
ort isl_basic_map
_
fast_cmp and isl_ba
s
i
c
_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdo
o
la
e
ge
isl
_
dim_
s
et_
n
ame: don't accept
n
ames that look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven V
e
r
doo
l
a
e
ge
isl_convex_h
u
ll
.
c
:
avoid side-effects
i
n
c
alls
t
o isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
V
e
rdoolaege
ad
d
i
sl_hash_
b
uil
t
in
commit
|
commitdiff
|
tree
2010-07-04
Sven V
e
rdoolaege
a
d
d
i
s
l_int
_
get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoo
l
aege
doc: fix som
e
typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdool
a
ege
Makef
i
l
e
.
a
m: really include inc
l
u
de/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aeg
e
add is
l
_map
_
is_b
i
jective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
doc:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
ola
e
ge
d
o
c:
d
rop dupli
c
at
e
booktitle fro
m
Kelly1996closu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
V
erd
o
olaege
doc: u
s
e m
o
re expli
c
it notation to avo
i
d confusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
add isl_const
r
a
int_is_div_con
s
traint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
i
sl_map_simplify
.
c: s
e
par
a
te out
i
sl
_
basic
_
map_is_div_constra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
is
l
_basic
_
map_f
r
om_constraint: keep
a
ll
d
i
vs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
i
sl_basic_map
_
from_constraint: only return c
o
py of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
isl_cons
t
raint_add_
d
iv: correctly set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n V
e
rdoolaege
isl_p
i
p
: rename p
i
p
_opt
i
ons t
o
avoid
c
onfli
c
t with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
dool
a
e
g
e
i
sl_convex_
h
ull
.
c:
initia
l
_fa
c
et_constrai
n
t:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
doc:
d
es
c
ribe
backward incompatible
c
hanges
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
doc: mention d
i
scu
s
sion group
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rd
o
olaeg
e
rename i
s
l_b
a
sic_map_convex_hu
l
l t
o
i
s
l_bas
i
c
_
map
_
remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
a
ffine_hull
.
c: outsi
d
e
_
point: fix erro
r
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
t
ab_rol
l
back: avoid double fre
e
on er
r
or pat
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
a
b
.
c:
t
a
b
_mat_
p
rod
u
c
t: avoi
d
NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_extend_cons: avoid NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolae
g
e
implement antiq
u
a
t
ed is
l
_
basic_se
t
_
n
_*
i
n terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
g
e
isl_map_co
n
vex
_
hull: avoid NULL point
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olae
g
e
i
s
l_tab_add_valid_eq: retu
r
n i
n
t instead of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_affine_hull
.
c: affine_hull
_
w
ith_c
o
ne: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_equa
l
it
i
e
s
.
c:
p
a
rameter
_
compression
_
multi:
a
voi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_basic_map_project_out
:
avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_
c
oale
s
c
e
.
c
:
coa
l
es
c
e_pair
:
avoi
d
NUL
L
p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_convex_hul
l
.
c: extend: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
imple
m
en
t
antiquated isl_set_n_* in terms of
i
sl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_map_
s
i
mplify
.
c: normalize_divs
:
avoi
d
NU
L
L
p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_input
.
c:
v
a
r
s_
d
r
o
p:
fix
e
r
r
or han
d
lin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_co
n
vex
_
hull
.
c: uset_c
o
nvex_hul
l
_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
eg
e
isl_set_wrap_facet
:
fix error
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_tab
_
min:
a
void N
U
LL pointer de
r
ef
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
isl_affine_hull
.
c: exte
n
d_affin
e
_hull: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaeg
e
isl_basic_m
a
p_exten
d
: plug mem
o
ry leak
o
n error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaeg
e
isl_a
f
fine_hull
.
c: equalities_in_und
e
rlying_s
e
t
: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
isl_b
a
sic_set_preimage: avoid NULL
poin
t
er derefe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
isl_tab_
p
ip
.
c
: no_sol_in_strict
:
fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
isl_affin
e
_
hull
.
c: equali
t
ies_i
n
_underlyi
n
g_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
isl_affine_hull
.
c: af
f
ine
_
hull:
f
ix erro ha
n
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
m
ap
_
project_
o
ut
:
fix err
o
r
return va
l
ue
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_basic
_
map_intersect_range: avo
i
d
NULL
p
ointer derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: fi
n
d_solutions
:
fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c
_map_alloc_dim: fix error h
a
n
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
b
asic_map_
i
ntersect: avoid NULL pointer der
e
fer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: sol
_
map_ini
t
: avoid NULL p
o
inter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_
m
ap_
i
ntersect_doma
i
n: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_flow
.
c: compute_
v
al
_
based_d
e
pe
n
dences: fi
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
isl_flow
_
alloc: f
i
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
i
s
l_access
_
info
_
compute
_
flow: fi
x
er
r
or handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
{
set,ma
p
}
_
f
a
s
t_is
_
empty: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_flow
.
c: avoid accessing dim field dire
c
t
ly
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_acce
s
s_
i
n
fo_compute_f
l
ow: avoid NULL p
o
in
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl
_
input
.
c:
o
b
j
_
r
ead
:
avoid NU
L
L po
i
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
e
g
e
isl_map_subtrac
t
.
c
:
tab_add_
c
onstraints: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
is
l
_tab
.
c:
close
_
row: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
g
e
isl_ma
p
_
simplify
.
c
: remove_
d
uplicate_divs: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
i
s
l
_
b
asi
c
_map_a
f
fine_hull: avoi
d
NULL poi
n
ter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_eq: return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
o
olaege
isl_
m
ap_simplify
.
c: remove_duplicate_constrai
n
ts: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_map_simplify
.
c: eliminate
_
di
v
s_ineq: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
basic_
m
ap_eliminate_vars: avoi
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_sample
.
c: int
e
rval_sampl
e
: avoid NULL point
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
eg
e
isl_
s
amp
l
e
.
c:
d
r
o
p_co
n
strain
t
s_inv
o
lvi
n
g: av
o
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
s
tream_new:
read_defi
n
ed_v
a
r_list:
avoid
d
ouble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_int
e
r
sect:
a
v
o
i
d NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_sa
m
ple
.
c:
g
br_sample: av
o
id NU
L
L poin
t
er
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_test
.
c:
avo
i
d
NU
L
L poin
t
e
r
der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
t
es
t
:
a
v
oid
a
cces
s
ing basic set intern
a
l
s
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_
i
nput
.
c: read_defi
n
ed_var
_
list: avoid doub
l
e
f
r
ee
.
.
.
commit
|
commitdiff
|
tree
next