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
add isl_union_map_power
2011-03-12
Sven
V
erdool
a
ege
add isl_union_map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaeg
e
chang
e
isl_
m
a
p
_power
interfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaege
add isl_un
i
on_map_
z
ip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaeg
e
add private is
l
_
basic_map_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verd
o
ol
a
ege
add isl_union_map_
d
eltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
M
er
g
e
branc
h
'maint'
commit
|
commitdiff
|
tree
2011-03-10
S
ven Verdoo
l
a
ege
i
sl_map_deltas: don't
cop
y
flag
s
from input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream_read_map: acc
e
pt
c
onstant exp
r
es
s
ions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n Verdoo
l
aege
isl_st
r
ea
m
:
a
c
ce
p
t "/\" a
n
d
"
\/" as alter
n
atives for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ver
d
o
olaeg
e
is
l
_stream: onl
y
quo
t
e newline
u
sing '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verd
o
o
l
ae
g
e
is
l
_stream:
m
aintain priva
t
e un
g
e
t
c
buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
isl_set_lifti
n
g: simplify and finalize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en Verdoolaege
doc: drop long
ou
t
dated note on transitive closu
r
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
S
ven Verdoolaege
add isl_basic_set_
g
et_di
m
_
na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ver
d
oolaege
isl_map_identity: take dimens
i
on
specification
o
f map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdoolaeg
e
r
e
name isl
_
dim_map
t
o is
l
_dim_map_from_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
erdoolaege
transitiv
e
closure:
p
roject out parameters when any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
pri
v
ate
l
y
export isl_basic
_
set
_
reset_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoo
l
aege
isl_
s
et_lift: pr
e
serve s
t
r
u
cture of space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Verdoolaege
isl
_
pw_qpolynomial_bound: handle combinatio
n
of
wrapp
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdoolaege
isl_tab_pip
.
c: fix typ
o
in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Verdoo
l
aege
is
l
_ta
b
:
c
heck for o
b
viously empty ta
b
leaus aft
e
r
d
iscov
e
rin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaeg
e
isl_basic_map_
g
ist: prefer co
n
t
ra
i
nts without existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdo
o
lae
g
e
isl_basic_map_so
r
t_constraints: change comp
a
rison routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en Verdoolaege
isl_tab_
i
neq_ty
p
e: classify more
c
onstraints as
b
eing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven V
e
rdo
o
laege
isl_map_c
o
alesce: be more re
l
axed abou
t
multiple eq
u
alit
i
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basic_m
a
p_from_domain_and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erdoolaege
add isl_basic_
s
e
t
_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Ver
d
ool
a
ege
add isl_basic_s
e
t_flat_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
e
xport
i
sl_basic_map_flat
t
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ve
r
doo
l
aege
add i
s
l
_
basic_map
_
from_qpol
y
nomi
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
rd
o
o
laege
isl_stream: support
\<newlin
e
> line co
n
tinuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoola
e
ge
a
d
d isl_union_map_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven
V
e
rdo
o
laege
isl_stre
a
m_read_map: acc
e
pt 'true' a
n
d 'fals
e
'
c
o
n
straints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoola
e
g
e
is
l
_str
e
a
m_read_map: allow extra
'
;' at
end of m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_r
e
ad_
m
a
p
:
allow negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n
Verdoolaege
i
s
l
_strea
m
_read_map: allow existential quantifi
c
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdoolaege
p
r
i
vate
l
y expo
r
t isl_
b
a
sic_map_ad
d
_div_co
n
straints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
r
doolaege
isl_morph_ba
s
ic_set
:
pres
e
rve rationality
o
f input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
Ver
d
oolaege
add isl_bas
i
c
_
set_is_
r
ational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_p
r
in
t
er
_
print
_
bas
i
c_map
:
explicitly mark ratio
n
al
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
isl
_
stream_read
_
map: read
rational m
a
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
i
s
l_basic_m
a
p
_insert
:
pre
s
erv
e
rationality of i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verd
o
olaege
a
dd isl_ba
s
ic_map
_
set
_
rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
isl_ba
s
ic_map_f
a
st_cmp: different
i
ate between rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaeg
e
isl_output
.
c
:
remo
v
e
some code duplic
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
isl_printer_print_basic_{s
e
t,m
a
p}: d
o
n't sta
r
t
new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdo
o
la
e
ge
isl_
s
tream_read_map: a
c
cept
'|'
a
t start of
constrai
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_st
r
eam: keep track of textual re
p
res
e
n
t
a
tion
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ve
r
d
o
ol
a
ege
i
s
l
_
input
.
c
: cl
e
an up read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
v
en Verdo
o
laege
is
l
_stream_rea
d
_map:
accept dis
j
unctions
w
i
thi
n
a
conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n Verdoolaeg
e
isl_con
v
ex_
h
ull
.
c: e
x
p
l
icitly mar
k
wrappi
n
g lp
p
robl
e
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n Verdool
a
ege
isl_tab_
m
in: micro-optimization: p
o
s
tpo
n
e
taking int
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Me
r
ge branch '
m
ai
n
t'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
a
ege
isl_tab_add_row
:
ad
d
f
u
rther
e
xplanat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
rd
o
olae
g
e
isl_ta
b
.
c
:
f
i
x typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_pip
.
c: correctly
de
t
ect n
o
n
-
negativity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
la
e
ge
ad
d
test
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoola
e
ge
test both c
o
ntext handl
i
ng mechanisms of
isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
isl
_
t
a
b_is_equ
a
lity: properly support
"
big parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl
_
tab_pip
.
c:
f
ix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
isl
_
affin
e
_hu
l
l
.
c
:
f
i
x typos i
n
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
isl_
u
nion_map_c
o
mpute
_
flow
:
return ac
c
e
sses with
no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rd
o
olaege
Merge
b
ran
c
h
'
m
aint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_union_map
.
c
: inplace: pass data p
o
int
e
r to isl
_
hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_dim_move: update para
m
eters of nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
l
a
ege
add isl_map_nat
_
universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erd
o
o
laege
cle
a
n up is
l
_set_f
r
om_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
merge isl_basic_set/
i
sl_
b
as
i
c_map and isl_set
/
isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
S
ven Verdool
a
ege
r
e
name "omega
"
transitive c
l
o
s
u
re to "box"
transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
export is
l
_
int_ob
j
_fr
e
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
isl_ver
t
ices
.
c: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
V
erdoolaeg
e
isl_unio
n
_templ
.
c: f
i
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
e
r
doolaege
isl_map
_
s
ubtract
.
c: n_no
n
_re
d
undant: propage is
l
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
isl_bernstein
.
c: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
ge
add
i
sl_union_pw_qpolynomial_mul_isl_
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verd
o
olaege
isl_stre
a
m
_
read_
o
bj
:
read
i
nt objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoola
e
ge
add int objects fo
r
u
se in
isc
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoolaege
isl_basic_map_remove_divs: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolaege
add i
s
l_basic_set_ge
t
_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en
V
erdoolaege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolaege
isl_union_map_s
a
mple: don't retur
n
NULL on empty inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
V
er
d
oolaege
isl_basic_map_set_tuple
_
name: fi
n
alize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
v
en Verdoolaege
isl_tr
a
nsitive_closure
.
c: more ano
n
ymize input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
dool
a
ege
isl_basic_set_factorizer
:
m
ake sure group
information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven
Verdoolaege
add isl_
u
nion_map_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ver
d
ool
a
ege
d
o
c: docum
e
n
t
product functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
er
d
oolaege
rename isl_bas
i
c_set_p
r
oduct
t
o
isl_basic_s
e
t
_
list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven V
e
rdoolaege
isl
_
set
_
convex_hull: optionally use
F
ou
r
i
er-M
o
tzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
i
s
l_basic_set
_
sample_
p
oint: exploit
f
actorization if any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
Ver
d
ool
a
ege
a
d
d isl_morph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
ch
a
nge pr
o
totype of isl
_
vec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
add isl_printer
_
print_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdo
o
laege
add isl_union_set_
a
pp
l
y_unio
n
_
p
w_qpolynomial_
f
old
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
export isl_u
n
io
n
_ma
p
_
f
r
o
m
_domai
n
and i
s
l_
u
nion_
m
ap
_
from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaeg
e
isl
_
ba
s
ic_map_intersect
_
d
omain: rep
l
ace
open-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
la
e
ge
isl_s
t
re
a
m_read_map: accept modulo e
x
pressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_map_
i
nsert: don't
simplify
t
he resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verd
o
ol
a
e
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
next