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
cpp: generate get_ctx method for all exported classes
2017-11-17
Sven Ve
r
doolaege
cpp: g
e
nerate
g
et_ctx method for all
e
xported classes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Ver
d
oolaege
add tests
f
or
P
ytho
n
interface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verd
o
olaege
interface/isl
_
test_cpp-noexceptions
.
c
c
: e
x
tend test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sve
n
Verdoolaege
Me
r
ge b
r
anch 'm
a
int'
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdo
o
laeg
e
python: specifically
h
a
n
dle long arguments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
export i
s
l
_
union_set_preimag
e
_
*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
ex
p
ort isl_union
_
map_
e
q_at
_
multi_union_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolae
g
e
e
x
pose isl_spac
e
_
flatten_{domain,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sve
n
Verd
o
olaege
inte
r
face
/
python
.
c
c: fix typo in c
o
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdo
o
laege
doc: fix typos
i
n isl
_
sch
e
dule_
n
o
d
e documenta
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ve
r
d
oolaege
is
l
_sche
d
u
ler
.
c: fix typo in
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolae
g
e
is
l
_sc
h
e
d
ule_tree
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven V
e
rdoolaege
i
s
l
_schedule_n
o
de
.
c: fix typos in com
m
ents
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven
V
erdoolaege
isl_union_map
.
c:
fix typos in com
m
ents
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven V
e
rdoolaege
isl_morph
.
c: f
i
x typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_ta
b
_pip
.
c: fix typo in
com
m
ent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Ver
d
oolaege
is
l
_m
u
lti_templ
.
c: fix typo i
n
c
o
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven
V
e
rdoolaege
is
l
_aff
.
c
:
fix typo i
n
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_v
a
l
.
c: fix typo in com
m
en
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sve
n
V
e
r
doolaege
i
s
l_stream_eat:
print error messa
g
e
o
n
EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
Sven Ver
d
ool
a
ege
isl_multi
_
union_pw
_
aff_zer
o
: check that input is not
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdoolaege
drop
d
ep
r
ecated
i
sl_int int
e
rfac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
aege
privat
e
l
y expose
isl_qpolynomial_fold_scale
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
v
e
n Verdoolaege
privat
e
l
y expose isl
_
aff_scale_down
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoolaege
isl_test
.
c
:
use is
l
_co
n
straint_se
t
_constant_s
i
i
n
stead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdo
o
l
a
ege
i
sl_t
e
s
t
.
c: u
s
e isl_constraint
_
set_coefficient_si instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en
Verdoolaege
isl_t
e
st
.
c: tes
t
_fixed_powe
r
:
us
e
isl_val in
s
t
e
a
d
of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdool
a
ege
boun
d
.
c: us
e
isl_v
a
l i
n
stead
o
f isl_int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdo
o
laege
expose isl
_
pw_qpolynomial_fold_fix
_
val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verd
o
olaege
drop isl_basic_m
a
p
_foreach_lex
o
p
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_map_dim_{min
,
m
ax}:
use is
l
_ba
s
ic
_
map_lexo
p
t
_
p
w
_
m
ulti_
a
f
f
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
S
v
en Ve
r
doo
l
aege
isl_tab_basic_map_part
i
al_
l
exopt:
s
p
l
it on param
e
tr
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_test
.
c: tes
t
_
d
im
_
max_1: extrac
t
out check
_
sin
g
le_piece
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdo
o
laege
isl_tab_pip
.
c:
e
x
t
r
act out shared {row,col
}
_is_parameter_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olae
g
e
isl_t
e
st
.
c:
test_list: do no
t
consid
e
r
internal failu
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_t
e
st
.
c
: test_
u
n
_
val: do not consider internal failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_tab_basic_set_n
o
n_trivial_le
x
min: extr
a
c
t
out bette
r
_nex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_basic_set_c
o
nstrained_lexm
i
n: extra
c
t out pic
k
_side
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
o
olaege
i
sl_tab_
b
asic_
s
et_n
o
n_trivial_lexmin: s
k
ip known impossi
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_tab_pip
.
c: e
n
ter_le
v
el: e
x
tra
c
t
out fini
s
hed_all_cases
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_tab_basi
c
_set_
n
on_trivia
l
_lexmin
:
ex
t
ract out
e
nter_l
e
vel
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoolaege
isl_tab_pip
.
c: mo
v
e current b
e
s
t
solutio
n
into isl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
ta
b
_ba
s
ic_se
t
_non_tri
v
i
al_lex
m
in: extract ou
t
init_lexmi
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
er
d
oolaege
i
sl_tab_pip
.
c: first_trivial_region: pass is
l
_
lexmin_dat
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
isl_tab_
p
i
p
.
c: move tablea
u
into isl_lexm
i
n_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ver
d
oolaege
isl_tab_basic_set_non_trivia
l
_lexm
i
n:
e
xtract ou
t
update_
o
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
l
aege
isl_
t
a
b_pip
.
c: move isl_local
_
regio
n
array into isl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_bas
i
c_set_non
_
trivial_lexmin:
extract
o
ut clear_lex
m
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n V
e
rdoola
e
g
e
isl_ta
b
_basic_set_non
_
t
r
ivial_lex
m
i
n
:
extract ou
t
init_loca
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
doolaege
i
s
l_tab_
p
ip
.
c: i
s
l
_
l
exmi
n
_data
:
s
t
ore a copy of array
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
isl_ta
b
_pip
.
c: move up i
s
l_lex
m
i
n
_data declarati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
i
sl_tab_pip
.
c: rename isl
_
tr
i
v
ial
_
glo
b
al to
i
sl_lexmin_
d
at
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_ta
b
_pip
.
c: f
u
r
ther ex
t
end documentation
o
f isl_local_region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
i
sl_tab_p
i
p
.
c: rename isl_tri
v
i
a
l
t
o isl_loc
a
l_region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_t
a
b
_
b
asic_set_non_trivial_lexmi
n
: postpone rol
l
back
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
add isl_mat_has_linear
l
y_independent_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rd
o
olaege
add isl_mat
_
row_bas
i
s
_extens
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaeg
e
add isl_mat_row
_
basis
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
isl_mat_right_kernel: r
e
us
e
hermite_first_zero
_
c
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
d
o
o
l
a
e
ge
isl_m
a
t_right_kerne
l
:
add mem
o
ry ma
n
ageme
n
t annota
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_m
a
t
.
c:
h
er
m
ite_f
i
rst_zero_
c
ol: e
x
ploit column e
c
helon
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Ve
r
d
o
olaege
is
l
_
m
at
_
rank: extract
o
u
t hermite_first_zero_c
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
move
i
s
l
_mat
_
rank t
o
isl_mat
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
expos
e
isl_m
a
t
_rank
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
ae
g
e
add isl
_
schedule_n
o
d
e
_e
v
ery_desce
n
dant
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdool
a
e
ge
isl_sched
u
le_node_foreach_descendant_top_down: update
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Verd
o
olaege
add isl_unio
n
_map_remo
v
e_map_if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_union_map
.
c: isl_un_op_con
t
rol: al
l
ow user
d
ata
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add isl_union_map_every_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolae
g
e
d
o
c: i
s
l_uni
o
n_*_forea
c
h_*: s
p
ec
i
fy
header to include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verd
o
olaege
isl_stream_read_schedule_con
s
traints
:
do not
u
se defau
l
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_scheduler
.
c
:
g
r
a
p
h_free: e
x
tract
o
ut clear_node
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdool
a
ege
isl_sched
u
ler
.
c: graph_find_node: handle NULL
i
nput
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Ver
d
oolaege
isl_schedu
l
er
.
c: graph_alloc: a
d
d some
documentati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
i
sl_scheduler
.
c
: graph_a
l
lo
c
: return isl_s
t
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_sche
d
uler
.
c: extra
c
t_s
u
b_graph: return isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ve
r
doolaege
isl_sche
d
uler
.
c: up
d
ate_e
d
g
e
:
return is
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdo
o
laege
is
l
_sched
u
ler
.
c: copy_edges: return i
s
l_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_schedule
r
.
c: copy_nodes: return isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
l
aege
isl_schedul
e
r
.
c: reset
_
ba
n
d: ret
u
rn isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erd
o
o
l
aege
isl_
s
cheduler
.
c
: dete
c
t_ccs
:
re
t
ur
n
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
a
e
g
e
isl_scheduler
.
c
:
isl_sch
e
d
_no
d
e: clarify
t
h
a
t nvar
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en V
e
rdo
o
laeg
e
isl_sched
u
ler
.
c: a
d
d refere
n
ce to
t
echn
i
c
a
l r
e
port
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
isl_pr
i
nter
_
p
r
int_schedule_
c
onstraints: only print
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdool
a
ege
add isl_unio
n
_map_p
l
ain
_
is_empty
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdool
a
ege
doc: isl_*_is_empty: spe
c
ify heade
r
to include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
p
rin
t
er_print_map:
try and print eq
u
ality c
o
ns
t
rain
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
is
l
_output
.
c: print_constrain
t
: d
r
op isl_basic_
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oola
e
ge
isl
_
o
u
tput
.
c: print_half_constraint
:
dr
o
p
isl_bas
i
c_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoo
l
aeg
e
i
s
l_output
.
c: pri
n
t_
a
ffi
n
e: drop isl_
b
asic_map argument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ve
r
doolaege
isl_ou
t
put
.
c:
print_disjun
c
t
: pass valid local v
a
ri
a
bles
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l
_o
u
t
put
.
c:
p
rint_con
s
traints: handle conjunction
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_print
_
*: p
r
int unsatis
f
ia
b
le constraints as
"
false
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aeg
e
isl_sch
e
duler
.
c:
non_neg_lexmin: fix
d
ouble
f
r
e
e on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-26
S
ven Verdoola
e
g
e
isl_map_coales
c
e: extend handling of inequality adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sven Verdoolae
g
e
i
sl_sche
d
ule_constraints_compute_s
c
hedule:
only
sor
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
S
v
e
n Verd
o
olaege
isl_scheduler
.
c
:
c
o
mpute_s
c
hedule_fin
i
sh_band: emph
a
size
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sven Verdo
o
laege
is
l
_schedule_con
s
traints_compute
_
schedule: do
not a
d
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sven Verdoola
e
ge
b
ound
.
c: include
m
ore spec
i
fic header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
o
o
laege
schedule
.
c:
directly
i
nclud
e
required he
a
der
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next