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
isl_stream_read_map: force result to be a map
2012-05-06
S
v
en Verdoolaege
add isl_prin
t
er_get_o
u
t
put_format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoo
l
aege
ad
d
isl_local_
s
pace_has_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
add i
s
l
_constraint_get
_
l
o
c
a
l_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoolaege
add
isl_constraint_is_{lowe
r
,uppe
r
}
_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoola
e
ge
ad
d
isl_basic_
s
et_n_const
r
aint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Ve
r
doolaege
doc: d
o
c
u
ment isl_basic_
s
et_
f
oreach_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdool
a
e
ge
add is
l
_set_has_t
u
ple
_
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
add isl_spac
e
_ha
s
_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n
V
erdoolaege
isl_aff_pr
i
vate
.
h: add missing in
c
lu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n
Verdoolaege
add isl_seq_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add
isl_p
r
in
t
er
_
get_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_union_map_curry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
is
l
_space
.
c:
a
void us
e
o
f
"
0
" a
s
p
ointer
value
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoolaege
add isl_map_order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
laege
a
d
d isl_map_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
isl_a
r
gs_par
s
e: opt
i
o
na
l
l
y ignore --help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
mo
v
e generic part o
f
i
s
l
_
u
ni
o
n_pw
_
qp
o
lynomial_mul to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdo
o
laege
add isl_un
i
on_p
w
_multi_af
f
_f
l
at
_
rang
e
_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Ve
r
doolaege
isl_pw_*_on_shared_
d
omain: allow specification of target
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdo
o
laege
add isl_union_map_fr
o
m_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_aff
.
c:
fi
x
typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
ad
d
isl_unio
n
_pw_multi_aff_
f
r
om_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Ver
d
oolaege
add isl_
u
nion_pw_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdoola
e
ge
isl_
u
ni
o
n_p
w
_*
:
d
on't
assume zero
is the
d
efault value
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
d
o
o
l
a
ege
add
isl_pw_mul
t
i
_
aff_from_multi
_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolae
g
e
expo
r
t isl_mu
l
ti_aff_set_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdoolaege
a
dd is
l
_multi_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add is
l
_map_fro
m
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_basic_set_paramet
e
r_c
o
m
pres
s
ion: use isl_
v
ec_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Ver
d
oolaege
isl
_
flow
.
c: use public
i
s
l
_
v
e
c interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
oolaege
add isl_ve
c
_set_
s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
add
i
sl_vec_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
a
d
d pu
b
lic isl_vec in
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoola
e
ge
add
i
sl_seq
_
set_
s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoola
e
g
e
i
s
l_union_pw_*_free:
retu
r
n NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en
V
erdoolaege
s
p
lit off declarations
o
f isl
_
union_map
a
nd isl_union
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Riy
a
dh B
a
gh
d
ad
i
i
sl_map_deltas: add me
m
or
y
management an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl
_
a
ccess_in
f
o: c
h
ange interface for specify
i
n
g
r
e
strictions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdo
o
laeg
e
isl_map_coalesce: onl
y
co
a
lesc
e
pairs of basic ma
p
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdool
a
ege
i
sl_coales
c
e
.
c: change in
t
erface of {in,}eq
_
st
a
tus_i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven
Ver
d
o
o
laeg
e
a
dd isl_map_sort_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
ven V
e
rdoolaege
add isl_set
_
co
a
lesce
test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verd
o
olaege
add isl_b
a
s
ic_m
a
p_g
e
t_di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sve
n
V
erdoolaege
isl
_
m
erge_
d
ivs: h
a
ndle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven V
e
rdoolaege
M
e
rge branch 'm
a
int'
commit
|
commitdiff
|
tree
2012-04-18
S
v
e
n Verdoolaege
is
l
_loca
l
_sp
a
ce_alloc
_
div: fix error
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven V
e
r
d
oolaege
isl_u
n
ion_set_com
p
u
te_schedule: ignore ba
c
kward proxim
i
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdo
o
laege
isl_basic
_
map_insert: preserve
e
mp
t
ine
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
isl_basic_set_total_
d
im: handle NULL
inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Ve
r
doo
l
aege
i
s
l_term_
g
et_
d
iv
:
support nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdo
o
la
e
ge
isl
_
term_get_div: normalize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Ve
r
d
o
olae
g
e
i
s
l_access_
i
nfo_compute_fl
o
w
:
s
ort accesses
in textual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
isl
_
flow
.
c: access_sort_cmp: use isl_quic
k
sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven
Verdool
a
ege
isl_qsort
.
h: f
i
x w
h
itesp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sv
e
n Verdoolaege
is
l
_map_coalesce: o
p
t
i
onally bou
n
d the coefficient
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
v
en Verdoolaeg
e
add isl_seq_abs_max
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
Merg
e
b
ra
n
ch 'maint'
commit
|
commitdiff
|
tree
2012-04-13
Sven
Verdoolaeg
e
isl
_
ma
p
_coalesce: don't try to relax (
i
mplicit)
e
q
ualities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sv
e
n
Verdoolaege
isl_tab_relax: prevent
r
e
laxation
on dead
or redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Sven V
e
rdoolaege
isl_basi
c
_m
a
p_union: plug memory
l
eak on error
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Louis-Noel Pouc
h
e
t
Fix a typo in i
s
l_term_dup
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
S
ven
V
erdoo
l
aege
i
s
l_stream_read_map: allow "not" at
s
tart
of g
r
ouped
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoolaege
isl
_
test: test_parse_map_eq
u
al: return
re
s
ult
of test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoola
e
ge
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2012-04-07
Sven V
e
rdoolaege
isl_pw_*_on_shar
e
d
_
domain: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ve
r
doolaege
link in new
-lcl
a
n
g
E
d
i
t when available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-16
S
v
e
n
Verdoolaege
isl_*a
l
loc macro
s
:
re
t
urn ex
p
r
e
ssio
n
of desired type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
add isl_
m
ap_
f
ixed_power an
d
isl_union_map_fixed_p
o
wer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdool
a
ege
is
l
_t
o
ken: change ty
p
e of
"
type" field from enum isl_token_t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdoolaeg
e
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2012-03-06
S
v
en V
e
rd
o
ol
a
ege
i
s
l_unio
n
_map_is_s
u
bset: prop
e
rly handle n
o
n-o
b
viously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
d
o
olaege
isl_pw_aff_cond: change
fir
s
t ar
g
ument f
r
om an isl_set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
add
i
sl_set_{lower,upper}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
add isl_pw_aff_n_pi
e
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdool
a
ege
a
d
d is
l
_s
e
t
_
ind
i
c
at
o
r_function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
v
en Ve
r
d
o
olaege
isl
_
bas
i
c_map_
a
ffine_hull
:
consider po
i
n
ts ad
j
ace
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven
V
erdoolaege
add isl_set_ha
s
_
d
im_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Ve
r
doolaeg
e
d
o
c: minor
c
lean-
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
add isl_
s
pa
c
e_has_dim_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-25
Sven Verdoolaege
c
onfigur
e
.
ac:
rem
o
ve spurious ","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sv
e
n Verdoolaege
doc: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Ve
r
doolaege
isl_basic
_
set_sample: perform ba
s
is
r
eductio
n
at each
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sv
e
n Verdoolaeg
e
add isl_b
a
s
i
c_set_is_
s
ubset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven
Ver
d
oolaege
expo
r
t isl_ba
s
ic_ma
p
_is_subset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven
V
erdool
a
ege
add isl_basi
c
_
s
et_s
a
mple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoo
l
a
ege
doc: d
o
cu
m
ent
*_sample
f
unction
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven
V
e
rdoolaege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdool
a
ege
isl_coalesce
.
c
:
wrap_
i
n_facets: bail
o
u
t i
f
a
n
y of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdool
a
ege
isl_t
e
st: t
e
st_coalesce_set: fail if coalescing failed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven
V
erdoolaege
export isl_
m
ap_plain_is_single
_
valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven Verdo
o
laege
i
sl_tab_basic_m
a
p_parti
a
l_lexop
t
: p
r
oper
l
y normalize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-20
S
ven Verdoolaege
ad
d
isl
_
m
a
p_complement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Gr
o
sser
sc
h
ed
u
le
r
: allow to
b
o
u
n
d t
h
e
c
o
ef
f
i
cients in the cal
c
ulated
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-19
Tobia
s
G
r
o
s
s
er
i
s
l_tab_basic_set_non_trivial_lexmin: do not
a
d
d cuts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verd
o
olaege
is
l
_map_fix_
s
i
:
d
r
o
p
b
asic maps that have
become empty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaeg
e
is
l
_
map
.
c:
e
xtract out common remove_if_em
p
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven V
e
rdoola
e
ge
isl_map_coalesce: drop e
m
pty
parts be
f
ore
c
h
ecking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Ve
r
dool
a
ege
Merge bra
n
ch
'
mai
n
t'
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdool
a
ege
isl_convex_
h
u
l
l
.
c: uset_c
o
nve
x
_hul
l
_wrap_bounded: remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_
b
asic_m
a
p_realign: pr
e
serve (m
o
st)
f
l
ags
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next