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 tests for Python interface
2017-11-17
Sven V
e
rdoolae
g
e
ad
d
t
ests for
P
ython in
t
erface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
S
ve
n
V
erdool
a
eg
e
interface/isl_test_cp
p
-noexcept
i
o
ns
.
cc: ext
e
nd test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
S
v
en Verdo
o
laege
Merge bran
c
h
'ma
i
nt'
commit
|
commitdiff
|
tree
2017-11-16
Sven Verd
o
olaege
python: specifi
c
ally handle lon
g
argume
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
v
e
n Ve
r
doolaege
e
x
port isl_union_set_preimage_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
v
en Verdoolaege
export is
l
_union
_
map_eq_at_multi_union_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven
Verdoolaege
expose isl_space_fla
t
ten_{
d
o
m
ai
n
,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ver
d
oolae
g
e
interface
/
pyth
o
n
.
cc: f
i
x typo
i
n comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven
Verdoolaege
doc: fix typos i
n
isl_schedule_node documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolae
g
e
isl
_
scheduler
.
c
:
fix typo in commen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
ve
n
Verdoolaege
isl_schedule_tree
.
c
:
fix typo in c
o
m
m
ent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ve
r
doola
e
ge
isl_sche
d
ule_node
.
c: fix
typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoo
l
aege
i
s
l
_union_map
.
c:
f
i
x typos in
c
omments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoo
l
aege
isl_morp
h
.
c: fix t
y
po
i
n
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
S
v
en Verdo
o
laege
isl_tab_pip
.
c: fi
x
typo in commen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
is
l
_m
u
lti_templ
.
c: fix typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdo
o
laege
isl_aff
.
c
: fix ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_val
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sven V
e
rdoolaege
isl_stream_e
a
t
:
p
r
int erro
r
message on EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
Sven Verdo
o
laege
i
s
l
_multi_uni
o
n_pw_
a
f
f
_zero: che
c
k
that input is not
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
drop deprec
a
t
e
d
i
sl_int interfac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
priv
a
tely expose isl_qpolynomial_fold_sc
a
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
V
e
r
do
o
l
a
ege
priva
t
ely expose isl_aff_scale_do
w
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdool
a
ege
i
s
l_te
s
t
.
c: use isl
_
c
onstr
a
int_
s
et_c
o
n
s
tant_si
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
i
sl_
t
e
st
.
c
: use
isl_con
s
traint_
s
e
t_coefficient_si instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdoolaege
isl
_
tes
t
.
c: test
_
fi
x
ed_power: use isl_val inst
e
ad of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
a
e
ge
bound
.
c: u
s
e i
s
l_val i
n
st
e
ad of isl_int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoola
e
ge
expose isl_pw_qpolynomial_fol
d
_fix_v
a
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verd
o
olaege
drop isl_basic
_
map_
f
oreach_
l
exopt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoolaege
isl_map_dim_
{
min,max}: use isl_ba
s
ic_map_lexopt_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
Sven Ve
r
d
o
olaege
isl_t
a
b_b
a
sic_ma
p
_
par
t
ia
l
_lexopt: split o
n
parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_t
e
s
t
.
c:
test_dim_max_1: extract ou
t
check_
s
ingle_piece
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
d
oolaeg
e
isl_tab_
p
i
p
.
c
: extract out shared {row,col}_i
s
_
p
a
r
ameter_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl_test
.
c: test_list: do no
t
c
onsider internal failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_t
e
s
t
.
c: test
_
un_
v
al:
do
n
ot consider inter
n
a
l
f
ailu
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
Verdo
o
laeg
e
isl_tab_basic_set_non_
t
r
i
v
i
al_lexmin: extract out bett
e
r_nex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erd
o
olaege
isl_tab_basic_s
e
t_c
o
nstraine
d
_le
x
min: extra
c
t ou
t
pick_side
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ver
d
oolaege
i
s
l_tab_
b
asic_
s
et_
n
on_trivial_lexmin: sk
i
p known impossible
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolae
g
e
isl_ta
b
_pip
.
c: ent
e
r_level: extract
out fini
s
h
ed_all_
c
as
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
is
l
_ta
b
_
basic_set_
n
on
_
tr
i
v
i
a
l
_lexmin: ext
r
act ou
t
enter_
l
ev
e
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Ver
d
oolaege
isl_tab_pi
p
.
c: move cur
r
ent bes
t
solution into isl
_
lexm
i
n_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolae
g
e
isl_ta
b
_
b
asic_set_non_trivial_lexmi
n
: extract
o
ut
i
ni
t
_
lexmi
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
t
ab_
p
ip
.
c: first_trivi
a
l_region
:
pass isl_le
x
min_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verd
o
o
laege
isl_tab_pi
p
.
c: move table
a
u into isl_lexmin
_
da
t
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_
t
a
b
_basic_set
_
non_trivial_le
x
min: extrac
t
o
u
t update_o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
doolaege
i
s
l_tab_pip
.
c:
move isl_local_region array into isl
_
lexmi
n
_
data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_tab_basic_set
_
non_trivial_lexmin: extract out clear_lexm
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
ol
a
ege
isl_tab_
b
a
sic_set_n
o
n_trivia
l
_l
e
xm
i
n: extract out in
i
t_local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: isl_l
e
xmin_data: store a copy of
array
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoo
l
aeg
e
isl_
t
ab_pip
.
c: move u
p
isl_lexmin_data d
e
claration
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_t
a
b_pip
.
c:
rename isl_tr
i
vial_global to is
l
_lexmin_dat
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: further extend
d
ocumentation of isl_local_
r
egion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolae
g
e
isl_
t
ab_pi
p
.
c
: rename i
s
l_triv
i
al t
o
i
sl_
l
ocal_regi
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
t
a
b
_basic_set
_
non_trivial
_
l
e
xmin: po
s
tpone rollback
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
add isl_m
a
t_has
_
linear
l
y_independent_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
add isl_ma
t
_row_
b
a
s
is_e
x
t
e
nsion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
a
dd
isl
_
mat_row_b
a
sis
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
d
o
o
laege
is
l
_mat_right
_
kernel:
r
euse her
m
ite_
f
irst_zero_col
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdool
a
ege
isl_m
a
t_ri
g
h
t_kerne
l
: add me
m
ory management
a
nnotation
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_mat
.
c:
h
ermite_f
i
r
st_zero_col: exp
l
oit co
l
umn ech
e
l
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolae
g
e
isl_mat_r
a
nk: e
x
t
ract o
u
t her
m
ite_first
_
ze
r
o_col
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n V
e
rdo
o
laege
move isl_m
a
t
_
r
a
n
k to
isl_
m
a
t
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
l
aege
expose isl_mat_
r
ank
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolae
g
e
add isl_schedu
l
e_node
_
e
very_desce
n
d
ant
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
erdoolaege
isl_schedule_node_foreach_desc
e
n
d
a
nt_top_down
:
u
p
date
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Ve
r
doola
e
ge
add isl_union_map_remove_m
a
p_if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl_union_map
.
c: isl_un_op_control: allow u
s
e
r
da
t
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
d
oolaege
add isl
_
union_map_every_
m
ap
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
doc: is
l
_union_*_foreach_*: specify header to include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven V
e
rdoolae
g
e
i
sl_stream
_
read_schedule_c
o
n
s
trai
n
ts: do
not use default
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aeg
e
isl_sc
h
edu
l
er
.
c: g
r
aph_free
:
extrac
t
out clear_node
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
doolaege
isl
_
schedul
e
r
.
c
:
grap
h
_find_node
:
handle NUL
L
input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_schedul
e
r
.
c
:
graph_alloc: a
d
d
some documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl_scheduler
.
c: g
r
aph_
a
lloc: r
e
turn
isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ver
d
oolae
g
e
isl_scheduler
.
c: extract_sub_g
r
aph:
r
eturn isl
_
sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdool
a
ege
isl_sc
h
edul
e
r
.
c:
u
pdate_ed
g
e: retur
n
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
s
ched
u
l
e
r
.
c:
c
opy_
e
dges: retu
r
n
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_sch
e
d
ule
r
.
c
: copy_node
s
:
return isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_sche
d
uler
.
c
:
r
e
s
et
_
band:
return isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl
_
sched
u
ler
.
c
: detect_ccs: return
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
e
g
e
isl_
s
cheduler
.
c:
is
l
_sched_node: clarif
y
t
h
a
t nvar
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_
s
c
he
d
u
l
er
.
c: ad
d
reference to t
e
chnica
l
re
p
ort
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_printer_pr
i
nt_
s
chedule_constraints: only print
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ve
r
doolaege
ad
d
is
l
_u
n
ion_map_plain_is_empty
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
doc: isl_*_
i
s_empty: specify
hea
d
er to include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
Verdoolaege
isl_
p
rinter_prin
t
_map: try and print eq
u
ality
c
o
n
strain
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_output
.
c
: print_constraint: drop isl_basic
_
map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
do
o
laege
isl_out
p
ut
.
c: print_half_constrain
t
: drop isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
e
rdoolaeg
e
isl_o
u
t
put
.
c
: print_affine: drop isl_basic_ma
p
a
r
gument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_ou
t
put
.
c
: p
r
int_disj
u
nct: pass
v
alid lo
c
al variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoolaege
isl_o
u
tput
.
c:
p
rint
_
constrai
n
ts: handle conjuncti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_prin
t
_*: print unsatisfiable constr
a
i
n
t
s
as "false
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
oolaege
i
sl_s
c
heduler
.
c: non_
n
eg_lexmin: f
i
x double free
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-26
Sv
e
n Verdo
o
laege
isl_map_coalesce: extend handling of inequality
a
djacen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
S
v
en Verdoola
e
g
e
i
sl_sched
u
l
e
_
con
s
traints_comput
e
_schedu
l
e: only
sort
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sv
e
n Verdool
a
eg
e
isl
_
scheduler
.
c
:
compute_schedule_finish_band: e
m
phas
i
ze
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sven Verdoolaege
isl_schedule_constraints_c
o
mpute_
s
ch
e
dul
e
:
d
o not add
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sven Ve
r
d
oolaeg
e
b
o
u
nd
.
c: include m
o
re specific header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erdoolaege
s
chedule
.
c: directl
y
incl
u
de req
u
ire
d
heade
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
g
e
codegen
.
c
: di
r
ect
l
y include required header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next