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-noexceptions.h: clean up fixed part
2017-11-17
Sven Ver
d
oo
l
aege
isl-noexceptions
.
h:
c
l
ean up fixe
d
part
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoo
l
aege
interface/isl_te
s
t_cpp-noexc
e
p
t
ion
s
: ab
o
r
t on isl error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven
V
erdoolaeg
e
interface/cpp
.
cc:
f
i
x
sty
l
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
S
v
e
n Ver
d
oolaege
cpp: generate get_ctx method fo
r
all e
x
ported classes
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaege
add tests for Pyth
o
n
interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
interfa
c
e/isl_test_cpp-noe
x
cept
i
ons
.
cc: extend test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sve
n
Ve
r
dool
a
ege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-11-16
S
v
e
n Verdoola
e
ge
p
ython: specifi
c
all
y
handle long arguments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
S
v
en Verdoolaege
export isl_union_set_preimag
e
_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
Verdoo
l
a
ege
export isl_
u
nion_m
a
p_eq_at_multi_union_pw_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ver
d
ool
a
e
g
e
exp
o
se isl_s
p
ace_flatten_{do
m
ai
n
,range}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n Verdoolaege
isl_space_
f
latte
n
_rang
e
: rename "dim" argumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
Verdoolaege
isl_space_flat
t
e
n
_domain: ren
a
me "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
inte
r
face/python
.
cc: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
doc: fix
t
yp
o
s in isl_
s
chedule_node docum
e
ntation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Verdoolae
g
e
isl_schedul
e
r
.
c
:
fi
x
typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven
V
erdoolaege
isl_sc
h
ed
u
le_t
r
ee
.
c: fix typo
i
n co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Verdoolaege
isl_schedule_no
d
e
.
c: fix typo
s
in
c
om
m
en
t
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven
Verd
o
olaege
i
sl_union
_
map
.
c: fi
x
typos
in com
m
ents
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verd
o
ol
a
ege
isl_mo
r
ph
.
c
: fi
x
typo in
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven V
e
r
do
o
laege
isl_tab_pip
.
c: fix
t
y
po
i
n
comm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
i
sl_multi_t
e
mpl
.
c
:
f
i
x typo in c
o
mm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
S
ven Ve
r
doolaege
isl_aff
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaeg
e
isl_va
l
.
c: fix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
S
v
e
n
V
e
rdoola
e
g
e
isl_stream_eat: print e
r
ror message on E
O
F
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
Sv
e
n
Verdoolaeg
e
i
s
l
_
multi_uni
o
n_pw
_
aff_zero: che
c
k that
i
nput is not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verd
o
o
laege
drop depre
c
ated i
s
l_int
i
nterface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdoolaege
privately
exp
o
se is
l
_q
p
o
l
ynomi
a
l_
f
old_scale
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdoolaege
privately expose isl_aff_scale_down
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
aege
isl_test
.
c: us
e
isl_constra
i
nt_set_cons
t
a
n
t
_
si instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
oolaege
i
s
l
_test
.
c: use isl_constraint_set_
c
oefficient_
s
i inst
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdoo
l
ae
g
e
isl_tes
t
.
c
:
test_fixed_
p
ower:
use isl_v
a
l
i
ns
t
e
ad
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
oolaege
boun
d
.
c: use isl_val
i
nstead of isl_
i
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdoolaege
e
x
pose isl_pw_qpolynomial_fold_fix_
v
al
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
doola
e
ge
remove depr
e
ca
t
e
d
b
and fore
s
ts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Ver
d
oolaege
dro
p
isl_basic
_
m
ap_f
o
reach_lexopt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdoolaege
i
sl
_
map_dim_{min,
m
ax}: use isl_basic_map_lexopt_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Oleksandr Zinen
k
o
mul
t
i
.
h: fi
x
wrong memor
y
management annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
S
v
en Verdoolae
g
e
isl
_
tab_ba
s
ic_map_part
i
al
_
le
x
opt: split on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
i
s
l_te
s
t
.
c: test_di
m
_max_1: extract o
u
t check_s
i
ngle_
p
iece
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
V
erdoolaege
isl_tab_pi
p
.
c: e
x
tract ou
t
shared {row,col}_is
_
pa
r
ame
t
er_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
i
sl_test
.
c
:
test_list: do not cons
i
der internal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_t
e
st
.
c:
t
est_un_val: do not consider i
n
t
e
rnal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en V
e
rd
o
ola
e
ge
i
s
l_tab_basic_set_non_
t
rivial_l
e
xmin
:
extract
out
b
et
t
er_nex
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
V
e
rdoolaege
isl_tab_basic_
s
e
t
_const
r
ain
e
d_lexmin: ex
t
ract o
u
t pick_s
i
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_tab
_
bas
i
c_
s
e
t_non
_
trivial_lexmin: sk
i
p known impossible
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ve
r
doolaege
isl_tab_pip
.
c:
e
nter_leve
l
:
extract out finishe
d
_all_case
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
V
erdo
o
l
aege
isl_t
a
b_b
a
sic_set_non_trivial_lexmin:
extract out en
t
er_leve
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: mov
e
cu
r
rent best so
l
ution into isl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl
_
tab_basic_set_non_trivial_lexmin:
e
xtr
a
ct out
init
_
le
x
mi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
i
s
l_tab_pip
.
c: first_t
r
ivial_region: pass isl_lexmin_d
a
t
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
o
laege
isl_tab_pip
.
c: m
o
ve tabl
e
au in
t
o isl_lexmin_dat
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
g
e
i
sl_tab_basic_
s
et_n
o
n
_trivial_lexmin: extract out updat
e
_out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_ta
b
_pip
.
c: mov
e
isl
_
local_reg
i
on array into isl_lexmin_d
a
ta
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
is
l
_tab_basic
_
set
_
n
on_
t
ri
v
ial
_
lexmin: extract
out c
l
ear_lexm
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laeg
e
isl_tab_basic_set_n
o
n_trivial_lexmin: ex
t
ract out i
n
i
t_local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl_tab_p
i
p
.
c
: isl_lexmin_dat
a
: st
o
re
a
c
opy
of arr
a
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
d
oolaege
isl
_
tab_
p
i
p
.
c: move up isl_lexmin_da
t
a decl
a
ration
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n V
e
r
doolaege
isl_tab_pi
p
.
c: rename
i
s
l_trivial_globa
l
to is
l
_
l
exmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab
_
pip
.
c: further extend
documentation of is
l
_lo
c
a
l
_region
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl
_
tab_pip
.
c: re
n
ame isl_trivial to isl_loca
l
_reg
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_t
a
b_basic_set_no
n
_tr
i
vi
a
l_l
e
x
m
in:
p
os
t
pone rollback
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ver
d
oolaege
add isl_mat_has_linearly_in
d
e
pendent_rows
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
a
d
d
i
s
l_mat_r
o
w_basis_extens
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
a
dd is
l
_mat_r
o
w_b
a
sis
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_mat_right_
k
er
n
el: reuse hermite_f
i
rst_zero_col
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
i
s
l_ma
t
_
r
ight_ker
n
el: add
m
e
mory management annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdo
o
l
aege
isl_mat
.
c: hermite_fir
s
t_zero_col
:
exploit
c
olumn echelon
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
ola
e
ge
isl_mat_
r
a
n
k: extract out
h
ermite_first_zero_co
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
move
i
sl_mat_rank to
isl
_
mat
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
e
x
pose i
s
l_m
a
t_rank
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
erd
o
o
l
a
ege
add isl_vec_ze
r
o
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdo
o
laege
add isl_sch
e
dule_node_every_descendant
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolae
g
e
isl_sche
d
u
le_node_foreach_descendant_top_
d
own
:
upda
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
a
dd
i
sl_union_map_remov
e
_
m
ap_if
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
erdoola
e
ge
isl_union_ma
p
.
c: isl_un_op_control: allow use
r
data
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
a
d
d
isl_union_map_every_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdo
o
laege
doc: isl_
u
nion_*_foreach_*: specify header to include
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
is
l
_strea
m
_read_sc
h
edu
l
e_co
n
straints: do not use default
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_scheduler
.
c
: graph_
f
ree: extract out
c
le
a
r_
n
ode
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoo
l
aege
i
s
l_sche
d
uler
.
c
: gr
a
p
h_
f
in
d
_node: handle NU
L
L inp
u
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
dool
a
ege
isl_sch
e
duler
.
c: graph_alloc: add som
e
documentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verd
o
o
l
aege
i
s
l_schedule
r
.
c: graph_all
o
c: retu
r
n isl_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_scheduler
.
c: extract
_
su
b
_
g
raph: re
t
urn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdo
o
laege
isl_scheduler
.
c: updat
e
_edge
:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_sche
d
uler
.
c
:
copy_edg
e
s: return isl_
s
t
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
doolaege
isl_scheduler
.
c:
c
opy_nodes: r
e
tu
r
n
isl_s
t
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl
_
s
c
h
eduler
.
c: reset
_
band:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
ola
e
ge
isl_sc
h
ed
u
le
r
.
c:
detect_ccs: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdo
o
laege
isl_scheduler
.
c:
isl_sched_node: clarify
t
ha
t
nvar
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_s
c
h
e
dul
e
r
.
c: add
r
eference to technical
report
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Ve
r
doolaege
isl_space_facto
r
_
d
o
m
ain: a
c
cept set space i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
isl_space
.
c: move isl_space_fa
c
tor_domain
down
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
oolaege
isl_printer_print_
s
c
hedule_con
s
traints: only print
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
ad
d
isl_unio
n
_map_pla
i
n
_
i
s
_
empty
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdo
o
laege
d
o
c: isl_*_is_emp
t
y: specify header to
inc
l
u
d
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
er
d
ool
a
e
g
e
isl
_
printer_prin
t
_map: try
a
nd p
r
int
e
quality constra
i
nt
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
o
ol
a
ege
i
sl_output
.
c: pri
n
t
_
co
n
stra
i
nt: dr
o
p isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
i
sl_
o
u
t
p
u
t
.
c: print_ha
l
f_constraint:
dro
p
isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdool
a
ege
i
s
l_
o
utput
.
c:
p
rin
t
_a
f
fine: d
r
op i
s
l_basic_map argument
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next