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_transitive_closure.c: anonymize input map during incremental computation
2010-08-02
Sven
V
erdoolaege
isl_transit
i
ve_closure
.
c
:
anonymize in
p
ut map duri
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_transitive_clos
u
re
.
c:
keep trac
k
of domains
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_
d
im_drop:
a
l
ways remove tu
p
le
n
ame, even i
f
number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olaege
is
l
_dim_se
t
_tuple_na
m
e: al
l
ow exp
l
icit remov
a
l o
f
tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
r
d
o
olaege
add sup
p
ort for
union sets and
r
elat
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
e
g
e
isl_transi
t
ive_c
l
osure
.
c: extract out some reus
a
b
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ve
n
Verdoolaege
add isl_p
w
_qpolynomial_reset
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
add isl_map_h
a
s_equa
l
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
dool
a
ege
add isl_dim
_
get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
s
l
_
di
m
: allow
sp
e
cifi
c
ation of tupl
e
n
ames
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
e
rdoola
e
ge
is
l
_map_from_domain_and_range: imp
l
e
ment in
terms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolae
g
e
isl_basi
c
_ma
p
_domain:
p
rope
r
ly s
e
t dimension of re
s
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
p
rivately export isl_set
_
rese
t
_dim and isl_map_re
s
et_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n V
e
r
d
oolaege
i
s
l
_
m
ap
_
read: extract out
read
_
var
_
d
e
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven
Verdoo
l
aege
is
l
_hash_tab
l
e_foreach: pass
p
ointer to entr
y
data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
is
l
_ha
s
h_t
a
bl
e
_f
o
re
a
ch:
a
dd user
a
rgument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_transiti
v
e_closu
r
e
.
c: fix double fr
e
e on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_
m
ap_gist
:
use simple hull instead
o
f
convex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl
_
map
.
c:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_cat: read gene
r
ic objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verd
o
olaege
i
s
l_printer:
a
dd NULL checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
make isl_ob
j
_
n
one
a constant expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaeg
e
add isl
_
ma
p
_ge
t
_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
is
l
_
m
ap_fa
s
t
_
is_universe: also
d
etect redu
n
dant representati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
e
rdoola
e
ge
add isl_map_r
e
aching_path_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verd
o
ol
a
ege
isl
_
map
_
power: del
a
y equ
a
t
ing
p
at
h
le
n
gth
s
t
o power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoola
e
ge
isl_map_power:
a
pply Floyd-Warshall to comput
e
powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
doolaege
isl_map_lexm
a
x
:
produce
less cry
p
ti
c
e
r
ror mes
s
age
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix
i
sl_basic_map_
m
o
ve_dims in presence of existenti
a
l
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Ve
r
doolaeg
e
is
l
_
t
e
st:
drop deb
u
gging output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
e
rdoolaeg
e
is
l
_t
r
ans
i
t
ive_closure
.
c: fi
x
typ
o
in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
Verdoolaege
fix isl_map_lex_ge
a
nd isl_m
a
p_l
e
x
_
l
e
i
n the zero-dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven
Verdoolaege
isl_pr
i
nt
e
r_pr
i
nt_map: replace variable by it
s
definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven
Verdoola
e
g
e
p
r
ivately export isl_
b
asic_ma
p
_fast_c
m
p a
n
d
i
sl_
b
asic
_
m
a
p_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sve
n
Verd
o
olaege
i
sl_dim_set
_
n
ame: don't acc
e
pt
names that loo
k
like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
isl_con
v
ex_hul
l
.
c: av
o
id sid
e
-ef
f
ect
s
in ca
l
l
s
to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
ven
V
erdoolaege
add isl_
h
ash_bu
i
ltin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoo
l
aege
add isl_
i
n
t_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
doc: fix
s
o
me typos
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoo
l
ae
g
e
isl
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoo
l
aege
Makefile
.
am: really include inc
l
ude/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
add isl_map_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erd
o
olaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
r
d
ool
a
ege
doc: drop
duplicate booktitle from Kelly19
9
6closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc:
u
s
e
more exp
l
icit
notation to av
o
id
c
onfusion
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaege
add isl_cons
t
raint_is_div
_
c
onstra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl_map_simplify
.
c: separat
e
out
isl_
b
asic_m
a
p
_i
s
_div_constra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdo
o
la
e
g
e
isl
_
basi
c
_m
a
p_from_constraint: ke
e
p all
divs, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdo
o
laege
isl_basic_map
_
from_co
n
straint: onl
y
retur
n
copy o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_c
o
nstraint_add_
d
iv:
correctly se
t
line to firs
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl
_
pip: rename pip_options to av
o
id confl
i
c
t
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_co
n
v
e
x_h
u
ll
.
c: i
n
i
tial_facet_constrain
t
:
f
ix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
do
c
: describe backward incompa
t
ib
l
e changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
d
o
c: men
t
ion discus
s
ion group
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaeg
e
rena
m
e isl_ba
s
i
c
_map_convex_hull to i
s
l
_
basic_map_remov
e
_
red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
s
l
_affine_hull
.
c
: outside_p
o
int: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_roll
b
ack: avoid
d
o
uble fr
e
e
on err
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_ta
b
.
c: tab_mat_product: avoid NULL pointer
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdo
o
laege
isl
_
tab_extend_cons: avoid NULL pointer
d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
implement
a
ntiquat
e
d isl_basic_set_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
isl_map_convex_h
u
ll: avoid NULL pointer
d
eref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
_
add_val
i
d_eq: r
e
turn int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
o
olaeg
e
isl
_
affine
_
hull
.
c: affine_hu
l
l
_
with_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_equ
a
lities
.
c: p
a
rameter_
c
o
mpression_mu
l
ti:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_basic_map_project_o
u
t: avoid NULL pointer d
e
refe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
is
l
_coale
s
ce
.
c: coa
l
es
c
e_p
a
ir:
avoid
N
ULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_conve
x
_hull
.
c:
e
x
t
end: f
i
x
e
rror handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
impl
e
ment
antiquated
isl_set_
n
_* in term
s
of isl
_
set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_m
a
p
_simplify
.
c: norma
l
ize_divs: avoid
N
UL
L
poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_inpu
t
.
c: vars_drop: f
i
x
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
c
o
n
vex_hul
l
.
c:
u
set_convex_hull_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_set_wrap_fa
c
et: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab_min: a
v
oid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laeg
e
isl_affine_hull
.
c:
e
x
t
en
d
_
affine_hull:
a
void NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
b
asic_map_extend
:
p
l
ug mem
o
r
y leak on error
path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
laege
i
s
l_affine_hull
.
c: equali
t
ies_i
n
_underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_basic_set_preimage
:
avoid NU
L
L point
e
r deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doo
l
aege
isl_tab_pip
.
c: no
_
sol_in_
s
trict:
f
ix e
r
ror handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ve
r
doolaege
isl_affine_hull
.
c:
e
qual
i
ties_in_u
n
derlying_
s
et: plu
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_a
f
fine_hull
.
c: affine_hull: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_map_project_out: f
i
x erro
r
return v
a
l
u
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_basic_ma
p
_intersect_range:
a
void NULL
p
ointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_tab_
p
ip
.
c
:
f
i
n
d_solutions: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doo
l
aege
i
sl_basic
_
m
ap_
a
l
l
oc
_
dim: fix
e
rro
r
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
ba
s
ic_
m
ap
_
i
n
ters
e
ct: avoid NULL
p
ointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_tab_pip
.
c: sol
_
map_init: a
v
oid NULL pointer deref
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
basic_
m
ap_intersec
t
_domain:
a
void NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_flow
.
c: compute_val_based_de
p
endences
:
fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_f
l
ow_alloc: f
i
x error
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl_access_info_compute_flo
w
: fix erro
r
h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
{
set,map}_fast_is_empt
y
: avoid NULL poi
n
ter
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_
f
l
ow
.
c: avoid acce
s
sing dim field
d
i
rec
t
ly
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_acc
e
ss
_
inf
o
_com
p
u
t
e_flow: avoi
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_input
.
c: obj_
r
ead: avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_subtra
c
t
.
c:
t
ab_add_const
r
aints:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
t
a
b
.
c: close_row: fi
x
err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
sl_map_simp
l
ify
.
c: remove_
d
u
p
licate_divs: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
i
s
l_basic_map_aff
i
ne_hul
l
: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
a
b
_
a
dd_eq: ret
u
r
n int i
n
stead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aeg
e
is
l
_
m
ap_simplify
.
c: remove_
d
uplic
a
te_
c
o
nstra
i
nts: avoid
.
.
.
commit
|
commitdiff
|
tree
next