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 Verdoolaege
add is
l
_
uni
o
n_p
w
_qpolynomial_fold
_
add_union_pw_qpolyno
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
add type
t
o isl_{union_,}pw
_
qpo
l
yno
m
ial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
fix isl_qpolynomi
a
l_fold_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
erdoolaege
isl_input
.
c: read_term: allo
w
terms star
t
ing with negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
isl_union_
p
w_qpoly
n
omial_add_pw_qp
o
lynomial:
d
o
n
't
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaeg
e
isl_stre
a
m_read_obj: read redu
c
ti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
o
lae
g
e
isl
_
i
n
put
.
c
:
read_factor:
f
ix read
after free in error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verd
o
ol
a
ege
isl_
s
tream
_
error
:
p
r
int un
e
xpected iden
t
ifier name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doola
e
g
e
r
e
name i
s
l_pw_qpolynomi
a
l_fo
l
d_add to
i
sl_pw_qpolynomial_fol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
doc: minor
c
larifi
c
a
t
io
n
on operations on un
i
on se
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ve
r
doolaege
a
dd
i
sl_union_set_get_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-11
Sven Ver
d
oolae
g
e
isl_map_
g
ist: a
l
so p
e
rf
o
rm gist i
n
unive
r
se context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
l
aege
isl_union_map:
construct new isl_u
n
ion
_
map
o
n operati
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n
V
erd
o
olaege
isl_union_map_is_emp
t
y: fix typo tha
t
resulte
d
in mem
o
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
add isl_b
a
sic_
m
ap_has_defini
n
g_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven V
e
rdoolaege
add isl
_
set_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-08
U
d
ay Kumar Red
d
y
u
p
date
.
gitig
n
or
e
commit
|
commitdiff
|
tree
2010-08-07
Sv
e
n Verdoolae
g
e
isl_print
e
r_print_map:
f
ix printing
i
n lat
e
x format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven
Verdoo
l
aege
is
l
_set_wrap_facet: normalize r
e
sulting f
a
cet
constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoola
e
ge
i
sl_coalesc
e
.
c: fix
typo
i
n
c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
er
d
ool
a
ege
isl
_
pw_qpolynomial_intersect_domain: sim
p
lify pol
y
n
o
mials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en Ver
d
o
o
laege
isl_qpolyno
m
ial
_
m
ove_d
i
ms:
p
lug mem
o
ry leak and fix
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sve
n
Verdoolaege
add
i
sl_pw_qpolynomial_read_f
r
om
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
doolaege
add isl
_
qpolyno
m
i
al_
f
old_substitut
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
isl_pw_qpolynomi
a
l_inte
r
sect_domain: drop piec
e
s that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
sl_m
a
p_p
r
o
d
uc
t
:
u
sed nested
s
pa
c
es in resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l_pw_qpolynomial_
b
ound
:
ha
n
dle isl_pw_qpolyno
m
i
a
ls
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
suppo
r
t
n
ested is
l
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erd
o
olaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verd
o
olaeg
e
export i
s
l_dim_tuple_match
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Ver
d
o
ola
e
g
e
isl_ou
t
p
ut
.
c: extract out common prin
t
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erd
o
ola
e
g
e
is
l
_input
.
c: read_tuple: construct
i
sl
_
dim in
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Ver
d
oolaege
d
oc:
r
emove descripti
o
n of how to g
e
t the piplib
submod
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
e
ge
isl_pri
n
ter_print_p
w
_qp
o
lynomial_fo
l
d: p
r
int
d
i
m
as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
add isl_pw_qpolynomial
_
insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verd
o
o
l
a
e
ge
ad
d
isl_s
e
t
_
in
s
ert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl
_
b
asic_
m
ap_ima
g
e_is_b
o
un
d
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoolaege
avoid
N
ULL po
i
n
t
e
r ex
c
eption i
n
isl_basic_map_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaege
fix isl_pw_qpolynomial_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
ve
n
Ve
r
do
o
laege
add
i
sl_ma
t
_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoolae
g
e
add isl_mat_ad
d
_
z
ero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven
Verdool
a
e
g
e
expo
r
t i
s
l_b
a
sic
_
m
a
p_mo
v
e_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
hide isl_dim i
n
ter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ven
Verdoolaege
add isl_dim
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
isl_basic_map_reset_dim: fina
l
ize
resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n V
e
rdoolaeg
e
isl_transitive_
c
losure
.
c: a
n
ony
m
ize input map
during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Ver
d
oolae
g
e
isl_trans
i
ti
v
e_closure
.
c
:
keep track o
f
domains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdoolaege
isl_dim_dr
o
p: alw
a
ys
r
em
o
ve
tuple name, even i
f
n
u
m
b
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olaege
isl_d
i
m
_
s
et_tuple
_
name: allow explicit
remo
v
al of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolae
g
e
add su
p
p
ort for union sets a
n
d r
e
lat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
i
s
l
_
t
ransitive_cl
o
sure
.
c: extr
a
ct out
some reu
s
a
ble
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
add i
s
l_p
w
_qpolynomial_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl
_
map_has_
e
qua
l
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ad
d
i
sl_
d
i
m
_get_has
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_dim: allow speci
f
ication of tu
p
le names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
isl_m
a
p
_
fr
o
m_
d
omai
n
_and_ra
n
ge: implemen
t
in terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
ola
e
ge
isl_bas
i
c_map_domai
n
:
pr
o
perly set di
m
ension o
f
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
d
oolaege
priv
a
tely expor
t
i
sl_set_
r
eset_
d
im and isl
_
map
_
reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Ver
d
ool
a
ege
isl_map_
r
ead
:
e
x
tract out read_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_h
a
sh_t
a
ble_foreac
h
: pass p
o
inter to ent
r
y
d
a
ta
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdool
a
ege
i
sl_hash_table_foreac
h
: a
d
d user argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
Verdoolaege
isl_transitive_closur
e
.
c
:
fix double free on e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
ol
a
e
g
e
isl
_
m
ap_gi
s
t: use
simpl
e
hull inste
a
d of con
v
ex h
u
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
e
rdoolaeg
e
isl_map
.
c
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
sl_cat
:
read
g
eneric obje
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
e
r
dool
a
ege
isl_
p
rinter: add NULL
checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
make isl_obj_no
n
e a cons
t
an
t
e
x
pression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
add
i
sl_map_g
e
t_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Ver
d
oolae
g
e
i
s
l_map_fast_is_universe:
a
ls
o
detect redundant
r
epresentati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
ad
d
isl_m
a
p_reach
i
ng_path_
l
en
g
ths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
doolaege
isl_ma
p
_
p
ower: delay equa
t
ing path lengths to
p
owe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
doolaege
i
s
l_map_power: apply Floyd-War
s
hall to compu
t
e powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Ve
r
d
o
olaege
isl_map_lexmax:
p
roduce l
e
ss cryptic
e
rror message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdoolaege
fix isl_basic_map_move_dims in presence of existentia
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl
_
test: dr
o
p d
e
bugging out
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Verdoolae
g
e
isl_transitive_cl
o
sure
.
c: fix typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoola
e
ge
fix is
l
_m
a
p_lex_ge and isl_m
a
p_l
e
x_le in t
h
e z
e
ro-dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
S
v
en Ver
d
oolaege
isl_printer_print
_
map: replace variable by its definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en Verdoolaege
privately ex
p
ort isl_basic_map_fast_cm
p
and isl_ba
s
ic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n Ve
r
doolaege
i
s
l_dim_
s
e
t
_name:
d
on
'
t a
c
cept name
s
that
l
ook like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Rem
o
ve comma
a
t
the end of
e
num
e
ratio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
isl
_
c
onvex_
h
ul
l
.
c: avoid side-effe
c
t
s
in c
a
ll
s
to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
Verdoolaege
add
i
sl_h
a
sh_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verd
o
olaege
a
dd
i
sl_
i
nt
_
get_
s
tr
commit
|
commitdiff
|
tree
2010-07-02
S
ven Verdoolaege
d
oc: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Mak
e
f
i
le
.
am: real
l
y include include
/
isl_vertic
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolaege
a
d
d isl_map_is_bij
e
ctive
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
d
o
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoola
e
ge
doc: drop dupl
i
cat
e
booktit
l
e
f
r
om Kelly1996
c
losure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: use more explicit not
a
tion to a
v
oid confu
s
i
on
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
aege
add isl
_
const
r
aint_is_div_const
r
aint
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
er
d
oolaege
i
sl_map_
s
implif
y
.
c: sepa
r
ate out
isl_basic_map_
i
s_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_bas
i
c_m
a
p_from_constrai
n
t:
keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaege
i
s
l_
b
asic_map_fro
m
_
c
o
n
s
traint: only
return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolae
g
e
isl_constrain
t
_add
_
div:
c
orrectly set line to f
i
rst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
Verdoolaeg
e
isl_pip: ren
a
m
e pip_
o
ptions to
a
v
o
i
d
confli
c
t wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
doolaege
isl
_
convex_hull
.
c
:
i
nit
i
al_facet_constraint:
f
ix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
doc: describe backward incompatibl
e
ch
a
nges
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc:
m
en
t
ion discussi
o
n group
commit
|
commitdiff
|
tree
next