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_basic_map_image_is_bounded
2010-08-04
Sven
Verdoolaege
ad
d
isl_b
a
sic_map_image_is_boun
d
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
r
doo
l
aege
avoid NULL pointer e
x
c
e
ption in isl_basic_
m
a
p_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
o
olaege
fix i
s
l
_pw_q
p
oly
n
omial_reset
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verd
o
ol
a
ege
add isl_mat_add_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaege
add i
s
l_mat_add_zero_co
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
S
ven Verdo
o
laege
export isl_basic_map_move_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
e
n
V
erdoolaege
hide isl
_
dim internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoo
l
a
ege
a
d
d
isl_di
m
_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
isl_basic
_
map_reset_dim: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdoolaeg
e
isl_t
r
a
n
sitive_closure
.
c: an
o
nymize input ma
p
during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_tran
s
itive_closu
r
e
.
c:
k
e
e
p track of domains f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
ge
is
l
_dim_drop: always remove tuple name, even if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
o
o
l
aege
isl
_
dim_set
_
tuple_name: all
o
w e
x
pli
c
i
t
r
emoval of
tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolae
g
e
add supp
o
rt f
o
r
unio
n
s
e
ts and rela
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_tran
s
itive_closure
.
c
: e
x
tr
a
ct
o
ut some r
e
usable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verd
o
ol
a
e
ge
a
dd is
l
_pw
_
qpol
y
n
o
mial
_
reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
add i
s
l
_
map_has_equal_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_dim_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
isl_dim: allow specifica
t
ion o
f
t
uple names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
isl_m
a
p_from_domai
n
_and
_
range: implemen
t
in ter
m
s o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_basi
c
_m
a
p
_
domain: properly
set dime
n
sion o
f
res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verd
o
o
laege
p
r
ivately exp
o
rt
i
sl_s
e
t_reset_di
m
an
d
isl_ma
p
_
r
eset
_
di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n V
e
r
d
ool
a
e
ge
i
s
l_map_read: extract out
read_var
_
def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_
h
ash_table_foreach: pass p
o
inter
t
o ent
r
y data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl_has
h
_table_foreac
h
:
add
u
ser
a
rg
u
m
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n
Verdoolaege
i
s
l_trans
i
tive
_
closure
.
c: fix
doub
l
e f
r
ee on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_g
i
st: use simple hull
ins
t
e
a
d
of
co
n
vex h
u
ll
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map
.
c: fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
Verdoolaege
i
s
l_cat: read ge
n
eric ob
j
e
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_prin
t
er: add NULL checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ve
n
Ve
r
d
ool
a
ege
make isl_obj_no
n
e a c
o
n
s
t
a
nt expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n V
e
r
d
o
olaege
a
d
d
i
sl_map_g
e
t_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
isl_map_
f
ast_is_univer
s
e: also detect
r
edundant
r
epre
s
enta
t
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
add isl_map_reaching_pa
t
h_l
e
ngths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
d
o
olaege
isl_map_p
o
wer
:
delay
equat
i
ng
p
ath len
g
ths t
o
power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
i
s
l_
m
ap
_
p
o
wer:
a
pply Floyd-Warshall
t
o
compute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoo
l
a
eg
e
isl_map_lexmax: produce less cryptic error message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
f
ix
isl_basic_map_move_dims
i
n
p
r
esence of exi
s
tentiall
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
oolaege
isl
_
test
:
drop debugg
i
ng out
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Ver
d
oolaege
isl_transi
t
iv
e
_closure
.
c: fix
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolae
g
e
fi
x
isl_map_lex_ge
and isl
_
m
a
p
_le
x
_le
i
n th
e
zero-dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
S
v
en
V
erdoola
e
ge
isl_printer_p
r
int_
m
ap: rep
l
ace varia
b
le by its definit
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven
Verdoolaege
p
rivate
l
y expo
r
t isl_bas
i
c_ma
p
_fast_
c
mp and is
l
_basic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Ve
r
do
o
laege
isl_dim_set
_
nam
e
: don't acc
e
pt names that
lo
o
k like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosse
r
Remo
v
e com
m
a
at the
end of enumerat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
isl
_
conv
e
x_
h
ull
.
c
:
av
o
id side-ef
f
ects in
calls
to is
l
_
i
nt_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
en
V
e
r
d
o
olaege
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
S
ven Ver
d
oolaege
add isl_in
t
_get_str
commit
|
commitdiff
|
tree
2010-07-02
S
v
en Verdoolaege
doc
:
f
i
x
some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
lae
g
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven
Verd
o
o
lae
g
e
Makefile
.
am: reall
y
includ
e
inclu
d
e/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
add isl_map_is_bijectiv
e
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
d
oc:
d
rop duplicate book
t
itle fr
o
m
Kelly
1
996cl
o
sure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdoola
e
ge
doc
:
use more
e
xplicit n
o
tati
o
n to avoid confusion
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoolaege
a
dd isl_c
o
nstrai
n
t_
i
s_
d
iv
_
constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olae
g
e
isl_map
_
s
im
p
li
f
y
.
c:
s
epar
a
te
o
u
t
is
l
_basic_m
a
p_is_div_co
n
strai
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaeg
e
i
sl_ba
s
ic_m
a
p_from_constraint: keep
a
ll divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaeg
e
isl
_
b
a
sic_map_f
r
om_
c
o
nstrain
t
: only ret
u
rn copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
Verdoolaege
isl_constraint_
a
dd_div: correctly s
e
t l
i
ne to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
r
doolaege
i
sl
_
p
i
p
: rename pip_options to
a
void conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdool
a
ege
isl_convex_hull
.
c: initial_f
a
cet_constrain
t
: f
i
x
e
r
ro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
d
o
c: de
s
cribe backward incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
do
c
: men
t
ion discuss
i
o
n group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
rename
i
s
l_basic_map
_
convex_hull t
o
is
l
_
ba
s
ic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
is
l
_aff
i
ne_hull
.
c:
outside_
p
oint: fix
e
rr
o
r
h
andli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
tab_rollb
a
c
k
: a
v
oid double free on error
p
ath
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
ool
a
ege
isl_tab
.
c
:
t
a
b_mat_pr
o
duct: avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_tab_extend_
c
ons: a
v
oid NULL pointer der
e
fer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
implement antiquated
i
sl_bas
i
c_set_n_*
i
n
t
e
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
o
olaege
isl_map_convex_hull: avoid N
U
LL
pointer
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab_
a
dd_valid_eq:
r
etu
r
n int
i
n
ste
a
d of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_affine_hull
.
c: a
f
fine_hull_with_cone: avo
i
d
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_equalities
.
c
:
p
arameter_
c
ompression_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_map_proje
c
t
_out: avoid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
isl_c
o
al
e
sce
.
c
:
coalesce_pair:
a
v
o
id N
U
LL po
i
nter derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl
_
c
o
nvex
_
hull
.
c: extend:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
m
plement antiquated i
s
l_set_n_* in terms of is
l
_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_map_simplify
.
c: normalize_divs: avoid NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_in
p
ut
.
c: vars_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_c
o
nvex_hull
.
c: uset_
c
onvex_hull_wrap_boun
d
ed: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
lae
g
e
isl_set_wrap_facet:
fix
e
rror handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_tab_min: avoi
d
N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_affine_hull
.
c:
e
xtend_affine_hu
l
l: a
v
oid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_ext
e
nd: plug
m
e
mory leak on err
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_a
f
fine_hull
.
c: equ
a
l
i
ties_in_underlying_s
e
t
:
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_set_preimage: avoid N
U
L
L
point
e
r
d
e
r
efere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_pip
.
c: no_sol_in_strict
:
fi
x
error h
a
ndlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: equalities
_
in_underlyi
n
g_s
e
t: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erdoo
l
a
ege
isl_aff
i
ne_
h
ull
.
c: affine_hull: fix erro handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_map_project_out: fix error return
value
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdo
o
laege
isl_basic_m
a
p_int
e
r
sect_range: avoid NULL poi
n
t
er de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l
_tab_pip
.
c: fi
n
d_so
l
u
tions: fix error h
a
nd
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
isl
_
basic_ma
p
_allo
c
_dim: f
i
x error
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
la
e
ge
isl_basic_m
a
p_in
t
ersect:
a
void
NULL
pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_tab_pip
.
c: sol_m
a
p_
i
nit:
a
void
NUL
L
pointer de
r
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verd
o
olaege
isl_basic_map_int
e
r
sect_domain: avoi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
is
l
_fl
o
w
.
c:
c
omp
u
te_val_based_dependences: fix
e
rro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Ve
r
doo
l
a
ege
is
l
_fl
o
w
_alloc: fix
err
o
r
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
access_in
f
o_compute_f
l
ow: fix error handling
commit
|
commitdiff
|
tree
next