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_union_pw_qpolynomial_fold_add_union_pw_qpolynomial
2010-08-18
Sven V
e
r
d
ool
a
e
g
e
add isl_union_pw
_
qpolynomial_fold_add_union_pw_qpolynomia
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
add
t
ype to isl_{union
_
,}pw_
q
polyn
o
m
i
al_fo
l
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdool
a
ege
fix isl_qpolynomia
l
_fold_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ve
r
d
o
o
l
aege
isl_input
.
c: read_term
:
allo
w
terms st
a
r
ting with neg
a
tive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
isl_union_pw_
q
polynomial_a
d
d_pw_qpol
y
n
omial: don'
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
isl_stream_read_obj: read reductions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoo
l
a
ege
i
sl_input
.
c: r
e
ad_factor:
f
i
x
r
ead after free i
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
isl_s
t
ream_error:
p
rint unexpec
t
ed ide
n
tif
i
er name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
renam
e
isl_pw
_
qpoly
n
om
i
al_fold_add to isl_p
w
_qpolynomial
_
fol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
d
o
c: minor clarifica
t
ion on operations on union
s
ets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolae
g
e
add isl_union_se
t
_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-11
Sven
Verdo
o
laege
isl_map_gist: also perfor
m
gist in u
n
i
v
erse context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
is
l
_union_ma
p
: construct new is
l
_u
n
ion_map on ope
r
ation
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
e
rdoolae
g
e
isl_u
n
ion_ma
p
_is_empty: fix
typo that resulted in memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdool
a
ege
add isl_basic
_
map_has_def
i
ning_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
a
dd isl_
s
e
t
_get
_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-07
Sven Verdoola
e
ge
isl_print
e
r_
p
rint_map: fix
p
r
i
nting in latex form
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
i
sl_set_wrap_fa
c
et: normalize resulting facet co
n
s
t
r
aint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
isl_coal
e
sce
.
c
: fix typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sv
e
n Verdoo
l
aege
i
s
l_pw_qpolyno
m
ial_intersect_
d
omain:
simpl
i
fy polynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven
Verdoolaeg
e
is
l
_
q
polynomial_move_dims:
p
lug
m
e
mory lea
k
a
n
d
fi
x
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
add isl_pw_qp
o
lynomial_read_from_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
a
dd isl_qpo
l
ynomial_f
o
ld_s
u
bstitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaeg
e
isl_pw_qpol
y
nomial_intersect_domain
:
drop pieces that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Ver
d
oolaege
isl
_
m
ap_
p
rodu
c
t: u
s
e
d
n
e
sted
sp
a
ces in r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_qpolynomial_bound: h
a
ndle isl_pw_qpolynomi
a
ls
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
support nested isl_
d
i
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
r
d
o
olaege
doc:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en
Verdoolaege
e
x
por
t
i
s
l_dim
_
tuple_match
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
i
s
l_outp
u
t
.
c: extract out
com
m
on
print_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
isl_input
.
c: re
a
d
_
tupl
e
: construct isl_d
i
m i
n
stead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
doc: remove des
c
ription of how
to get the
p
iplib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
oolaege
isl_p
r
inter_p
r
int_pw_qpolyno
m
ia
l
_fo
l
d: pri
n
t dim as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Ve
r
doolaeg
e
add
i
sl_p
w
_qpolyno
m
ial_inser
t
_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
r
d
oo
l
a
ege
add
isl_set_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_
b
a
s
ic_map_image_is_
b
oun
d
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
oolaege
avo
i
d
NULL pointe
r
exception in isl_basic_map_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
fix
i
sl_pw_qpolynomial_
r
ese
t
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_mat_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
a
d
d isl_mat_add_zero_col
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
S
ven Verdool
a
e
g
e
export isl
_
b
a
sic_map_m
o
ve
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
laeg
e
h
ide isl_dim inter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
d
oo
l
aeg
e
ad
d
isl_dim_ge
t
_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
la
e
ge
isl_basic_map_reset_dim
:
f
i
nalize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdoolaege
i
sl_t
r
ansitive_clos
u
re
.
c: anonymize inp
u
t map during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoola
e
g
e
isl
_
tra
n
sit
i
ve_closure
.
c
:
keep track
o
f domain
s
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
aege
i
sl_dim_d
r
op: alwa
y
s
r
e
m
ove
tu
p
l
e
name, ev
e
n if
n
umb
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
e
rdo
o
laege
i
sl_
d
im_set_tuple_name: allow ex
p
l
i
cit removal of tupl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
add support for uni
o
n sets
and relati
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ver
d
oolaege
isl_transitive_
c
losure
.
c: extract out some reusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
ad
d
isl_pw_
q
p
o
lynomial_reset_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verd
o
ol
a
ege
add isl_map_ha
s
_e
q
ual_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
add isl_dim_ge
t
_h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoo
l
aege
isl_dim: allo
w
s
p
ecifi
c
atio
n
of tupl
e
names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Ve
r
dool
a
ege
isl_map_from_doma
i
n_
a
nd
_
r
ange: implement
in terms o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_basic_map_domain: prope
r
ly
set
d
ime
n
si
o
n of
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
o
olaege
privately export isl_s
e
t
_
r
ese
t
_dim a
n
d
i
sl_map
_
rese
t
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
isl_map_read:
extract out read_va
r
_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_hash_t
a
b
l
e_foreach: pass
p
ointer
to ent
r
y
data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verd
o
olaege
isl_hash_table_foreach: add user argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
isl_
t
ransi
t
ive_cl
o
sure
.
c: fix double
f
ree on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_ma
p
_g
i
st: use
simple hull
i
nst
e
ad of convex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_map
.
c: f
i
x ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_c
a
t: read g
e
neric ob
j
ects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
er
d
oolaege
isl_printer:
a
dd NULL c
h
ecks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
e
r
doolaege
m
ake isl_o
b
j
_
none
a constant ex
p
re
s
sion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
add
i
sl_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
i
sl_map_fast_is_uni
v
er
s
e
: also detect redundan
t
r
e
presentati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaeg
e
a
d
d isl_map_re
a
chin
g
_path_leng
t
hs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_power: delay
equatin
g
path lengths to
power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
o
o
laege
isl_
m
a
p
_powe
r
: ap
p
ly Floyd-Warshall to compute
powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoola
e
ge
isl
_
map_lexmax: pro
d
uce less cryptic
e
rror message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
oolaege
fix isl_basic_map
_
move_dims i
n
presenc
e
o
f
existen
t
ially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verd
o
ol
a
ege
isl_te
s
t: drop debugging
o
utput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
ool
a
ege
is
l
_tr
a
ns
i
tive_closure
.
c: fix ty
p
o in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdoolaege
fix
isl_map_le
x
_ge a
n
d
isl_map
_
lex_le
i
n the
z
ero
-
dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verd
o
olaege
isl_p
r
inter
_
print_map: replace varia
b
l
e
by
its definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en Verdoolaege
privately
e
xport
isl_basic_map
_
fast_cm
p
and isl_b
a
s
i
c_map
_
fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verd
o
ol
a
e
ge
isl_dim_set_
n
ame: don't accept names that look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
isl_co
n
vex_
h
ull
.
c: avoid side-effec
t
s
in calls
t
o isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
en V
e
rdool
a
eg
e
add isl_hash_
b
uiltin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolae
g
e
add isl_int_
g
et_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaeg
e
doc: fix
some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erd
o
olae
g
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
Makefile
.
a
m: really include i
n
c
l
ude/isl_ver
t
ices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
doolaege
add isl_map_i
s
_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
e
r
do
o
laeg
e
d
oc:
drop
d
u
plic
a
t
e
bo
o
ktitle from
Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: use mor
e
explicit no
t
atio
n
t
o
avoid confusion
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
add
i
sl_constraint_
i
s_div_co
n
s
traint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
is
l
_map_simplify
.
c: s
e
par
a
te out
i
s
l
_
basic_
m
ap_is_div_
c
onstraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
e
rdool
a
ege
isl
_
b
a
sic
_
map_from_constraint: kee
p
a
ll divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
isl_basic_map_from_constraint:
on
l
y
return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_constraint_add_div:
co
r
rect
l
y set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolae
g
e
isl_p
i
p: rename pip_options to avoid c
o
nflict
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
g
e
i
s
l_convex_hull
.
c
:
in
i
ti
a
l_facet_constr
a
int: fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: describe
b
ackward inco
m
pati
b
le changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
do
c
: ment
i
o
n d
i
sc
u
ssion group
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
rename isl_basic_map_c
o
nvex_hu
l
l
to isl_basic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolae
g
e
isl_a
f
f
i
n
e_hull
.
c: outside_point: fix error
h
a
n
dling
commit
|
commitdiff
|
tree
next