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
Sven Verdoolaege
isl_stream_read_
o
bj:
r
ead reductions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
isl_
i
np
u
t
.
c: read_factor: fix re
a
d after free in error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oola
e
ge
isl_str
e
a
m_error:
prin
t
unexpected identifier name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
e
r
dool
a
ege
renam
e
isl_pw_qpol
y
n
o
mial_fold_ad
d
to isl_pw_qpolynomi
a
l
_
fol
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolae
g
e
doc: minor
clarification on operation
s
o
n
uni
o
n sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
V
e
r
doolaege
add is
l
_
u
nion_set_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-11
Sv
e
n Verdoolaege
isl_
m
ap_gi
s
t: al
s
o perf
o
rm g
i
st i
n
universe context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
S
ven
V
e
rdoolaege
isl_uni
o
n_map:
c
onstruct new isl_u
n
ion_map on operations
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
S
v
en
V
erdoolaege
isl_union_map_is_empty: f
i
x typo that
r
esult
e
d in memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolae
g
e
ad
d
is
l
_
b
asic_map_ha
s
_defining_
e
quality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdo
o
laege
add isl_set_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-08
U
d
a
y
Kumar Reddy
update
.
gitigno
r
e
commit
|
commitdiff
|
tree
2010-08-07
Sven Verdoola
e
ge
i
sl_pri
n
ter_print_map
:
f
ix printing in
l
a
t
ex format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sve
n
Verdool
a
ege
isl_
s
et_wrap_facet: normalize resulting f
a
cet constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
isl_
c
o
a
lesce
.
c:
f
i
x typo
i
n commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdool
a
eg
e
isl_p
w
_qpolynomial_in
t
e
rsect_domain
:
simplify poly
n
omials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
isl_
q
polynomial_move_dims: plug m
e
mory leak
and
f
ix
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en Verdoolaege
add isl_pw_qpolynomia
l
_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
add isl_qpolynomial_fol
d
_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
dool
a
ege
isl_pw_qpolyno
m
i
a
l_
i
nterse
c
t_d
o
main: drop p
i
eces that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Ve
r
d
oolaege
isl_map_product: used
n
este
d
spa
c
e
s
in result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_qpolynom
i
al_bound: handle isl_pw_qpolynomials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
su
p
port n
e
sted isl_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
doc: fix
t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
export isl_dim_tuple_m
a
tch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_output
.
c:
extract
out
c
omm
o
n prin
t
_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
isl_input
.
c
: read_tupl
e
: co
n
s
t
r
u
ct
isl_dim i
n
stead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
do
c
:
remove
d
escription of how
to get the piplib submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
i
sl
_
print
e
r_print_
p
w_
q
p
ol
y
nomial_
f
old: print dim
as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
ool
a
ege
add is
l
_pw_
q
polyno
m
i
a
l
_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
add isl_se
t
_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl
_
bas
i
c_map_i
m
a
g
e_is_b
o
unded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdool
a
ege
avo
i
d NULL pointer
except
i
o
n
in
i
sl_basic_map_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoola
e
ge
fix
i
sl_pw_
q
polynom
i
a
l
_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add is
l
_
m
at_add_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rd
o
olaege
ad
d
isl_mat_add_zero_co
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sv
e
n V
e
rdoolaege
export isl_
b
asic_map_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
laege
h
i
de isl_dim inter
n
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdoolaege
a
d
d isl_dim_g
e
t_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_b
a
sic_map_reset_dim
:
finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoolaeg
e
i
sl_t
r
an
s
itive
_
closure
.
c: anonymiz
e
input
m
ap durin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_tran
s
itive_clos
u
re
.
c:
k
e
ep track
o
f domains for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
Ve
r
doola
e
ge
i
sl_dim_drop: a
l
w
a
ys re
m
ove t
u
ple
n
ame, even
if n
u
mber
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaeg
e
isl_dim_set_tupl
e
_name
:
allow
expl
i
cit removal of tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
add support f
o
r union sets and rela
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
isl_transitive_closure
.
c: extract out som
e
reusable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
d
d is
l
_
p
w
_qpolynomial_r
e
set
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
add isl_map_h
a
s_equal_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
ad
d
isl_dim_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ve
r
d
oolaege
isl
_
dim: allow spe
c
ification of tuple names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
i
sl_map_
f
rom_d
o
main_a
n
d_range: implement in te
r
ms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
isl_basic_
m
ap_domain:
properly
set dimen
s
ion of
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdool
a
ege
privately
e
xpor
t
isl_set_reset_dim and
i
sl_map_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
is
l
_
map_read:
ext
r
act out read_va
r
_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Ve
r
doolaege
isl_hash
_
table_foreach: pass pointer
t
o entry data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
is
l
_hash_
t
able_forea
c
h: add user argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_transit
i
ve_clo
s
ure
.
c: f
i
x doub
l
e free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_
m
a
p
_
g
i
st
:
u
s
e sim
p
le hull
ins
t
e
ad of convex
h
ul
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
is
l
_
m
ap
.
c:
fi
x
ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_cat: read generic obje
c
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
i
sl_printer: ad
d
NULL ch
e
cks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erd
o
olae
g
e
mak
e
i
s
l_
o
bj_none a c
o
nstant expre
s
sion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
add
is
l
_map_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
isl_map_fast
_
i
s
_un
i
verse: also detect re
d
unda
n
t represent
a
ti
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
add isl_ma
p
_rea
c
hing_path_len
g
ths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdo
o
l
aege
i
sl_
m
ap_pow
e
r
:
d
e
l
ay equating
p
ath len
g
t
h
s to po
w
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdoolae
g
e
isl_map_
p
owe
r
:
apply
F
l
oyd-Warshall to compute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Ve
r
dool
a
ege
isl_map_lexm
a
x: produ
c
e le
s
s crypti
c
e
r
r
o
r mes
s
a
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Verdoolaege
fix
i
sl_basic_ma
p
_move_dims
i
n
presence of existe
n
tially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven V
e
rdoolaege
isl_test:
d
r
o
p
debugging
output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_
t
rans
i
tive_clo
s
ure
.
c: fix typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdoolaege
fix is
l
_
m
ap_
l
e
x_ge a
n
d
isl_map_lex_le i
n
the zero-d
i
mensio
n
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
S
ven V
e
r
doolaege
i
s
l_
p
ri
n
te
r
_prin
t
_map: replace v
a
riab
l
e by
i
t
s de
f
inition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
ven Verdoo
l
a
ege
privatel
y
expo
r
t isl_basic_
m
ap_fast_cmp an
d
isl_basic_
m
ap_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
ven
V
erdoo
l
a
ege
is
l
_
d
im_set_name: don't a
c
cept na
m
es th
a
t lo
o
k like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Remove comma at
t
he en
d
o
f enumer
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
S
v
en Verdoolaege
isl_co
n
v
ex_hul
l
.
c:
a
void side-
e
ffec
t
s in cal
l
s to isl_int
_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven V
e
rdoolaege
add isl_
h
ash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n
Verdoolaege
a
d
d
isl_int_
g
et_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Ver
d
oolaege
doc:
f
ix some
t
ypos
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolae
g
e
Makefile
.
am: r
e
all
y
inclu
d
e include/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add
i
s
l_map
_
i
s_bijectiv
e
commit
|
commitdiff
|
tree
2010-06-28
S
ve
n
Ve
r
doolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Ver
d
oo
l
aeg
e
d
o
c
:
d
ro
p
duplicate bookt
i
tle f
r
om Kelly1996closu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoo
l
a
e
ge
do
c
: u
s
e more explicit notation to
a
void confusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
add isl_constrai
n
t_is
_
div_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
ven Ve
r
do
o
la
e
ge
isl_
m
a
p_simplify
.
c:
s
eparate out isl_basic
_
map_is_d
i
v_
c
ons
t
raint
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolae
g
e
isl_b
a
sic_map_from_
c
onst
r
aint: keep all divs, e
v
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoolaege
isl_
b
asic
_
map_from_constraint:
o
nly return
copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolae
g
e
isl_constr
a
i
n
t_add_div:
c
orre
c
tly
s
et line t
o
first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Ve
r
doolaege
isl_pip: rename pip_
o
ptions to avoid con
f
lict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_con
v
ex_hull
.
c:
i
nit
i
a
l
_
facet_constr
a
int: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
doc: de
s
c
r
ibe b
a
ckward incompat
i
bl
e
changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olae
g
e
d
oc: mentio
n
di
s
cussion
group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
re
n
ame isl_basic
_
map_c
o
nvex
_
hull to is
l
_basic_map_re
m
ove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
sl_affine
_
hull
.
c: out
s
ide_point: fix err
o
r handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_tab_
r
o
llba
c
k: avoid dou
b
le free on
error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tab
.
c:
tab_
m
at_product
:
avoid NUL
L
pointer derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
o
laege
isl_tab_ex
t
end_c
o
ns: avoid
N
ULL pointer
d
ereference
commit
|
commitdiff
|
tree
next