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_pw_qpolynomial_bound: handle isl_pw_qpolynomials with wrapped domains
2010-08-05
Sven Ver
d
oolaege
isl_pw_qpolynomi
a
l_bound:
ha
n
dle isl_
p
w
_qpo
l
ynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
g
e
support
n
ested
isl_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
do
o
laege
d
o
c
:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaeg
e
exp
o
rt isl_dim_tup
l
e_mat
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
rd
o
o
lae
g
e
isl_output
.
c: extract out c
o
mmon print_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdo
o
laege
is
l
_in
p
ut
.
c: read_t
u
ple: construct is
l
_dim
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
doc: remove descr
i
ption of how
t
o get the pip
l
ib submo
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_printer
_
pri
n
t_pw_qpolynomial_fold: print dim as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
add
i
sl_p
w
_qpoly
n
omial_inser
t
_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaeg
e
a
d
d isl_set_
i
nsert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_
b
asic_map
_
image_i
s
_bounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
avo
i
d NU
L
L
p
o
inter exc
e
ption in isl_basic_ma
p
_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
fix isl_pw_qpolynomi
a
l
_re
s
et_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
add isl_mat_add_r
o
ws
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
add isl_mat_add_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven V
e
r
d
oo
l
aege
exp
o
rt isl
_
basic_
m
ap_mo
v
e_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoolaege
hid
e
isl_
d
im i
n
ter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
add isl_dim_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
V
erdoola
e
ge
i
s
l_
b
asic_map_reset_dim: finalize r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoola
e
ge
isl_transitive_closure
.
c: a
n
o
n
y
m
i
z
e
input m
a
p dur
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaege
i
s
l
_
transiti
v
e
_
clo
s
ur
e
.
c: ke
e
p t
r
ack of
d
omains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolae
g
e
isl_dim_drop: always remove tuple name,
e
v
en if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ven
V
erdo
o
laege
isl_dim_se
t
_tuple_n
a
m
e:
allow e
x
plicit remo
v
a
l
of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
erdoolaege
add su
p
port for union sets
a
n
d relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
isl_transitive_closure
.
c: extract
o
ut some
r
eusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
o
l
aege
ad
d
isl_pw_qp
o
lynomial_re
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
oolaege
add isl_map_h
a
s_equal_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
r
d
oolae
g
e
add i
s
l_dim
_
get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
rdoolaege
is
l
_di
m
: allow specificatio
n
of tupl
e
n
a
mes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
i
s
l_map_from_dom
a
i
n
_and_range:
i
mpleme
n
t
i
n
terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_ba
s
ic_ma
p
_domain: pr
o
perly set
d
imension of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
p
rivately
ex
p
ort is
l
_set_rese
t
_d
i
m and
i
s
l_map
_
reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
er
d
o
ol
a
ege
isl_map_rea
d
:
extract
out r
e
ad_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en V
e
rdoolaege
isl_ha
s
h_table
_
f
o
rea
c
h
:
p
ass poin
t
er
to entry data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
isl_hash_table
_
foreach: add user a
r
gum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoo
l
aege
is
l
_tran
s
itive_closur
e
.
c: fi
x
double fre
e
on err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
d
o
olaege
is
l
_
m
ap_gist: use
si
m
ple
h
ull
i
nstead o
f
convex
hul
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_map
.
c: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_cat
:
read generic ob
j
e
cts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoola
e
ge
i
s
l
_prin
t
er: add NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
make isl_obj_none a constant expressio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven V
e
rdoolaege
add isl_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n Verdoolae
g
e
isl_map_
f
ast
_
is_universe: al
s
o
d
e
t
ect redundant representati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
add isl_map_reaching
_
p
a
th_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n Verdool
a
ege
is
l
_map_power: delay equat
i
ng p
a
th lengt
h
s
t
o power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoo
l
aege
i
s
l
_
m
ap_power: apply Fl
o
y
d
-Warshall to
compute
p
owers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoola
e
ge
i
sl_map_le
x
max
:
p
r
odu
c
e less c
r
yptic error m
e
ssage
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl_
b
a
s
i
c_map_mo
v
e_dims in presence o
f
e
x
i
st
e
nti
a
ll
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Ver
d
oo
l
aege
i
s
l
_test: drop debuggi
n
g output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoolaege
is
l
_transiti
v
e_closure
.
c
:
fix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
olaege
fi
x
isl
_
m
a
p_lex_ge and isl
_
map_lex_le in the zer
o
-dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sv
e
n Verdoolaeg
e
isl
_
pr
i
n
t
e
r
_p
r
int_ma
p
: replace variable
b
y its definit
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Ver
d
oo
l
aege
privat
e
ly ex
p
ort
i
s
l_basic_map_fast_
c
mp a
n
d isl_basic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
ven
V
erdoo
l
aeg
e
isl_dim
_
set_name: don't accept names that look lik
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
isl_convex_hull
.
c: avoid side-
e
f
fects
i
n calls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n Ver
d
oolae
g
e
add isl_ha
s
h
_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n Verdoolaege
add is
l
_int_get_st
r
commit
|
commitdiff
|
tree
2010-07-02
S
ve
n
V
erdoolaege
doc:
fix so
m
e typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
o
o
l
a
ege
isl
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
r
doolaege
Makefile
.
a
m
: r
e
al
l
y include include/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
l
a
ege
add isl_map_
i
s_b
i
jective
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Ve
r
d
o
olaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: d
r
op
d
u
p
l
i
cate
booktitle fro
m
Kelly1996c
l
osure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oolaege
doc
:
use mor
e
explicit notatio
n
to avoi
d
confusio
n
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
add isl_cons
t
rai
n
t_is_div_co
n
straint
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
isl_map_simplify
.
c
: separa
t
e
out isl_
b
asi
c
_map_is_di
v
_constra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
isl
_
basic_map
_
from_
c
onstrain
t
: k
e
ep all divs, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
ol
a
ege
isl_b
a
sic_m
a
p_from_constra
i
nt
:
only return copy
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Verdoolaege
isl_co
n
str
a
int_
a
dd_div: cor
r
ect
l
y set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdo
o
laege
i
s
l_pip: r
e
name p
i
p
_options
t
o
av
o
id conflic
t
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
g
e
isl_con
v
e
x
_
hull
.
c:
i
nit
i
al_facet_constr
a
int: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
doc: describe b
a
ckward
incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
d
o
c: m
e
ntion discus
s
ion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
rename isl_basic_map_conv
e
x_hull to isl_basic_map_r
e
move_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_a
f
fine_hull
.
c: outside_po
i
nt: fix
er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
a
b_r
o
llback: av
o
id double free on error
path
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
isl_tab
.
c: tab
_
mat_pro
d
uc
t
: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_tab_e
x
te
n
d_con
s
: avoid N
U
LL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
implement an
t
iqua
t
ed isl
_
basic_set_n_*
i
n terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
dool
a
ege
isl_m
a
p_co
n
vex_hull: avoid NU
L
L poin
t
er der
e
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_a
d
d_val
i
d_
e
q: return int
i
nstead
of
i
sl
_
tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
is
l
_affine_hull
.
c: a
f
fine_hull_with_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_equaliti
e
s
.
c: pa
r
ameter_comp
r
ess
i
on_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_map
_
proj
e
ct_out:
avoid
NULL poin
t
er
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_c
o
alesce
.
c: coalesce_pair: avoid NULL
p
ointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
la
e
ge
isl_co
n
vex_h
u
ll
.
c: e
x
t
e
nd: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
mpleme
n
t antiquated isl_se
t
_n_* in terms of isl_set
_
d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_map
_
sim
p
lify
.
c:
normalize_divs: a
v
oid NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl_i
n
put
.
c: vars_drop: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl_co
n
ve
x
_hull
.
c: uset
_
convex_hull_wr
a
p_bo
u
nded:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_set_
w
ra
p
_face
t
: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_t
a
b_mi
n
:
avoid NULL poi
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_af
f
i
n
e
_
hull
.
c: extend_af
f
i
n
e_hull: avoi
d
NULL p
o
int
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
isl_bas
i
c_map_extend: plu
g
memory l
e
ak o
n
error p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_affine_h
u
ll
.
c: equa
l
iti
e
s
_
i
n_
u
n
d
e
r
lyi
n
g_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_set_preimage: av
o
id NULL pointer der
e
fere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_tab_
p
ip
.
c
: no_sol_in_s
t
r
i
ct: fix
e
rror handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
dool
a
ege
isl_aff
i
ne_
h
ull
.
c: equalities
_
i
n
_
u
n
derlying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
affi
n
e_
h
ull
.
c
:
a
ffine_hull: fix er
r
o han
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl
_
m
ap_p
r
oject_ou
t
: fix error return value
commit
|
commitdiff
|
tree
next