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
Merge branch 'maint'
2017-11-16
S
ven Verdoola
e
g
e
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2017-11-16
S
ven V
e
rdoolaege
pytho
n
: specificall
y
han
d
le long arguments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ver
d
oola
e
ge
export isl_union_s
e
t
_p
r
eimage_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven
V
e
r
dool
a
ege
e
x
p
ort isl_union_map_eq_at_m
u
lti_unio
n
_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n Verdoolaege
expose isl_spac
e
_
f
latten_{do
m
ain,r
a
nge}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n V
e
rdo
o
l
a
ege
i
n
te
r
fac
e
/python
.
cc
:
f
i
x typo in co
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Verdo
o
laege
d
oc: fix typo
s
in is
l
_sched
u
le_node documentatio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sve
n
V
e
r
doolaeg
e
isl_s
c
heduler
.
c:
fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
i
s
l_schedule_t
r
e
e
.
c: f
i
x typo
i
n
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_schedule_
n
ode
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdo
o
laeg
e
isl_
u
nion_map
.
c: fix typo
s
in comm
e
nts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sve
n
Verdoolaege
i
s
l
_morp
h
.
c:
fix typo i
n
c
o
mment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
S
v
en Verdo
o
lae
g
e
isl_tab_pip
.
c: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoo
l
aeg
e
isl_mu
l
t
i
_
t
empl
.
c
: fix
typo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Ver
d
oolaege
isl_aff
.
c:
f
ix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Ver
d
oolae
g
e
isl_val
.
c: f
i
x t
y
po in com
m
ent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sven V
e
rdo
o
laege
isl_stream_eat: print e
r
ror m
e
ssage on EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
S
v
en Verdoolaege
isl_multi_
u
nion_pw
_
aff_zero: check that input i
s
not
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdoolae
g
e
dr
o
p
deprecated
i
sl_int interface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven V
e
rdoolaege
priv
a
tely ex
p
o
se is
l
_qpolynomial_fol
d
_scale
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoola
e
ge
p
r
ivat
e
ly expose isl_a
f
f_scale_down
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Ve
r
doolaege
is
l
_
t
est
.
c:
use isl_const
r
a
i
nt_s
e
t_constant
_
si
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl
_
test
.
c: use isl_constrai
n
t_set_coeffici
e
nt_si instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdo
o
la
e
ge
i
s
l_test
.
c: test_fi
x
ed_power
:
use isl_val inste
a
d o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
bound
.
c:
u
se
isl_va
l
instead of
isl_int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdoolaege
e
xpo
s
e isl_pw
_
qpolynomial_fold_fix_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdool
a
ege
dr
o
p isl_basic_map_foreach_lexopt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_map_dim_{min
,
ma
x
}:
use
i
sl_basic_map_le
x
opt_pw_m
u
l
ti_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
S
v
en Verdo
o
laege
i
sl_tab_basic_m
a
p_partial_lex
o
pt: split on param
e
tric
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_test
.
c: test_dim_max_1
:
extrac
t
o
ut check
_
single_p
i
ece
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaeg
e
isl_ta
b
_pip
.
c: extra
c
t ou
t
shared {row,col}_is_parameter_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_test
.
c:
t
e
st_list: do
no
t
c
onsider int
e
rnal failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_test
.
c
:
test_un_val: do
n
o
t
c
ons
i
der in
t
ernal failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
isl_tab_
b
a
s
ic_set_n
o
n_t
r
ivial_l
e
xmin: extract out
b
etter_nex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaeg
e
isl_tab_
b
as
i
c_s
e
t_constrai
n
e
d_le
x
min:
e
xtract
o
u
t pic
k
_
s
ide
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_ta
b
_ba
s
ic
_
set_no
n
_
trivial_lexmin: s
k
i
p
k
nown impossible
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
erdo
o
laege
isl_tab_p
i
p
.
c
: enter_level:
e
xtract
out finished
_
all_
c
ases
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_basic
_
set_non_
t
r
i
vial_l
e
x
m
in:
e
x
t
r
a
c
t
out enter_level
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: move
c
u
r
rent
b
es
t
solution into isl_lexmin
_
data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_ta
b
_
b
asic_s
e
t_no
n
_t
r
i
vial_le
x
mi
n
: extract out i
n
it_
l
exm
i
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
o
olaege
is
l
_tab_pip
.
c: first_t
r
ivial_region
:
pass
i
s
l
_lexmin
_
d
a
ta
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdo
o
l
aege
i
s
l
_
tab_pip
.
c
: mov
e
tableau into isl_
l
exmin_
d
ata
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdo
o
laege
i
sl_tab_basic_
s
et_non_t
r
ivial_lexmin:
e
xtr
a
ct out update_out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erd
o
o
laege
i
s
l_tab_pip
.
c: move isl
_
local_reg
i
on arra
y
into isl_lexmin_dat
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_
t
ab_basic_
s
et_non_tr
i
vial_lexmin: extract
o
ut clear_le
x
m
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_basic_set_non_trivial_lexmin
:
extract out init_loca
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en V
e
rdoolaege
isl
_
tab_
p
ip
.
c:
i
sl_
l
exmi
n
_data: store a copy of array
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rd
o
olaege
isl_tab_pip
.
c: mo
v
e up isl_lexmin_data declaration
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdo
o
laege
isl_tab_pi
p
.
c: r
e
n
ame isl_trivial_global t
o
isl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ver
d
o
ola
e
g
e
isl_ta
b
_pi
p
.
c: furth
e
r ext
e
nd documentation of isl_local_region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
g
e
isl_ta
b
_pip
.
c:
r
ename isl_trivial to isl_local_
r
e
g
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoo
l
a
e
ge
i
sl_
t
ab_bas
i
c
_
s
e
t_non_trivial_lexmin: postpone r
o
llback
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
add
i
sl_mat_has_linearly_independent
_
ro
w
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdool
a
eg
e
a
d
d isl_mat_ro
w
_basis_extension
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add isl_mat_
r
ow_basis
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven
V
erdool
a
ege
isl_mat_right_ker
n
el:
reuse
h
er
m
ite_fi
r
st_zero_co
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ve
n
Ver
d
oolaege
isl_mat_ri
g
ht_
k
ernel: add
memory management annot
a
ti
o
ns
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven
V
erdoolaege
isl_mat
.
c: hermit
e
_firs
t
_zer
o
_col
:
exploit column e
c
hel
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verd
o
olaege
i
s
l_mat_r
a
nk: extract out h
e
rmite_fi
r
st_zero_col
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
Verdoola
e
ge
m
ove isl_mat_rank to
isl_m
a
t
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
expose isl_mat_ran
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verd
o
olaege
add i
s
l_schedule_node_
e
very_descendan
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Ve
r
doolaeg
e
isl_s
c
hed
u
le_node_forea
c
h_desce
n
dant
_
to
p
_
down: upd
a
te
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdo
o
la
e
ge
add isl
_
uni
o
n
_map_
r
emov
e
_
map_if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n V
e
rdoolaege
isl_u
n
ion_map
.
c: i
s
l_un_
o
p
_
con
t
rol: allow user data
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aeg
e
add isl_uni
o
n_m
a
p_ever
y
_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
doc: isl_u
n
ion_*_foreach_*:
speci
f
y header to includ
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verd
o
olaege
isl
_
stream_read_sch
e
du
l
e_constrain
t
s: do not use default
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl
_
scheduler
.
c: graph_free: e
x
tra
c
t
out cl
e
ar_node
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_schedu
l
er
.
c: grap
h
_
f
ind_node: han
d
le
NULL inp
u
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoola
e
ge
isl_sch
e
d
uler
.
c
:
grap
h
_
a
lloc
:
add some docu
m
entation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoolaege
i
sl_schedule
r
.
c: graph_alloc: return isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_sch
e
d
u
ler
.
c:
e
x
t
ract_s
u
b_graph
:
return is
l
_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Ver
d
oo
l
aege
isl
_
schedu
l
er
.
c: update_edge: return i
s
l
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ve
r
do
o
laege
i
s
l_
s
c
hedule
r
.
c: copy_edge
s
: return isl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoo
l
a
ege
isl_scheduler
.
c: cop
y
_node
s
: return isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_s
c
heduler
.
c: reset_band: return isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_sched
u
ler
.
c: d
e
t
ect_cc
s
: return isl_sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
V
erdo
o
laege
isl_s
c
heduler
.
c:
i
sl_sched_nod
e
: clarif
y
th
a
t nvar
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Ver
d
ool
a
e
ge
isl_sched
u
ler
.
c:
a
dd reference to technical r
e
port
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
doolaege
i
s
l_printer_
p
rint_schedule_constra
i
nts: only
p
rin
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoolaege
add isl_union_map_plain_is_empty
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
V
er
d
oo
l
aege
doc: isl_*
_
i
s_empty: s
p
ecify h
e
ader to i
n
clude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_
p
rinter_prin
t
_map: try and print eq
u
ality constraint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_o
u
tput
.
c:
print_c
o
n
straint:
d
rop is
l
_
basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdo
o
laege
i
s
l_output
.
c
: pr
i
nt_ha
l
f_constraint:
d
rop
i
sl
_
basic
_
map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdool
a
ege
i
sl_output
.
c
:
print_aff
i
ne: drop isl_basic_m
a
p
a
rgument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_outp
u
t
.
c: pri
n
t
_
disj
u
nct: pass valid local variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
d
o
o
la
e
ge
isl_output
.
c: pr
i
nt_constraints: handle conj
u
nc
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_pri
n
t_*: print unsatisfia
b
l
e c
o
nstrain
t
s as "false
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
i
s
l_scheduler
.
c
:
non_
n
eg_lexmin:
fix double
fr
e
e o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-26
Sv
e
n Verdoolaege
isl_map_coal
e
sce
:
e
x
tend handli
n
g of in
e
q
u
ali
t
y adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sv
e
n Verdo
o
laege
isl_schedule_constr
a
ints_
c
ompute_schedule: only sort
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sven Verdoolaege
isl_scheduler
.
c: comput
e
_schedule_finis
h
_band: emphasize
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
S
ven Ver
d
oolaege
i
sl_sched
u
le_cons
t
rain
t
s_compu
t
e_schedu
l
e: do
not add
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
S
ven Ve
r
doola
e
ge
bou
n
d
.
c: include more spe
c
ific header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
s
c
hedule
.
c: directly i
n
cl
u
de r
e
quire
d
header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
rd
o
olaege
c
o
degen
.
c: directly in
c
lu
d
e required he
a
der
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_
s
chedule_node
.
c: dire
c
tly incl
u
de req
u
ir
e
d heade
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
S
ve
n
Verdoolaege
isl_sc
h
e
dule_c
o
nstraint
s
.
c: dire
c
tly i
n
c
lud
e
req
u
ired
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next