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_blk: don't reuse overly large blocks for small allocations
2011-02-10
S
v
en Verdoolaege
i
s
l_co
n
v
ex_hull
.
c: ex
p
licitly mark w
r
apping lp probl
e
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sve
n
V
erdo
o
laeg
e
i
s
l_tab_mi
n
: mic
r
o
-opt
i
m
i
zation: postpone t
a
k
i
ng into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
rdoo
l
aege
M
er
g
e br
a
n
ch '
m
aint'
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoola
e
ge
is
l
_
tab_add_
r
ow:
add
f
urther ex
p
lanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdool
a
ege
i
s
l_tab
.
c
: fix typos in co
m
me
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaeg
e
isl
_
tab_pip
.
c
:
c
orr
e
c
t
l
y detect non-n
e
gati
v
i
ty
of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolae
g
e
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
t
e
st both context han
d
ling
m
echani
s
ms of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdo
o
lae
g
e
isl_tab_is_equal
i
ty: pr
o
p
e
r
l
y suppo
r
t "big parameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ve
r
doolaege
isl_tab_pip
.
c:
f
i
x
typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl_affine_hull
.
c: fix typos in commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
isl
_
union_
m
ap_compute_flow:
r
e
t
urn acce
s
s
e
s
wi
t
h no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
Merge bra
n
ch 'm
a
int'
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl
_
union_map
.
c:
i
nplace:
p
ass data
p
o
i
n
t
er to
i
sl
_
hash_
t
a
b
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdoolaege
isl_dim_mov
e
: update param
e
t
ers of nested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
ola
e
ge
add isl_map_na
t
_
u
niverse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
Verdoolaege
clean up isl_se
t
_from_b
a
sic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ver
d
o
o
la
e
ge
mer
g
e i
s
l_basic_set/isl_bas
i
c_map an
d
isl_se
t
/isl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
S
v
en V
e
rdoo
l
aege
rename "
o
mega" tran
s
itive cl
o
s
u
re to
"
bo
x
" transitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
export isl_in
t
_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ve
n
Ve
r
do
o
laege
isl_vertices
.
c: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
i
s
l
_union_templ
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoo
l
a
ege
isl_m
a
p_s
u
btract
.
c:
n_non_re
d
un
d
ant: pr
o
p
a
ge is
l
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdool
a
e
g
e
isl_
b
ernstein
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
add isl_union_
p
w_qp
o
l
ynomial_mul_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoo
l
aege
isl
_
stre
a
m_read_o
b
j: read
i
nt objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
add int ob
j
e
c
ts fo
r
use in i
s
cc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaeg
e
isl_basic_m
a
p_remove_div
s
: finalize r
e
s
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
ve
n
Verdoolaege
add isl_ba
s
ic_se
t
_get_tuple_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoolaege
Me
r
g
e
bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolae
g
e
isl_union_map_sa
m
ple: don't r
e
turn NULL on
e
m
pt
y
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven
Verdoola
e
ge
isl_ba
s
ic_m
a
p_
s
et_tuple_name
:
finalize
re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_transitiv
e
_
c
losure
.
c: more anonymize inpu
t
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verd
o
olaege
isl_
b
asic_set_factorizer:
make
s
u
r
e g
r
o
u
p
i
nformation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoo
l
aege
add i
s
l_
u
nion_map_ra
n
ge_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ve
r
doolaege
doc: docu
m
ent
prod
u
ct functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoo
l
aege
r
ename isl_basic_set_produc
t
t
o
isl_basic_s
e
t_list_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
S
ven Ver
d
oolaege
isl_set_conve
x
_hul
l
: optionally use Fourier-Motzki
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
isl_basic_s
e
t_sample_point: e
x
ploit factorization if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
add isl_m
o
rph_ve
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdool
a
ege
c
h
ange pro
t
otyp
e
of isl_vec_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoo
l
ae
g
e
add isl_printer
_
print_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
V
e
rdool
a
ege
add
isl_union_set_
a
pply_union_pw
_
qpolynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
r
d
o
ola
e
g
e
export i
s
l_union_map_from_domain and isl_un
i
on_map
_
from_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
l
ae
g
e
isl_basic_map
_
intersect_domain: repla
c
e open-coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
V
e
rdoolaege
isl_stream_read_map: acce
p
t m
o
dulo
e
xpressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
i
sl_basic
_
map
_
i
nse
r
t: don't simplify th
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
Merge branc
h
'
m
aint'
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
i
s
l
_basic_map_fro
m
_constraint_matr
i
ces: cle
a
r newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolae
g
e
i
sl_t
o
ken_free
:
free
string representation of k
e
ywords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoolaege
i
sl
_
input
.
c
: read_fact
o
r
:
drop
une
x
pected identif
i
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdoolaeg
e
i
s
l_
i
n
put
.
c
:
accept_affine_factor: avoi
d
dou
b
le free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
T
o
bias Grosser
Add isl_unio
n
_(set/map)
_
detec
t
_equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Verdoolaege
i
s
l_s
t
ream_rea
d
_map: allow spac
e
names that h
a
ppen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdool
a
ege
isl_stream
_
ne
x
t_
t
oken: keep
track of s
t
rin
g
representation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Verdool
a
eg
e
add isl
_
basi
c
_
s
e
t
_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdo
o
laeg
e
a
dd isl_u
n
ion_map_s
i
mpl
e
_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolae
g
e
Merge b
r
anch 'mai
n
t'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdo
o
laege
add
i
sl_s
e
t_remove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doolaege
isl_map
_
is_subset: don't compute divs of minue
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolaege
rename isl_map_
i
s
_s
i
n
g
l
e
ton to isl
_
ma
p
_fas
t
_
i
s_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n
Verdoolaege
add isl_map_fast_is_sin
g
le_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erd
o
o
l
aege
add isl_qpo
l
ynomia
l
_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
e
rdoolaege
export
i
sl_
u
nion_set_
d
u
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Ver
d
oolaege
isl_qpolyno
m
ial_add_
o
n_d
o
main: comp
u
t
e
g
i
s
t wi
t
h
r
espect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdo
o
laege
isl_union_map_coalesce and isl_union_map_compute_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdool
a
ege
isl
_
b
a
sic_map_solve_
l
p: us
e
denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaege
Merge commit 'isl-0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoola
e
g
e
i
s
l 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verdoolaege
isl_tab_basic_
m
ap_partial
_
l
e
xopt: f
i
x
up symmetry de
t
e
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n Verdoolaege
i
sl_ba
s
ic_map_universe
:
finalize
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_seq
.
h: allow inclusion from C++
commit
|
commitdiff
|
tree
2010-12-31
Tobias
G
rosse
r
Add GDB module that
defines
a
n islprint comman
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Ve
r
doolaege
reimplement isl
_
map_p
a
rtial_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verd
o
o
laege
is
l
_map: fix ty
p
os in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Verdoola
e
ge
add some more i
s
l_map
_
lexmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdoolaege
add isl_qpolynomi
a
l_add_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verd
o
olaege
ad
d
isl_pw_qpolynomial_f
o
ld_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
e
n V
e
rdoolaege
add
isl_pw_qpolynomia
l
_
du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
d
d
i
sl_qpo
l
y
n
omial_fold_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erd
o
olaege
add isl_qpo
l
yn
o
mial_fold_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
g
e
isl_printer_pr
i
nt_qpolynomial_f
o
ld: support C for
m
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoolaege
expo
r
t isl_printer_p
r
int_q
p
oly
n
omi
a
l_
f
o
l
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
r
do
o
laege
ex
p
o
r
t isl_un
i
on_map_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
olaege
add isl_
{
set,m
a
p}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verdoolaege
ad
d
isl_basic_{set,map}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdoolaege
isl_printer_print_basi
c
_{s
e
t,map}: don't print newline
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verd
o
ol
a
ege
rename isl_*_dump to
i
sl_*_pr
i
nt_interna
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-27
Sven V
e
rdo
o
laege
m
a
k
e isl/point
.
h self-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoola
e
ge
isl
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_printer_print_basi
c
_map: pl
u
g
m
emory leak on e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolae
g
e
isl_dim_set_name: plug memory leak w
h
e
n overwriting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ver
d
oolaege
isl_tab_b
a
sic_map_pa
r
t
i
a
l_
l
exo
p
t: detect
a
nd exploit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sve
n
Verdoolaege
is
l
_tab_p
i
p
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sv
e
n Verdoolaeg
e
is
l
_p
i
p: lim
i
t the total number of parameter values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ver
d
oolaeg
e
add
i
sl_ba
s
ic_
s
et_count_upto
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
S
v
e
n Verdoolaege
isl_
s
c
a
n
.
c:
f
ix typo
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Grosser
Do no
t
hash t
h
e mem
o
ry addres
s
of a
n
i
s
l_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
S
v
en Ver
d
o
o
laege
is
l
_flow
.
c: fix typos in
com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
is
l
_union_map_compute_fl
o
w: exp
l
oit
fixed dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next