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: abort on isl error
2017-11-17
Sven
Verdoolaege
i
n
t
e
rface/isl_test_cpp
-
noexce
p
tions
:
abort on
i
sl error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven
V
erdo
o
laege
inte
r
f
a
c
e
/
cp
p
.
c
c: fix s
t
yle
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
S
v
en Verdoolaege
cpp: generate get_ctx method for a
l
l
exported cla
s
ses
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaege
a
dd tests
for
P
ython interfa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
S
v
e
n
V
e
rdoolaege
interface/is
l
_test_c
p
p-noex
c
eptions
.
cc: extend test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven
V
erdo
o
laege
M
erge branch
'maint'
commit
|
commitdiff
|
tree
2017-11-16
Sven
Ve
r
doolaege
python: specifically h
a
ndle
l
o
ng arg
u
ments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
expo
r
t isl_union_set_preimage_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven
V
e
rdo
o
laege
export
i
s
l_uni
o
n_map_eq_
a
t_mu
l
ti
_
uni
o
n_pw_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
ex
p
ose isl_space
_
f
l
atten_{
d
om
a
in,range}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
S
v
e
n Verdoolaege
isl_space_flatten
_
range: rename "dim
"
argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
is
l
_
s
p
a
ce_
f
la
t
ten_domain:
r
ename "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ve
r
doo
l
aege
inte
r
face/python
.
cc: f
i
x typo in
c
o
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ve
r
doolaege
doc: fix typos in isl_schedul
e
_node documentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdo
o
l
a
ege
isl_
s
c
heduler
.
c
:
fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n
Verd
o
olaege
isl_schedule_tree
.
c: fix
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sve
n
V
erdoo
l
aege
isl_schedule_node
.
c: fix typos in com
m
ent
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdool
a
ege
isl_union_ma
p
.
c: fix typos
i
n
comme
n
ts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoola
e
ge
isl
_
m
orph
.
c: fix t
y
po
i
n comme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sve
n
Verdoolaege
isl_tab_p
i
p
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoo
l
ae
g
e
i
s
l_multi_
t
empl
.
c: fix typo
i
n co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sve
n
Verdoolae
g
e
isl_aff
.
c
: fix t
y
po in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Ver
d
ool
a
ege
isl_
v
al
.
c: fix
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verdoolaege
isl_stream_eat: print e
r
ror
message on EOF
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
Sven Verd
o
olaege
isl_mul
t
i_union_pw_
a
ff_zero:
c
h
eck that input is not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
drop
d
e
precated isl_int interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
doolaege
priv
a
tely expose i
s
l
_
q
p
olynomial
_
fold_scale
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdool
a
e
g
e
privately expose isl_aff_sc
a
le_do
w
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c
: use isl_c
o
nstrai
n
t_set_constant_si
ins
t
ead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c: use isl_constraint_set_coefficient_si
instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdo
o
l
a
ege
isl
_
test
.
c: tes
t
_fi
x
ed_power: use isl_val instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
o
olaege
bound
.
c:
use isl_val instead
of isl_int
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdoolaege
expose isl_pw_qpolyno
m
ial_fold_fix_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n
V
erdool
a
ege
r
e
move deprecate
d
band forests
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en
Ve
r
dool
a
e
ge
drop isl_basic_map_foreach_lexopt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdo
o
laege
isl_map_dim_{min,max}: use isl_b
a
s
i
c
_map
_
le
x
opt_pw_mult
i
_a
f
f
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Oleks
a
ndr Zinenko
multi
.
h: fix wrong memory management annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
S
v
en Verdoola
e
ge
isl_tab_ba
s
i
c
_
m
ap_pa
r
t
ia
l
_lexopt: split on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_test
.
c: test_dim_
m
ax_1: extra
c
t
out che
c
k
_
single_piece
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_tab
_
p
i
p
.
c
: extrac
t
out share
d
{row
,
col}_is_param
e
te
r
_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_test
.
c: tes
t
_list: do not
c
on
s
i
d
e
r internal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
do
o
l
aege
isl_test
.
c
:
test_un_val: do n
o
t consid
e
r internal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_tab_basic_s
e
t
_
n
on_t
r
ivia
l
_lexmin:
extract out better_nex
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl
_
ta
b
_
b
asic
_
set_cons
t
rained_lexmin: e
x
tract out pick_side
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
doolaege
i
s
l_tab_ba
s
ic_s
e
t
_n
o
n_triv
i
al_le
x
min: skip known
i
mpossible
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
t
ab_pi
p
.
c
:
enter_level
:
extract out finished_a
l
l_case
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_tab_
b
asic_set_non_
t
rivial_lexmin:
e
xt
r
a
ct out
e
n
t
er_level
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_ta
b
_p
i
p
.
c: mov
e
current best solution into
isl_lex
m
in_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoola
e
ge
isl_tab_
b
asic_set_non_trivial_lexmin: extract out init_lexmi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
i
sl_tab_pip
.
c: first_trivial_
r
egion:
p
a
s
s isl_l
e
xmi
n
_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: move ta
b
leau in
t
o isl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolae
g
e
i
s
l_tab_basic_se
t
_n
o
n_trivial_lexmin: e
x
tract out update_out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdool
a
ege
isl_tab_pip
.
c: m
o
ve
i
s
l
_
l
ocal_re
g
ion array into isl_lexmin
_
data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
tab_b
a
sic_set_non_trivia
l
_lexmin
:
extract out clear_lexm
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ve
n
V
e
r
doolaege
i
sl_
t
ab_ba
s
ic_
s
et
_
non_trivial_lex
m
in: extract ou
t
in
i
t_lo
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_
t
ab
_
pip
.
c:
i
sl
_
lex
m
in_
d
ata: store a c
o
py of arra
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
d
oolaeg
e
isl_
t
ab_pip
.
c: mov
e
up isl_lex
m
i
n
_da
t
a dec
l
aration
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
o
olaege
isl_ta
b
_pip
.
c: ren
a
m
e isl
_
trivial_global to isl_
l
exmin_
d
ata
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
o
o
l
aege
isl_t
a
b_pip
.
c:
furthe
r
e
x
tend do
c
umen
t
ation of
isl_local
_
region
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_ta
b
_p
i
p
.
c: r
e
name isl_trivial to
i
s
l_
l
ocal_
r
egion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_tab_bas
i
c_
s
et_non_trivial_lexmin: postpone rol
l
back
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoolaege
a
d
d isl
_
mat_has_linear
l
y_indepen
d
ent_r
o
ws
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Verdoolaege
add isl
_
mat_ro
w
_basis_e
x
t
e
nsion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doola
e
g
e
add isl_mat_row_bas
i
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laeg
e
isl_mat_r
i
g
ht_kern
e
l: r
e
u
s
e herm
i
te_first_zero_col
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
i
s
l_mat
_
r
i
ght_kernel: add m
e
mory m
a
nagem
e
nt annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_mat
.
c: herm
i
t
e_first_zero_col: exploi
t
colu
m
n e
c
helon
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_mat_ra
n
k: ext
r
act
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 Verd
o
o
la
e
ge
move isl
_
mat
_
r
ank to isl_
m
a
t
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolae
g
e
expose isl_m
a
t_ran
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
add isl_v
e
c_zero
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
erdo
o
laege
add isl_
s
chedule_node_every_descendant
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoo
l
aege
isl_schedule_nod
e
_fore
a
c
h_
d
esce
n
dant_top_down: update
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
add isl_
u
nion_map_rem
o
ve_map_if
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_union_m
a
p
.
c: isl_
u
n
_op_cont
r
ol: allow user data
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
add isl_union_map_every_
m
ap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoola
e
ge
doc: isl
_
un
i
on_*_
f
o
r
each_*:
s
pe
c
ify
header to
i
nclude
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
dool
a
e
ge
i
s
l_stream_rea
d
_schedu
l
e_
c
ons
t
raint
s
: do not use default
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl_scheduler
.
c: graph_free: extr
a
ct ou
t
clear_node
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_scheduler
.
c
: graph_find_node
:
handle NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_scheduler
.
c:
g
r
aph_all
o
c:
a
dd some documen
t
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verd
o
ol
a
ege
isl_
s
chedule
r
.
c:
graph_alloc:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_s
c
heduler
.
c
:
ext
r
act_sub_graph: retur
n
isl
_
stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
i
s
l_
s
ch
e
duler
.
c
: update_edge: re
t
urn i
s
l_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_s
c
heduler
.
c: copy_edge
s
: return isl_
s
ta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_s
c
h
eduler
.
c:
c
opy
_
nodes: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
e
r
d
ool
a
ege
isl_scheduler
.
c: reset_band: retur
n
isl_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
i
sl_sc
h
eduler
.
c:
detect_ccs: ret
u
rn i
s
l
_
stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olae
g
e
isl_
s
ch
e
d
ul
e
r
.
c: isl_sched_node
:
c
l
arify tha
t
nvar
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Ve
r
doolaege
isl_scheduler
.
c:
a
dd reference to
te
c
hnical report
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_space_factor_domain: accept set space inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
do
o
laege
i
s
l_spac
e
.
c: mo
v
e i
s
l
_
s
pace_facto
r
_d
o
main dow
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
p
rin
t
e
r
_print_schedul
e
_constraints: only print
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
a
d
d isl_union_map_plain_is_emp
t
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoola
e
ge
d
o
c: isl_*
_
i
s
_empty: s
p
e
c
ify heade
r
to in
c
lu
d
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_printer_print_
m
a
p: try and
p
rint equality constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_output
.
c
:
print_constraint
:
drop isl_b
a
s
ic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
i
s
l_
o
ut
p
u
t
.
c: print_ha
l
f
_constraint: drop isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_output
.
c: p
r
int_af
f
ine: drop isl_basic_map argument
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_o
u
t
p
ut
.
c
:
p
r
int_d
i
sjunct: pass
v
alid l
o
cal v
a
riables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next