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_coalesce.c: fix typo in comment
2010-08-06
Sve
n
Verdoolaege
i
sl_co
a
lesce
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
erdoolaeg
e
isl_
p
w_
q
po
l
ynomial
_
intersect_dom
a
in:
s
implif
y
polynom
i
als
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven V
e
rd
o
olaege
is
l
_qpolynomial_m
o
ve_dims: p
l
u
g
memory
l
eak
a
n
d fi
x
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven V
e
rdoolae
g
e
add isl_pw_qpolynomial_re
a
d_
f
rom_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sve
n
V
e
rdoolaege
add isl_q
p
olyn
o
mial_f
o
ld_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n Verdoolaege
isl_pw
_
qpolyno
m
ial_inte
r
sect
_
domain: drop pieces t
h
at
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaeg
e
i
s
l
_map_product:
us
e
d nested spac
e
s in r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
isl_pw_qpoly
n
omial_b
o
u
n
d
: handle isl_pw_qpo
l
ynomials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
support nes
t
e
d
isl_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
rdoo
l
aege
doc: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
exp
o
rt isl_dim_tuple_
m
atch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
i
sl_o
u
tput
.
c
:
e
x
tract out common print_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
e
rdo
o
l
a
e
g
e
isl_i
n
p
ut
.
c
:
read_tuple: construct
i
sl_dim
i
nstead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoola
e
ge
doc: re
m
ove description
of how to get
t
he
p
iplib submod
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
V
e
rdoolaege
isl_printer_print_pw_qpolyn
o
mial_
f
ol
d
: print dim as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n V
e
r
d
oolaege
add isl_pw_qpoly
n
om
i
al_insert_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
ad
d
isl_se
t
_ins
e
rt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
add isl_ba
s
ic
_
m
a
p
_image_is_bo
u
nded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
doolae
g
e
a
v
o
id NULL pointer excep
t
i
o
n
in isl_basic_map_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
fix i
s
l_pw_q
p
olynomi
a
l_rese
t
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verd
o
olaege
add isl_m
a
t_a
d
d_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
V
erdoolaege
add
i
sl_mat_add_zer
o
_
c
ols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sven Ve
r
d
o
o
lae
g
e
e
x
p
ort
i
sl_basic_map_move_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verd
o
olaege
hide isl_dim in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
d
oolaege
add i
s
l_d
i
m_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl
_
basic
_
m
a
p_reset_
d
im: finalize re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olaege
isl_t
r
ansitive_c
l
osure
.
c: an
o
nymize in
p
ut m
a
p during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
l
a
ege
isl_transitive_closure
.
c
:
keep track of d
o
m
a
ins for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Ve
r
do
o
laege
isl_d
i
m_drop:
a
lways remo
v
e tuple name, even if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
i
sl
_
dim_se
t
_tupl
e
_name:
a
llow explicit removal o
f
tu
p
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rdoolaege
add su
p
port for union
s
ets and re
l
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
dool
a
ege
i
s
l
_transi
t
ive_c
l
os
u
r
e
.
c
: ext
r
a
c
t
out some re
u
s
a
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_pw_
q
pol
y
nomial_
r
e
s
et_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
ad
d
isl_map_
h
as_equal_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaeg
e
add isl_dim_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
i
sl_dim: allow sp
e
cification
of tuple names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_m
a
p_from_domain_an
d
_range: implement i
n
terms
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
isl_
b
asic_map_domain:
properly
s
et dimension of result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
privately export isl_set_re
s
et_d
i
m and isl
_
m
a
p_re
s
e
t
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
is
l
_map_re
a
d
: extract out read_var_de
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolae
g
e
isl_hash_table_foreach: pass poi
n
ter to entry
d
a
t
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
i
s
l_hash_table_fo
r
eac
h
: add user a
r
gument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
is
l
_transitive_closu
r
e
.
c: fi
x
do
u
b
l
e free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_g
i
st: use simpl
e
h
u
ll instead o
f
convex
hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_map
.
c: fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ve
n
Verdoolaeg
e
isl_cat: rea
d
generi
c
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
sl_printer: add NULL
c
hecks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
mak
e
isl_obj_none a constan
t
ex
p
ress
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
add isl_map_get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_map
_
fast
_
is_universe: als
o
de
t
ect
re
d
undant re
p
r
ese
n
t
ati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
rdoolaege
add isl_m
a
p_r
e
aching
_
path_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Verd
o
olaege
isl_ma
p
_power: delay e
q
uating pa
t
h
l
e
n
gths to
po
w
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en V
e
r
d
oolaege
isl_
m
ap_po
w
er:
a
pply Floyd-Wa
r
shall
t
o compute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl
_
map
_
lexmax
:
produce less cryptic error message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
ven
V
er
d
oolaege
fix isl_basic_ma
p
_move_
d
ims
i
n pres
e
nce of existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
e
r
doolaege
isl
_
test: drop debu
g
ging ou
t
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Ve
r
d
o
ola
e
g
e
isl_trans
i
tive_closure
.
c: fix typo in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
o
l
aege
fix
i
sl_map
_
lex_g
e
an
d
isl_map_lex_le i
n
the ze
r
o-dim
e
nsi
o
na
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
S
v
en Verdoolaege
isl_
p
rinter_print_
m
ap
:
repl
a
ce v
a
riabl
e
by its definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
ven Verd
o
olaege
p
r
i
v
a
tely export isl_basic_m
a
p
_
fast
_
cmp and isl_
b
asic_ma
p
_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven
Verdoolaeg
e
isl_dim_set_name
:
don't
a
ccep
t
names th
a
t look
l
ike
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
i
sl_
c
o
nvex_
h
ull
.
c:
a
void
side-effects in calls to isl_
i
nt_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven
Verdo
o
l
aege
add isl_int_ge
t
_st
r
commit
|
commitdiff
|
tree
2010-07-02
Sven V
e
r
dool
a
ege
doc: fix som
e
typos
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
is
l
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoo
l
aege
Makefil
e
.
am:
r
eally inclu
d
e inclu
d
e
/
isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
erdoo
l
aege
a
d
d isl_map_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdool
a
ege
doc
:
fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n V
e
rdoo
l
a
ege
do
c
: drop dupli
c
ate bookti
t
l
e
f
r
om Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Ver
d
oolaege
doc: use more ex
p
licit notation to avoid con
f
usion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
add isl_constraint_is_di
v
_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
i
sl_map_simplify
.
c: s
e
p
a
rate out isl_basic
_
m
a
p_
i
s_di
v
_
c
o
nstrain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
isl_basic_map_fro
m
_constraint: keep a
l
l divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
i
s
l_basic
_
m
a
p
_
from_co
n
str
a
i
n
t
: only return copy o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_constraint_add_div: correctly
s
et line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
isl_pip: rena
m
e pip_opti
o
ns to avoid confl
i
ct
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_conv
e
x
_
hull
.
c
:
initial_f
a
cet_con
s
traint: f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: d
e
s
cribe
backwar
d
inco
m
p
a
tible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
doc: m
e
ntion dis
c
u
ssion
g
roup
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
rename is
l
_basic_map
_
convex_hull to isl_bas
i
c_map_
r
e
m
ove
_
red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
isl_affine_hu
l
l
.
c: outside_point: fix er
r
o
r
h
andlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
dool
a
ege
isl_tab_rol
l
back: avoid do
u
ble f
r
ee on
error
path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_
t
ab
.
c: tab_mat_product: avo
i
d
N
UL
L
pointer de
r
eferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_ta
b
_extend_c
o
ns: avoid N
U
L
L
pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
o
laege
implement antiquated isl_basic_
s
et_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verd
o
olaege
isl
_
m
a
p
_
c
onvex_hull: avoid NULL pointer d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_
t
ab_
a
dd_valid_eq: r
e
turn in
t
inste
a
d of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_aff
i
n
e
_hull
.
c: affine
_
hull
_
with_con
e
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_equalities
.
c: param
e
t
er
_
co
m
pression_mu
l
ti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
is
l
_
basic_map_projec
t
_out: avoid N
U
LL pointer dere
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_coalesce
.
c: coalesce_pa
i
r
:
avoid NU
L
L poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
is
l
_convex_h
u
ll
.
c
: extend: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
implement ant
i
quated isl_set_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
o
o
l
aege
isl_map
_
s
implify
.
c: normalize_divs: avoid
N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
i
s
l_input
.
c: vars_d
r
op: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_convex_hull
.
c: u
s
et_convex_hull_
w
rap_
b
ounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
s
et_wrap_fa
c
et: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
isl_tab_mi
n
: avoid
N
ULL pointer deref
e
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl_af
f
ine_hull
.
c: e
x
tend_affine_hull:
a
voi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
next