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_convex_hull.c: explicitly mark wrapping lp problem as rational
2011-02-10
Sven Verdoo
l
aeg
e
isl
_
c
onve
x
_hull
.
c:
explicit
l
y mark wrapping lp p
r
oblem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
is
l
_tab_min: micro-optimization:
p
ost
p
one taki
n
g into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verd
o
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdo
o
l
a
ege
isl_tab_add_row: add further ex
p
l
a
n
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolae
g
e
isl_tab
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven
V
er
d
oolae
g
e
isl_t
a
b_pip
.
c: correctly detect
n
o
n-negativity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
doolaege
test both context handling mechanisms of isl_p
i
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
V
e
r
doolaege
isl_tab_is_equality: properl
y
supp
o
rt "
b
ig parameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaeg
e
isl
_
t
a
b_pip
.
c: fix t
y
po in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affine_h
u
l
l
.
c
: fix typos
in commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolae
g
e
i
s
l_union_map_compute_flow: re
t
urn access
e
s wi
t
h no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ver
d
o
o
laege
M
erge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
isl_union_map
.
c: inplace:
pa
s
s da
t
a point
e
r
to i
s
l_hash_ta
b
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Verdoolaege
isl_
d
im_move:
up
d
ate p
a
rame
t
ers of nested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ver
d
oolaege
add isl_map_nat_unive
r
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaeg
e
c
lean u
p
isl_set_fr
o
m_basic_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n
V
erdoolaege
merge isl_
b
asic_set/i
s
l
_
b
asic_m
a
p
a
nd isl_
s
et/isl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolae
g
e
rename "
o
mega" tr
a
nsi
t
ive closu
r
e to "box" transitiv
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
export
isl_int_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
isl_
v
er
t
ic
e
s
.
c: fix
typ
o
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
a
e
g
e
isl_union_templ
.
c: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
isl_map_s
u
b
tract
.
c: n_n
o
n_redundant: propag
e
i
sl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verd
o
olaege
isl_bernstei
n
.
c: fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
a
d
d isl_union_pw_q
p
olynomial_mul_isl_
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_stream_read_obj: read int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
V
erdoolaege
add int object
s
for use in iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolaege
isl_bas
i
c_map_remove
_
d
i
v
s: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
ad
d
isl
_
basic_set_get_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdo
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doolaeg
e
i
s
l_union_m
a
p_sample: don't ret
u
rn
NULL on empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_basic
_
map_set
_
tuple
_
name:
f
inalize
resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_trans
i
tive_clo
s
ure
.
c
: more anonymize
i
nput map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdo
o
lae
g
e
i
s
l_basic_set_factorizer: make
sur
e
g
r
oup info
r
mation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
e
rdool
a
ege
add isl_
u
nion_map_rang
e
_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoola
e
ge
doc:
d
ocument product functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
ren
a
me
i
s
l_basic_set_
p
roduct
to
is
l
_bas
i
c_set_
l
is
t
_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoola
e
ge
isl_set_convex_hull: optionally
u
se
F
ourier-M
o
tzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en V
e
r
doolaeg
e
isl_basic
_
set
_
sample
_
poi
n
t
: ex
p
loit facto
r
ization if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
a
dd isl_mor
p
h_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
change prototype of
i
sl_vec_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_printer_
p
r
i
n
t_ve
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolae
g
e
add is
l
_union_set
_
apply_union_pw_qpolynom
i
al_
f
old
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaeg
e
expo
r
t isl_union_map_from_d
o
main and isl_union_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_map_inte
r
sect_domain: rep
l
ace open
-
coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_stream_re
a
d_
m
ap: accept modulo
expressi
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaeg
e
isl_ba
s
ic_map_insert: don't s
i
mplify the result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
eg
e
Merge
b
ranch 'maint
'
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ver
d
o
ol
a
eg
e
isl_ba
s
ic
_
ma
p
_from_const
r
aint_ma
t
ric
e
s: cle
a
r
n
ewly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oolae
g
e
isl_token_free: free str
i
ng
re
p
resenta
t
ion of keywords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_
i
nput
.
c: read_factor: drop u
n
expected identi
f
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
e
n Verdoolaege
isl_inp
u
t
.
c: accept_affine_factor:
avoid double free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
is
l
_stream_read_map: allow spa
c
e names t
h
at happ
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_stream_next_token: keep track
o
f
string representatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_basic_set_flatte
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolae
g
e
ad
d
isl
_
un
i
on_m
a
p_si
m
ple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
aege
Merge br
a
nch
'
maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Ve
r
doolae
g
e
add isl_set_remove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
i
s
l
_
map_
i
s_subset: don't com
p
u
t
e divs of m
i
nuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
renam
e
isl_map_is_
s
ingleton
to
i
s
l
_map_f
a
s
t_is_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
olaege
add
i
sl_map_fast_is_singl
e
_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add is
l
_qpolynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
d
oolaege
e
xport isl_union_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_qp
o
lynomial_add_on_
d
oma
i
n
:
compute gist
w
it
h
re
s
p
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Verdoolaege
isl_union_map_coalesce and is
l
_
un
i
o
n
_map_compute_
d
ivs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
i
sl_basic
_
m
ap_sol
v
e_lp: use de
n
ominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdo
o
laege
Merge commit 'isl-0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ve
r
doolaege
isl_
t
ab_basic_map_partial_lexopt: fix
u
p sy
m
me
t
ry
detection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolae
g
e
isl_ba
s
ic_map_universe: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verd
o
olaege
isl
_
seq
.
h: all
o
w inclusion from C++
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
reimplement isl_map_partia
l
_
lex
o
pt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verdoola
e
ge
i
s
l_ma
p
: fi
x
typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoo
l
aege
add s
o
me
m
o
re isl_ma
p
_le
x
min te
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
o
olaege
add isl_qpolynomial_add_isl_i
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oola
e
ge
add isl_pw_q
p
olynomial_f
o
ld_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
aege
a
dd isl
_
pw_q
p
olynomial_
d
u
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
g
e
add is
l
_qpolynomi
a
l_f
o
ld_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdoolaeg
e
a
dd isl_qpolynomial_fold_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoolaege
i
sl_
p
rinter_print_qpoly
n
omial_fold: support C
format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdoola
e
g
e
ex
p
ort isl_prin
t
er_print
_
qpolynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rdoolaege
export isl
_
union_
m
a
p
_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Ver
d
oolae
g
e
add isl_{se
t
,map}_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Ver
d
oolaege
add isl_basi
c
_{set,map}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n
V
e
rd
o
olaege
isl_print
e
r_print_basic_{set,map}: don't print newline
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
aege
rename isl_*_dump to
isl_*_print_intern
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoolaege
make isl/point
.
h self-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven
Verdoo
l
aege
isl 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sve
n
Ve
r
doolaege
isl_printe
r
_p
r
int_ba
s
ic_map: plug memory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_dim
_
set_na
m
e: plug memory lea
k
whe
n
overwriting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verd
o
olaege
isl_tab_ba
s
ic_map_part
i
al_lexop
t
: detect and expl
o
it
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_tab_p
i
p
.
c: fix typos in co
m
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven V
e
r
doolaege
isl_
p
ip: limit the total number of parame
t
er values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
a
dd isl
_
basic_set_c
o
unt_upt
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoola
e
ge
isl_scan
.
c: fix
typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven V
e
rdoolaege
i
sl_flow
.
c: fix t
y
pos in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
S
ven
V
erdoolaege
isl
_
unio
n
_map_compute_fl
o
w: exp
l
oit fixed dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Verdoolaege
isl_uni
o
n_map_compute_flow: a
v
oid dependence
o
n pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaeg
e
dat
a
flow analysis: allow ab
s
en
c
e of "textual" order
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verd
o
olaeg
e
add isl_ma
p
_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next