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_tab_min: micro-optimization: postpone taking into account denominator
2011-02-10
Sven Verd
o
olaeg
e
isl
_
ta
b
_m
i
n: micro-
o
ptimization: postpone
taki
n
g into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
Merge branch
'
m
aint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
isl_tab_add_row: ad
d
f
u
rther explanati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
sl_tab
.
c: fix typo
s
i
n commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
isl_tab_pip
.
c: c
o
rrectly detect non-negativity of div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
do
o
l
a
eg
e
add test
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
test b
o
th co
n
te
x
t handling mechanisms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n V
e
rdoolaege
isl
_
tab_is_equali
t
y: prope
r
l
y
support "big paramet
e
r"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
isl_tab
_
pip
.
c: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
isl_a
f
fine_hull
.
c:
fix
typos in
c
omments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
isl_un
i
on_map_compute_flow
:
retu
r
n acce
s
ses with n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
Merge
branch
'
maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaeg
e
isl_union_map
.
c: inplace: pass dat
a
pointer to isl_hash_
t
abl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_dim
_
move: u
p
date parameters of nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ver
d
oolaege
ad
d
isl_ma
p
_nat_univers
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rdoo
l
aege
clean up
isl_set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
d
o
olaege
merge
isl
_
basic_set/
i
sl_basic_map and is
l
_set/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sv
e
n
Verdoolaege
renam
e
"omega" transitive closure to "box" trans
i
t
i
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaeg
e
expor
t
is
l
_int_obj
_
free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
is
l
_vertices
.
c: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
i
s
l_un
i
on_temp
l
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
i
sl_map_s
u
btract
.
c: n_non_red
u
ndant: propa
g
e isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaege
isl_ber
n
st
e
in
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
add isl_union
_
p
w
_qpo
l
y
nomial_mul_isl
_
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaege
isl_
s
tream
_
read_obj: read int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
add i
n
t
o
bjec
t
s for use i
n
iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
d
oolaege
isl_basic
_
map_rem
o
ve_divs: finalize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add isl_ba
s
ic_set_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Ver
d
oolaege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoola
e
g
e
isl_union_map_
s
ample: don
'
t
return NULL on empty
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n Ve
r
doolaege
is
l
_basic_map_set_tuple_name: fina
l
ize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven
V
erdoolaege
isl_transitiv
e
_clo
s
ur
e
.
c
: more a
n
ony
m
ize input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdo
o
laege
i
s
l_ba
s
ic_s
e
t_factorize
r
:
m
ake sure group i
n
fo
r
mation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
erdoo
l
aege
add isl_union_map_ran
g
e
_
p
r
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en
Verdoolae
g
e
doc: document prod
u
c
t
f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdo
o
laege
re
n
a
m
e isl_ba
s
ic_
s
et_pro
d
uct to i
s
l_basic_set_list_prod
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoolaege
isl_s
e
t_convex_hull: option
a
lly
u
se Fourier
-
Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
oolaege
isl_basic
_
set_samp
l
e
_
point:
e
xploit fact
o
rizatio
n
i
f an
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add is
l
_morph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
Verdool
a
e
g
e
c
h
ange prototype of isl_
v
ec_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdo
o
laege
add
i
sl_print
e
r_pr
i
nt
_
vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
add isl_un
i
on_se
t
_app
l
y_union_pw_qpolynomial_fo
l
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolae
g
e
export
is
l
_union_map_fr
o
m_domai
n
and
i
sl_union_
m
a
p
_from_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
V
e
rdoolaege
isl_b
a
sic_ma
p
_int
e
rs
e
ct_
d
oma
i
n
:
repl
a
ce
o
pen-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verd
o
olaege
isl_s
t
ream_read_map: a
c
cept m
o
du
l
o e
x
p
r
essio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
isl_basic_map
_
i
nsert: do
n
't simpl
i
fy
t
he
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaeg
e
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oola
e
g
e
isl_basic_map_from_
c
onstr
a
int_matrices:
c
lear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
e
rdoolaege
isl_token_fr
e
e: free
s
tring repre
s
e
n
t
a
tion of keyword
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
is
l
_i
n
put
.
c:
r
ead_fact
o
r:
drop unex
p
ecte
d
identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
e
rdo
o
l
a
ege
isl_inp
u
t
.
c
: accept_affin
e
_fa
c
tor: avoid do
u
ble free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verd
o
olaege
is
l
_stream_read_
m
ap: all
o
w
s
p
a
ce nam
e
s tha
t
happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Ver
d
oolaeg
e
i
s
l
_stream_n
e
xt_token: keep tr
a
ck of string representation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_basic
_
s
e
t_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
a
dd isl_uni
o
n_map_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Ver
d
oolaege
M
er
g
e branch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
add isl_set
_
r
e
mov
e
_unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_map_is_subset:
d
on't comp
u
te
divs of minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
rename
i
sl_map_is_singleto
n
to isl_m
a
p_fast_i
s
_singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
laege
add isl_ma
p
_fast_is_single_
v
a
l
ued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
add isl_
q
polynomial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdo
o
la
e
g
e
export is
l
_u
n
i
on_set_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdool
a
ege
isl_qpolynomial_ad
d
_on_domain: comput
e
gist with respec
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven
V
e
rdoolaege
isl_
u
nion_
m
ap_c
o
alesce
and isl
_
union_map_compute_d
i
vs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven
V
er
d
ool
a
ege
isl_basi
c
_
map_solve_lp: use deno
m
ina
t
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Merge
commi
t
'
i
s
l-0
.
0
5
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven V
e
rd
o
o
l
a
e
ge
isl 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n
Verdoolaege
isl_t
a
b_basic_map_partial_lexopt: fix up symmetry de
t
e
c
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ver
d
oolaeg
e
isl_ba
s
ic_m
a
p
_
universe: final
i
ze r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven
Verdoolaege
isl_se
q
.
h: allow inclus
i
on from C++
commit
|
commitdiff
|
tree
2010-12-30
Sven
Ve
r
doolaege
re
i
m
p
lemen
t
isl
_
map_partial_l
e
xopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
ven Verd
o
olaege
isl_map: fix typos in c
o
mment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ve
r
doolaege
add so
m
e
more is
l
_
m
ap_
l
exmin tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdoolaege
add isl_qpolynomial_
a
dd_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en V
e
rdo
o
l
aege
add isl_
p
w
_qpoly
n
omial_
f
old
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
laege
a
d
d
isl_pw_qpoly
n
omial_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
laeg
e
a
d
d isl_qpo
l
yn
o
mial_fol
d
_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaege
ad
d
i
s
l
_qpolynomial_fold_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
isl_prin
t
er_print_qp
o
lynomial_fold: support C f
o
r
mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verd
o
olaeg
e
export isl_printer_print_qp
o
lynom
i
a
l
_fo
l
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oolaege
export isl_u
n
ion_map_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolae
g
e
add isl_{set,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_basic_{set,
m
ap}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
i
s
l
_printer
_
print_basi
c
_
{
set,map}: don't
p
rint newline
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdoolae
g
e
rename is
l
_*_dump to
isl_*_print_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
Sven
Verdoolaege
make i
s
l/point
.
h self-contain
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven V
e
rdoolaege
isl
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven V
e
rdoolae
g
e
isl_printer_print_
b
as
i
c_map
:
plug memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Ver
d
o
o
l
aege
isl_dim_set_
n
ame: pl
u
g m
e
mory le
a
k wh
e
n overwritin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
erd
o
o
la
e
g
e
is
l
_
t
ab_basic_map_
p
artial_lexopt: d
e
tect and explo
i
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
i
s
l_tab_
p
ip
.
c: fix
t
y
p
o
s
i
n comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sv
e
n
V
e
r
doolaege
isl_pip: limit the tot
a
l
n
um
b
e
r
of parameter value
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
ven Verdoola
e
ge
add i
s
l_basic_set_count_
u
p
to
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
erd
o
olaege
i
sl_s
c
a
n
.
c: fix typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verdoolaege
isl
_
flow
.
c: f
i
x
t
ypos in comme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
v
en
V
erdool
a
ege
is
l
_union_map_comp
u
te_flow: exploit fixed dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
is
l
_
u
nio
n
_map_co
m
pute
_
flow: avoid dependen
c
e on pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
d
ataflow anal
y
sis: allow absence of
"
t
extual" order
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
v
en Ver
d
oolaege
add isl_
m
ap_ge
t
_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
v
e
n
Verd
o
olaege
basic_map_read_polyl
i
b: add
m
o
re sanity checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next