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
interface/isl_test_cpp-noexceptions.cc: extend test of overloaded methods
2017-11-16
Sven V
e
rdoolaege
interface/isl_test_
c
pp-noexc
e
ptions
.
c
c: extend
test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verd
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-11-16
S
ve
n
Verdoola
e
ge
pyth
o
n: specifically handle long argume
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
ven Verdoo
l
ae
g
e
e
x
p
ort isl_union_set_preimage_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoo
l
aege
expo
r
t isl
_
union_map_eq_at_mu
l
ti_union
_
pw
_
a
ff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
v
e
n Ve
r
d
oolaege
expos
e
isl_space_fl
a
tten_{
d
omain,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaeg
e
inter
f
a
c
e
/
python
.
cc: fix
typo i
n
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoola
e
ge
d
oc: fix t
y
pos in isl_schedule_
n
ode docume
n
tation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Verdoo
l
aege
isl_sche
d
uler
.
c
: fix t
y
po in commen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven
V
erdool
a
ege
i
sl_schedule
_
tree
.
c: fi
x
t
y
po
in co
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Ver
d
oolaege
isl_schedule_node
.
c: fix
t
ypos
i
n commen
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_
u
n
ion_map
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Verdoolaege
isl
_
morph
.
c: fix ty
p
o in com
m
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
S
ven V
e
rdo
o
laeg
e
is
l
_
t
ab
_
pip
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verd
o
olae
g
e
isl_multi_temp
l
.
c: fi
x
typo
in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_a
f
f
.
c:
f
i
x ty
p
o in com
m
en
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaeg
e
isl_val
.
c: fix
t
ypo in c
o
mmen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
S
v
e
n
Verdoolaeg
e
isl_stream_eat: pr
i
nt error messa
g
e
o
n EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
S
v
e
n
V
e
rdo
o
la
e
ge
isl_multi_union_pw_aff_zero: ch
e
ck
t
hat input
is
n
ot
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdoolaeg
e
d
rop depre
c
ated isl_int
i
nt
e
r
face
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdoolaege
privately expose
i
sl_q
p
o
l
y
n
omial
_
fo
l
d_scal
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoolaeg
e
priva
t
e
l
y expose i
s
l_aff
_
sc
a
le_down
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdoolaege
i
s
l_test
.
c: use
i
sl_constraint
_
set_constant
_
si instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_tes
t
.
c: u
s
e isl_constrai
n
t_set
_
coe
f
f
icient_si
i
n
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoola
e
ge
isl_test
.
c: te
s
t_fixed_power: use
isl_val
i
n
s
tead of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoo
l
aege
bound
.
c: use isl_val
instead of
i
sl_i
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoolaege
exp
o
s
e
isl_pw_qpolynomial_fold_
f
ix_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
doolaege
drop isl_b
a
sic_map
_
foreach_lexopt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdo
o
laege
isl_map_
d
im_{min,m
a
x
}: use isl_
b
asic_map
_
lex
o
p
t
_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: sp
l
i
t on p
a
r
a
metric
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_
t
e
st
.
c: test_di
m
_
m
ax_
1
:
extr
a
ct
o
u
t check_single_piece
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_t
a
b
_
pi
p
.
c
:
e
x
t
ract out sh
a
red
{row,col}_is_parame
t
er_va
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
V
erdoolaege
isl_test
.
c
: test_list: do
not cons
i
d
er
i
nte
r
na
l
failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verd
o
olaege
isl_test
.
c: t
e
st_un_val:
do n
o
t
consider
i
nt
e
rnal failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven
Verd
o
olaege
isl_tab
_
ba
s
i
c_set_no
n
_tri
v
ial_l
e
xmin: extr
a
ct o
u
t better_nex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_bas
i
c_set_constrained_lexmin:
extract out pick_side
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_tab_
b
a
sic_se
t
_non_triv
i
al_lexmi
n
: s
k
ip kno
w
n impossible
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl
_
tab_pip
.
c: enter_lev
e
l:
e
xtract ou
t
finished_a
l
l_
c
ases
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
e
rdoo
l
ae
g
e
isl_tab_basi
c
_set_
n
on_trivial_lexm
i
n: e
x
trac
t
out
enter_level
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
i
s
l_tab_pip
.
c
: move current best sol
u
tion i
n
to isl_le
x
min_
d
a
t
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
d
oolaege
isl_tab_b
a
sic_s
e
t
_
non_trivial_lexmin: extract out init
_
lexmi
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_t
a
b_pip
.
c: first_trivia
l
_
r
egion: pass
i
s
l_lexmin_d
a
t
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab
_
pip
.
c: mov
e
ta
b
leau into
isl
_
lexmin_da
t
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaeg
e
isl_tab_basic_
s
e
t
_non_trivial_
l
exmin: extract out update_out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
i
s
l
_
tab_pip
.
c: move isl_local_reg
i
o
n array i
n
to isl_l
e
x
m
i
n_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_tab_basic_set_non_triv
i
al
_
lexm
i
n: extract out cle
a
r_lexm
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl
_
tab_basic_set_non_trivial
_
lexmin: ex
t
ract
out
init_local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl_tab_pi
p
.
c: isl_lexmin
_
data: st
o
re a copy of arr
a
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_tab_pip
.
c
: m
o
ve up isl_lexmin_data declaration
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
isl_tab_pip
.
c: ren
a
me isl_trivial_global to i
s
l_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_tab_pi
p
.
c: furt
h
er extend d
o
cumen
t
ation
o
f isl_local_r
e
gion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_
t
ab_pip
.
c: re
n
a
m
e isl_
t
riv
i
al to isl_
l
ocal_region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_ta
b
_basic_set_non_
t
rivial_lexmin: postpone rol
l
ba
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add
i
sl_ma
t
_has_linearly_in
d
e
p
endent_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
a
d
d isl_mat_ro
w
_basis_exten
s
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
add isl_mat_row_basi
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
is
l
_
mat_rig
h
t
_kernel: reuse hermite_first_zero_col
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verd
o
olaege
isl_mat_right_kerne
l
: add memory
m
anagement anno
t
ation
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verd
o
olaege
isl_mat
.
c:
hermite
_
f
irst
_
z
ero_col: exploit
co
l
umn
e
chelon
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_ma
t
_ra
n
k: extra
c
t out hermite_first_ze
r
o_col
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
move isl_mat_rank to isl_mat
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
exp
o
s
e isl_mat_rank
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoo
l
aege
add isl
_
s
che
d
ule
_
n
o
de_ev
e
ry_descend
a
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
doo
l
aege
isl_sche
d
ul
e
_
n
od
e
_foreach
_
descen
d
ant_top_
d
own: update
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
a
dd isl_union_map_remov
e
_map_if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_uni
o
n_map
.
c: isl_un_op_control: allow user
d
ata
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add isl_union_map_e
v
er
y
_
m
ap
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
lae
g
e
doc:
i
sl_union_*_fore
a
ch_*
:
specify h
e
ader to include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_s
t
ream_r
e
ad_sch
e
dule_cons
t
raints: do not use default
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Verdoolaege
isl_schedule
r
.
c: grap
h
_fre
e
: extra
c
t ou
t
cle
a
r
_n
o
de
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_
s
c
heduler
.
c
: graph_find_node:
h
andle NUL
L
i
nput
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_sch
e
duler
.
c:
g
raph_alloc: add some documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
i
sl_scheduler
.
c:
graph_all
o
c: return
i
sl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doola
e
g
e
is
l
_
schedul
e
r
.
c: extract_sub_gr
a
ph: return
isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
oolaege
isl_scheduler
.
c: upda
t
e_edge: return is
l
_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Ver
d
o
ol
a
ege
isl_scheduler
.
c: co
p
y_edges: return
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdool
a
ege
isl_scheduler
.
c
: copy_nod
e
s: return isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven
V
e
r
doolaege
isl_sc
h
edu
l
er
.
c
:
reset_band:
return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl
_
scheduler
.
c: detect_ccs: retu
r
n
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Ver
d
ool
a
ege
isl_schedu
l
er
.
c: isl_sched_no
d
e
:
clari
f
y that nvar
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
i
s
l_scheduler
.
c: add reference to tech
n
ica
l
re
p
or
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
isl_printer_print_schedule_cons
t
rain
t
s
:
only print
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
a
dd isl
_
unio
n
_map_plain_is_empty
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdool
a
e
g
e
doc: isl_*_
i
s_em
p
ty
:
s
p
ecify header t
o
include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en V
e
rdoolaege
i
s
l_printer_print_map:
t
r
y
a
n
d
print e
q
ual
i
ty co
n
straints
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_ou
t
p
u
t
.
c: print_constrain
t
: drop isl_
b
a
s
ic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_output
.
c: print_half_cons
t
raint: drop isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
is
l
_output
.
c: print_affine
:
drop
i
sl_ba
s
ic_map
a
r
g
ument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_
o
utput
.
c: pr
i
nt_di
s
ju
n
ct: pass valid local variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verd
o
olaege
isl_
o
utput
.
c: print_constraints: hand
l
e
c
on
j
u
n
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_print_
*
: prin
t
un
s
ati
s
f
iable
constraints a
s
"false
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oola
e
ge
isl_scheduler
.
c:
non_ne
g
_lexmin: fi
x
d
o
uble free
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaege
isl_
m
ap_coalesce: extend han
d
ling
o
f inequality adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
S
v
en Verd
o
olaege
i
s
l_schedule_constraints
_
compute_schedu
l
e:
o
nly sort
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sve
n
V
e
r
doolaege
isl_schedule
r
.
c:
c
ompute_sc
h
edule_fini
s
h
_
band: emphas
i
z
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sven Verdoolaege
isl_schedule_
c
ons
t
r
a
i
n
ts_compute_schedul
e
: do
not add
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sven Verdoolaege
b
ound
.
c: include mo
r
e specific h
e
ader
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdoolaege
s
chedule
.
c: direc
t
ly inclu
d
e requir
e
d header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
codegen
.
c: directly inclu
d
e required
h
eader
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdoolaege
isl_schedul
e
_node
.
c: directly include
r
equired header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next