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_stream_read_map: allow extra ';' at end of map description
2011-02-17
Sven Verdoolaege
isl_stream_read_map: allow e
x
tra ';' at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdo
o
laege
isl_stream_
r
e
a
d_map:
al
l
ow ne
g
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdool
a
e
g
e
isl_s
t
re
a
m_read_
m
ap: allow exis
t
ent
i
a
l quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Ver
d
o
olaege
privately
ex
p
ort is
l
_basic_ma
p
_add
_
div_const
r
aints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdo
o
laege
i
s
l_morph_basi
c
_set: preserve rationali
t
y
o
f input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
add i
s
l_b
a
sic_set_is_r
a
ti
o
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oola
e
ge
isl_printer_p
r
in
t
_ba
s
ic_ma
p
: explicitly
m
ark rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doo
l
aege
isl_stream_
r
ead_map: read rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl
_
basic_ma
p
_insert
:
preser
v
e
ratio
n
ality
o
f
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
r
d
oo
l
a
e
ge
add isl_basi
c
_map_
s
e
t_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_bas
i
c_map_fast_cmp: differentia
t
e
b
e
tween ration
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
isl_ou
t
put
.
c: remo
v
e some co
d
e
d
u
p
lication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
isl_
p
rinter_print_b
a
sic_
{
set,map}: don't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verd
o
olaege
isl_stream
_
r
ead_map: accept '|' a
t
s
t
art of constr
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
i
sl_strea
m
: k
e
e
p
track of textual
r
epresentation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
v
en
V
e
rdool
a
ege
isl_i
n
put
.
c: clean up read_disjunc
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
ven Verdoolae
g
e
is
l
_stream_read_ma
p
: a
c
cept d
i
sjunctions wit
h
in a c
o
nju
n
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sve
n
Verdoolaege
isl_convex_h
u
l
l
.
c: explicitly mark wrapp
i
ng lp p
r
o
blem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
v
e
n Verdoolaege
i
sl_tab_min: micro-opt
i
mization: p
o
stpone taking i
n
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
Merge bra
n
ch '
m
aint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
i
sl_ta
b
_add_
r
ow: add furthe
r
explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en V
e
rdoola
e
ge
isl_tab
.
c: fix
t
y
p
os
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoo
l
aege
isl_tab_pip
.
c: correctly
d
et
e
ct non-n
e
gativity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rd
o
olaeg
e
add tes
t
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
test bot
h
c
ontext handling m
e
c
hani
s
ms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
g
e
isl_tab_is_
e
q
uality: properly sup
p
ort "big
p
arameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_pip
.
c: fix typ
o
in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaeg
e
isl_affi
n
e_hull
.
c: f
i
x typos in c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
isl_union_ma
p
_compute_flow: return accesses
wit
h
no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
la
e
ge
i
sl_
u
nion_map
.
c:
i
nplace: pass data po
i
nter
to isl_h
a
sh_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolae
g
e
i
s
l_di
m
_mo
v
e
:
u
p
d
at
e
p
aramet
e
rs of neste
d
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
e
n
Verdoolaege
add i
s
l_m
a
p
_
nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
e
rdool
a
ege
clean up isl_set_
f
rom_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rdo
o
laege
merge isl
_
ba
s
ic_set/isl_ba
s
ic_map
a
n
d
is
l
_set/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename
"omega" transiti
v
e c
l
osure to
"
b
ox
"
transit
i
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
expor
t
is
l
_int_obj_
f
ree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoo
l
aege
isl_vertices
.
c
:
fix
typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
i
s
l_un
i
on_templ
.
c:
fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
isl_map_
s
ubtract
.
c: n_non_redundant: propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven 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 Verdoolaege
add isl_
u
nio
n
_pw_qpolynomial
_
mul_
i
sl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
o
olaege
isl_s
t
ream_read_obj: read
int
o
bject
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
a
dd in
t
obj
e
cts for use
i
n iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n
Verdoolaege
isl
_
basic_map_remove_di
v
s: fina
l
ize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doolaege
ad
d
isl_basic_set_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en
Verdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rd
o
ol
a
ege
isl_union_map_sam
p
le: don't return NULL on empty inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Ve
r
dool
a
ege
isl_basic_map_set_tuple
_
na
m
e: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
v
e
n
V
er
d
ool
a
e
g
e
isl_transit
i
ve_clos
u
re
.
c:
m
ore anonym
i
ze input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n Verdo
o
l
a
ege
isl_
b
asic_set_factorizer: make sur
e
group infor
m
a
t
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdool
a
e
g
e
add
i
sl_union
_
map_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
er
d
o
o
laege
do
c
:
d
ocument prod
u
ct func
t
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolae
g
e
rename isl
_
basic_s
e
t_product
t
o
i
sl_ba
s
ic_set_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoolaege
isl_set_convex_hull: optionally use Fourier-
M
otz
k
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
i
s
l_basic_set_sample_p
o
in
t
:
exploit fac
t
o
rization if a
n
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl
_
morph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdo
o
laege
change prototype o
f
isl_ve
c
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
ola
e
ge
add isl
_
print
e
r_pri
n
t_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
ad
d
isl_union_se
t
_
a
pp
l
y_union_
p
w_qpolynomial_fo
l
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoo
l
aege
e
xpo
r
t
i
sl_un
i
on
_
map_f
r
om_domain and isl_union_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
sl_basic_map_in
t
e
r
sect_domain: rep
l
ace open-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
isl_stream_read_map
:
a
ccep
t
m
o
dulo ex
p
ressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
i
sl_basic_map_ins
e
rt: don't
sim
p
lify the result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
oolaege
Me
r
ge branc
h
'm
a
int'
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoola
e
ge
isl_ba
s
ic_
m
ap_from_cons
t
rain
t
_matrices: clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
isl_token_free: free strin
g
representat
i
o
n of keywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en V
e
rdoolaege
isl_input
.
c: r
e
ad_f
a
cto
r
: drop unexpected
identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoo
l
ae
g
e
isl_input
.
c: accept_a
f
fine_factor:
avoid d
o
uble free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verd
o
ola
e
ge
i
s
l_stre
a
m
_
r
ead_map: allow space
name
s
that hap
p
en
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdoolaege
isl_stream_next_token: keep tra
c
k of s
t
ring rep
r
esen
t
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoola
e
ge
add i
s
l
_
basic_se
t
_
f
latte
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdo
o
laege
add isl_union_map_
s
impl
e
_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doolaege
Me
r
ge branch '
m
aint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdool
a
ege
add isl_set
_
remove_unk
n
own_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoo
l
aege
isl_map_i
s
_
subset: don't co
m
pute divs of minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
laege
ren
a
me isl_map_is_singleton to isl_map_fast_i
s
_singl
e
ton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Ver
d
oolaege
ad
d
isl_map_f
a
s
t
_is_single_val
u
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
a
dd i
s
l_qp
o
lynomi
a
l_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
export is
l
_union_se
t
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_qpolynomial_add_on_do
m
a
in: comput
e
g
i
s
t
w
ith respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Verdoola
e
ge
isl_union
_
ma
p
_coa
l
esc
e
and
i
sl_union
_
m
ap_compu
t
e_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven V
e
rdoolaege
isl_basic_map_sol
v
e_lp:
u
s
e
den
o
mi
n
ator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdoo
l
aege
Merg
e
commit 'isl
-
0
.
05
.
1
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdoo
l
aege
isl 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verd
o
olaege
i
sl_tab_basic_map_
p
artial_lexopt: fix up symmetry detection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoola
e
g
e
isl_basic_map_uni
v
erse:
finali
z
e re
s
ult
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-30
Sven Verdoolae
g
e
re
i
mplement isl_map_pa
r
ti
a
l_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven V
e
r
d
oolaege
isl_map: fix ty
p
o
s in c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verd
o
olaege
add some more i
s
l_map_lexmin tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
dd isl_
q
polyn
o
mi
a
l_add_isl_in
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolae
g
e
add isl_
p
w_q
p
ol
y
nomial_f
o
ld_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
e
n
Ver
d
oolaege
add isl_pw_qpolyno
m
i
a
l_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
V
erdoo
l
ae
g
e
a
d
d isl_qpol
y
nomial_f
o
ld_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Ve
r
doolaege
a
dd
isl_qpolynom
i
a
l_fol
d
_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ve
n
Ver
d
oolaege
isl_printer_print_qpolynomial_fold: support C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en
V
erdoolaege
e
xport is
l
_printer_print_qpolynom
i
al_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
export isl_union_
m
ap_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
ge
add isl
_
{set,map}_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next