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_union_map_empty: rename "dim" variable to "space"
2017-08-08
S
v
e
n Verdoolaege
isl_union_map_em
p
ty: rename "dim" va
r
iable to
"
spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-08
Sven V
e
rdoolaege
is
l
_union_se
t
_empty: rena
m
e "
d
im" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-30
Sven Ve
r
do
o
l
a
ege
isl_
s
cheduler
.
c: graph_
f
ind_compressed_node: l
o
ok
u
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-30
Sven Ver
d
o
olaege
isl_schedul
e
r
.
c: graph_find_compressed_no
d
e:
e
x
tract
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-30
Sven Verdoo
l
aege
isl_schedu
l
e
r
.
c: i
s
l_sched_gr
a
ph
:
k
e
e
p track of
original
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-30
S
v
en Verdoo
l
aege
add is
l
_sch
e
dule_cmp ap
p
lication
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-30
S
ve
n
Ver
d
oolaege
isl_sched
u
l
e
: return EXIT_FAILURE on f
a
i
l
ure
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-26
S
ven Verd
o
olaege
isl_flow
.
c: inte
r
me
d
i
a
te
_
sources: r
e
tu
r
n isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-26
Sve
n
Verdoo
l
aege
is
l
_flo
w
.
c: compu
t
e_val_based_depen
d
ences: make error
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-26
Sven Verdoolaege
isl_fl
o
w
.
c:
acce
s
s
_sort_cmp: drop
spurio
u
s empty
l
i
n
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-26
Sven Verdool
a
ege
Merge branch 'ma
i
n
t'
commit
|
commitdiff
|
tree
2017-07-26
Sven Ve
r
dool
a
ege
isl_f
l
ow
.
c: compute_val_based_dependences: fix memory
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-24
Sven Ve
r
do
o
laege
isl
_
st
r
eam_read_map: fix h
a
ndling
of empty optional
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-10
Sven V
e
rdoolae
g
e
fix e
r
ror ha
n
dling of isl_multi_
*
_drop_dims
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-30
S
v
e
n
Verdoolaege
s
c
heduler: fix han
d
ling of
bound
s
on
s
c
hedu
l
e
coefficien
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven
Verdoolaege
i
nter
f
ace: upd
a
te to refact
o
r
ing of fr
o
ntend
I
nputKin
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaeg
e
add isl_unio
n
_map_
i
ntersect_ra
n
ge_fact
o
r_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
e
r
doola
e
ge
add map_interse
c
t
_
range_fac
t
or_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolae
g
e
isl_uni
o
n_map
.
c
:
g
e
n_bin_entry:
e
x
t
ract
o
ut bin
_
try_get_match
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
olaege
a
d
d isl_m
a
y
b
e
_isl_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdoolaege
is
l
_union
_
map
.
c: ge
n
_bin_ent
r
y: improve error handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoola
e
ge
isl_union_ma
p
.
c:
g
e
n
_b
i
n_op:
u
nify callbacks
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_union_access
_
info_compute
_
flow: ha
n
dle cos
c
heduled
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
ege
add isl_map_intersec
t
_domain_factor_
r
a
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
V
e
rdoola
e
ge
doc:
b
re
a
k up paragraph describing is
l
_
access_info_compute_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
ad
d
basic isl_union_acces
s
_
info_compute_flow
t
ests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add isl_flow_cmp applicatio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aege
add isl_
u
nion_access_info_read_from_f
i
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_union_acces
s
_inf
o
_from_sink: ext
r
act out isl
_
union_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
er
d
o
ola
e
ge
isl_uni
o
n_ac
c
ess_inf
o
_fr
o
m
_
sink: extract o
u
t isl_union_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
olaeg
e
isl_printer_print_union_access_info: do not p
r
int emp
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
i
sl_
p
r
i
nter_print_union_acc
e
s
s_i
n
f
o
: extract ou
t
sh
a
red
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoolaege
isl_printer_print_union_a
c
cess_info: extr
a
ct out field
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolae
g
e
i
sl_flow
.
c: merge
i
sl_union_
a
c
c
ess_info_
s
et_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
ege
i
s
l
_union_access
_
i
n
fo: t
r
eat
a
ccess re
l
atio
n
s in a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
olaege
isl_printe
r
_
print
_
union_fl
o
w:
consi
s
t
e
n
t
l
y print full
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laege
isl_schedule_{rea
d
,const
r
a
in
t
s}
.
c: e
x
tract out share
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaeg
e
isl_sch
e
dul
e
_r
e
ad
.
c: extract_
k
ey: store ke
y
strings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaege
pr
o
per
l
y add declarati
o
n of isl_mul
t
i_union_pw_af
f
_apply_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Ve
r
doolaege
is
l
_
m
a
p_is
_
disjoint: hand
l
e input
w
i
th una
l
igne
d
parameters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
update im
a
th
f
or f
i
x of bug introduced in previous
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
sc
h
eduler:
c
hange order o
f
coefficients in
(I)LP problem
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ve
r
doolaege
isl_schedul
e
r
.
c
: extract out
shared
n
ode_pa
r
_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ol
a
ege
isl_scheduler
.
c: ex
t
ract out share
d
node_cst_c
o
ef_off
s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_sch
e
d
u
ler
.
c
: ext
r
act_var_coef
:
dr
o
p comment on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
isl_sc
h
edu
l
er
.
c: add_
v
ar_sum
_
constraint: drop comment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdoolaege
i
s
l_sched_
n
ode: drop cma
p
f
i
e
ld
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ve
r
doolae
g
e
isl_scheduler
.
c
: update
_
sc
h
edule: d
r
o
p supp
o
rt f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
er
d
oolaege
scheduler: so
l
ve f
o
r original sche
d
u
l
e coef
f
icients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
ignore comput
e
d s
c
hedule of timing test c
a
se
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
i
sl_sched
u
ler
.
c: i
s
l_sched_n
o
de: normalize non
-
trivial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdool
a
ege
add isl_mat_lex
n
onneg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ve
r
d
o
olaege
add isl_ma
t
_reverse_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
o
o
laege
isl_ma
t
.
c: extract
o
ut shared c
h
eck_r
o
w
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
sl_schedu
l
er
.
c: isl_s
c
he
d
_node: only
sto
r
e rows that
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
dool
a
eg
e
scheduler: reverse order of sch
e
dul
e
coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oo
l
ae
g
e
isl_s
c
hedu
l
er
.
c:
e
xtract o
u
t shared node_v
a
r_
c
oef_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
e
g
e
isl
_
dim_m
a
p_range: al
l
ow n
e
g
a
t
i
ve strid
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_schedul
e
r
.
c: construc
t
_
t
rivial:
c
onstruct region
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl
_
t
ab_basic_set_non_trivial
_
lexm
i
n: take
t
riv
i
ality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_ta
b
_pip
.
c: region_is_trivial: re
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_tab_basic_s
e
t_n
o
n_tr
i
vial_lexmin: extract out fix_zer
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
V
erdoo
l
aege
isl_tab_
p
ip
.
c: extend isl_trivia
l
documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdoolae
g
e
add
i
sl_
v
ec_is_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
interface: make lan
g
uage bindings depen
d
on all relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
ool
a
ege
interface/M
a
kefil
e
.
am: drop test tar
g
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-23
Sven V
e
r
do
o
laege
isl_convex
_
hull
.
c: m
o
dulo_affine_h
u
ll: fix
pot
e
ntial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_tab_
p
ip
.
c:
fix
t
y
pos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
lae
g
e
isl_
s
cheduler
.
c:
f
ix typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n Verd
o
olaeg
e
isl_
f
low
.
c
:
fix
t
ypo
s
in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
Merge br
a
n
c
h 'm
a
int'
commit
|
commitdiff
|
tree
2017-05-16
Sven Verdoo
l
a
e
g
e
isl_schedu
l
er
.
c: add_
i
nter_v
a
lidi
t
y_const
r
aint
s
: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-08
Sven Ver
d
ool
a
ege
int
e
rface/python
.
cc
:
fix ty
p
o in
t
r
o
duced in pr
e
vio
u
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven
V
erdoo
l
aege
isl_
t
a
b_basic_
s
et_non
_
tri
v
ial_lex
m
in
:
only add z
e
r
oing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven
V
erdoolaege
isl
_
t
a
b
_
basic_
s
et
_
non_trivial_l
e
xmin: reinitialize
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdo
o
laeg
e
interface/isl
.
py
.
top: explicitly cast
self
.
p
tr of Co
n
text
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verd
o
o
l
ae
g
e
python interface: also print
a
rgument
t
ypes for *_copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
in
t
erface:
ge
n
erator::generat
o
r:
e
xtr
a
c
t ou
t
shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree