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_zip
2011-03-12
Sven V
e
rd
o
olaege
add i
s
l_un
i
on_map_z
i
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
V
e
rdoola
e
g
e
add priv
a
te isl_basic_map
_
swa
p
_va
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven
Verdoolaege
add
i
sl_union_map_deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n Verdo
o
laege
i
s
l_map_deltas: do
n
't copy flags from
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdoolaege
isl_
s
tream_r
e
ad_m
a
p
:
accept constant ex
p
res
s
i
ons of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
is
l
_stream: ac
c
e
pt "/\" and "
\
/" as
alte
r
nativ
e
s for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
i
s
l_stream: only quote newline using
'\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n
V
er
d
oolaege
is
l
_stream
:
mai
n
tain private un
g
et
c
buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
V
e
rd
o
olaege
is
l
_set_lifti
n
g: simp
l
ify and finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
ven Verdoolaeg
e
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
doc: drop long outdated note on tra
n
sitive cl
o
sures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoolaege
ad
d
isl_basic_set
_
get_d
i
m_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
erdoolaeg
e
isl_ma
p
_identity: take dimension
s
pec
i
fication of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
r
e
n
ame isl_dim_map to isl_dim_map_fr
o
m_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
v
e
n Verdoolaege
tra
n
sitive closure: project o
u
t para
m
e
t
ers when any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven
Verdoolaege
privately
exp
o
rt
i
sl_basi
c
_set_r
e
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
isl_set_lift: pres
e
rve structu
r
e
o
f space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Ver
d
oolaege
isl_pw_qpoly
n
omial
_
bound
:
hand
l
e combi
n
a
t
i
o
n of wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Ve
r
doo
l
ae
g
e
i
s
l
_
tab_pip
.
c
: fix
t
ypo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdool
a
e
g
e
isl
_
tab: check
f
or obviously empty ta
b
leaus a
f
ter discoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
e
rdoolaege
i
sl_basic_map_g
i
s
t
: prefer contraints without existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven V
e
rdoolaege
isl_basic_ma
p
_sort_constraints: chan
g
e co
m
p
ar
i
son routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven
Verdoolaege
isl_tab_ineq_type: classify mor
e
constraint
s
as
b
e
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdo
o
laege
isl_ma
p
_coalesce: be more rela
x
ed ab
o
u
t mult
i
ple equ
a
lities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Verdoo
l
a
e
ge
a
d
d
i
sl
_
basic_map_from_do
m
ain_and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en V
e
rd
o
olae
g
e
add
i
sl_
b
asic
_
set_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdo
o
laege
a
dd isl_basic_
s
et_flat_p
r
od
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoo
l
aege
export is
l
_ba
s
i
c_map
_
flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verd
o
olaege
add
isl_ba
s
ic_map_fro
m
_qpo
l
ynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolae
g
e
isl_
s
tream: support
\<
n
ewline> lin
e
continu
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verd
o
olaege
add isl_unio
n
_map
_
read
_
from_fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oolaege
is
l
_s
t
ream_
r
ead_map: accep
t
'true' and
'
false' co
n
straints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoola
e
ge
isl_s
t
ream_read_map: allow ex
t
r
a
';
'
a
t en
d
of ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
o
olaege
is
l
_
stream_
r
ead
_
ma
p
: allow
ne
g
a
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoolaeg
e
isl_s
t
ream_read
_
map: allow exist
e
nt
i
al
quant
i
fica
t
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
privately export is
l
_basic_m
a
p_ad
d
_div_const
r
aints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Ve
r
doolaege
is
l
_m
o
rph_basic_set: preserve rationa
l
ity of
i
n
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
Verd
o
olaege
add isl_bas
i
c_
s
et_
i
s
_
rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl
_
printer_p
r
int_basic_map: explicitly
mark ration
a
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
isl_stream_read_map: re
a
d
r
ational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_basic_map_insert: preser
v
e rationality
o
f inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
add isl
_
b
a
sic_map
_
set
_
ra
t
iona
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
d
o
o
la
e
g
e
isl_basic_map_fast_cmp:
d
ifferentiate betwee
n
rat
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
laege
isl_
o
utput
.
c: remo
v
e some code
d
u
plicati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
s
l_printer_pr
i
n
t_b
a
sic_{
s
et,ma
p
}
:
don't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven
V
erdoolaege
i
sl_stream_read_map: ac
c
ept '
|
'
a
t start
o
f constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ver
d
oolaege
isl_stream: ke
e
p track of text
u
al repres
e
ntation
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ve
r
d
oolaeg
e
isl_
i
nput
.
c: clean up
read_dis
j
un
c
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven
V
e
r
doolaege
isl_
s
tream_re
a
d_map: accept disjunct
i
ons w
i
thin a conjunc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
ven Verd
o
olaege
isl_co
n
vex_hull
.
c: explic
i
t
l
y mar
k
w
r
app
i
ng lp
p
r
o
blem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven
Verdoolaege
isl_tab
_
min: micro-optimizat
i
on: postpone
taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
o
olae
g
e
i
s
l_tab_add_
r
ow:
add f
u
rther explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl_tab
.
c:
fix typos in
c
omment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaeg
e
i
sl_tab_pip
.
c: correctly
detect non-negativity
of di
v
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
a
dd
test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
t
e
s
t
both c
o
n
text handl
i
ng mechanisms of isl_pi
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
V
erdoo
l
aege
isl
_
ta
b
_is_equality: p
r
operly
support "big parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_
t
ab_pip
.
c:
f
ix typo
i
n c
o
mmen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
l
ae
g
e
i
s
l
_aff
i
n
e
_hu
l
l
.
c: fix
t
ypos in comm
e
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_union_map_compute_f
l
ow:
ret
u
rn access
e
s with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n Ver
d
oola
e
ge
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
ola
e
g
e
isl_un
i
on_map
.
c: inpla
c
e: pa
s
s data pointer to isl_hash_ta
b
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaeg
e
isl_dim_move: up
d
ate parameter
s
of nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
e
n
V
erdool
a
ege
add isl_ma
p
_nat_u
n
iv
e
rse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean up is
l
_set
_
fr
o
m_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
merge isl_basic_set/
i
s
l_basic_m
a
p and isl_set/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sve
n
Verdoolaege
ren
a
m
e
"omega" tra
n
sitive closure to "bo
x
" tr
a
nsiti
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdool
a
ege
export isl_int_
o
b
j_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
isl_v
e
rtices
.
c: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_un
i
on_templ
.
c:
f
ix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdool
a
e
ge
isl_map_subtract
.
c: n_non
_
r
e
dun
d
ant: propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
i
s
l_bernstein
.
c:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
add i
s
l_unio
n
_pw_qpolynomial_mul_isl_
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Ver
d
oolaege
i
s
l
_
s
trea
m
_read_obj: read int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aeg
e
add int objects for
use in
i
sc
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
olaege
isl_bas
i
c
_map_
r
emove_divs: fina
l
iz
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdool
a
ege
a
d
d
isl_basic_set_
g
e
t
_tuple_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Verdoo
l
aege
Merg
e
bran
c
h '
m
aint'
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Ver
d
oo
l
aege
isl_un
i
on_map_s
a
mple: don't return
N
U
L
L on empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
v
en Ver
d
o
o
laege
isl_
b
asic_
m
ap_set_
t
uple_na
m
e: fi
n
alize re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Verdoolaeg
e
i
sl_t
r
a
n
siti
v
e
_closure
.
c: more
anony
m
ize
input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verd
o
o
l
a
ege
isl
_
basic_se
t
_factorizer: make sure
group i
n
formation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdo
o
la
e
ge
a
d
d
isl
_
union_map_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ve
r
do
o
laege
doc: documen
t
p
ro
d
uct func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
e
rdoolaeg
e
renam
e
isl_basic_set_product
t
o isl
_
basic_s
e
t_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sve
n
Verdoolaege
isl_set_conv
e
x_hull:
optionally use Fo
u
r
i
e
r
-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_
b
asic_set_sampl
e
_
point
:
exploit factorizatio
n
i
f any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
r
d
oolaege
add isl_morph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
laege
change
p
rototype of isl_vec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
V
erdool
a
ege
a
d
d is
l
_prin
t
e
r_print_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
add
i
sl_union_set
_
appl
y
_union_pw_qpo
l
ynomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
exp
o
rt isl_union_m
a
p_from_do
m
ain
and isl_union_map_f
r
om
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en V
e
rdool
a
ege
i
sl_basic_map_in
t
ersect_domain: repl
a
ce open-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
sl_stream_read_map: acce
p
t
m
o
d
ulo expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
isl_bas
i
c
_ma
p
_
i
nsert: don't sim
p
lify the result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoola
e
g
e
Merge bran
c
h 'mai
n
t'
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaeg
e
i
sl_basic_map_from_constraint_
m
atrices: clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
i
sl_token_free: fre
e
s
t
ring repre
s
entati
o
n of keyword
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next