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
scheduler: fix handling of bounds on schedule coefficients
2017-06-30
Sven Ver
d
oolaeg
e
s
c
heduler: fix
h
andl
i
n
g
o
f
b
ou
n
ds
o
n schedule coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Ver
d
oolae
g
e
int
e
rface: update to refactoring
o
f fron
t
end Inpu
t
Kin
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laege
add isl_unio
n
_
m
ap_intersect_range_fact
o
r
_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdool
a
ege
add map_intersect_ran
g
e_facto
r
_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
doo
l
a
e
ge
is
l
_union_map
.
c: gen_bi
n
_entry: extract o
u
t
bin_
t
ry_ge
t
_m
a
tch
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdoolaege
add isl_maybe_i
s
l_ma
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoola
e
ge
is
l
_unio
n
_
map
.
c: gen_bin_entry: impro
v
e error handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
V
e
rdool
a
ege
i
sl_union_map
.
c: gen_bin_op: uni
f
y callbacks
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolae
g
e
isl_union_access_info
_
compute_flow
:
ha
n
d
l
e coschedule
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rd
o
olaege
add isl_map_intersect_do
m
ain_factor_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n V
e
rdoolae
g
e
do
c
:
b
reak up paragraph de
s
c
ribing isl
_
a
ccess_info_
c
omp
u
t
e
_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n
Verdoolaege
ad
d
basic
isl_
u
ni
o
n_ac
c
ess_info_
c
ompute_flow tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add
i
s
l
_flow_cmp application
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n
Verdoola
e
ge
add isl
_
union
_
acces
s
_info_
r
ead_from_file
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laeg
e
isl
_
union_access_inf
o
_from_sink: extra
c
t out is
l
_union_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laege
isl_union_acc
e
ss_info_fr
o
m_sink
:
ex
t
ract out isl_union_acc
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
e
n Verdoolae
g
e
isl
_
p
r
inter_
p
rint_union_
a
ccess_info: do
n
ot print
e
m
pty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolaege
isl_printer_
p
r
i
n
t_unio
n
_acce
s
s_info:
e
x
t
ract o
u
t
sha
r
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laege
isl_printer_
p
r
int_union_access_i
n
fo:
extract out fiel
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
i
sl
_
flow
.
c:
merg
e
i
sl_union
_
access_info
_
set_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl
_
union
_
acce
s
s_info: treat
access rela
t
ions i
n
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoolaege
isl
_
pr
i
nter_
p
rin
t
_union_flow:
c
onsistently print f
u
ll
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolaeg
e
isl_sch
e
d
u
le
_
{
r
ea
d
,constrai
n
ts}
.
c: extract out shar
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven
V
erdoolaege
isl_
s
che
d
ule_r
e
ad
.
c: extract_
k
ey: store key
s
t
rin
g
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolae
g
e
Merge bra
n
ch 'mai
n
t'
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdool
a
ege
p
r
operl
y
a
dd dec
l
a
r
ati
o
n of isl_mul
t
i_u
n
ion_pw_aff_
a
p
p
ly_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n
Verdoolaege
isl_map_is_disjoint: handle input with u
n
aligned parameters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
upda
t
e imath fo
r
fix of
b
ug i
n
troduce
d
in pre
v
ious
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
s
cheduler:
change ord
e
r of coef
f
i
c
ients in (I)LP prob
l
ems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
i
s
l_scheduler
.
c: extract out shared node_par_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_scheduler
.
c: extrac
t
out shared node_
c
st_co
e
f_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ve
r
doolaege
isl_scheduler
.
c:
e
xtract_var_c
o
e
f: dr
o
p comment on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_scheduler
.
c: a
d
d_var_sum_co
n
straint:
d
rop comme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ve
r
doolae
g
e
isl_sc
h
e
d
_node: drop cmap fie
l
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
V
erdoolaege
isl_
s
cheduler
.
c:
update_s
c
hedu
l
e: drop suppor
t
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
scheduler
:
solve for original schedule coefficien
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
ignore comput
e
d schedule of timing test case
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Verdoolaege
isl_scheduler
.
c
: is
l
_s
c
hed_nod
e
: normalize non-
t
ri
v
ial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aeg
e
add isl_ma
t
_
l
exnonneg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laeg
e
add isl_mat_
r
ev
e
rse_gaus
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
sl_mat
.
c: extract
o
ut shared check_row
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sch
e
duler
.
c:
isl_sc
h
ed_node
:
only
store rows that
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
scheduler: rev
e
rse
o
r
d
e
r
of s
c
hedule coef
f
icie
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdoolaege
i
sl
_
scheduler
.
c: extract out share
d
n
o
de_var_co
e
f
_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl
_
dim_map_ra
n
ge: al
l
ow nega
t
i
v
e stri
d
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: construct
_
trivial: constru
c
t
region
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_
t
ab
_
basic
_
se
t
_
non_tri
v
ial_
l
exmin: take triviality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
r
dool
a
ege
isl_ta
b
_p
i
p
.
c:
r
eg
i
on_i
s
_trivial: return
isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_tab_basic_set_non
_
trivial_l
e
xmin:
extract out fi
x
_ze
r
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl
_
t
ab_pip
.
c: ex
t
end isl
_
trivia
l
do
c
u
mentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
V
e
r
do
o
laege
add isl_vec_is_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoo
l
a
e
ge
interfa
c
e: m
a
ke language bindings
d
epend on
a
l
l
relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdoo
l
aege
int
e
rface/Makefile
.
a
m
:
d
rop
t
e
st target
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-23
Sven Verdoolaege
isl_c
o
nvex_h
u
ll
.
c:
modulo_affine_hu
l
l: fix potent
i
al
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oola
e
ge
isl_tab_pip
.
c: fix
t
ypos in
c
omments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verd
o
olaege
isl_scheduler
.
c:
fix ty
p
o in
comme
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
i
s
l_f
l
ow
.
c
:
f
ix typos
i
n comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2017-05-16
S
ven Verdoolaege
is
l
_
s
chedule
r
.
c
:
add_inter
_
validity_constra
i
n
t
s
: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-08
Sven V
e
rd
o
olaege
interface
/
p
y
thon
.
c
c:
fix typo intro
d
uc
e
d in previou
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
S
v
en Verdoola
e
ge
i
s
l_tab_basic_set_non_tr
i
vial_le
x
min: only ad
d
zeroing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verdool
a
ege
isl_tab_
b
asic_set
_
n
o
n
_trivial_
l
ex
m
in: reinitia
l
ize
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ve
r
doolaege
interface/isl
.
py
.
t
op
:
e
x
plicitl
y
cast
s
elf
.
p
t
r
o
f
C
ontext
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sv
e
n Ve
r
doolaege
p
ython interface: also print argument
t
ypes for *
_
c
o
p
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
v
en
Verdo
o
laege
interfac
e
: gene
r
ator::generator: extract
out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree