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
use isl_schedule_node_band_get_ast_isolate_option to extract isolate option
2016-06-13
Sven
V
e
r
doolaege
us
e
i
s
l
_schedule_node_b
a
nd_get_ast_iso
l
a
te_option to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
S
v
e
n
Verdoolaege
ad
d
i
sl_sch
e
dule_band_get_ast_isolate_option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
S
ven Verdo
o
laege
isl_basi
c
_
map_re
m
o
ve_redundanci
e
s:
s
or
t
c
onstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
isl_c
o
alesce
.
c:
fuse: simplify fus
e
d result immediate
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
i
s
l_coalesce
.
c: fus
e
: call i
s
l_basic_map_finalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaege
isl_map_coales
c
e:
c
he
c
k for protrusions on adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Ve
r
doolaege
is
l
_
m
ap_
c
oalesce: al
l
ow protr
u
si
o
ns
o
u
t
of equality
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coalesce
.
c
:
w
rap_in_fa
c
e
t
s
: ext
r
ac
t
out t
r
y_wrap_
i
n_fa
c
ets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verdoolaege
isl_coa
l
esce
.
c: can_wrap_in_set: ext
r
act out
t
y
p
e
_of_relaxed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaege
isl_coalesce
.
c: wrap_
i
n_facets: e
x
tra
c
t out wrap
_
in_
f
acet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaege
isl_co
a
lesc
e
.
c:
can_w
r
ap_in_
s
e
t
: minor simplificatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoola
e
ge
is
l
_co
a
lesc
e
.
c: wrap_in_facets
:
do
not pass in l
i
s
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoo
l
a
e
ge
isl_ma
p
_
c
o
a
l
e
s
ce
:
tighten constraints of p
o
tential
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verd
o
o
l
aege
isl_map_coalesc
e
: allo
w
ge
n
eral coale
s
cin
g
with e
x
p
a
n
ded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
v
e
n
V
e
rd
o
olaege
isl_coalesce
.
c: coalesce_with_expan
d
ed_divs: store
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
oolaege
isl_coalesce
.
c
: coale
s
ce
_
l
ocal_pair: all
o
w reuse of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoola
e
ge
i
sl_coa
l
esce
.
c
:
c
oalesce_local_pair: extr
a
c
t
o
ut set_ineq_st
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaege
i
sl_c
o
alesce
.
c: coa
l
e
s
ce_local_p
a
ir: extract ou
t
set_
e
q
_
sta
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coalesce
.
c
:
coalesce_local_pa
i
r: extract
out clear_st
a
tus
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdo
o
laege
is
l
_coal
e
sce
.
c
:
coales
c
e_l
o
cal_pair
:
extract ou
t
ini
t
_status
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verd
o
o
l
aege
i
s
l_coalesce
.
c: gener
a
lize check_coalesce_subse
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
l
a
ege
a
dd
isl_options_{get,set}_pip_symmetry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven
Ve
r
d
oolaege
a
dd isl_b
a
sic_map_
e
xpan
d
_
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven Verd
o
o
l
aeg
e
i
s
l_ma
p
.
c: fix typo
s
in
c
om
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
S
ve
n
Verdoolaege
isl_ou
t
put
.
c: fix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
S
ven Verdoolaege
is
l
_ta
b
.
h: f
i
x
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-03
Sven Verdool
a
ege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2016-06-03
Sve
n
Verdoolaege
isl_basic
_
s
et_expand_
d
i
v
s:
o
n
ly a
d
d
div con
s
traints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n Verdoolaege
isl_coa
l
esce
.
c
:
a
d
d_sub_vars: explicitl
y
mark
a
dd
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoola
e
g
e
isl_coal
e
sce
.
c
: a
d
d_sub_vars
:
move
"corre
c
t"
integer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdo
o
laege
isl_c
o
alesce
.
c: wr
a
p_in_facet
s
: avo
i
d invalid acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_
p
rin
t
er
_
print_m
a
p:
p
ri
n
t div co
n
str
a
i
nts again
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
Verdoola
e
g
e
is
l
_pr
i
nter_print_map: fix print
i
ng
of affine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
V
e
rdoo
l
aege
i
sl_output
.
c: pri
n
t_disjunc
t
s: avoid invali
d
acce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoola
e
ge
isl_output
.
c
:
print
_
dis
j
u
n
ct: handle NULL in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_vec_alloc: plug m
e
mory
leak
o
n
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Ve
r
do
o
lae
g
e
is
l
_blk
.
c:
e
xt
e
nd: plug memory l
e
a
k on er
r
or path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verd
o
olaege
AST
ge
n
eration: spec
i
al case pure
outer
d
isjunctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
ven Verdoolaege
ad
d
i
s
l_{set,ma
p
}_dr
o
p_constraints_n
o
t_in
v
ol
v
ing
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n
V
erdoolaege
add is
l
_{
s
et,map}_plain_unshifted_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoo
l
aege
AST ge
n
eration: always
print braces arou
n
d body o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
i
sl_tab_pip
.
c: find_so
l
ution
s
: ext
r
act out reset
_
a
n
y_to_unk
n
own
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven
Verdoolaege
isl_map_*_
s
imp
l
e_hull: keep results
in a
c
a
che
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoola
e
ge
imp
l
e
m
ent isl
_
set_free in te
r
ms of
isl_map_
f
ree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven
Ver
d
oo
l
a
e
ge
imp
l
ement isl_
s
e
t_
c
o
w
in
t
e
rms of i
s
l_m
a
p_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sve
n
Verdoolaege
implement
isl_set_al
l
oc_space
i
n
ter
m
s
of isl_map_
a
lloc_sp
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven
V
e
r
doolaege
isl_map_alloc_
s
pace: renam
e
"dim" argument to
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven
V
erdoolaege
isl_se
t
_al
l
oc_spac
e
: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
ven V
e
rdoo
l
a
eg
e
isl_pw_multi_aff_from_ma
p
: avoid computing all equ
a
litie
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
ven Verdool
a
ege
isl_pw_m
u
lti_aff_
f
rom_map: ex
t
ra
c
t
out pw_multi_aff_
f
rom_map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sve
n
Verdoolaege
isl_map_simplify
.
c
: int_b
e
twe
e
n_bo
u
nds: create t
a
b
leau
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
i
sl_map_si
m
plify
.
c: int_betwee
n
_bounds
:
s
pecial case
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_simplify
.
c: in
t
_between_bounds: e
x
ploit the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
ven Verdoolaege
isl_basic_map_drop_r
e
dundant
_
divs:
handle more c
a
s
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sve
n
Verdo
o
l
a
ege
isl_map_si
m
plify
.
c: d
r
op_more_redun
d
ant_
d
ivs: test
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_simpli
f
y
.
c: drop_more
_
redundan
t
_divs:
c
ollect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map
_
simplify
.
c: drop_more_redun
d
ant_divs
:
no
nee
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_test
.
c: test_div: ex
t
rac
t
out test_e
l
im
i
nation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
Verdoolaege
i
s
l_map_simplify
.
c
:
construc
t
_test_ineq
:
use is
l
_basic_map_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoola
e
ge
isl
_
map_simpli
f
y
.
c: constru
c
t_
t
est
_
ineq: use isl_ba
s
i
c
_
m
ap_o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verd
o
olaege
is
l
_map_simplif
y
.
c: drop_mor
e
_
r
edundant_divs:
avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
Verdoolaege
isl_map_simplify
.
c: d
r
op
_
more
_
redundant_divs:
u
se isl_
b
asic_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sve
n
Ve
r
doolae
g
e
isl_map_simplify
.
c:
d
rop
_
more_redundant_divs:
u
se is
l
_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoola
e
ge
isl_basic_
m
ap_drop_redundant_divs_ineq: s
i
mpl
i
f
y logic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ve
r
doolaege
isl_basic_map_drop_
r
edundant
_
divs_
i
ne
q
: ex
t
ract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolae
g
e
Merge branch 'maint' into H
E
AD
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rdoolaeg
e
isl_
m
ap
_
simplify
.
c: dro
p
_mor
e
_redundant_divs: i
m
prove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
is
l
_scheduler
.
c: fix typ
o
in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ve
r
doolaege
i
sl_map_simplify
.
c
:
fi
x
typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
Verdoolaeg
e
isl_convex_
h
ull
.
c
:
fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n Verdoolaege
isl_affine
_
hull
.
c:
fix typ
o
i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
i
sl_tab_pip
.
c:
fi
x
typo
in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdool
a
ege
isl_a
f
f
.
c: fi
x
typo
i
n comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-24
Sven Verdo
o
laege
isl_b
a
sic_map
_
u
p
date_from_tab: impr
o
ve e
r
ror handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-24
Sven
V
er
d
oolaeg
e
isl_basic_map_rem
o
ve_red
u
ndan
c
ies: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
S
ven Verdoo
l
aege
isl_
t
ab_pip
.
c: fix ty
p
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sve
n
Verdoolaege
c
le
a
rly
doc
u
m
e
n
t that isl_tab_allocate_c
o
n
a
n
d
it
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
S
v
en Verdoolae
g
e
isl
0
.
17
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdo
o
l
a
eg
e
i
sl_tab_lexmin
_
add_
e
q
: make sure the tableau h
a
s enough
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoolaege
isl_tab_
l
exmin_add
_
eq: fix error
handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verdoolaege
i
s
l
0
.
1
7
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verdoolaege
i
s
l_schedule_constraints_compute_schedule: fix hand
l
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sv
e
n Verd
o
olaege
M
e
rge branch 'maint' into r
e
lease
commit
|
commitdiff
|
tree
2016-04-26
S
v
en Verdoola
e
g
e
d
oc: add
some furthe
r
reading
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sven
V
erdool
a
ege
doc: updat
e
i
n
teger set coalesc
i
ng reference
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolaege
do
c
: add pip experiment i
n
puts to distrib
u
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sv
e
n Ve
r
doolaeg
e
doc: add DOIs
t
o some more b
i
btex ent
r
ies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Ve
r
doola
e
ge
doc:
use biblatex
for printing
r
eference
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sv
e
n V
e
rdoolaege
doc: s
e
t algorithmautorefname
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Ve
r
doolaege
d
oc: re
p
l
ace freshm
e
a
t li
n
ks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoo
l
aege
doc:
rename
isl_u
n
ion
_
p
w
_a
f
f_foreach
_
pw_aff callb
a
ck
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sv
e
n
V
e
rdoolaege
avoi
d
use of
VLAs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sv
e
n
Verdoo
l
aege
i
s
l_schedu
l
e_co
n
straints_compute_sch
e
du
l
e:
opt
i
on
a
ll
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
isl
_
s
c
hedul
e
r
.
c
: add_node: pass in
i
nsta
n
ce set inste
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Ve
r
do
o
lae
g
e
isl_sc
h
edu
l
e
r
.
c
:
ad
d
_no
d
e: minor
c
lea
n
-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verd
o
olaege
isl_sc
h
eduler
.
c
:
non_neg_lexmin: ext
r
act out no
n
_empt
y
_solution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
S
ven Verd
o
olaege
isl_scheduler
.
c:
non_neg
_
l
e
xm
i
n: explicitly use isl_
t
ab_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sve
n
V
e
rdoolaege
isl_scheduler
.
c
:
carry_de
p
endences: extract out non_neg_lexm
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdo
o
laege
isl_scheduler
.
c: carry_dependenc
e
s:
extra
c
t out ca
r
ries_depe
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
S
ven V
e
rdoolaege
add isl
_
t
ab_lex
m
i
n
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
