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
Sve
n
Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
i
s
l
_tab_add
_
row:
add
further explanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ve
r
doolaege
isl_tab
.
c: fix typos in
c
omme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
i
s
l_tab_pi
p
.
c: corre
c
tly detect no
n
-
negativity of di
v
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
d
oolae
g
e
test both
contex
t
handling mechanisms of isl_p
i
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
is
l
_tab_is_equality
:
pr
o
p
erly support "big parameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
isl_tab_pip
.
c: f
i
x typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ver
d
oo
l
aege
isl_a
f
fine_hull
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoo
l
aege
isl_union_map_com
p
ute_flow: return acce
s
ses with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
o
l
aege
Mer
g
e
bran
c
h
'
maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_union_map
.
c: inpla
c
e: pass data pointer to
isl_
h
ash_
t
abl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolae
g
e
isl_dim_move: update para
m
e
te
r
s of nested
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
add isl_map
_
nat_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean up
i
sl_s
e
t_f
r
om_bas
i
c_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ve
n
Verdoolaege
m
e
r
g
e isl_b
a
s
i
c_set/isl_ba
s
ic_m
a
p
a
nd isl_set/is
l
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
r
e
nam
e
"omega
"
tran
s
i
t
i
ve closure to "box" transitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
ola
e
ge
e
xport isl_int_ob
j
_
free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
isl_vertices
.
c
: fix
t
yp
o
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_union
_
templ
.
c
: fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
g
e
isl_map_
s
ubtrac
t
.
c: n_non_redun
d
a
n
t:
propage isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_bernst
e
in
.
c:
f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
Ver
d
oolaege
add isl_union_pw_qpo
l
ynomial_mul_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaeg
e
isl_stream_read
_
obj: read int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
a
dd
i
n
t
o
bjects for u
s
e i
n
iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolaege
isl_basic_
m
ap_remove_divs: fin
a
l
iz
e
r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Verdoolaege
add isl_basi
c
_set_get_
t
uple_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
e
rdoolaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
isl_union
_
map_sam
p
le: don't return NUL
L
on empt
y
i
n
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
doolaeg
e
isl_basic_map_set_t
u
ple_name: final
i
ze result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n Verd
o
olaege
isl
_
transitive
_
c
l
osure
.
c
:
mor
e
anonymize input map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
d
ool
a
ege
i
sl_
b
asic_set_
f
a
c
t
orizer: make
s
u
re
g
rou
p
information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ve
r
doolaege
add isl_uni
o
n
_m
a
p_rang
e
_pro
d
u
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
do
c
: d
o
cument
product f
u
nc
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ve
r
doo
l
a
ege
rename
i
sl_basic_set_product t
o
isl_basic_set_li
s
t_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven
Verdoolaege
i
s
l_se
t
_convex_hull: optional
l
y
u
se
Four
i
er
-
Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
isl
_
basic_set_sam
p
le_point: exploit factori
z
a
tion if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_morph
_
v
e
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
erdoolaege
change prototype of i
s
l_vec_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
erdoolaege
a
d
d isl_printer_
p
r
i
nt_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add is
l
_
u
n
ion_
s
et_apply_
u
nion_p
w
_qpolynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
expo
r
t isl_union_map_
f
rom_domain an
d
isl_uni
o
n_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
i
s
l
_basic_ma
p
_
i
ntersec
t
_dom
a
in
:
replace open-coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
isl_str
e
am_re
a
d_
m
a
p
: acc
e
pt
mo
d
ulo expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
l
_
basic_m
a
p_insert:
d
on't simplify th
e
r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
a
e
ge
Merge branc
h
'
m
a
int'
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdo
o
laege
isl_basic_map_from_constra
i
n
t
_
m
a
trices: clear n
e
wly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoo
l
aege
isl_token_f
r
e
e
:
f
ree st
r
ing representation o
f
ke
y
words
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoolaege
isl_
i
nput
.
c: read_factor: drop unexp
e
cted iden
t
if
i
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
isl_input
.
c
:
ac
c
e
p
t_affine
_
factor: a
v
oid do
u
b
le free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Tobias Gro
s
ser
A
d
d i
s
l_unio
n
_(set/map)_dete
c
t_equ
a
l
ities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Verd
o
o
l
a
e
ge
isl_st
r
eam_re
a
d_map: allow spac
e
names that happen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdo
o
laege
isl_stream_next_token: ke
e
p track of
s
t
ring representation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
o
l
a
e
ge
add isl_b
a
sic_se
t
_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
d
o
o
l
a
ege
add isl_uni
o
n_map_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Ver
d
o
o
lae
g
e
Merge br
a
nch 'm
a
int'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en
Verdoolaege
add is
l
_set
_
r
emove_u
n
known_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oola
e
g
e
isl_map_is_subset: don't compute
d
iv
s
of minuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verd
o
olaege
rena
m
e isl_map
_
is_singleton to isl_map
_
f
a
st_is_sin
g
leton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verd
o
o
l
aege
a
d
d i
s
l_map_fa
s
t_
i
s_single_valu
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n
Verdoolaege
a
d
d
isl_qpo
l
ynomial_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolaege
ex
p
o
r
t
isl_union_set_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
laege
i
sl_qpolynomial_add_
o
n_domain: compute gist with
respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
S
ve
n
Verdoolaege
isl_union_map_c
o
alesce and i
s
l_union_ma
p
_c
o
mpute_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven
Verdoolaege
i
s
l_ba
s
ic_map_
s
olve_l
p
:
u
se denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Merge commit 'isl-0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Ve
r
doo
l
aege
isl 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verdoolaege
i
s
l_tab_basic_
m
a
p_par
t
i
al
_
lexopt: fix up symme
t
r
y
d
et
e
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdoolaege
isl_b
a
sic_
m
ap_univers
e
: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoola
e
ge
isl_seq
.
h: allow inclusio
n
from
C++
commit
|
commitdiff
|
tree
2010-12-31
Tobias Gr
o
sser
Add GDB mo
d
ule
that defines an isl
p
rint command
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Ve
r
doo
l
aege
reimplement i
s
l_map_partial_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Verdo
o
laege
isl_map: fix typos in com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Verdoolae
g
e
add some more is
l
_map_lexmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoolae
g
e
add isl
_
qp
o
lynomia
l
_add_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
laege
add is
l
_p
w
_qpolynom
i
al_fold_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oolaege
add
i
s
l_pw_qpolynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolae
g
e
a
d
d isl_qpolynomia
l
_fold_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_qpol
y
nomia
l
_fold_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdoolaege
isl_pr
i
nter_pr
i
nt_q
p
olynomia
l
_fold: su
p
port C format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
laege
export isl_p
r
inter_p
r
int_qpoly
n
om
i
a
l
_
f
old
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolae
g
e
export isl_union_map_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
e
n Verdoola
e
ge
ad
d
isl_{set,map}_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdoolaege
add is
l
_basic_{se
t
,map}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n V
e
rdoolaege
isl_
p
rint
e
r_
p
r
int_bas
i
c_{set,map}:
do
n
't print newline
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
aege
r
ename isl_*
_
dump to isl_*_p
r
i
n
t_i
n
terna
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoola
e
ge
m
ake isl/point
.
h se
l
f
-c
o
ntained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdo
o
l
ae
g
e
isl 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sve
n
V
e
r
doolaege
isl_pri
n
ter_print_basic_map
:
plug memory
leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdo
o
laege
isl_di
m
_set
_
name: plug memory le
a
k when o
v
erwriting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdo
o
l
aege
isl_tab_
b
asic_
m
ap_p
a
rtial_le
x
o
p
t: detect and
exploi
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
erdoolaege
isl_ta
b
_pip
.
c:
f
ix
typ
o
s in commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl
_
pip: li
m
it the total numbe
r
of p
a
rameter va
l
ues
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
add isl_basic_
s
et_
c
ount_upto
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven
Verdool
a
ege
isl_scan
.
c: fix
t
ypo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Grosser
Do not hash the
memory address
of an isl_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Verdoolaege
i
sl_flo
w
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
isl_u
n
i
on_map_compute_flow: ex
p
loit fixed
d
imensi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
S
v
en Verdoolaege
isl_union
_
map_compute_flow: av
o
id dependence
on poin
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Verd
o
ola
e
ge
d
a
taflow an
a
lysis: allow absence of "textual"
order
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next