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_map_coalesce: tighten constraints of potential extension
2016-06-10
Sven Ve
r
dool
a
ege
isl_map_coalesce: tig
h
te
n
const
r
aints of pote
n
tial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
lae
g
e
is
l
_map_coalesc
e
: allow general coalescing with
e
xpan
d
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_
c
oal
e
sce
.
c:
c
oalesce_
w
ith_expanded_d
i
vs
:
store
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doo
l
aege
isl_
c
oalesce
.
c: coal
e
sce_
l
o
c
al_pair
:
al
l
ow reu
s
e of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doolaege
isl_coalesce
.
c: coalesce_
l
o
cal_pair
:
ext
r
act out set_ineq_st
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
ool
a
ege
isl_coales
c
e
.
c: c
o
alesce_local_pair: extra
c
t ou
t
set_eq_stat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
o
ola
e
ge
isl_coal
e
sce
.
c
: co
a
lesce_local_pair: extract out c
l
ear_
s
tatus
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coales
c
e
.
c
: coalesc
e
_local_pair: extract out init_statu
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_
c
o
a
les
c
e
.
c:
g
enerali
z
e check_co
a
l
e
sce_su
b
se
t
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoo
l
a
e
g
e
a
d
d isl_op
t
ions_{get,set}_p
i
p_sym
m
etry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
S
v
en V
e
rdoolaege
add is
l
_basic_map
_
expand_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven
V
e
rdoolaege
isl_map
.
c: fix typ
o
s
in com
m
en
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven Ver
d
o
o
la
e
ge
isl_out
p
ut
.
c: fix typo i
n
co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven
Verdoolae
g
e
i
sl_tab
.
h: f
i
x ty
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-03
Sven Verdoolaege
M
e
r
g
e
b
r
anch 'm
a
int'
commit
|
commitdiff
|
tree
2016-06-03
Sven Verdo
o
laege
isl_basi
c
_set_expan
d
_divs: only
add div
constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verd
o
ola
e
ge
isl_coalesc
e
.
c: ad
d
_
sub_va
r
s
:
explicitly mark 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: add_sub_va
r
s: move "correct" integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n Verdoolaege
isl_co
a
lesce
.
c: wrap_i
n
_f
a
c
ets: a
v
oid invalid a
c
c
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n Verdoolaege
isl_printer_print_
m
a
p
: print div
c
onstraints again
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdool
a
ege
i
s
l_printer_p
r
int_map: fix pri
n
t
ing o
f
a
f
f
ine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Verdoolae
g
e
isl_o
u
tput
.
c: print_disjun
c
ts: avoi
d
i
nvalid acce
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdo
o
laege
i
s
l
_
outp
u
t
.
c: prin
t
_d
i
sjun
c
t
:
h
andle NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verd
o
olaeg
e
isl_vec_alloc:
p
l
ug memory le
a
k on error
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n Verdoola
e
ge
i
s
l
_
blk
.
c: extend:
plug memory leak
o
n e
r
r
o
r p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en Verdoolaege
AST gener
a
ti
o
n
: special case pur
e
outer
disjunction
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven V
e
rd
o
ol
a
ege
a
dd isl_{set,map
}
_drop
_
constrain
t
s_no
t
_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven
Verdo
o
laege
add
isl_{set
,
map}_pla
i
n
_unshifted_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
ven Verdo
o
laege
AST g
e
n
e
ration:
alw
a
ys print
braces around body of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven
V
erdoola
e
ge
isl
_
tab
_
pip
.
c: find_solu
t
i
ons: ex
t
ra
c
t o
u
t
r
eset_any_t
o
_
unknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n Verdo
o
laege
isl
_
m
a
p_*
_
simple_hull: keep re
s
ults in a c
a
c
h
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Ver
d
o
olae
g
e
implem
e
nt isl_set
_
free in terms of isl_map_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Ver
d
o
olaege
imple
m
e
nt isl_s
e
t_cow i
n
terms of
i
sl
_
map_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sve
n
V
er
d
ool
a
eg
e
i
mplement isl
_
set_alloc_sp
a
ce in terms of isl_map_alloc_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en Verdoolaege
isl
_
map_alloc_space: re
n
ame "dim" argument to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdool
a
ege
isl_set_alloc_space
:
r
en
a
me
"
dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoo
l
aege
isl
_
p
w_multi_aff_from_map: avoid
c
omputing
all equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n Verdoo
l
ae
g
e
isl
_
pw_multi
_
a
ff_f
r
om_map:
extract
out pw_
m
ul
t
i_aff_from_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Tobia
s
Gross
e
r
E
x
port
i
sl
_
va
l
arithmetic and co
m
p
arison methods
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
o
o
laege
isl_
m
ap_simplify
.
c: int_between_bounds
:
create ta
b
leau
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map
_
simplify
.
c:
i
nt_between_b
o
u
nds: special case
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoo
l
aege
isl_map_simplify
.
c:
i
nt_between_bounds: explo
i
t the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rdoolae
g
e
isl
_
basic_map_dro
p
_redu
n
dan
t
_
d
ivs: handle more
c
a
ses
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
: drop_m
o
re
_
redundant_divs: test
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n
Verdoolaege
is
l
_map
_
si
m
plify
.
c: dro
p
_
m
ore_
r
e
d
u
ndan
t
_
divs: collect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rdoolaege
is
l
_map_simplify
.
c: drop_more_redundant_divs
:
no need
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
S
ven Verdoolaege
i
sl
_
test
.
c: test_
d
iv: e
x
tract out t
e
st_elim
i
nation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven
Verdoolaege
isl_m
a
p_simpl
i
fy
.
c: construct_test_ine
q
:
use isl_basic_m
a
p_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdo
o
l
a
ege
i
sl_map
_
simplify
.
c: constru
c
t_test
_
ineq:
us
e
isl_basic_map_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
oolaege
isl_map_simplify
.
c
:
d
rop_more_redun
d
ant_di
v
s: av
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sve
n
Verdoolaege
isl_map_s
i
m
p
lify
.
c: drop_more_redundant_
d
ivs: use isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_ma
p
_
simplify
.
c: dro
p
_more
_
redundan
t
_di
v
s
: use i
s
l_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ve
r
dool
a
ege
i
s
l_basic_map
_
drop_redun
d
a
nt_divs_ine
q
:
s
implify log
i
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
S
ven
Verdoo
l
aege
isl_basic_map_d
r
op_r
e
dundant
_
divs
_
i
n
eq: ext
r
act out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rdoolaeg
e
Merge b
r
an
c
h 'maint' into HEAD
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoo
l
aege
isl_map_
s
imp
l
ify
.
c: dr
o
p_m
o
re_redundant_divs: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdool
a
ege
isl
_
scheduler
.
c:
f
ix
t
ypo in com
m
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n Verdoolaege
isl_
m
ap_si
m
plify
.
c: fix typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verd
o
o
l
a
ege
isl_convex_hull
.
c: fix
t
y
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
o
o
laege
isl_
a
ffine_
h
ull
.
c: fix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_tab_pip
.
c:
fix typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
S
ven
V
e
r
doolaeg
e
isl_aff
.
c: fix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-24
S
v
e
n
Verdool
a
ege
isl_basic_ma
p
_u
p
d
at
e
_from_t
a
b: i
m
prove
e
rr
o
r handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-24
Sv
e
n Ver
d
o
olaege
isl_basic
_
map_remove_re
d
u
ndancies
:
imp
r
ove error handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sv
e
n Verdoo
l
aege
isl
_
tab_
p
ip
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoolaege
c
l
early docume
n
t th
a
t i
s
l_tab_allocate
_
con an
d
it
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoolaege
i
sl 0
.
1
7
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sven
V
erdool
a
ege
i
s
l
_tab_lex
m
in_add_eq: make sure the
ta
b
leau has
e
nough
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sven V
e
rdoolaege
isl_ta
b
_
l
exm
i
n_add_eq: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-05
Andreas Kloeck
n
er
R
e
mo
v
e red
u
ndant dec
l
aratio
n
of isl_tab_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-03
Sv
e
n Verd
o
olae
g
e
isl
0
.
17
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verdoo
l
aege
isl_schedule
_
c
onstraints_co
m
pute_schedule: fix handling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-02
M
ichae
l
Kru
s
e
i
s
l_t
e
s
t_i
n
t
: fix memory leak
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-30
Michael Kru
s
e
do
c
: Use T1 f
o
n
t
enco
d
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sv
e
n Ver
d
o
o
laege
Merge branch 'ma
i
nt' i
n
t
o release
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolaege
do
c
:
a
dd some fur
t
her
reading
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven Ver
d
oolaeg
e
doc: up
d
a
t
e
integer set coale
s
cin
g
reference
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sve
n
Verdoolae
g
e
doc: add p
i
p
e
xperiment inputs to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoola
e
ge
doc:
a
dd DOIs to
s
o
me more bibtex entries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoolaege
d
oc: use biblatex
f
o
r pr
i
n
t
ing references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdo
o
laege
doc: set algorithm
a
utor
e
f
n
am
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven Ve
r
do
o
laege
doc: replac
e
fres
h
me
a
t
l
ink
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoola
e
ge
d
o
c: re
n
ame isl
_
u
nion_p
w
_af
f
_foreac
h
_
p
w_aff
call
b
a
c
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
S
v
en Verdoolaege
avo
i
d use of VL
A
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sv
e
n Verdoolaege
isl_sched
u
le_constraints_co
m
pute_s
c
hedule: optiona
l
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdo
o
laege
isl_schedu
l
e
r
.
c: add_node: pass in instan
c
e
set instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
isl_s
c
heduler
.
c: add_node:
m
inor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sv
e
n Ve
r
doolaege
isl_sch
e
du
l
e
r
.
c: non_
n
eg_lexmin: extract ou
t
non_empty_sol
u
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
is
l
_sche
d
ul
e
r
.
c: non_n
e
g_le
x
min: exp
l
icitly us
e
isl_ta
b
_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
S
ven V
e
rdoolae
g
e
isl_scheduler
.
c: c
a
rry_dependences: extract out non_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
S
v
e
n Verdool
a
ege
isl_scheduler
.
c
:
carry_d
e
pendences: e
x
tract out
carries
_
depe
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolae
g
e
add isl_tab_lexmin_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sve
n
V
erdoolaege
add
isl_tab_lexmin_add_eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoola
e
ge
break up
is
l
_tab
_
b
asic_se
t
_no
n
_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Ve
r
doolaege
add
i
sl_set_pr
o
ject_onto_
m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
make s
c
hedule_max_coefficient option work a
s
advertised
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sv
e
n
V
erdoolaege
isl_scheduler
.
c
:
extract o
u
t node_add_coeffic
i
ent_c
o
ns
t
raints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
S
v
en Ve
r
doola
e
ge
isl
_
scheduler
.
c: count_
b
ound_coefficient_constra
i
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
S
v
en Verdoolae
g
e
isl_scheduler
.
c:
a
dd_bound_coefficient_cons
t
raints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Ver
d
o
o
laege
i
s
l_scheduler
.
c
: ad
d
_bound_coefficient_c
o
nstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next