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 Verdoolaege
isl_t
r
ansit
i
ve_c
l
osure
.
c
:
an
o
n
y
m
i
ze
i
nput map d
u
ring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doola
e
g
e
isl
_
tr
a
ns
i
t
i
ve
_
closure
.
c: k
e
e
p
track
of d
o
mains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoola
e
ge
isl_dim_drop:
alw
a
ys remove tu
p
le name, even if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdo
o
laege
isl_dim_
s
et_tuple_name: a
l
low explicit removal of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
add
support for
union s
e
ts and relati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sl_transi
t
i
v
e_closure
.
c: extract out
some reusa
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
add isl
_
pw_qpolynomial_
r
e
set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ver
d
oolaege
add isl_map_has_
e
qual_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
add i
s
l_d
i
m_get_ha
s
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
is
l
_dim: allo
w
specification of tuple
n
am
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
d
o
ola
e
ge
isl_ma
p
_from_domai
n
_and_r
a
nge:
imp
l
ement in terms
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_basi
c
_
map_domain: pro
p
erly set d
i
mensio
n
of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
priv
a
tely e
x
port i
s
l_set_reset_d
i
m a
n
d isl_map_
r
eset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_ma
p
_read: extract out read_v
a
r_d
e
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n V
e
rdoolae
g
e
i
sl_hash_
t
able_foreach: pass
p
ointer to entry data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en V
e
rdoolaege
isl_has
h
_t
a
ble_foreach: add us
e
r argumen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
is
l
_transit
i
ve_cl
o
sure
.
c: fix dou
b
le fre
e
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_
g
ist: use simple hull instead
o
f convex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoo
l
aege
i
sl_map
.
c:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_c
a
t:
r
ead generic
o
b
jects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
o
laege
isl_printer: add NUL
L
che
c
k
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
mak
e
i
s
l_obj_none a con
s
t
a
nt expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olae
g
e
add isl_map_g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rd
o
olaege
isl_ma
p
_fas
t
_
i
s_univer
s
e:
also
d
e
tect red
u
n
dant representati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
add is
l
_map_r
e
achi
n
g_pa
t
h
_
len
g
ths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl
_
map_po
w
er: dela
y
equating pa
t
h len
g
ths to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdo
o
l
a
ege
i
s
l_map
_
powe
r
: a
p
ply Floyd-Wa
r
shall to co
m
pute p
o
w
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
ve
n
V
e
rdoo
l
aege
isl_m
a
p_lexma
x
: produce
less
cryptic error message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoolaege
fix isl_ba
s
i
c_map_move_dim
s
in presen
c
e
of exist
e
ntia
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
oolaege
isl_t
e
s
t
: drop d
e
bugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
e
r
doolaege
isl_transit
i
ve_closure
.
c: f
i
x
typo i
n
comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven V
e
rdoolaege
f
i
x isl_map_lex_ge
an
d
isl_map
_
lex_le in the z
e
ro-dimen
s
iona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sv
e
n Ver
d
oolaege
isl_printer_print_
m
ap: replace va
r
iable by
i
t
s
definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n Verdoolaege
privately export
isl_basic_map_fast_cmp
a
nd isl_bas
i
c_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n Verdoo
l
aege
isl_dim_set_name:
d
on'
t
accept n
a
m
e
s
t
hat look
like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobia
s
Gr
o
s
ser
Rem
o
v
e com
m
a
a
t t
h
e
e
nd of
enum
e
ratio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolae
g
e
is
l
_convex_hull
.
c: avoid
si
d
e-eff
e
cts
in call
s
to isl_i
n
t
_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
e
n Ve
r
d
o
o
laege
add isl
_
hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoola
e
g
e
add isl_i
n
t_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
doc
:
fix some typ
o
s
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ver
d
oolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdoolaege
Ma
k
e
f
i
le
.
am: really include include/isl_vertic
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
ve
n
Verdoolaege
add isl_map_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
d
o
c:
drop duplicate bo
o
k
title from
K
elly199
6
c
l
osure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdoolaege
d
oc:
u
se mo
r
e explicit nota
t
io
n
to a
v
oi
d
co
n
f
u
sion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
a
d
d
isl_c
o
nst
r
a
i
nt_is_di
v
_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
is
l
_map_simplif
y
.
c
: separ
a
te out isl_ba
s
ic_ma
p
_is_div_constr
a
int
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
V
erdoolaege
isl_basi
c
_map_from_con
s
traint: keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
V
erdoolae
g
e
isl_ba
s
i
c
_
ma
p
_from_constraint
:
only
r
e
tur
n
copy
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Ver
d
oolaege
isl_constraint_add_div: corr
e
ctly set line to
fir
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
e
ge
isl_pip: r
e
name pip_options to
avoid
c
on
f
l
i
ct
w
ith
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l
_con
v
ex_hu
l
l
.
c: initial_fa
c
et_constraint:
f
ix
e
r
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
doc: describe
b
a
ckward incompatible cha
n
ges
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
d
oc
:
mention discuss
i
on gro
u
p
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
renam
e
i
s
l
_basi
c
_m
a
p
_convex_hull to isl_basic_map_
r
em
o
ve_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl_affine_hull
.
c: o
u
t
side
_
point: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_tab_rollback:
avoid doub
l
e free on
error
p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab
.
c
: tab_mat_product: avo
i
d NULL poin
t
e
r d
e
re
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
isl_tab_exte
n
d_cons: avoid NULL
p
o
i
n
t
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoola
e
g
e
i
m
p
le
m
ent
a
ntiquated isl_bas
i
c_s
e
t_n_
*
in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl
_
map_conve
x
_hull: a
v
o
i
d NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab_add_valid_e
q
: return int instead
of
i
sl_
t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
d
o
olaege
isl_affine_hull
.
c: a
f
fine_
h
u
ll_with_co
n
e: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
equalities
.
c: parameter_compression_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c_map_project_out:
avo
i
d NULL pointer d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_
c
oalesce
.
c
:
c
oalesce_pair: avoi
d
NULL point
e
r derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c
: exte
n
d: f
i
x
error hand
l
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
impl
e
ment antiquated isl_s
e
t_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ver
d
oolaege
isl_map_simplify
.
c: normalize_divs
:
avoid NU
L
L point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c:
v
ars_drop: fix
e
rror
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_convex_hull
.
c: u
s
et_convex_hull_wr
a
p_bounded
:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
s
et_wr
a
p_facet: fix
error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
i
s
l_tab_m
i
n: avoid
NULL point
e
r
d
e
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
is
l
_affine_h
u
ll
.
c: extend_a
f
f
ine_hull: avoid
NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
g
e
isl_bas
i
c_map_extend: plug
m
emory l
e
ak on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_affine_hull
.
c: equalities_in_und
e
rlying_set:
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdool
a
ege
is
l
_basic_set_preimage: avoid
N
U
LL po
i
nter de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
isl_tab
_
pip
.
c: no_sol_in_st
r
ict:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_affine_hul
l
.
c: equalities
_
in
_
under
l
ying_set: plu
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_af
f
ine_hull
.
c:
a
ffin
e
_hu
l
l: fi
x
erro handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
i
s
l_ma
p
_
p
ro
j
ect_ou
t
: fix e
r
r
o
r
r
e
turn value
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
l
a
ege
isl
_
basic_ma
p
_intersect
_
range: avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
isl
_
tab
_
pip
.
c:
f
i
nd_solutions: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_basic_map_allo
c
_d
i
m: fix e
r
ror han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
r
doolaege
isl_
b
asic
_
ma
p
_
i
n
te
r
sect:
a
void
NU
L
L point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
ola
e
g
e
isl_tab_pip
.
c
: s
o
l_map_init: avoi
d
NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_basi
c
_
map
_
i
n
terse
c
t_domain: avoid NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_
f
l
o
w
.
c: compute_val_based_depende
n
ces: fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_flow_alloc: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
e
g
e
isl_acc
e
s
s_inf
o
_co
m
pute_f
l
ow: fix err
o
r
h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_{set,map}_fast_is_empty:
a
void NULL
p
oint
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
er
d
o
o
laege
isl_flow
.
c: avoid ac
c
essing dim field directly
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_ac
c
ess_in
f
o_
c
omp
u
t
e_f
l
o
w
: avoid
NUL
L
pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
isl_input
.
c: obj_read: avoid
NULL pointer d
e
refe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_subtr
a
ct
.
c: tab_add_co
n
straints: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l_tab
.
c: close_row: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_map_simp
l
ify
.
c
: rem
o
v
e_
d
up
l
icate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basic_map_
a
ffine_hull: avoid NULL
pointer der
e
fe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_t
a
b
_add_eq
:
return int
inst
e
ad of isl_
t
ab *
commit
|
commitdiff
|
tree
next