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 Verdoolaeg
e
Mer
g
e branch '
m
aint'
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
i
s
l
_
t
a
b_add_row: add
furt
h
er explanat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
isl_tab
.
c: fix typos
i
n com
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
isl_tab
_
pip
.
c: corr
e
ctl
y
detect non-ne
g
ativity of
d
ivs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
a
dd tes
t
commit
|
commitdiff
|
tree
2011-02-05
S
ve
n
Verdool
a
ege
test both context hand
l
ing me
c
hanisms of
i
sl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ve
n
Verdoolaege
isl_
t
ab_i
s
_eq
u
ality
:
properly su
p
port "big parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdo
o
lae
g
e
i
sl_tab_
p
ip
.
c: fix typo in
c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affine_hull
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoo
l
aege
i
s
l
_union_map_compute_f
l
ow:
re
t
urn accesses w
i
th no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
Merge br
a
nch 'm
a
int'
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoola
e
ge
i
sl_union_map
.
c: inplac
e
: pass data pointer to isl_h
a
sh_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
e
rdoo
l
aege
is
l
_
d
i
m_move: update param
e
t
e
rs of ne
s
ted spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
add is
l
_
m
a
p_nat_uni
v
erse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
V
er
d
oolae
g
e
clean up isl_set_from_
b
asic
_
se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdoolaege
m
e
rg
e
isl_bas
i
c_set/isl_
b
asic_map
and isl_s
e
t
/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sve
n
Ver
d
oolaege
rename "
o
m
e
ga" transitive closure to "box" transit
i
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
expo
r
t
i
s
l
_int_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
V
erdoolae
g
e
isl_v
e
r
t
i
ces
.
c: fix
typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_un
i
on_temp
l
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
isl_map_subtr
a
ct
.
c: n
_
n
o
n_redund
a
nt: propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
i
sl_bernstein
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
add isl_un
i
on_pw_qpoly
n
omial_m
u
l_isl_
i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_stream_read_obj: read int
o
bj
e
ct
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
a
dd int objects for use i
n
iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdoolaege
isl_basic_map_remove_divs: final
i
z
e
re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdo
o
laege
a
d
d
i
sl_basic_set_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
dool
a
ege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoo
l
aege
i
sl_union_m
a
p
_sample:
d
on't
r
eturn NULL
o
n empt
y
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven
Verd
o
olaege
isl_basic
_
map_se
t
_t
u
ple_
n
a
m
e
: final
i
ze re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven
Ve
r
doolaege
isl_tr
a
n
sitive_closure
.
c:
m
ore anonymize
i
nput map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdool
a
ege
isl_ba
s
i
c
_set_fa
c
t
oriz
e
r: make sure gro
u
p information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdo
o
lae
g
e
a
dd
i
sl_un
i
on_
m
a
p_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en Verdoolaege
doc: documen
t
p
roduct function
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
V
e
r
d
o
o
laege
rename
i
s
l_
b
a
s
i
c_se
t
_pr
o
du
c
t
to isl_basic
_
s
e
t_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven
V
e
rdool
a
e
ge
isl_set_co
n
vex_
h
ull: option
a
lly
u
se Fourier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
isl_basic_set_sa
m
ple_point: exploit fa
c
tori
z
ation
i
f
any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
g
e
add isl_
m
orph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
r
d
oolaege
ch
a
ng
e
p
rot
o
type of isl_vec
_
du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaeg
e
a
dd isl_printer_print_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n Verdoolaege
add isl_union
_
set_
a
pply
_
union
_
p
w
_qpolynomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
e
xport isl
_
union_
m
ap_from_dom
a
i
n and
i
sl_union_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoo
l
aege
isl_ba
s
i
c_map_in
t
ersect_dom
a
in: replace open-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
isl_str
e
am_read_map:
a
ccept modulo express
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
isl_basic_map_in
s
ert: don't s
i
m
plify the result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erd
o
ol
a
e
ge
isl_basic
_
map_from_constraint_matrice
s
: cle
a
r
n
ewly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verd
o
olaege
isl_
t
oken_free: free string re
p
res
e
ntation of keywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doolaege
is
l
_inpu
t
.
c: read_factor:
d
rop unexpected i
d
entifi
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Ve
r
d
o
olaege
i
sl_input
.
c:
accept_
a
ff
i
ne_
f
actor: avo
i
d do
u
b
le fr
e
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven V
e
rdoolaege
isl_stream_r
e
ad_map: allow
s
pace nam
e
s
that happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Verdoo
l
aege
isl_str
e
am_next_to
k
en: keep track of string
representation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_ba
s
ic_set_fl
a
tten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_union_m
a
p_s
i
mple_
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Verdo
o
laege
Me
r
ge branch
'
maint
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doolae
g
e
add isl_s
e
t_r
e
move_unkno
w
n_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoola
e
g
e
i
s
l_map_is_
s
ubset: d
o
n't compute d
i
vs of minue
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
laege
rename
isl_map
_
is_sing
l
eton to
i
sl_
m
ap_fas
t
_is_singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven
V
e
rd
o
olaege
a
d
d isl_map_fast_is_single_
v
alue
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
a
e
ge
add isl
_
qpo
l
ynom
i
al_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oolaege
export isl
_
union_set
_
d
u
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verdoolaege
isl
_
qpolynomial
_
add_on_domain: compu
t
e gist wit
h
re
s
p
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdo
o
lae
g
e
isl_union_map_coalesce
a
nd isl_union_ma
p
_co
m
pute_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
S
v
en Verdoolaege
i
sl
_
basic_map_solve_lp: use
d
eno
m
inator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaeg
e
Mer
g
e commit '
i
sl-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
V
e
rdoola
e
ge
isl_tab_basic_map_partia
l
_lexo
p
t
:
fix up symmetry detection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n
V
erdoolaege
isl_
b
as
i
c_map_universe: f
i
n
a
lize
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en
V
erdo
o
l
a
ege
isl_seq
.
h: allow inclusion from C++
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
ege
rei
m
p
lement isl_map_part
i
al_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven
V
erdoolaege
isl_ma
p
: fi
x
t
y
pos in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Verdoola
e
ge
add some mor
e
isl_m
a
p_l
e
xmi
n
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdo
o
laege
add
i
sl_
q
poly
n
omial_add_isl_i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoolaege
add isl_pw_qpolynomial_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_pw_qpolynomial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
a
e
ge
ad
d
isl_qpoly
n
omial_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
ad
d
isl
_
qpolynomial_fold_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
isl_pri
n
ter
_
prin
t
_qpo
l
ynomia
l
_fold: support C fo
r
mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
o
l
a
ege
export i
s
l
_prin
t
er_
p
rint
_
q
p
o
l
ynomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdoolaege
ex
p
ort i
s
l
_
u
n
ion_map_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Ve
r
doolaege
add isl_{set,map}_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ven
V
erdoolaeg
e
add i
s
l_b
a
si
c
_{set,map}_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
isl_p
r
inter_print
_
basic_{set,
m
a
p
}: don't print newline
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
aeg
e
rename isl
_
*_dump to
i
sl
_
*_print_i
n
ternal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoolaege
m
ake
i
s
l
/p
o
i
nt
.
h
s
elf-
c
ontained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
isl 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_printer_prin
t
_
b
asic_map: plug
mem
o
ry l
e
ak o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sve
n
Verdoolaege
isl_dim_set_name:
p
lug memory leak w
h
en ove
r
writi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_tab_basic_
m
ap_partial
_
lexopt: d
e
te
c
t and exploit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ve
r
doolaege
is
l
_tab_pip
.
c:
f
i
x
typo
s
in comment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven
Verdoolaege
isl_
p
ip:
lim
i
t
the tot
a
l
numb
e
r o
f
para
m
eter values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sve
n
V
e
rdoolaege
a
d
d isl_basic_set_count_upto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
e
r
doo
l
aege
isl_s
c
a
n
.
c: fix typo in com
m
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdool
a
ege
isl_flow
.
c: fix
typos in com
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verd
o
olae
g
e
i
sl_union_map_compute_
f
low
:
e
xpl
o
it fi
x
ed dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Ver
d
oolaege
isl_union_ma
p
_
compute_flow: avoid dependen
c
e o
n
pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verdoolaege
dat
a
f
l
o
w an
a
l
y
sis: allow absence of "textual"
order
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Verdoolaeg
e
add isl_map_get
_
hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
basic_m
a
p_re
a
d_polyl
i
b: add mor
e
s
anity c
h
ecks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
S
v
e
n
Verdoolaege
is
l
_pip: preserv
e
names of paramet
e
rs
in inpu
t
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next