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
respect DESTDIR when installing isl.py
2011-03-15
S
v
en Verdoolaege
resp
e
c
t
DE
S
TDIR
when installing isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Ve
r
d
o
ola
e
ge
isl
_
s
t
ream
:
accept "$"
t
oken
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaege
add isl_union_map_po
w
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
e
rdoolaege
change isl_map_power inter
f
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdoolaege
add isl_union_map_z
i
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Ver
d
oolaege
add p
r
ivate isl_basic_map_swap
_
v
a
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
a
d
d isl_un
i
on_
m
a
p
_deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
erdo
o
la
e
ge
Merge
b
r
anch 'm
a
int'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdool
a
ege
is
l
_map_deltas: don't co
p
y fla
g
s
from input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdoolaege
isl_stream_r
e
a
d
_map: acc
e
pt constant expres
s
ions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdool
a
ege
isl_str
e
am:
a
ccept "/\" an
d
"\/" as al
t
e
rnatives for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
ven
V
erdool
a
ege
isl_strea
m
:
only quote newli
n
e
using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven V
e
rdoolaege
is
l
_stream: maintain
p
rivate u
n
get
c
buffe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
i
s
l_
s
et
_
lifting: simpli
f
y
a
nd finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
rdoolaege
doc: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ver
d
oolaege
doc: drop l
o
ng outdat
e
d note on transitive closur
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sve
n
Verdoolaege
add is
l
_basic_set_
g
et_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolae
g
e
isl_
m
ap_
i
dent
i
t
y
: take dimens
i
on specification of
m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
rename isl_di
m
_map to
i
sl_dim_map_from_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaeg
e
transitive closure: project out
p
arameters
w
h
en any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolae
g
e
p
r
ivately export
i
sl_basic_se
t
_r
e
set_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
laege
isl_set_lift: preserve stru
c
ture
of space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
laege
isl_pw_qpolynomial_bound:
handle combination of wrapp
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdoolaege
i
s
l
_
tab_p
i
p
.
c: fix typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdoo
l
aege
isl_tab: che
c
k fo
r
obviou
s
ly empty tableaus after
d
iscoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Ver
d
oolaeg
e
i
s
l_basic_map_gist: prefer contraints without e
x
istentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
S
v
en Verdoolaege
is
l
_
basic_map_s
o
rt_cons
t
raints: change comparison routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en Verdoola
e
ge
isl_
t
ab_ineq_type: classif
y
more con
s
t
raints as b
e
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_map_coalesce: be mor
e
r
e
laxed about mul
t
iple equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoola
e
ge
add
i
sl_basic_map_from_domain_and_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erdoolaege
add
i
sl_b
a
sic_s
e
t_ne
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven V
e
r
d
ool
a
ege
add
i
s
l
_
basic_set_
f
lat_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolae
g
e
expor
t
isl_basic_map_flat
t
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Ve
r
doola
e
ge
a
dd isl_basic_map_from_qpolynom
i
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
sl_st
r
eam: suppor
t
\<
n
ew
l
ine> line cont
i
n
u
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdoolae
g
e
a
dd isl_union_map_read_f
r
o
m
_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verd
o
ola
e
ge
i
s
l
_
stream_re
a
d_map: acc
e
pt
'true' a
n
d 'fa
l
se' constrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
i
s
l_stream_rea
d
_
m
a
p: allow extra ';' at end of ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaege
isl_stream_read_map: allow negati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoola
e
g
e
isl_stream_read_map: allow
e
xist
e
ntial quantif
i
cation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
privately export isl_basic_map_
a
dd_div_cons
t
raints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ve
n
Verdoolaeg
e
isl_morph_basic_set: preserve rat
i
onality
o
f input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
ola
e
ge
ad
d
isl
_
basi
c
_set_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oo
l
aege
is
l
_
prin
t
er_print_
b
asic_map: explici
t
ly mark rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n Ver
d
oolaege
is
l
_stream_read_map
:
r
e
a
d
rational
m
ap
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ve
r
dool
a
ege
isl_basic_map_inse
r
t: prese
r
ve
rationality of
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdoolaege
add
isl_basic_map_
s
et_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoola
e
g
e
isl_basic_map_
f
ast_cmp: differenti
a
te b
e
t
ween rati
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven V
e
r
d
oo
l
aege
isl_output
.
c
:
r
e
m
ov
e
s
o
me code d
u
plication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdoolaege
isl_printe
r
_print_ba
s
i
c
_{se
t
,
map}:
don't
s
tart new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
v
en
V
erdoolaege
isl
_
stream_r
e
ad_map: accep
t
'|' at sta
r
t of constrai
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_stream: keep trac
k
of t
e
xtu
a
l representation o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sv
e
n
V
erdoo
l
aege
i
s
l_inp
u
t
.
c
: clean
u
p
read
_
d
i
s
juncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoo
l
a
e
ge
isl
_
st
r
ea
m
_read_map: accept d
i
sjunctions within a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoola
e
ge
isl_conv
e
x_hull
.
c: e
x
plicitly
m
a
rk
wrap
p
ing lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_tab_
m
i
n
:
m
i
c
r
o-optimization: postpon
e
taki
n
g
i
nto
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_add_row: a
d
d
f
urt
h
e
r e
x
p
l
anatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
ol
a
ege
isl_
t
ab
.
c:
f
ix typos in co
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl_tab_pip
.
c: correctly detec
t
non-n
e
gativity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolae
g
e
add tes
t
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
test
b
oth context handling mechanisms
of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_is_equa
l
it
y
: properly support "big param
e
ter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
s
l
_tab_pi
p
.
c: f
i
x
typo
i
n
c
omme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
isl_a
f
fine_hull
.
c:
f
ix
t
ypos in com
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
o
o
laege
isl_
u
nion_map_co
m
p
u
te_flow: retu
r
n
accesse
s
with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n V
e
rdoo
l
aege
Merge
b
ran
c
h 'maint
'
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
i
sl_union
_
map
.
c: inplace: pass da
t
a pointer
to isl_hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Ver
d
oo
l
aege
is
l
_
d
im_move: upd
a
te param
e
te
r
s
of nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Verdoolaege
add isl_ma
p
_nat_
u
n
iverse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ver
d
oolaege
clean up i
s
l_set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdoolaege
merge
i
s
l
_basic_s
e
t/isl_basic
_
m
a
p and isl_set/
i
sl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
r
e
name "omega" tran
s
itive cl
o
sure to "
b
ox" tran
s
itive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
export isl_
i
nt_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Verdoolaeg
e
isl
_
ve
r
t
i
ces
.
c:
fix
typ
o
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oo
l
aege
isl_u
n
ion
_
templ
.
c: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
is
l
_map_subtract
.
c: n
_
non_redund
a
nt: pr
o
page isl_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
ool
a
ege
isl_bernste
i
n
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
add isl_union_pw_qpolynom
i
al_
m
ul_isl
_
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verd
o
o
laege
isl_stream_
r
ead_obj:
r
ead int
obj
e
ct
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
ad
d
int objects for u
s
e in is
c
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoola
e
ge
isl_basic_map_rem
o
ve_divs: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Verdo
o
laege
add isl_ba
s
ic_set_get_
t
uple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
Merge bran
c
h
'ma
i
nt
'
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdo
o
laege
i
sl_union_map_samp
l
e: don't return
NULL
o
n em
p
ty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n
V
e
r
doolaege
is
l
_basic_m
a
p_set_tuple_name:
f
i
nalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
is
l
_tr
a
n
s
itive
_
closure
.
c: mo
r
e anonymize
i
nput map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
ven
Ver
d
ool
a
ege
is
l
_basic_set_factorize
r
:
make
s
ure grou
p
in
f
ormat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
ven Verdoo
l
aege
add
i
sl_union_map_range_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven
Verdoolaege
doc:
d
ocu
m
ent product func
t
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Verdo
o
laege
re
n
ame isl_basic_set
_
product to i
s
l_bas
i
c_set_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven V
e
rdoolaege
isl_se
t
_convex_hull: op
t
ionally use Fourier-Motzk
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
is
l
_
ba
s
ic_
s
et_sample_point: exp
l
oit factorization
i
f a
n
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
add isl
_
m
o
r
ph_v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Ve
r
doolaege
change prototype of isl_vec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ver
d
o
o
laege
add isl_printer_print_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
r
d
oolaege
add isl_unio
n
_s
e
t_apply_un
i
on_pw_qpolynom
i
al_
f
o
ld
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
ex
p
ort isl_
u
n
i
on_map_from_do
m
a
in and isl
_
union_map_from_
r
a
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_m
a
p_int
e
rsec
t
_domai
n
:
replace open-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
doolaege
i
s
l_strea
m
_
read_map
:
acce
p
t modulo ex
p
ressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next