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_qpolynomial_set_dim_name: adjust to change of space
2016-11-24
Sven Verdo
o
laege
i
s
l_qpolynomial_se
t
_dim_name: a
d
jus
t
to change of s
p
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdoolaege
isl_pol
y
no
m
ial
.
c:
reduce
_
divs: do
not
assume in
p
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven V
e
rdoolaeg
e
isl_
p
oly
n
omial
.
c: r
e
duce_divs: use isl_qpoly
n
omial_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdoolaege
isl_polynomial
.
c: redu
c
e
_divs: use
i
sl_qpolynomial_doma
i
n_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven
V
e
rdoolaege
isl
_
q
p
o
l
y
nomial
_
domain_dim: ha
n
dle
i
sl_di
m
_div and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven V
e
rdo
o
la
e
ge
isl_qp
o
l
y
n
omial
_
dim: ex
t
ract ou
t
isl
_
qpoly
n
omial_dom
a
in_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
S
ven Verdoolaeg
e
privately add isl_
q
polyno
m
ial_do
m
ain_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven Ve
r
d
o
o
l
aege
privately add isl_mat_z
e
ro
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdoolaege
p
r
i
vately add is
l
_mat_col_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven
V
er
d
oolaege
p
r
i
v
ately a
d
d
isl_mat_col_ad
d
m
ul
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sve
n
V
e
rdoolaege
i
s
l_mat
.
c
: extract out shared check_col
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdoolaeg
e
isl_test
.
c: add
_
cell
:
fix re
t
urn type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-15
Sv
e
n Verdoolaeg
e
isl_v
e
rtices
_
foreach_disjoint_ce
l
l
: han
d
l
e
saturation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-15
Sven Ve
r
do
o
laege
isl_basic_se
t
_tighten_outward:
extract out is_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-15
Sven V
e
rdoo
l
aege
isl_vertices_for
e
ach_disjoi
n
t_cel
l
: ext
r
act
o
ut isl_
b
asic_se
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven
V
erdoo
l
aege
isl_af
f
.
c:
vec_
r
eorder: avoid
NULL poi
n
ter dereference
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-09
Sven
V
erd
o
olaege
isl_ast_build_expr_fr
o
m_pw_a
f
f: do not includ
e
rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
S
v
en
Verdoolae
g
e
is
l
_map_convex_hull: u
s
e consistent space wh
e
n lineality
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
S
ven
Verdoolaege
isl_basic_set
_
co
m
pute
_
vertices: drop
vertices with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
Sven Verd
o
olaege
isl_
v
er
t
ices
.
c: add_vertex: return is
l
_bool indicat
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
Sven V
e
rdoolae
g
e
isl_vertices
.
c: can_i
n
te
r
sect: re
t
u
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-22
Sven Verdoolaege
isl_basic_map_offset: handl
e
N
U
L
L
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-22
S
v
en
Verdoolaege
isl_
b
asi
c
_m
a
p
_
offset: r
e
name
"dim"
v
ar
i
a
b
le
t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_set_mi
n
_val: fix
h
andl
i
n
g of input
w
i
t
h e
m
pty basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdo
o
l
a
ege
isl_pw_aff_read_fr
o
m
_
str:
handle
0D domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_printe
r
_prin
t
_a
s
t_node: fix printing of mark nodes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-21
S
v
en Verd
o
olaege
isl_space_find_dim_by_na
m
e: check that d
i
mension h
a
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
S
v
e
n Verdoolaege
isl_output
.
c: pr
i
n
t
_constrain
t
s:
a
voi
d
invalid acce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ver
d
oolaege
isl_outpu
t
.
c
:
print_disjunc
t
: avoid invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven V
e
rdoolaege
isl_output
.
c: is
l
_map_print_isl_b
o
dy: handle
NULL i
n
pu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoolaege
isl_printer_g
e
t_str: r
e
p
or
t
er
r
or when c
a
lled
on wron
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-03
S
ve
n
Verdoolaeg
e
is
l
_basic_set_expand_d
i
vs:
o
n
ly
a
dd
d
iv constraint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaeg
e
i
sl_c
o
alesce
.
c: add_sub_vars: explicitly m
a
r
k added
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n
Verdoolaege
i
sl_coa
l
esce
.
c:
a
d
d_sub_vars: mov
e
"correct" integ
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven
V
erdoolaege
isl
_
c
o
alesce
.
c:
w
r
ap_in
_
fac
e
ts:
a
voi
d
invalid acc
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
ven Verdoola
e
ge
is
l
_
p
rinte
r
_print_map: pri
n
t div constraints again
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
Verdoolaeg
e
isl_print
e
r_p
r
int_map: fix p
r
inting of affine
expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
Ver
d
oolaege
is
l
_outpu
t
.
c
:
print_disjuncts:
avoid i
n
valid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
is
l
_output
.
c: prin
t
_disjunct: handle NULL
inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
i
s
l_vec_a
l
loc: plug memory l
e
ak
o
n error
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaeg
e
isl_blk
.
c: ex
t
end: plug memor
y
leak
on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoo
l
aege
isl_map_si
m
pli
f
y
.
c: drop_more_re
d
un
d
ant_d
i
vs
:
i
m
p
rove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-24
Sven V
e
r
d
oolaege
isl_basic_map_update_from_tab: improve error h
a
n
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-24
Sven
Verdool
a
ege
isl_b
a
sic_map_remove_redu
n
dan
c
i
e
s: improve e
r
r
o
r handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sv
e
n Verdoolaege
isl 0
.
1
7
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Ve
r
dool
a
eg
e
is
l
_tab_le
x
min_add_eq: make sure the tableau h
a
s enough
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoola
e
ge
isl_t
a
b_lex
m
in_add_eq: fix e
r
ro
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verdoo
l
aege
isl 0
.
17
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-03
Sven
V
er
d
oo
l
aege
isl_schedule_cons
t
ra
i
nts_com
p
ut
e
_sche
d
ule: fix h
a
n
dling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sven
V
er
d
oo
l
aege
Merge
b
r
a
nch 'maint' into release
commit
|
commitdiff
|
tree
2016-04-26
Sven
Verdoolaege
doc: add some
f
urther
re
a
ding
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
S
v
e
n
Verdo
o
lae
g
e
doc: update integer set coalescing reference
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sve
n
Verdool
a
ege
d
o
c:
add pip
e
xp
e
r
i
men
t
inp
u
ts
to distribu
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoolaege
do
c
: ad
d
DOIs
to
s
ome
more bibt
e
x
entries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoolaege
doc: us
e
biblatex for printing reference
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
S
v
e
n Verdoolaege
doc: set algorith
m
autor
e
fname
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sve
n
V
erd
o
olaege
doc: replace freshmea
t
links
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdo
o
l
a
ege
doc:
r
ename
i
sl_
u
n
ion_pw
_
aff_forea
c
h_pw_aff callback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven
Ve
r
doolaege
a
v
o
id use of VLAs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolae
g
e
i
s
l_sche
d
ule_c
o
nstrai
n
ts_compu
t
e_schedule
:
optionally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven V
e
rdoolaege
isl
_
scheduler
.
c
:
add_node: p
a
ss i
n
in
s
tance set ins
t
e
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
i
sl_scheduler
.
c
:
add
_
node: minor clean-u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
S
v
en Verdoolaege
isl_
s
chedul
e
r
.
c
:
non_neg
_
lexmin:
extract out
n
o
n_empt
y
_s
o
lution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoola
e
ge
isl_sched
u
ler
.
c: non
_
neg_lex
m
in: explicitly use isl_tab
_
lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
S
v
en Verdoolaege
isl
_
schedu
l
e
r
.
c: carry_de
p
end
e
nces:
extract out
n
on_ne
g
_
l
exmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
isl_scheduler
.
c: carr
y
_depende
n
ces: extract
o
ut carries_depe
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Ve
r
do
o
laeg
e
a
dd is
l
_tab_lexmin_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Ver
d
o
olaege
a
dd is
l
_tab_
l
e
xmin_add_
e
q
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
break up
i
sl_tab_bas
i
c_set_non_n
e
g_
l
exmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
S
v
e
n Ver
d
oola
e
ge
add isl_set_proj
e
ct_onto_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sv
e
n Ve
r
doolaeg
e
make
s
ch
e
dule_ma
x
_coefficient option work as ad
v
ertised
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
S
v
en Verdoolaege
i
s
l_scheduler
.
c: extract out no
d
e_add
_
coefficient_
c
onstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven
V
e
rdool
a
e
g
e
isl_scheduler
.
c
:
count_boun
d
_coefficient_constrai
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven
Verdoolaege
isl_sched
u
ler
.
c: add_bound_coefficien
t
_constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sve
n
Ve
r
doolaege
i
s
l_scheduler
.
c: add_bou
n
d_coefficient_constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
schedule constru
c
t
ion: u
s
e only positive par
a
meter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
S
v
e
n
Verd
o
olaege
isl_sched
u
le
r
.
c: extract
o
ut sha
r
ed node_var_coef_offs
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdo
o
laege
i
s
l
_scheduler
.
c:
extract out shared extract_v
a
r_coef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_scheduler
.
c
: c
o
ef_v
a
r_offset: minor simplific
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sv
e
n Verdoolaege
isl_scheduler
.
c: ex
t
ract out
shared coef
_
var_offs
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_scheduler
.
c
:
ex
t
r
act out shared inter_dim_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoola
e
g
e
isl_sch
e
dule
r
.
c
: ext
r
act out shared intra
_
di
m
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoo
l
ae
g
e
isl_schedul
e
r
.
c:
add_in
t
er_proximity_const
r
aints: ret
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Ve
r
doo
l
a
eg
e
isl_schedu
l
er
.
c: ad
d
_in
t
er_validit
y
_constra
i
nt
s
: re
t
urn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdool
a
ege
isl_scheduler
.
c: add_i
n
tra_proxi
m
it
y
_con
s
tra
i
nts:
return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erdoolaeg
e
is
l
_
scheduler
.
c
: a
d
d_intra_vali
d
ity_constr
a
ints: return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sv
e
n Verd
o
ol
a
ege
isl_sch
e
duler
.
c
:
a
dd_inte
r
_con
s
traints: rename
"
dim
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Verdoolaeg
e
isl
_
sc
h
eduler
.
c
:
add_i
n
ter_prox
i
m
i
ty_constraints: r
e
name
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven V
e
rdoolaege
isl_s
c
heduler
.
c:
a
dd_inter_validity_
c
onstrai
n
ts: re
n
ame
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erdoolaege
isl_scheduler
.
c: add_
i
ntra_
c
on
s
traints:
rename "
d
im
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sv
e
n Verdoolae
g
e
isl_sch
e
dule
r
.
c: add_intra
_
p
r
ox
i
m
i
ty_con
s
traints:
rena
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verd
o
o
l
aege
isl_sche
d
uler
.
c
: add_intra_val
i
dity_constraints: ren
a
me
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoola
e
ge
isl_sc
h
eduler
.
c: count_all_cons
t
raints:
m
inor
simpl
i
fi
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Verdo
o
la
e
ge
isl_scheduler
.
c: extract out shared is_
a
ny
_
va
l
idity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Ve
r
doo
l
aege
isl
_
scheduler
.
c: extract ou
t
share
d
add_var_
s
um
_
cons
t
raint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdool
a
ege
isl_schedul
e
r
.
c: extract ou
t
shared add
_
param_sum_c
o
nstrain
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
S
ven Verdoolaege
i
sl_sche
d
uler
.
c: setu
p
_lp
:
e
x
tract out add_
s
um_c
o
nstr
a
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Verdoolaege
isl_sched
u
l
e
r
.
c
:
setup
_
lp: extract out co
u
nt_bound_cons
t
a
nt_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolae
g
e
isl
_
sch
e
d
u
ler
.
c: setup
_
l
p: extrac
t
o
u
t
add_bou
n
d_cons
t
ant_c
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdo
o
laege
isl_sch
e
duler
.
c: setup_
c
ar
r
y_
l
p: re
t
urn i
s
l_st
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
