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
add isl_union_access_info_read_from_file
2017-06-12
S
v
en Verdoo
l
aeg
e
add isl_union_acces
s
_info
_
r
e
ad_from_file
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdo
o
lae
g
e
isl_un
i
on_access_info_from_sink: extrac
t
o
ut isl_unio
n
_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
doo
l
aege
is
l
_uni
o
n_access
_
in
f
o_from
_
s
i
nk: ext
r
ac
t
out isl
_
unio
n
_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdo
o
l
aege
isl_printe
r
_pr
i
nt_union_
a
ccess_info: do no
t
pri
n
t empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en
Ver
d
o
o
l
aege
isl_printer_pri
n
t_union_access_in
f
o: ext
r
act out
s
hared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
oolae
g
e
isl_printer_p
r
int_union_a
c
cess_i
n
f
o: extract out fiel
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
r
d
o
ol
a
ege
isl_flow
.
c: merge isl_union
_
a
c
cess_inf
o
_set_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
oolae
g
e
i
s
l_union_access_info
:
treat access re
l
ation
s
in
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_prin
t
er
_
prin
t
_union_flow: consistently print
full
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
oolaege
isl_schedule_{read,constraints}
.
c: extract out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaeg
e
isl_schedule_read
.
c:
extrac
t
_k
e
y: store k
e
y strings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoola
e
ge
M
e
rge
branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaege
properly add declar
a
tion of is
l
_mult
i
_un
i
on_
p
w_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 Verd
o
olaege
isl_map_is_disjoint: handle input with unal
i
gned
pa
r
a
meter
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
update
i
math for
fix
o
f
bug introd
u
ced in
p
revi
o
u
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
sch
e
d
u
ler
:
change order of
c
o
eff
i
cients in (I)LP prob
l
e
m
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdo
o
laege
isl_sche
d
uler
.
c: extract
o
ut
shared node_par
_
coef_o
f
fs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_schedul
e
r
.
c:
e
xtr
a
ct out sh
a
red nod
e
_cst_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
i
sl
_
s
c
heduler
.
c: ex
t
r
a
ct_var
_
coef: drop comment on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoola
e
ge
isl_scheduler
.
c: add_var
_
sum_constraint
:
drop
c
o
mm
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doola
e
ge
isl_sched_node: drop cmap
f
ield
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
dool
a
ege
isl_sche
d
ul
e
r
.
c: update_schedule: drop supp
o
rt for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
sc
h
e
d
uler: solve for
o
rigi
n
al
schedule c
o
efficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolae
g
e
igno
r
e comp
u
te
d
schedule
o
f timing test case
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdoolaege
isl_s
c
heduler
.
c: isl_sc
h
ed_node: normalize non-trivial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
a
dd isl_mat_le
x
nonneg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoola
e
ge
add isl_m
a
t_r
e
v
e
rse_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_mat
.
c:
e
x
t
ract ou
t
shared check_r
o
w
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_schedu
l
er
.
c: i
s
l_sched_n
o
de: on
l
y stor
e
ro
w
s tha
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
Ver
d
oola
e
ge
scheduler:
r
e
verse order of sc
h
edule co
e
f
f
icients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoola
e
ge
isl_scheduler
.
c: extr
a
ct ou
t
s
hared node_v
a
r_coef_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoola
e
ge
i
s
l
_dim_map_r
a
nge: allow
negative strides
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_scheduler
.
c
:
construc
t
_trivia
l
: construct r
e
gion
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_t
a
b_basic_set_non_trivial_le
x
min: take triviality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
i
s
l_tab_p
i
p
.
c
: region_is_t
r
ivial: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_t
a
b_basic_se
t
_
non_trivia
l
_
le
x
min:
e
x
t
r
act out fix
_
z
e
r
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
i
s
l_tab_pi
p
.
c:
extend
isl_trivial documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
do
o
la
e
ge
add isl_ve
c
_
is_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdool
a
ege
interf
a
ce: make language bindings de
p
end on
all relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
interface/Makefile
.
am: drop test ta
r
get
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-23
Sven V
e
r
doolaege
isl_convex_hu
l
l
.
c: modul
o
_affine_hull: fix potential
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
isl_tab_pi
p
.
c: fix typos in comm
e
nts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doo
l
aege
i
s
l_scheduler
.
c:
fix typo
in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Ve
r
dool
a
eg
e
isl_
f
l
ow
.
c: fix typos
i
n comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaeg
e
Merge bra
n
ch 'main
t
'
commit
|
commitdiff
|
tree
2017-05-16
Sve
n
Ve
r
do
o
l
a
ege
isl
_
sched
u
ler
.
c
:
add_in
t
er_validity_co
n
straints: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-08
Sven Verdoolaege
interface/python
.
cc: fix t
y
p
o
i
ntroduced
i
n pre
v
ious
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven
V
e
r
d
oolaeg
e
isl_tab_basic_set
_
non_trivial_lexmin: onl
y
add zeroi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven V
e
rd
o
o
l
aege
isl_t
a
b
_
basic_set_non_tr
i
vial_lexmin: reinitiali
z
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
v
en Verdool
a
ege
interface/isl
.
py
.
top: explicitly cast self
.
ptr of Cont
e
xt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven
V
e
rdoolaege
pyt
h
o
n
i
nterf
a
c
e: also prin
t
a
r
gument
t
y
pes
f
o
r
*_copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven V
e
rdool
a
ege
interface: generator::genera
t
o
r: ex
t
ract out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree