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_set_from_basic_set and isl_union_map_from_basic_map
2012-05-06
S
v
en Ve
r
doolaege
ad
d
isl_seq_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolaege
add is
l
_printer_get_fil
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n
Ver
d
oolaege
add isl_union
_
ma
p
_curry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
i
s
l_space
.
c: avoid
u
se of
"
0" as
p
ointe
r
val
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoolaege
a
d
d isl_map_or
d
er_
g
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add i
s
l_map_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolae
g
e
isl_args_parse: optionally
i
gnore -
-
h
elp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdoolaege
move generic part of isl_union_pw_
q
polynomial_mul to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_union_
p
w_
m
ult
i
_aff_flat
_
range_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n
V
e
rdoo
l
aege
isl_pw_
*
_on_shared_domain:
allow specification o
f
target
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdool
a
ege
a
d
d isl_u
n
ion_map
_
f
r
o
m_u
n
ion_pw_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
laege
i
s
l_aff
.
c:
f
ix t
y
p
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rd
o
olaege
add isl_uni
o
n_pw_multi_aff_from
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdo
o
la
e
ge
add isl
_
un
i
on_pw_mul
t
i
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdool
a
ege
isl
_
u
ni
o
n_pw_*: don't assume zero is the defa
u
l
t
v
alue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_p
w
_mu
l
ti_aff_fr
o
m
_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
export
i
sl_multi_a
f
f_set_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
do
o
l
a
ege
a
dd i
s
l_
m
ulti_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolaege
add i
s
l_
m
ap_from_m
u
lti_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolaege
isl_basic
_
set_
p
aramete
r
_compression:
u
se isl_
v
ec_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
er
d
ool
a
ege
isl_
f
lo
w
.
c: use p
u
blic i
s
l
_
ve
c
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolae
g
e
add is
l
_ve
c
_
se
t
_s
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
laege
add i
s
l_
v
ec_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
laege
add
public isl_vec interf
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoo
l
aege
add is
l
_seq_set_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoo
l
aege
is
l
_union
_
pw_*_free:
return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
split of
f
dec
l
aratio
n
s of
i
sl_un
i
on_map and isl_
u
nion
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Ri
y
ad
h
Baghdadi
isl_map_deltas: add m
e
m
ory manag
e
m
e
nt annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoola
e
ge
i
sl_access_
i
nfo:
c
hange interf
a
ce for specifying restri
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Ve
r
d
ool
a
ege
isl_map_co
a
lesce: only coalesce pairs of basic maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sve
n
Ver
d
ool
a
ege
i
s
l_
c
oale
s
ce
.
c: change inte
r
f
a
ce of {in,}eq_status_in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdo
o
laege
a
d
d
isl_map_sort_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven
V
erdoolae
g
e
add i
s
l_se
t
_coalesce
t
est case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sv
e
n Verdoolaege
add isl
_
basic_map_get_d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_merge_divs: h
a
ndle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
S
v
en Verdoola
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-04-18
Sven
V
erdo
o
laege
isl_loca
l
_
spa
c
e_alloc_
d
iv: fix err
o
r ha
n
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven
V
erdoolaege
isl_un
i
o
n_set_compute_schedule: i
g
no
r
e backw
a
rd prox
i
mity
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven
V
erdoolaege
isl_basic
_
m
ap_insert: preser
v
e emptine
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven V
e
rdoolaege
isl_basic_set_total_dim: handle N
U
L
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
v
en Verdoolaege
isl
_
term_get
_
div: support nested
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
isl_term
_
g
et_div:
normalize resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven V
e
rdoolaege
i
sl_access_
i
n
fo_co
m
pute_flo
w
:
sort access
e
s in textual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
S
v
en Verdo
o
lae
g
e
is
l
_flow
.
c
:
access_sort_cm
p
: us
e
isl_q
u
ickso
r
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven Ver
d
oolaege
i
sl_qsor
t
.
h
: fix
w
hitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
e
r
doolaege
isl_map_coa
l
esce: optiona
l
ly bound the coefficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven Ver
d
oolae
g
e
add
i
sl_seq_abs
_
max
commit
|
commitdiff
|
tree
2012-04-13
S
v
en
V
er
d
oo
l
aege
M
erge branch 'm
a
int'
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
is
l
_map
_
coalesce: don't
t
r
y
to
relax (im
p
licit)
e
q
ual
i
ties
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdool
a
ege
isl_tab_relax: pr
e
vent relaxation on
d
ead or re
d
undant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-11
Sven Verdoo
l
aege
isl_
b
a
s
i
c_map_union: plug memory
leak on error pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-11
Louis-Noel Pouchet
Fi
x
a typo
i
n isl
_
term_dup
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verd
o
olae
g
e
isl_str
e
am_re
a
d_map:
a
llo
w
"not" at start of gro
u
ped
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sv
e
n Verdo
o
laege
i
sl_tes
t
:
test_pars
e
_map_equal: return res
u
lt of test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoolaege
Merge
branc
h
'main
t
'
commit
|
commitdiff
|
tree
2012-04-07
S
ven Verdoolae
g
e
isl_pw_*_on_sh
a
red
_
d
o
m
ain: improve e
r
ro
r
handl
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ve
r
doolaege
l
i
n
k
i
n new -lclangEdit when av
a
ilable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-16
Sven Verdoolaeg
e
i
sl_*a
l
l
o
c macros: ret
u
r
n
ex
p
r
e
ssion of desir
e
d typ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
v
en Verdool
a
ege
add isl_ma
p
_
fix
e
d_po
w
er and isl
_
uni
o
n_map_f
i
xed_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
l
a
e
g
e
is
l
_token:
c
hange
t
ype o
f
"type
"
field
f
r
o
m enum i
s
l_token
_
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
M
e
rg
e
branch 'maint'
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aege
i
s
l
_
u
nion_m
a
p_is_
s
u
bset: properly
h
andle non-obviousl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
i
s
l
_pw_a
f
f_cond: c
h
a
n
g
e fi
r
st argument from
a
n
i
sl_set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Ve
r
d
oolaege
add
i
sl
_
set_{lower,uppe
r
}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolaeg
e
add is
l
_pw_a
f
f_n_p
i
ece
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
add
i
sl_set_indic
a
t
or_func
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven V
e
rdoolaege
isl_
b
asi
c
_m
a
p_affine_hull: consi
d
er points adj
a
cent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sv
e
n Verdoolaege
add isl_set_has_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven
V
e
r
doolaege
d
o
c
:
mi
n
or clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven
Verd
o
olaege
add i
s
l_space_has_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-25
S
ven Verdo
o
l
aege
configure
.
ac: remove spurious
","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Ver
d
oola
e
ge
doc: fi
x
t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
S
ven Verdoolaege
isl_basic_set
_
sample: perform ba
s
is reduction at
each
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolae
g
e
add i
s
l_basic_set_i
s
_subset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Ve
r
doolaege
expo
r
t isl_bas
i
c
_map_is_subset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
add i
s
l
_
basic
_
set_sample
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
S
v
en Verdoolaege
doc: do
c
ume
n
t *_sample functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-23
S
v
e
n Verdoo
l
a
e
ge
Merge
b
ra
n
ch
'
m
aint'
commit
|
commitdiff
|
tree
2012-02-23
Sv
e
n V
e
rdoolaege
isl_co
a
lesce
.
c
: wrap_in_facets: bail out if
a
ny of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-23
Sven
Verdoolaege
i
sl_test: test_
c
oal
e
s
ce_set:
f
ail if coalescing
f
ailed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-21
Sven
V
erdoolaege
export is
l
_map_plain_is
_
single_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-21
S
v
en Ve
r
doolae
g
e
isl_tab_basic_map_part
i
al
_
lexopt: properly normalize
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-20
Sven Verdoola
e
ge
a
dd i
s
l_map_complement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-19
Tobias
Grosser
schedule
r
: allow to
b
o
u
n
d the coeffi
c
ients in
the
calculate
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-19
Tob
i
as Gro
s
ser
isl_
t
a
b
_
basic_set_non_t
r
ivial_lexmin:
d
o
n
o
t add cuts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven
V
erdoolaege
isl_map
_
fix_si:
d
rop
basic map
s
that have becom
e
empty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven
V
erdoo
l
ae
g
e
isl_map
.
c: ex
t
ract out common
remo
v
e
_if_
e
mpty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdo
o
lae
g
e
isl_map_
c
oalesce
:
drop empty parts before
checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven Ve
r
doolaege
M
e
rg
e
branch
'
main
t
'
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdool
a
ege
isl_convex_hull
.
c: uset_c
o
nvex_hull_wrap_boun
d
ed: remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sve
n
Verdool
a
ege
isl
_
bas
i
c_map_r
e
align: pre
s
erve (most) flag
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven
V
er
d
o
o
laege
a
d
d
i
sl_prin
t
er_p
r
int_pw
_
aff test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
S
v
e
n
V
erd
o
o
laege
i
s
l
_basic_map_f
o
r
e
a
ch_lexopt
:
normali
z
e
i
sl
_
affs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ve
r
doo
l
aege
isl_pw_
*
_union_a
d
d: don't subt
r
act no
n
-overlapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ver
d
o
olaege
isl_printer_print_pw_af
f
: skip constra
i
nts implied
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdo
o
laege
add i
s
l_basic_se
t
_is_div_cons
t
raint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sve
n
Verdoolaege
Merge bran
c
h 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sve
n
Verdoolaege
isl_printer_
p
rint_
p
w
_af
f
: fix printing in
C
format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sve
n
Verdoolaege
isl_stream_r
e
ad_pw_aff: call isl_pw_
a
f
f_
u
nion_add inst
e
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven V
e
rdo
o
la
e
ge
isl_
v
e
rtices
.
c: compu
t
e_chambers: av
o
id access t
o
fre
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next