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
hide isl_ctx internals
2011-03-16
Sven Verdoolaeg
e
hide isl_c
t
x
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoo
l
ae
g
e
i
sl_vec_read_from
_
file: dro
p
input_format argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n
Verdoolaege
isl_
m
ap
.
c:
d
rop unused
er
r
or labe
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
e
g
e
isl_input
.
c: dr
o
p unus
e
d
e
rror label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoolaege
res
p
ect DE
S
TDIR when
installing isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
ol
a
ege
isl_strea
m
: accept "$"
t
oken
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verd
o
olae
g
e
a
d
d i
s
l_union_ma
p
_pow
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
c
hange isl_map
_
power
i
nterfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
er
d
oolaege
add isl
_
u
nion_map_z
i
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven
V
erd
o
o
l
aege
add p
r
i
v
ate isl
_
basic_ma
p
_swap
_
vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven V
e
rdoolaege
add isl_u
n
ion_map_
d
elta
s
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven V
e
rdoolaege
isl_
m
ap_del
t
as: don't copy
fla
g
s from input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
erd
o
olaeg
e
i
sl_stream_read
_
ma
p
: a
c
ce
p
t cons
t
a
nt
e
x
p
ressions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Verdoolaege
isl
_
stream: accept "/\"
a
n
d
"
\
/" as alte
r
natives for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
is
l
_stream: only quote newline using
'\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoola
e
g
e
i
sl_stre
a
m: maintain p
r
ivate ungetc
b
uffe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
ven Ver
d
oolaege
isl_
s
et_lift
i
ng: simplif
y
and
fi
n
alize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ve
r
doolaege
doc
:
fi
x
typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdo
o
laege
doc
:
drop long outd
a
ted note
o
n transitive c
l
osu
r
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoolaege
add isl_
b
a
sic_set_
g
e
t
_
dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven V
e
rdoo
l
aege
isl_map_identity: t
a
k
e d
i
mension
s
pe
c
ificatio
n
o
f map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
Verdoolaeg
e
r
enam
e
isl_d
i
m_map to isl_dim_map
_
f
rom_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
tran
s
it
i
ve
c
losure: project out
p
arameters w
h
en any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Ver
d
oolaege
p
rivately exp
o
r
t
isl_basic_se
t
_re
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
is
l
_set_l
i
ft:
preserve st
r
ucture
o
f space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolae
g
e
isl_p
w
_qpolynomial_bo
u
nd
:
handle combina
t
i
o
n
o
f wra
p
ping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdool
a
ege
isl_tab
_
pip
.
c: fix
t
ypo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
oolaege
isl_tab: check for obviously em
p
t
y
t
a
bleaus af
t
e
r
d
iscove
r
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
i
sl
_
basic_map_gi
s
t: prefer contraints wi
t
ho
u
t existent
i
ally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sve
n
Verdoolaege
isl_basic_map_sort_const
r
aints:
c
h
a
nge
comparison routi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven
Ver
d
oolaeg
e
isl_tab_ineq_typ
e
: cla
s
sify
more constraints as being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven
Ver
d
oolaege
is
l
_map_coalesc
e
: be more relaxed about mu
l
tiple e
q
ualities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
v
e
n Verdoolaege
add isl_basic_map_from_domain_an
d
_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ve
r
doolae
g
e
add isl_basic_set_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
e
rdoolaege
a
dd
i
sl_basic_set
_
flat_prod
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
e
x
p
o
rt isl_b
a
sic_map_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
V
e
rdoolaege
add isl_basic_map_f
r
om
_
qpoly
n
omial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream: suppo
r
t \<n
e
wline> line continuat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdool
a
ege
add i
s
l_union_map_read_from_
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n
V
e
rdoolaege
isl_stream_read_map: ac
c
ept 'true'
a
n
d
'f
a
l
s
e
'
constrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdool
a
ege
i
sl_stre
a
m_read_map:
allow e
x
tra ';' at end of m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdo
o
laege
isl_str
e
am_read_map:
allow negat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Ver
d
oo
l
a
e
ge
is
l
_
s
tream_read_map: allow e
x
istential quan
t
i
fication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
privately expor
t
i
s
l_basic
_
map
_
a
d
d_div_constraints_va
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Verdoolae
g
e
isl_morph_basic_s
e
t
: pr
e
serve rational
i
ty
o
f
i
n
pu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Ve
r
d
oolaege
a
d
d
isl_basic_set_is
_
r
ational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolaege
isl
_
printer_print_basic_map:
explicitly mark
rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl
_
strea
m
_read_m
a
p:
read
rational ma
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
isl_basic_m
a
p_insert: preserve rationality o
f
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Ve
r
doo
l
a
e
ge
add isl_basic_map_set_r
a
tional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
isl_ba
s
ic_map_fast_c
m
p
: differentiate between rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_output
.
c: re
m
ove some code duplic
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
isl_p
r
inte
r
_print_ba
s
i
c
_{set
,
map}: don't
s
t
art
new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven
Verd
o
olaege
isl_stream_re
a
d_map:
a
ccep
t
'|' at star
t
of cons
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_s
t
ream: keep trac
k
of
t
extua
l
rep
r
esentation
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoola
e
g
e
isl_input
.
c: clean up read_dis
j
unct
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven
Verdoolaege
isl
_
stream_read_map
:
accep
t
dis
j
u
n
ctions within a con
j
unc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ver
d
oolaege
isl_convex_hul
l
.
c: exp
l
ic
i
tly mark wrapp
i
ng
l
p prob
l
e
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaeg
e
isl_tab_min: micro-optimization: pos
t
p
o
n
e taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdool
a
ege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
isl
_
tab_add_row: add
f
urt
h
er explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
i
sl_tab
.
c: fix ty
p
o
s
i
n comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
isl_tab_pip
.
c: correctly detec
t
non-n
e
gativity o
f
d
ivs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdo
o
laege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Ve
r
d
o
olaege
t
e
st both contex
t
ha
n
d
l
i
ng
m
echa
n
isms of isl_
p
i
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ver
d
oolaege
isl_tab_is_equalit
y
:
p
roperly support "big
p
aram
e
ter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
sl_tab_pip
.
c: fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
a
ege
isl_affine_h
u
ll
.
c
:
fix typos i
n
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rd
o
ola
e
ge
isl_union
_
map_compute_flow: return ac
c
esses
with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdool
a
e
g
e
isl_union_map
.
c: inplace: pass data poin
t
er to isl_
h
a
s
h_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
Verdo
o
la
e
ge
isl_dim_m
o
ve: update p
a
rameters of
n
ested space
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
ol
a
ege
add isl_ma
p
_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Verdool
a
ege
c
lean
up
isl_set_fr
o
m_ba
s
ic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdool
a
eg
e
m
e
r
ge isl_basic_set/i
s
l_bas
i
c_map
a
n
d isl_se
t
/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
S
v
en Ve
r
d
o
olaege
rename "omega" transitive clo
s
ure to "box" tra
n
si
t
ive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
export isl_int_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
is
l
_verti
c
es
.
c
: fix typ
o
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
isl_union_templ
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
e
g
e
isl_map_subtract
.
c: n_n
o
n_redundant: p
r
opage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
i
s
l
_be
r
nstein
.
c: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
V
erdo
o
la
e
ge
ad
d
isl_un
i
on_
p
w_qpol
y
n
o
mial
_
m
ul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
Verdoola
e
ge
i
s
l_stream_read_o
b
j
:
re
a
d int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
add int
objects for use
in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
isl
_
basic_map
_
remove_divs: fina
l
ize
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
a
d
d
isl_basic_set_get_tuple_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ven
Verdoolae
g
e
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoola
e
ge
i
sl_union_
m
ap_sampl
e
: don
'
t return NULL on
e
mpty in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdo
o
laege
i
sl_basi
c
_map_s
e
t_tu
p
le_
n
ame: finalize res
u
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolae
g
e
isl_transi
t
i
ve_c
l
osu
r
e
.
c: mor
e
ano
n
ym
i
ze input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdo
o
laege
is
l
_basic_set_fac
t
orizer: make
sure group inform
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
ven
V
e
r
d
oolaege
add isl_un
i
o
n
_map_r
a
nge_
p
r
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdool
a
ege
doc: d
o
c
um
e
nt
product functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdo
o
laege
ren
a
m
e
isl_
b
asic_set_p
r
o
d
uct t
o
i
sl_
b
asic_s
e
t_lis
t
_produc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven
V
erdoolaege
isl
_
s
et
_
convex_hull:
optionally
use Fourier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
i
sl_basic_set_sample_po
i
nt: exploit factorization
i
f 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
Verd
o
olaege
change pro
t
otype
of i
s
l_ve
c
_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
l
a
ege
a
d
d isl_pri
n
ter_print_
v
ec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next