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
Merge branch 'maint'
2011-02-05
Sven Verdool
a
ege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaeg
e
i
sl_tab_add_row: add fu
r
ther explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_
t
a
b
.
c
: fix
t
ypos in
comment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_
p
ip
.
c: correctly detect non-negat
i
vity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en V
e
rdoolaege
add t
e
st
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rd
o
ola
e
ge
test
b
o
t
h
con
t
ext handling me
c
hanism
s
of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_is
_
equal
i
ty: properly
s
upport "big paramete
r
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
ae
g
e
isl_t
a
b_pip
.
c:
fix typo in
c
o
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
is
l
_aff
i
ne_hull
.
c
: fix typos i
n
comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ve
r
doolaege
i
s
l
_
u
nion_map_c
o
mpute_flow: retur
n
access
e
s
with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
i
sl_
u
nion_map
.
c: inplace: pass data pointer to isl_hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rdoola
e
ge
isl_
d
i
m_mov
e
:
update paramet
e
rs
o
f nested
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
olaege
add isl_map_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean up is
l
_set
_
f
r
om_ba
s
ic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rdo
o
lae
g
e
merge isl_basic_set/isl_ba
s
ic_m
a
p and isl_
s
et/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoola
e
ge
r
ena
m
e "omega"
t
ransitive c
l
osure to "box" transi
t
ive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdool
a
ege
export isl_int
_
obj_fr
e
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_vertices
.
c: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Ve
r
d
o
olaege
i
sl_union_templ
.
c:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en
Verdoolaege
is
l
_
m
ap_subtract
.
c: n_no
n
_
r
e
d
undant: propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
isl_bernstein
.
c: fix
t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaege
add isl_
u
nion_pw_qp
o
l
y
nomial_
m
u
l
_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaege
isl_stream_
r
ead_obj: read int
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven V
e
r
d
o
o
laege
add int objects fo
r
use in
i
s
c
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolae
g
e
isl_basic_map_remove_d
i
vs: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ve
n
Verdo
o
la
e
ge
ad
d
i
sl
_
b
asic
_
set_get_tuple_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdool
a
ege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verd
o
o
l
aege
isl_u
n
i
on_map_s
a
mple: don't retu
r
n
NULL on empty in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven
V
erdoolaeg
e
isl_b
a
sic_map_set
_
tuple_name
:
finalize res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_transitive_cl
o
s
ure
.
c: more anonym
i
ze i
n
put
m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdo
o
laege
isl_b
a
si
c
_set_f
a
c
t
o
rizer: make sure group information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven V
e
r
d
o
olae
g
e
add i
s
l_union
_
map
_
range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolae
g
e
doc
:
do
c
u
m
ent
p
r
oduct function
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdool
a
ege
rena
m
e
i
sl_basic_
s
et
_
pro
d
uct
t
o isl_b
a
sic_set_list
_
pr
o
duc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sv
e
n
V
erdoolaege
isl_set
_
conv
e
x_hull: optionally use Fourier-Mo
t
zkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
isl_basic_
s
et_sample_
p
oint: explo
i
t factorization
if any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ve
r
doolae
g
e
add isl_morph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
change prototype of isl_vec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
add isl
_
p
rinter_p
r
int
_
vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_unio
n
_set
_
apply_un
i
o
n
_pw_qpolyno
m
ia
l
_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
eg
e
export isl_uni
o
n_m
a
p_from_do
m
ai
n
and isl
_
union_
m
ap_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
V
e
r
d
oo
l
aege
isl_basi
c
_
map_intersect
_
domain: replace open-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdo
o
laege
isl_stream_
r
e
ad_map: accept mo
d
ulo expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
i
s
l_
b
a
sic
_
ma
p
_ins
e
rt:
d
on't simplify
the
r
esu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Ver
d
oolaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
g
e
isl_
b
asic_
m
ap_fr
o
m_constrai
n
t_matrices: clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdool
a
ege
isl_
t
oken_free: fre
e
s
t
ring representation of
k
eyw
o
rds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verd
o
olaege
isl_inp
u
t
.
c: read_factor
:
drop unexpected identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdoolaege
isl_input
.
c:
a
c
c
e
pt_
a
ffine_fac
t
o
r: avoid
d
ouble free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
To
b
ias Gros
s
er
Add isl_union_(set
/
map)_detect_equalit
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
oolaege
isl_stream_r
e
ad_map: allow space names
t
hat
h
appen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl
_
stream_ne
x
t
_
t
oken: keep tra
c
k o
f
str
i
ng rep
r
es
e
ntation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Ve
r
doo
l
a
ege
a
dd isl_basic_set_
f
l
a
tten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
add isl_unio
n
_ma
p
_
s
imple_
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Ver
d
oolaege
Mer
g
e
b
ranch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl
_
set_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Ve
r
doolaege
is
l
_map_is_subset
:
don't
co
m
pu
t
e
divs of minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
rename i
s
l_map_is_singleton t
o
i
sl_
m
ap_fas
t
_is_s
i
nglet
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoolae
g
e
add isl_map
_
fast_is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolae
g
e
add
i
sl_qpolynomia
l
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
export isl_union_set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoola
e
ge
isl_
q
p
o
lyn
o
mial
_
add_on_domain
:
compu
t
e gist with
respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
S
ven Ver
d
oolaege
isl_
u
nion_map_
c
oalesce and isl
_
u
n
ion_ma
p
_compu
t
e_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Verdoolaege
isl_basic_
m
ap_solve_lp: use
d
enominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdo
o
la
e
ge
Merg
e
commit
'
isl
-
0
.
05
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
ege
i
s
l
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ve
n
Verdoo
l
aeg
e
i
s
l_tab_basic_map_p
a
rtial_lexopt: fix up symmetry
d
ete
c
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaeg
e
i
s
l_basic_map_uni
v
erse: finalize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ve
n
Verdoolaeg
e
i
sl_seq
.
h: allow inc
l
usion fro
m
C++
commit
|
commitdiff
|
tree
2010-12-31
Tobias
G
rosser
Add GDB module
that defines an isl
p
rint command
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
V
e
rdoolaege
reimpl
e
ment i
s
l
_ma
p
_partial_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verdoolae
g
e
i
s
l_map
:
fix
typos in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ve
r
doolaege
add s
o
me more is
l
_map
_
lexmin t
e
s
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rdo
o
laege
add
i
sl_qpolyno
m
i
a
l_add_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
e
n
Verdoolaege
add isl_
p
w_qpolynomial
_
fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl
_
pw_q
p
olyn
o
mi
a
l_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en V
e
rdoolaege
add
i
s
l
_
qpolynomial_fo
l
d_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdo
o
laege
ad
d
isl
_
qpolynomial_fold
_
ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en
V
erd
o
olae
g
e
isl_printer
_
print_qpolyn
o
mial
_
f
o
ld: support C fo
r
mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaeg
e
e
xpo
r
t isl_p
r
inte
r
_p
r
i
n
t_qpol
y
nomial_fol
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
eg
e
export isl_unio
n
_map_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n
Verdoolaege
a
dd isl_{set,
m
ap}_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Ve
r
doolaeg
e
add isl
_
basic_{se
t
,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
aege
i
s
l_
p
rinter_prin
t
_
bas
i
c
_
{set,
m
ap}:
d
on't print
newline
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolae
g
e
rename isl_*
_
dump to
i
sl_*_pr
i
nt_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
S
v
en Verdool
a
ege
m
ake isl/
p
oint
.
h self-contai
n
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdo
o
laege
isl 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
S
v
en Verdoolaege
isl_printer_pri
n
t_basic_map: plug
m
emory l
e
ak
o
n error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdool
a
eg
e
is
l
_dim
_
set_name: plug memory leak w
h
en o
v
erwriting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
ven Ve
r
doolaege
isl_tab_basic_map_part
i
al_lexopt:
d
etect an
d
e
x
ploit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sv
e
n
Verdoolaege
i
sl_tab_p
i
p
.
c: fix typos in co
m
m
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_p
i
p: limi
t
th
e
total n
u
mb
e
r
of paramet
e
r values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ver
d
oolaege
add isl_
b
a
sic
_
s
e
t
_count_upto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verd
o
ola
e
ge
i
sl_scan
.
c:
fix typo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Gro
s
s
e
r
Do not
h
a
s
h t
h
e
m
em
o
ry addre
s
s of an isl_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Verdoolaege
isl_flow
.
c: fix typos in commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven
V
erdoolaeg
e
isl
_
union_m
a
p_comp
u
te_flow: e
x
ploit fixed dimens
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven V
e
r
d
oolaege
i
s
l_
u
n
ion_map_compute_flow: avoi
d
dep
e
ndence on point
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
Verdoolae
g
e
dataflo
w
anal
y
sis: a
l
low absence of "textual" order
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next