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_access_info_compute_flow: handle coscheduled must-sources
2017-06-12
Sven
V
er
d
oolaege
isl_u
n
ion_
a
cc
e
ss_info_compute_flow: handl
e
c
o
sch
e
duled
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verd
o
olaege
add isl_map_intersect_
d
omain
_
factor
_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolae
g
e
doc: brea
k
up paragraph describing isl_ac
c
ess_info_compute_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
a
d
d basi
c
isl_union_ac
c
ess_inf
o
_
c
ompute_flow tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
add i
s
l
_flow_cmp applicat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rd
o
ola
e
ge
add i
s
l_unio
n
_access_info_read_
f
r
om_file
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
ege
isl_
u
nion
_
acces
s
_
info_f
r
om_sink: extract out isl_union_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verd
o
o
l
aege
isl_union_ac
c
ess_info
_
fro
m
_s
i
nk:
e
xtra
c
t
o
u
t is
l
_
u
n
i
on_
a
cces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolaege
isl_printer_print
_
union_acc
e
s
s_info: d
o
n
ot
print empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
oola
e
ge
isl_printer_pri
n
t_uni
o
n
_access_info: extract out
sha
r
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolae
g
e
isl
_
printer_prin
t
_
u
nion_acce
s
s_
i
nfo:
extra
c
t out field
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
o
ola
e
ge
isl_flow
.
c: merge
i
sl_u
n
ion_access_info_set_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
isl_un
i
o
n
_
access_
i
n
fo: treat access relations in a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
V
e
rdoolaege
i
sl_pr
i
nte
r
_
p
r
i
nt
_
u
n
ion_flow: consisten
t
ly pr
i
n
t full
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoolaege
isl_sc
h
e
dule_{read
,
const
r
aint
s
}
.
c: extr
a
ct out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laege
isl_schedule_read
.
c:
extract_
k
ey: store key
stri
n
g
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoo
l
a
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaege
p
roperly add de
c
laration
of
isl_
m
ulti_union_pw_af
f
_apply_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoolaege
i
s
l
_
map_is_disjoint: handle inp
u
t w
i
th unaligned par
a
meters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoo
l
a
e
ge
updat
e
imath
f
or fix
o
f bug introduced in p
r
eviou
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
sc
h
eduler: change order of coefficien
t
s in (I)LP problems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_
s
cheduler
.
c: extract
o
ut shared
n
ode_
p
ar_coef_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedu
l
er
.
c
:
extract out s
h
ared
node_cst_c
o
ef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_schedule
r
.
c: extra
c
t
_
var_
c
oef: d
r
op comme
n
t
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl_scheduler
.
c:
add_va
r
_s
u
m_constra
i
nt: drop comment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sched_node: drop cmap f
i
eld
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_
s
ched
u
ler
.
c
:
updat
e
_sch
e
dule: d
r
op
supp
o
rt fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
schedu
l
er: solve f
o
r
orig
i
n
al schedule c
o
effi
c
ients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
eg
e
ignore computed sch
e
d
ule of timing test cas
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_scheduler
.
c: isl_sched_node: normalize non-trivial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
a
d
d isl_
m
a
t_le
x
non
n
eg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_mat_re
v
e
r
se_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolae
g
e
isl_mat
.
c: ext
r
act out shar
e
d che
c
k_row
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_s
c
heduler
.
c
:
isl_sched_node: only
s
tore ro
w
s that
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoo
l
aege
scheduler: reve
r
se ord
e
r
of schedule coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_sc
h
edule
r
.
c: extrac
t
o
u
t
shared node_var_coef_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_dim_map
_
range
:
allow ne
g
ative stride
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
is
l
_sc
h
e
d
ule
r
.
c:
c
onstru
c
t_
t
rivial: c
o
nstruct r
e
gion
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
e
ge
isl_t
a
b_b
a
sic_set_non_trivia
l
_l
e
xm
i
n: take triviality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
i
s
l_tab_pip
.
c: region_is_
t
r
ivi
a
l
: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdool
a
ege
i
s
l
_tab_basic_set_non_trivial_
l
exmin: extract out fix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdoolaege
i
s
l_tab_pip
.
c:
e
xtend is
l
_
tri
v
ial d
o
cumentat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
add is
l
_vec_is
_
zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
inter
f
ace: make l
a
nguage bindings depend on all relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ol
a
e
ge
interface/M
a
kefile
.
a
m: drop test target
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-23
Sven V
e
rdoolaege
isl_convex_hull
.
c
:
m
odulo_affine
_
hu
l
l: fix poten
t
ia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n V
e
rd
o
olaege
i
s
l_tab_pi
p
.
c: f
i
x typos in
co
m
m
e
nts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
i
s
l_scheduler
.
c: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoola
e
ge
isl_flow
.
c:
fix typo
s
in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erd
o
o
l
a
eg
e
M
e
rge
branch 'maint'
commit
|
commitdiff
|
tree
2017-05-16
Sven
Verdoolaege
isl_scheduler
.
c: add_inter
_
va
l
idi
t
y
_con
s
traints: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-08
Sven Verdoo
l
aege
i
nterface/pytho
n
.
cc: fix typo in
t
roduced in previous
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sv
e
n
Verdoola
e
ge
i
s
l
_
tab_basic_set_non_triv
i
al_lexmin: only add z
e
r
oing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
S
v
en Verdoolaege
isl_tab_bas
i
c_set_non_triv
i
al_lexmin: rei
n
it
i
ali
z
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
v
en Ve
r
doola
e
ge
interfac
e
/isl
.
py
.
top: explicitly cast s
e
l
f
.
ptr of Context
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sv
e
n Verdoolaege
python interface: also print argument ty
p
es
f
or
*
_
copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
ve
n
Ver
d
oolaeg
e
i
n
terfa
c
e: generator::generator: extract out s
h
are
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
