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 private isl_schedule_band_replace_ast_build_option
2016-06-13
Sv
e
n
V
erdoolae
g
e
a
d
d private isl_schedul
e
_band_replace_ast_build_option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sv
e
n Ve
r
do
o
laege
use isl_schedule_nod
e
_b
a
nd_get_ast_isolate_op
t
i
on to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven
V
erdoo
l
aeg
e
add i
s
l
_
s
chedul
e
_band_g
e
t_ast_isola
t
e_o
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaeg
e
isl_basic_map_remove_
r
edundancies: sort cons
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
isl_coal
e
sce
.
c
: fuse: sim
p
lify fused
res
u
lt
immediately
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoola
e
g
e
isl_coalesc
e
.
c:
f
use: c
a
ll isl_ba
s
i
c_m
a
p_f
i
nalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
i
s
l
_
map_coale
s
ce: check for protru
s
ions on adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Ve
r
doolaeg
e
isl
_
map_
c
oale
s
c
e
: allow
pr
o
trusi
o
n
s out of equality
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven
V
e
r
doolaege
isl_coalesce
.
c:
wrap_in_facets: ext
r
act out try_wrap_i
n
_facets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolae
g
e
isl
_
coalesce
.
c
:
can_wr
a
p_in_set: ex
t
ra
c
t out
type_of_relaxed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoo
l
aege
isl_coalesce
.
c: wrap_in_facets: extr
a
ct
o
ut wr
a
p_in_fac
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
oo
l
aeg
e
isl_co
a
les
c
e
.
c: ca
n
_wrap_
i
n_set: minor
s
i
mplific
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoo
l
aege
isl
_
coalesce
.
c
: wrap_in_facets: d
o
not pass in
l
i
s
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
laege
isl_map
_
coalesce: tighten constraints of pote
n
t
i
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
is
l
_map_coal
e
sce: allow gen
e
r
a
l coalescing wi
t
h expande
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
o
laege
isl_coalesce
.
c
: coalesce
_
w
ith_expanded_divs: store
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
r
doola
e
ge
is
l
_c
o
alesce
.
c
:
coalesce_l
o
cal_pair: allow reuse of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdoolaeg
e
i
sl_c
o
alesc
e
.
c:
coalesce_local_pair: extract out set_in
e
q_st
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_c
o
alesce
.
c:
c
oalesce_lo
c
al_pair:
e
xtract
o
ut set
_
eq
_
stat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdoola
e
g
e
i
s
l_
c
oalesce
.
c: coalesc
e
_local_pair: extra
c
t out
c
lear_status
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolae
g
e
i
sl_c
o
alesc
e
.
c: coalesce_local_pair: extra
c
t ou
t
in
i
t_sta
t
u
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en Verdoolaege
isl_coa
l
esce
.
c: generalize che
c
k_coalesce_subset to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoolaege
add isl_o
p
tio
n
s_{ge
t
,set}_pip_symmetry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven Verdool
a
ege
add isl_basic_map_
e
x
pand_di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven
Ve
r
doolaeg
e
is
l
_map
.
c: fix typ
o
s in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
S
v
en Verdoolaege
isl_outp
u
t
.
c: fix ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven Ve
r
doolaege
isl_tab
.
h
:
fi
x
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-03
Sven Verdo
o
lae
g
e
Merg
e
br
a
nch
'
maint'
commit
|
commitdiff
|
tree
2016-06-03
Sven V
e
rdoolaeg
e
isl_
b
asic_set_expand_divs: only ad
d
div con
s
tr
a
ints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven V
e
r
d
oolaege
isl_coales
c
e
.
c: ad
d
_su
b
_vars: explici
t
ly
mark a
d
ded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
Ve
r
doola
e
ge
i
s
l_c
o
ales
c
e
.
c
:
a
dd_sub_vars: move
"
correct" integer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven V
e
rdool
a
e
ge
is
l
_coa
l
esce
.
c: wrap_in_fac
e
ts: avoid inv
a
lid
a
cc
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
ven Ve
r
doolaege
i
s
l_
p
r
inter_print_
m
ap: print div
c
o
nstrai
n
ts agai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven
Verdoolaege
isl_printer_print_m
a
p
: fix printin
g
of
a
ffin
e
expr
e
ss
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven
V
erdoolaege
isl_output
.
c: pr
i
nt_disjunct
s
: avoid inva
l
id access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Verdoolaege
isl_out
p
ut
.
c:
p
rint_disjunct: handle NULL
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_vec_
a
lloc:
p
lug memory leak on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
i
s
l_
b
lk
.
c
:
exte
n
d:
plug memory leak on erro
r
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
ven Verdo
o
l
ae
g
e
AST ge
n
eration: specia
l
case pure outer
disjun
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
add
i
sl_{set,
m
ap}_drop_con
s
traint
s
_not_involvin
g
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven V
e
rdoolaege
add i
s
l_
{
set,map}_plain
_
unsh
i
f
ted_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en Verdoolaege
AST gen
e
rat
i
on: a
l
ways
p
rint b
r
ac
e
s around bo
d
y of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verd
o
olaege
i
s
l_tab_pip
.
c: f
i
nd_solutions: extr
a
ct out
rese
t
_a
n
y_to_unknown
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n Verdo
o
laege
isl_map
_
*_sim
p
le_hull: keep r
e
sult
s
in
a cache
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Ver
d
oolaege
implem
e
n
t
isl_set_free in
terms of isl_map_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven
V
erdoola
e
ge
implement i
s
l
_se
t
_co
w
in terms of isl_map_c
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven
Verdoolaege
impl
e
m
e
nt isl_set
_
all
o
c_space in
te
r
ms of isl_map_all
o
c_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n
V
er
d
oolaege
isl
_
m
ap_alloc_space: ren
a
me "dim" argument t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolae
g
e
isl_set_alloc_space: rename "dim"
a
r
g
ument to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en
V
erdoolaege
i
sl_pw_mul
t
i_aff_fr
o
m_map: avoid computing all equalit
i
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven
Verdoolaege
isl_pw_mu
l
ti_aff_fr
o
m_
m
a
p
: extract out pw_m
u
lti_af
f
_from_m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
V
erdoola
e
g
e
isl_map
_
sim
p
lify
.
c: int_between_bounds: create tableau
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_simp
l
ify
.
c: int_bet
w
een_boun
d
s:
spe
c
ial
case
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_simpl
i
fy
.
c: int_
b
e
tween
_
bou
n
ds:
e
x
ploit th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
o
o
laege
isl_basic_ma
p
_drop_redundant_divs: h
a
ndl
e
more c
a
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n V
e
rdoolaege
isl_ma
p
_si
m
plify
.
c: drop_more_re
d
undant_divs: tes
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
ve
n
Verdoo
l
aege
isl_map_simplify
.
c: drop_more_redundant_divs: collect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rd
o
o
l
aege
isl_map_simplify
.
c: drop_more_r
e
dundant_d
i
vs: no ne
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_test
.
c:
test_div: e
x
tract out test_elimination
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n V
e
rdoolaege
i
sl_map_simplify
.
c: construct_test_ineq: use isl_basic_
m
ap_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_simplify
.
c: cons
t
ruct_test_ineq: use isl_basic_map_o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_simpl
i
fy
.
c
:
d
rop_
m
ore_redund
a
nt_divs: avo
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ve
r
doo
l
aege
isl
_
ma
p
_si
m
plify
.
c: drop_more
_
redun
d
ant_divs: use isl
_
ba
s
ic_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoola
e
ge
isl_map_si
m
pl
i
fy
.
c: drop_more
_
redundant_
d
ivs: use isl_ba
s
ic_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoo
l
aege
isl_bas
i
c_ma
p
_drop_redundant_div
s
_
ineq: sim
p
lify
l
ogic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
is
l
_basic_map
_
d
r
o
p_redundant_divs_i
n
e
q: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n
Verdoolae
g
e
Merge branch
'
maint
'
into HEAD
commit
|
commitdiff
|
tree
2016-05-25
S
v
en Ve
r
d
oolaege
is
l
_m
a
p_simplify
.
c: drop_more_redundant_di
v
s: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ve
r
doolaege
isl_
s
chedule
r
.
c: fix typ
o
in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rdoolaege
i
s
l
_
map_simplif
y
.
c
:
fix
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
Verdoolae
g
e
i
s
l_con
v
ex
_
hull
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n Verd
o
olaege
isl_affine_hull
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoola
e
g
e
isl_tab_pip
.
c:
fix t
y
po in
co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rdo
o
laege
isl_aff
.
c: fi
x
t
y
po
i
n
comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-24
S
ven Verd
o
olaege
isl_ba
s
ic_map_
u
pdate_fr
o
m_tab:
imp
r
ove error handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-24
Sven Verdoo
l
aeg
e
isl_basic_
m
a
p_remove_redundanci
e
s
:
i
mprove error h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoolaege
isl_tab_pip
.
c: fix typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
S
v
en
V
erdoola
e
ge
clearl
y
document that isl_tab_allocate_con and
its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoolaege
i
sl 0
.
17
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoo
l
a
e
ge
isl
_
tab_lexm
i
n_add_eq:
m
ake sure th
e
tab
l
eau has
e
nough
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoolaege
i
sl_tab_lexmin_add_eq: fix error
h
andl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verd
o
ola
e
ge
i
s
l 0
.
17
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verdoolaege
isl_schedule_const
r
aints_compu
t
e
_
sch
e
d
ule: fix h
a
ndlin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolaege
Merge branch 'maint' into releas
e
commit
|
commitdiff
|
tree
2016-04-26
Sve
n
Verdoolaege
doc:
a
dd some
further reading
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolaege
doc: u
p
dat
e
integer set coalescing r
e
ferenc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoola
e
ge
doc: add pip e
x
perimen
t
inputs
t
o dist
r
ib
u
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sve
n
Verd
o
olae
g
e
doc: a
d
d
D
OIs to some more bibtex entries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoo
l
aege
doc: u
s
e biblatex for printing refer
e
nces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoolaege
doc: set algorit
h
mautore
f
nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Ve
r
d
o
olae
g
e
doc: replac
e
freshmeat
l
inks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoo
l
aege
doc
:
r
ename isl_union_pw_aff_foreac
h
_pw_aff c
a
ll
b
a
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
S
v
en V
e
rdoolaeg
e
avo
i
d u
s
e of VLAs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Ve
r
doolaege
isl_sche
d
ule_constraints_comp
u
te_schedu
l
e: optionally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sve
n
Verdoola
e
ge
isl_sche
d
ul
e
r
.
c: add_node:
p
ass in instance set instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
i
s
l
_
sche
d
uler
.
c: add_node: minor
clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
S
v
en Verdoolaege
isl_s
c
h
e
d
ule
r
.
c: non_neg_lexmin: extract out non_emp
t
y_
s
o
lution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Ve
r
dool
a
ege
isl_scheduler
.
c: non
_
neg_le
x
min: e
x
plicit
l
y use isl_ta
b
_
l
exmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
i
s
l_schedu
l
e
r
.
c: carry_depe
n
dences
:
e
x
tract out non_neg_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sve
n
Verdo
o
lae
g
e
isl_scheduler
.
c: carry
_
dependences:
ext
r
act out carries
_
de
p
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next