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
clean up isl_pw_qpolynomial_neg
2010-08-26
Sven Verdoolaege
clean
up isl_pw_qpolynom
i
al_
n
eg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Verdoolaege
isl_union_temp
l
.
c: minor
c
lean-u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n
V
erdool
a
ege
a
d
d
isl_
m
at_insert
_
ze
r
o_col
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaeg
e
add isl_
b
asic_map
_
get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-24
Sven
V
erdoolaege
isl_map_read_fr
o
m_str: parse
tuple entr
i
es with l
e
a
d
in
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdo
o
laege
a
d
d
isl_map
_
apply_pw_qpol
y
nomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
er
d
o
olaege
a
dd
i
sl_union_p
w
_qpolynomial_fold_get_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
ool
a
ege
ad
d
i
sl_p
w
_qpolynomial_fold_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
add i
s
l_union_
p
w_qpolynomial_fold_add_
u
nion_pw_qpol
y
nomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
add t
y
pe to isl_{union_,}pw_qpolynomial_
f
old
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
erdoolaege
f
i
x
isl_
q
polyno
m
ial_f
o
ld_reset_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isl_input
.
c:
r
ead_term
:
allow terms
s
t
arti
n
g w
i
th n
e
gative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verd
o
olaege
is
l
_union
_
pw_qpolynomial_add_pw_qp
o
ly
n
omial
:
d
o
n't
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ve
r
doolaege
isl_st
r
eam
_
read_obj: read reductions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verd
o
olaege
isl_input
.
c
:
re
a
d_factor: f
i
x r
e
ad after fr
e
e in e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ver
d
oola
e
ge
isl_st
r
eam_error: prin
t
une
x
pected ident
i
fier name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
rename isl_p
w
_qpo
l
ynomial_fold_ad
d
to isl_pw_qpolynomial_fol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verd
o
olaege
d
o
c: minor
clarif
i
c
ation on oper
a
t
ions on unio
n
sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
add isl_u
n
ion_set_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-11
Sven Verdoolaege
i
sl_map_gist: als
o
p
e
rform gist
i
n
u
n
iverse
c
on
t
ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
isl
_
union_map: construct new isl_union_map on o
p
erations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verd
o
ola
e
ge
isl
_
union_map_is
_
empty: fix
t
ypo that resulted in memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sv
e
n Verdoo
l
aege
a
dd
isl_basic_map_has
_
d
e
fining_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sve
n
Verdoolaege
add
isl_
s
et_ge
t
_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-08
Uda
y
Ku
m
ar Reddy
update
.
gitigno
r
e
commit
|
commitdiff
|
tree
2010-08-07
Sven Verdool
a
ege
i
s
l_printer_print_ma
p
:
fix
p
rin
t
ing
i
n lat
e
x format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
erdoolaege
isl_se
t
_w
r
ap_facet:
normalize resu
l
t
i
ng facet co
n
strain
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sve
n
Verdo
o
laege
isl_coalesce
.
c: fix typ
o
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
i
sl_pw_q
p
olynomi
a
l_
i
ntersect_dom
a
in: simp
l
ify poly
n
omials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven
Verdoola
e
ge
isl
_
qp
o
lynom
i
al_mo
v
e_di
m
s: plug memory leak and fix
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
v
e
n
Ve
r
doolaege
add isl
_
p
w_qpolynomial_re
a
d_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdool
a
ege
add
i
s
l_qpolynom
i
al_fold_s
u
bstitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
isl_pw_
q
poly
n
omial_
i
ntersect
_
domai
n
:
d
r
op pieces that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
isl_map_product: used
n
ested
space
s
in res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
isl_pw_q
p
olynomial_bound: handle isl_pw_
q
po
l
ynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
la
e
g
e
sup
p
ort n
e
ste
d
i
s
l_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoola
e
ge
do
c
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
o
olaege
ex
p
o
r
t
isl_dim_t
u
ple_match
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl
_
output
.
c:
extract
o
ut common
p
r
i
nt_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
isl_in
p
ut
.
c
:
re
a
d_t
u
ple:
construct isl_dim instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doo
l
ae
g
e
doc: remove descript
i
on of how to ge
t
t
he piplib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdool
a
ege
i
s
l_pri
n
ter_print_pw_qpo
l
ynomial_fold: print dim as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
add isl_pw
_
qpolynomial_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
S
v
en Verdoo
l
aege
add i
s
l_basic_map_image_is_bounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
doolaege
avo
i
d NULL po
i
n
t
er
excepti
o
n in
isl_
b
as
i
c_map
_
n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
fix
isl_pw_qpoly
n
omial_re
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
l
a
ege
add isl_mat_a
d
d_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verd
o
olaeg
e
add isl_mat
_
a
d
d
_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
S
ven Verdoolaege
export i
s
l_basic_map_move_d
i
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
aeg
e
hide
i
sl_dim inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Ver
d
o
ol
a
ege
a
dd
i
sl_dim_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdool
a
ege
is
l
_basic_map_re
s
et_dim: f
i
n
aliz
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
Ver
d
oolaege
i
s
l_tra
n
sitive_c
l
osure
.
c: ano
n
ymiz
e
input
map during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdo
o
laege
i
s
l
_
tran
s
i
tiv
e
_cl
o
sure
.
c: keep track of do
m
ains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolae
g
e
isl_dim_d
r
op: always r
e
move tupl
e
name, even if n
u
m
b
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doo
l
aeg
e
isl_dim_
s
et_tuple_name: allow explicit
r
emo
v
al of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
add su
p
port
f
or u
n
ion
sets and re
l
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_transit
i
ve_closur
e
.
c
:
extract out some reusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
add isl_pw_qpolynomi
a
l
_
reset_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_map_h
a
s_eq
u
al_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
ad
d
isl_dim_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n V
e
rdool
a
ege
isl_dim: allow sp
e
ci
f
i
cat
i
on of tuple names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
isl_map_from_doma
i
n
_
and_r
a
nge: implement in t
e
rms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verd
o
olaege
is
l
_
basi
c
_map_
d
o
m
a
in: properly set dimens
i
o
n
of res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
privately
exp
o
rt
isl_s
e
t_reset_di
m
a
n
d i
s
l_map_reset
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_read
:
e
xtract out re
a
d_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
er
d
oolaege
isl_hash_table_
f
oreach: pass pointer to entry data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Ver
d
oolaege
isl_
h
ash
_
table_fore
a
ch:
add
u
ser argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
isl_tr
a
nsitive_closure
.
c: fix double free on e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
erd
o
olaege
isl_map
_
gist: use simp
l
e hu
l
l instead of convex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
is
l
_map
.
c: fix
t
y
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
isl_cat: read generic o
b
j
ects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
d
o
olae
g
e
is
l
_
printer
:
a
dd NULL
c
hecks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
make isl_obj_none
a con
s
tant expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
add isl
_
map_get
_
c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven
V
erdoolaege
i
s
l_map_fas
t
_is_universe: al
s
o d
e
t
e
ct
r
e
dund
a
nt
r
eprese
n
tati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaeg
e
add i
s
l
_map_
r
eaching_path_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdo
o
laege
isl_map_p
o
w
er
:
delay equating path len
g
ths to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
oolaege
isl_
m
ap_powe
r
: app
l
y Floy
d
-Warshall to compute powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
i
s
l_m
a
p_lexmax: p
r
od
u
ce
less cry
p
tic error
m
essage
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
oolaege
fix isl_basi
c
_map_move_
d
i
ms in pr
e
sence of existenti
a
l
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doolaege
isl_test
:
drop debugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolae
g
e
i
sl_transitive_closure
.
c: f
i
x
typo
i
n co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven V
e
rdoolaege
f
i
x
isl_map_lex_g
e
and is
l
_map_l
e
x_le in the zero
-
d
i
me
n
siona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
S
v
en V
e
rdoolaege
isl_printer_p
r
int_map: replace varia
b
l
e by its defin
i
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaeg
e
p
riva
t
ely expor
t
isl_basic_map_fa
s
t
_cmp and isl_basic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n Verdoolaege
isl_dim_set_n
a
me: do
n
't accep
t
na
m
es tha
t
look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Remove comma
a
t the end of
e
numeration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
isl_convex_hull
.
c: avoid sid
e
-effec
t
s
i
n ca
l
ls t
o
i
sl_i
n
t_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdool
a
ege
ad
d
isl_ha
s
h_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoo
l
aege
add isl_int_get_st
r
commit
|
commitdiff
|
tree
2010-07-02
Sven
Verdoo
l
aege
doc: fix som
e
typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
ae
g
e
isl
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en V
e
rdoolaege
Makefile
.
a
m: really inc
l
ude i
n
clud
e
/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
add isl_map_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven
Ver
d
oolaege
doc:
fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdool
a
ege
doc: dro
p
duplicate
b
o
oktitle from Kelly19
9
6clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
ola
e
ge
doc: use more ex
p
licit notat
i
o
n
t
o
a
void confusion
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdool
a
e
g
e
add
i
s
l_constrai
n
t
_
i
s_div_constraint
commit
|
commitdiff
|
tree
next