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_space_flatten_domain: rename "dim" argument to "space"
2017-11-08
Sv
e
n Ver
d
o
olaege
isl_spac
e
_flatten_domain: rename "
d
im" argume
n
t
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoola
e
ge
interface/python
.
cc: f
i
x t
y
po in com
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoola
e
ge
doc:
fix
typos
in isl_s
c
hedul
e
_node documentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoo
l
aeg
e
isl_sched
u
ler
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Ve
r
doo
l
aege
isl_sch
e
dule
_
tree
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
ven Verd
o
olaege
is
l
_sch
e
dule
_
n
o
de
.
c: fix typos
in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven
V
erdoolaeg
e
isl_union_map
.
c: fix
typos
i
n comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
ven Verdoolaege
i
s
l_morp
h
.
c: fix typo i
n
co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_tab_pip
.
c
:
fi
x
typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sv
e
n
Ve
r
do
o
l
a
ege
is
l
_
m
ulti_templ
.
c: fix typo i
n
c
omm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sve
n
Verd
o
olae
g
e
i
sl_aff
.
c: fi
x
t
ypo
in comme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sve
n
Verd
o
olaege
isl_val
.
c: fix typo i
n
c
omment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdoolaege
d
ro
p
deprecat
e
d isl_int interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdool
a
ege
p
r
ivately expose isl_
q
pol
y
nom
i
al_fold_sc
a
le
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
doolaege
p
r
ivately expose isl_a
f
f_scale_down
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Ve
r
doolaege
isl_test
.
c: use isl_con
s
traint_set_cons
t
an
t
_si instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoolaege
isl_test
.
c: use isl
_
c
o
nstraint_set_co
e
fficient_si
i
nstead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven
Verdoolaege
isl_
t
est
.
c: test_fixed_power: use isl_
v
al
i
nstead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
b
ound
.
c
:
use
isl
_
val instead
of
i
sl
_
i
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdool
a
ege
expose
isl_pw
_
qpolynomial_fol
d
_fix_va
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
remove
d
eprec
a
t
ed band fo
r
e
sts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
drop isl
_
ba
s
ic_m
a
p_for
e
ach_lex
o
pt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdoolaege
isl_
m
ap_dim_{mi
n
,
m
ax}
:
use isl
_
ba
s
ic_map_lexopt
_
pw_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
Sven Verdoolaege
isl_tab
_
basic_map_partial_lexopt: spl
i
t
o
n p
a
rametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl
_
test
.
c: test_dim_max_1: extract o
u
t che
c
k_s
i
ngle_piece
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:
extrac
t
ou
t
shared {row,co
l
}
_
i
s
_parame
t
er_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
a
e
ge
isl_test
.
c: te
s
t_list: d
o
n
o
t consider inte
r
nal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolae
g
e
isl
_
test
.
c:
test_u
n
_val
:
do n
o
t
consider internal f
a
i
lure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_b
a
sic_s
e
t_non_trivi
a
l_lexmi
n
: extra
c
t
out better_nex
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_tab_ba
s
ic_
s
e
t_constrained_l
e
xmin: extract
o
ut pic
k
_side
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_lexmin: skip kn
o
w
n
impossible
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoola
e
g
e
isl_tab_
p
ip
.
c:
e
n
ter_lev
e
l: ext
r
act o
u
t finished_all_
c
ases
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Verdoolaege
is
l
_tab
_
basic_
s
et_non_trivial_lexmin
:
extr
a
ct out enter_lev
e
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: move current best sol
u
t
i
on into isl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
e
g
e
isl_tab_
b
asic_set_no
n
_tri
v
ial_lexmi
n
: extract out init_lexmi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
isl_ta
b
_pip
.
c
:
first_tr
i
v
ial_region: pass isl_lex
m
in_da
t
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
erdo
o
l
a
ege
is
l
_tab_pip
.
c: move
ta
b
leau into isl_lex
m
i
n_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdo
o
l
aege
i
sl_
t
ab_basic_set_
n
on_trivial_lex
m
in:
e
x
t
ra
c
t out up
d
ate_out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_tab_pip
.
c: move isl_local_r
e
gion arr
a
y int
o
isl_lexmi
n
_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
a
ege
is
l
_tab_bas
i
c_set_no
n
_triv
i
al_
l
exmi
n
: ext
r
a
c
t ou
t
clear_lexm
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
i
s
l
_tab_basic_set_
n
on_triv
i
a
l_
l
exmin:
extract out
i
nit_local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaeg
e
isl_tab_pip
.
c: isl_lexmin_data: store
a copy of
a
rray
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
isl_tab_pip
.
c: move up isl_lexmin_data d
e
cla
r
a
t
ion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdool
a
e
ge
isl_tab_pip
.
c: rename isl_
t
r
i
vial_globa
l
t
o isl_l
e
xm
i
n_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
e
r
d
oolaege
isl
_
tab_pi
p
.
c:
further ex
t
e
n
d documentation of i
s
l_local_region
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
i
s
l_
t
ab_pip
.
c: rename isl_trivial
t
o
i
s
l
_local_r
e
gion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
o
o
laege
isl_tab_b
a
s
i
c_set_non_trivial_lexm
i
n: postpone ro
l
lback
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
a
dd isl_mat_has_linearly_independen
t
_
r
ows
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdool
a
ege
a
d
d i
s
l_mat_r
o
w_basis_exten
s
ion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
add isl_
m
at_row_basis
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rd
o
ol
a
ege
isl_m
a
t_right_ke
r
nel: reuse hermite_fi
r
st_zero_col
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
i
s
l
_mat_righ
t
_kernel: ad
d
memo
r
y
m
anagement annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_mat
.
c:
her
m
ite_f
i
r
st_zero_col:
e
x
p
l
oit co
l
umn echelon
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
i
sl_mat
_
rank: extract out
h
e
rmite
_
f
i
r
s
t_ze
r
o_co
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
mo
v
e isl_mat_r
a
nk to
i
sl_mat
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verd
o
o
lae
g
e
expose isl_mat_rank
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
add isl_v
e
c
_
z
ero
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolae
g
e
ad
d
isl
_
schedule_node_every_descendant
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Verdoolaeg
e
isl_s
c
hedule_node_
f
ore
a
ch_descendant
_
top
_
down: update
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
o
olaege
ad
d
isl_union_map_remove_map_i
f
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdo
o
l
a
ege
isl_union_m
a
p
.
c: i
s
l_
u
n_op_control: allo
w
user data
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
er
d
oolaege
add i
s
l_union_
m
a
p
_e
v
ery_ma
p
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
Verdoola
e
ge
doc
:
isl_union_*_fo
r
each_*
:
s
p
e
cify
h
eade
r
t
o in
c
l
u
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoola
e
ge
isl_stream_read_s
c
hedule_cons
t
raints: do not use default
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_scheduler
.
c
:
graph
_
fr
e
e: extract out clear_node
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
i
s
l_scheduler
.
c
:
graph_
f
ind
_
node:
ha
n
dl
e
NULL input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoo
l
aege
isl_sche
d
ul
e
r
.
c: graph
_
allo
c
: add some documentati
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_sche
d
uler
.
c: g
r
a
ph_alloc: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_schedul
e
r
.
c: extract_sub_gra
p
h
:
re
t
urn
isl
_
s
ta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
i
s
l
_scheduler
.
c: update_ed
g
e: return
i
sl_st
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven
V
erdoolaege
i
s
l
_schedul
e
r
.
c
: copy_
e
dges: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdo
o
lae
g
e
isl_scheduler
.
c: copy_nod
e
s
:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_sche
d
uler
.
c: reset_band: return isl_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_schedul
e
r
.
c: det
e
ct_
c
cs: return
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_scheduler
.
c: isl_sched_n
o
de: clarify that nva
r
.
.
.
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: add referen
c
e to technical report
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_space_factor_doma
i
n
: accept set spa
c
e in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_spa
c
e
.
c: move
isl_space_
f
ac
t
or_domain down
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoola
e
ge
i
s
l_p
r
inter_pr
i
nt_s
c
hedule_cons
t
raint
s
: only print
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ve
n
V
e
rdoolaege
add isl_
u
nion_ma
p
_plain_is_empty
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
d
o
c: isl_*_is_em
p
ty: specify h
e
ad
e
r
to include
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_pr
i
nter_print_
m
ap: try and print eq
u
al
i
ty constraint
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
i
s
l_outpu
t
.
c: print_constraint: drop isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
o
l
aege
isl
_
output
.
c: print_half
_
constraint: drop
i
sl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_output
.
c: print_af
f
ine: dr
o
p isl
_
b
as
i
c
_
map argument
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_output
.
c: print_disjunct: pass valid local variable
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl_output
.
c: pri
n
t
_con
s
traints: ha
n
dle conj
u
n
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_pr
i
nt_*:
p
rint unsatisfiable constraint
s
as "fal
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoo
l
a
ege
isl_s
c
heduler
.
c: non_neg_l
e
xmin:
f
ix doubl
e
free on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaege
isl_
m
ap_coalesce: extend handli
n
g
o
f i
n
equa
l
ity adj
a
cent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
Sven
Ve
r
doola
e
ge
isl_coalesce
.
c: ext
r
a
ct out shared f
i
nd_eq and find_i
n
eq
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
S
v
e
n
Ve
r
doolaege
isl_coalesce
.
c: extract out sha
r
ed
count_eq and
c
ount_ineq
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
Sv
e
n Verdoo
l
aege
i
s
l_coalesce
.
c: ext
r
a
ct out
s
h
a
red any_eq and any_ineq
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-21
Sve
n
V
e
r
d
oolae
g
e
isl_schedu
l
e_co
n
stra
i
nts_compute_schedule: only sort
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-21
Sven Verdoolaege
isl_scheduler
.
c: com
p
ute_sche
d
ule_finish_b
a
nd: emphasize
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-21
Sven Ve
r
doo
l
a
e
g
e
isl_schedu
l
e_c
o
n
st
r
aints
_
c
o
m
p
ute
_
s
c
h
edule: do not a
d
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-21
Sven
V
erd
o
o
l
aege
bo
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
e
rdoolaege
s
c
h
edule
.
c: directly include required
header
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
ge
c
odegen
.
c: directly incl
u
de required h
e
ader
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
rdoolaege
b
o
und
.
c: directly in
c
lude requ
i
r
e
d
h
eader
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next