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_stream_read_obj: read reductions
2010-08-18
Sve
n
Verdoolaege
isl_strea
m
_
r
ead_
o
bj: read
reducti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isl_input
.
c: read_facto
r
:
fi
x
read after
f
r
ee in
e
r
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isl_strea
m
_
e
rror: print u
n
expected identi
f
ier name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
rename isl_pw_
q
pol
y
nomial_fold_add to isl_pw_qpolynomial
_
fol
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
d
o
c:
minor clarif
i
catio
n
on
o
perations on union sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
add isl_u
n
ion_
s
et_get_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-11
Sven Verdoolaege
isl_map_gist: also perf
o
rm gist in univ
e
rse context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
i
s
l_union_ma
p
: constru
c
t
n
ew isl_u
n
ion_ma
p
o
n
operati
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
S
ven Ve
r
doolaege
isl_union_map_is_empty: fix
typo that res
u
lted in
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
add isl_basic
_
map_has_defining_equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdo
o
laege
add
i
sl_s
e
t_g
e
t_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-07
Sven Verdoolaege
isl_pri
n
ter_print_map: fix printing in latex format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoola
e
ge
isl_se
t
_
w
rap_facet:
n
ormalize resul
t
ing fa
c
et constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sv
e
n Verdoolaege
isl_coal
e
sce
.
c: f
i
x typo in
c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sve
n
V
e
rd
o
o
laege
isl
_
p
w
_qpolynomial_inters
e
ct
_
d
o
m
a
in: simplify
p
olynomials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verd
o
o
l
aeg
e
isl_qpoly
n
omial_move_dims: plug mem
o
ry le
a
k and fix
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
ad
d
isl_p
w
_qpolynomial_re
a
d
_f
r
om_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoola
e
g
e
add is
l
_
qpolynomia
l
_
fo
l
d_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n Verdo
o
lae
g
e
is
l
_pw
_
q
polynomial_intersect_domain:
d
rop
p
ieces
t
h
at
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
g
e
isl_m
a
p_product: us
e
d
n
e
sted spa
c
e
s
in result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Ve
r
d
oolaege
isl_
p
w_qpolyn
o
mial_bound: h
a
ndle
isl_pw_qpo
l
ynomia
l
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
e
ge
s
upp
o
rt
nested
isl_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
d
o
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ve
r
dool
a
ege
export isl_dim_tuple_match
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
isl_outpu
t
.
c:
e
x
t
ract out common print_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Verdoo
l
a
e
ge
isl_inp
u
t
.
c:
r
e
a
d_tuple: construct isl_dim
i
nstead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
doc
:
remove
d
escr
i
pt
i
on o
f
h
o
w to get the pipl
i
b submod
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaege
i
s
l_printer_print
_
p
w_qpo
l
ynomial_fol
d
: print di
m
as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoo
l
ae
g
e
add isl
_
pw_qpoly
n
om
i
al_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Verdoolaege
add isl_set_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdool
a
ege
add isl_
b
as
i
c
_
m
a
p
_image_is_bounded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
avoid NULL poin
t
er exception in isl_ba
s
i
c
_
map_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolae
g
e
fix isl_pw_qpolynomial_res
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
add i
s
l_mat_ad
d
_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_mat_add_zero_col
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sven Ver
d
oolaege
e
xport isl_basic_map_m
o
ve_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaeg
e
h
i
de isl_dim
i
nternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
ven
Verdoolaege
a
dd isl_dim_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rd
o
o
laege
isl_basic_map_
r
eset_d
i
m:
finalize res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
V
erdo
o
l
aege
isl_transit
i
ve_closure
.
c: anon
y
mize in
p
ut
m
ap during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
laege
isl_transitive_closure
.
c: k
e
ep tra
c
k
of d
o
mai
n
s for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doo
l
a
e
ge
isl_dim_d
r
op:
a
lways
remove tuple name, even if num
b
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdool
a
ege
isl_dim_set
_
tup
l
e_n
a
m
e
: allow e
x
plic
i
t removal of
tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
add support fo
r
un
i
on sets
an
d
relatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
isl
_
t
r
a
ns
i
t
iv
e
_clo
s
u
re
.
c: extract
out some reusable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_pw_qpolynomi
a
l_re
s
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
add isl_m
a
p_has_equal_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolae
g
e
add
isl_dim_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
isl_dim: allow
s
pecificatio
n
of tuple names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_ma
p
_fro
m
_domain_and_range: im
p
lement in terms o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_basic_map_domain: p
r
oper
l
y
set d
i
mension of result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
eg
e
pri
v
ately export isl
_
s
e
t_res
e
t_dim and isl_map
_
re
s
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolae
g
e
is
l
_map_
r
e
a
d: extra
c
t ou
t
read_var_d
e
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdo
o
laege
isl_hash_table_fo
r
each: pass
p
o
in
t
er
t
o
entry data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
is
l
_ha
s
h
_table_foreach: add user argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Ve
r
do
o
laege
isl_transitive_closure
.
c: f
i
x
d
ouble free
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verd
o
ol
a
ege
isl_map_gist
:
use sim
p
le hull in
s
tead of
convex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_map
.
c: fix t
y
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
i
s
l_cat: read ge
n
eric objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
is
l
_
p
rinter: add N
U
LL chec
k
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoo
l
a
e
ge
ma
k
e isl_obj_no
n
e a constant exp
r
ession
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
add isl_map_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl
_
map_
f
ast_is_universe:
also
d
etect r
e
dun
d
ant
r
e
presentati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
e
n Verdoolaege
add isl_map_reac
h
i
n
g_p
a
th
_
lengt
h
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdo
o
laege
isl_ma
p
_
p
o
wer:
d
e
l
ay equ
a
ting p
a
t
h
lengths to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoolaege
isl_
m
ap_power: apply Floyd-Warsh
a
l
l to com
p
ute power
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Verdoolaege
i
sl_ma
p
_le
x
max: produ
c
e le
s
s
c
rypt
i
c error messa
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Ve
r
doolaege
fix isl_basic_map_move_
d
ims
i
n pres
e
n
ce
o
f
e
xis
t
entially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n
Verdoo
l
aege
isl_test: drop de
b
u
g
gi
n
g
o
utput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_transitive_clo
s
ure
.
c:
fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdoolaege
fix i
s
l_
m
ap_lex
_
ge and isl_map_lex_le in the z
e
ro-dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Ver
d
o
olaege
isl_printer_print_map:
r
eplace variable
b
y its definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sve
n
Verdoolaege
pri
v
ately export isl
_
basic_map_fast_
c
mp and is
l
_basic_map
_
f
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdool
a
ege
isl_dim_set_name: don't accept names th
a
t look l
i
ke
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaeg
e
isl_convex_hul
l
.
c: avoid si
d
e-effe
c
ts in
c
all
s
t
o
isl_i
n
t_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven
Verdoola
e
g
e
add
isl_hash
_
built
i
n
commit
|
commitdiff
|
tree
2010-07-04
Sven V
e
rdoolae
g
e
add isl
_
int_get_s
t
r
commit
|
commitdiff
|
tree
2010-07-02
Sven
Verdoolaege
d
o
c:
f
ix some
t
ypo
s
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaeg
e
is
l
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
Makefile
.
a
m:
really include include
/
isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
a
dd isl_ma
p
_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
l
aeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaege
d
o
c: dr
o
p
duplica
t
e book
t
i
tle from Kell
y
199
6
closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdo
o
laege
d
oc:
u
se more ex
p
l
i
ci
t
n
o
tati
o
n
to a
v
oid conf
u
sion
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdo
o
laege
add isl_co
n
str
a
in
t
_is_div_constr
a
int
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
Verdoola
e
g
e
isl_
m
ap_simplify
.
c: separate out isl_basic_m
a
p_is_div_constr
a
in
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
i
sl_bas
i
c_map
_
from_constraint: keep
all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoo
l
aeg
e
isl_
b
asic_ma
p
_from_constr
a
int: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
isl
_
cons
t
raint
_
ad
d
_
d
iv: correctly s
e
t line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
isl_pip: rename pi
p
_optio
n
s to avoid confl
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl_
c
o
n
v
e
x
_hull
.
c: i
n
itial_face
t
_co
n
straint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
doc:
desc
r
ibe back
w
ard incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
doc
:
mention
discu
s
sion gro
u
p
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
rename isl_basic_ma
p
_convex_hull to
isl_basic_map
_
rem
o
ve_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l
_
affine_h
u
ll
.
c
:
o
utside_point: fix error
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_tab_ro
l
lback: avoid double free
on e
r
ror pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl_tab
.
c: tab_ma
t
_product: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
ola
e
ge
isl_ta
b
_
e
xtend_cons: avoid NULL po
i
nter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
implement an
t
iquated isl_b
a
sic
_
set_n_* in
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verd
o
olaege
isl_m
a
p_con
v
ex_
h
ull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
next