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
drop C++ bindings
2017-07-26
S
v
e
n Ver
d
oo
l
aege
isl_
f
low
.
c: compute_val_based
_
dependences: fix memory
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-24
Sve
n
Verdoolaege
i
sl_stream_read_map: fix handling
o
f
em
p
ty optio
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-10
Sven V
e
r
d
oolaege
fix
err
o
r
ha
n
dling of
isl_multi_*
_
drop_dims
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-30
Sven Verdoolaege
sche
d
uler: fix ha
n
dling of bounds on sched
u
le
c
o
ef
f
icients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoolaeg
e
i
nterface: update to refactoring of fronten
d
InputKind
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoo
l
aege
add isl_
u
n
i
on_
m
ap_intersect_range_factor_r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add map_inter
s
ect_range_f
a
ctor_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Ver
d
oolaege
i
sl_unio
n
_map
.
c
:
gen_bin_e
n
try: extract
out bin_try_
g
e
t
_matc
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laege
add isl_maybe
_
isl_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
i
sl_union_
m
ap
.
c
:
gen_bin_ent
r
y: improve er
r
o
r handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
doolaege
isl
_
u
n
ion_map
.
c: g
e
n_bin_o
p
: unify callbacks
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
l
ae
g
e
isl_union_access_info_c
o
mpute_flow
:
h
a
ndle coscheduled
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
l
a
ege
add isl_map_inter
s
e
c
t_domain_factor_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
d
oc: break up paragraph describing isl_access_info_compute_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Ver
d
ool
a
ege
add basic isl_unio
n
_access_i
n
fo_compute_f
l
ow test
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolaege
add isl_
f
low_c
m
p application
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
olaege
a
dd is
l
_union_ac
c
ess_info_read_from_f
i
l
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
d
oolaege
isl
_
un
i
on_ac
c
e
ss
_
i
n
f
o_fr
o
m
_
sink: e
x
t
rac
t
o
u
t i
s
l_union_ac
c
es
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoolaege
isl_union_access
_
i
nf
o
_from_s
i
nk: extract o
u
t isl_union_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
doolaege
isl_print
e
r_print_union_access
_
info:
d
o
no
t
pr
i
nt
em
p
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
r
d
o
olaege
isl_printer_print_union_access_info: extract out s
h
a
red
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_
p
rinter_print_union_access_i
n
f
o
: extract out fie
l
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
e
r
doola
e
ge
isl_flow
.
c: merge isl_union_access_
i
n
f
o_se
t
_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_union
_
ac
c
e
s
s_info: treat access r
e
lations in a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
e
r
dool
a
eg
e
isl_printer_print_
u
nion_f
l
ow: consistently print full
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
ege
isl_sc
h
edule_{r
e
ad,constraints}
.
c:
extract out
shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
lae
g
e
isl_schedule
_
r
ead
.
c: extract_key: s
t
o
re
k
e
y
strin
g
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdool
a
ege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2017-06-08
Sven Ver
d
oolaege
properly add declar
a
ti
o
n of i
s
l
_multi_union_pw_aff_ap
p
ly_pw
_
aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoo
l
aege
isl_map_is_disjoint: handl
e
i
n
put w
i
th unali
g
ned parameters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
update i
m
at
h
f
or fix of bug
introduc
e
d in previous
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
schedu
l
er:
c
h
ange
o
rder
o
f
coe
f
fici
e
nts
in (I)LP probl
e
m
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rdoolae
g
e
isl_scheduler
.
c: extr
a
ct
out s
h
ared node_par_coef_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
o
olaege
isl_scheduler
.
c:
e
xt
r
act
o
ut
s
ha
r
ed node_cst_c
o
ef_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
do
o
lae
g
e
isl_scheduler
.
c: extract_var_coef: dr
o
p comment
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
i
sl_scheduler
.
c:
a
dd_var_sum_constraint: drop com
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oola
e
ge
i
sl_sch
e
d_node: d
r
op cmap fiel
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Ve
r
d
oolaeg
e
isl_scheduler
.
c
:
update_
s
chedule: drop support for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
sch
e
duler: so
l
ve f
o
r ori
g
in
a
l
s
chedule coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
r
doolaege
igno
r
e
c
ompu
t
e
d
sched
u
le of
timing
test case
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ver
d
o
o
laege
i
sl_sch
e
duler
.
c:
isl_sched_node: normalize n
o
n-tri
v
i
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolae
g
e
add isl_ma
t
_
l
e
xn
o
nneg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdo
o
laege
add isl_mat_reve
r
s
e
_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verd
o
olaeg
e
isl_ma
t
.
c
: extra
c
t
out shared check_row
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_
s
cheduler
.
c: is
l
_s
c
hed_node: only stor
e
rows
t
hat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
oolaege
sch
e
duler:
r
ev
e
r
s
e
order of schedule coeff
i
cients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
is
l
_s
c
heduler
.
c: extra
c
t out sha
r
ed node_var_coef_po
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdo
o
laege
isl_di
m
_map_range: allow neg
a
tive
stride
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
i
s
l_scheduler
.
c: const
r
uct_tr
i
vial: co
n
struct regio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
isl_tab_bas
i
c_set_non_t
r
ivial_lexmin: take tr
i
vi
a
lity
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_tab_p
i
p
.
c:
region_is_trivial: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaeg
e
isl_tab_basic_s
e
t_n
o
n_
t
ri
v
ial_lexmin: extract
o
u
t
fix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_t
a
b_pip
.
c: extend isl_tr
i
vial d
o
cumen
t
a
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
add isl_vec_is_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
int
e
rfa
c
e: make
l
angu
a
ge bind
i
ngs
d
epend on al
l
relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
interface/Make
f
ile
.
am: drop
t
est targ
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-23
Sv
e
n
V
erdoolaege
i
s
l
_c
o
nvex_hull
.
c:
modulo_affine_hull: fix potential
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdo
o
laege
isl_tab_p
i
p
.
c: f
i
x typos in
c
o
m
ments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rd
o
olaege
isl_scheduler
.
c: fix typo
in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_flow
.
c: fi
x
typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en V
e
rdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-05-16
Sven Verdool
a
e
ge
isl_s
c
heduler
.
c
: add_inter_validity_constr
a
ints: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-08
S
v
en
V
e
rdoolaege
interf
a
ce/python
.
cc: fix typ
o
introduce
d
in pre
v
ious
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verdo
o
laege
isl_
t
ab_bas
i
c_
s
e
t
_
non_tri
v
ial_lexmi
n
:
o
n
ly add z
e
roi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verd
o
olaege
i
sl_tab_basic_set_non_triv
i
al_lex
m
in: reinit
i
alize
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ver
d
o
olaege
interf
a
ce/i
s
l
.
py
.
top: ex
p
li
c
it
l
y cast self
.
p
t
r
of Context
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven
V
erdo
o
l
a
ege
pyth
o
n i
n
terface: also pri
n
t argument types f
o
r *_copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sv
e
n Verdoolaege
i
n
terface: generator::gen
e
rator: extra
c
t out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree