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_*_aff_read_from_str: do not read domains as rational sets
2017-11-28
Sven Verd
o
olae
g
e
i
s
l_*
_
aff_read_from
_
str:
d
o not r
e
ad domai
n
s
a
s rational
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verdoolaege
export isl_u
n
i
o
n_map_fro
m
_{domain,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
S
v
en Verdoolaege
d
o
cument
i
sl_un
i
o
n_map_f
r
om_{domain,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
S
ven Ve
r
d
oolaege
i
s
l-noexceptions
.
h:
clean
up fixed part
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
S
ven
V
erdoolaege
interf
a
ce/isl_test_cpp-n
o
exceptions: a
b
o
r
t on
i
sl
e
rror
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven
Verdoolaege
inte
r
face
/
cpp
.
c
c
:
fix styl
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
S
v
en Verdoolaeg
e
cpp
:
generate
g
e
t_ctx m
e
thod
f
o
r
al
l
e
x
ported cl
a
sses
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaege
add t
e
sts
f
or Python
i
n
t
erface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
i
n
terface/isl_
t
es
t
_cpp-noexcep
t
i
on
s
.
cc: extend
t
e
s
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
S
v
en Verdoo
l
aege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2017-11-16
Sve
n
Verdoolaeg
e
python: spe
c
i
fically handle long argume
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ve
r
doolaege
expo
r
t isl
_
union_set_preimage_
*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
export isl_union_ma
p
_eq_at_multi_union_pw
_
aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
Verd
o
o
l
aege
expose isl_space_flatten_{domain,
r
ange}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ve
r
doolaege
interface/python
.
c
c
:
fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Verdoolaege
doc: fix
t
y
p
os in
i
sl_sched
u
le_node docume
n
t
ation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ver
d
oola
e
ge
i
s
l
_scheduler
.
c: fi
x
t
y
po in com
m
ent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven
V
er
d
oolaege
isl_sc
h
edule_tree
.
c: fix typo in
c
o
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
ven Verdoolaege
isl_schedule_node
.
c
:
f
i
x typos in c
o
mments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Verdoolaege
isl_uni
o
n_map
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdo
o
l
a
ege
isl_morph
.
c: fi
x
typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
i
s
l_tab_pi
p
.
c: fix
typo in
c
ommen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
S
ven Verdoolaege
isl_
m
ulti_templ
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verd
o
o
l
aege
isl
_
aff
.
c: fix
ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven
Ve
r
doolaeg
e
isl
_
val
.
c: fix t
y
po
i
n
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sv
e
n
V
e
rdoolaeg
e
isl_stream
_
ea
t
: print erro
r
mess
a
ge on EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
Sv
e
n
Verdo
o
la
e
ge
isl_multi_union_pw
_
aff_zero: chec
k
t
h
a
t
input
is not
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdoo
l
aege
dro
p
depr
e
cat
e
d isl_i
n
t i
n
terface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
aege
p
r
ivately expose isl_qpoly
n
omial_fold_scal
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n
V
erdoolaege
privately expose isl_aff_sca
l
e_down
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
V
er
d
ool
a
ege
is
l
_
t
est
.
c: use isl_constr
a
int_set_
c
onstant_si in
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
r
d
o
o
l
aege
is
l
_te
s
t
.
c: u
s
e
isl_constrain
t
_se
t
_
c
o
ef
f
i
c
ient
_
si instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c: te
s
t_fixed_power: use
isl_val inst
e
a
d
of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n
Verdoolaege
bound
.
c
: use isl_val instead of i
s
l_i
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
aege
expose isl_pw_q
p
olynomial_fold_fix_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
drop
i
sl_
b
as
i
c_ma
p
_foreach_lex
o
pt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
isl_m
a
p
_
dim_{min,max}: use isl_bas
i
c_map
_
lexopt_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
Sv
e
n Verdoolae
g
e
isl_tab_ba
s
ic_m
a
p
_pa
r
tial_
l
exopt:
s
plit on par
a
metric
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
t
e
st
.
c: tes
t
_dim_max_
1
: e
x
tract out
c
heck_
s
ingle_piece
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erd
o
olaege
is
l
_
t
a
b
_pip
.
c: extract out sha
r
ed
{
row,
c
o
l}_
i
s_parameter_va
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
i
s
l_test
.
c
:
tes
t
_li
s
t: do not consider internal failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_test
.
c: test_un
_
val: do
n
o
t consider internal fai
l
ure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
i
sl
_
tab_ba
s
ic_set_n
o
n
_trivial_lexmin: extract out better_nex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
i
sl
_
tab_b
a
si
c
_
s
et_cons
t
raine
d
_lexmin: extract out
pick_side
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n V
e
r
doolaege
isl_t
a
b_basic_set_non_trivial_lexm
i
n
:
s
k
ip k
n
o
wn impo
s
s
ibl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
oolaege
isl_tab_
p
ip
.
c: enter_l
e
ve
l
: extract out finished_all_cases
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Verdoolaege
isl_tab_basic_set_n
o
n_
t
rivial
_
lex
m
in: extrac
t
out enter_level
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_
p
i
p
.
c: mo
v
e curre
n
t best solution in
t
o
i
s
l_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_tab_basic_set_non
_
t
rivial_lexmin: ex
t
ract out ini
t
_le
x
m
i
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_
p
ip
.
c: first_tr
i
vial_region: pass is
l
_l
e
xm
i
n
_
data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaeg
e
isl_tab_pip
.
c: move table
a
u into isl_lexmi
n
_d
a
ta
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_tab_ba
s
ic_se
t
_non_trivial_lexmin: extract out update_out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdo
o
laege
is
l
_ta
b
_pi
p
.
c: move isl_local_regi
o
n arra
y
into
isl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
erdoolaege
i
s
l
_
t
a
b_basic
_
set_non_trivi
a
l_lexmin:
e
x
trac
t
out cl
e
ar_l
e
xm
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_tab_basic_set_n
o
n_
t
riv
i
al_lexm
i
n: extract out init_local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
erdoolaege
isl_tab_pip
.
c: isl_le
x
min_
d
a
t
a: store a
c
opy of array
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_tab_pip
.
c
:
move up isl_lexmin
_
data declaration
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab
_
pip
.
c
:
ren
a
m
e
i
sl_trivial
_
gl
o
b
a
l
to isl
_
lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoola
e
g
e
isl_tab_
p
ip
.
c: further
e
xtend doc
u
mentation of isl_local_re
g
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_ta
b
_
pip
.
c: rename isl_tri
v
ia
l
to isl_loc
a
l_
r
egion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdool
a
e
g
e
i
s
l
_tab_basic_set_non_trivia
l
_lexmin: post
p
on
e
rollback
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add
i
sl_
m
at_
h
a
s
_linearly_
i
n
d
ep
e
nde
n
t
_
r
ows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
ad
d
isl_mat_
r
ow_basis_exten
s
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaeg
e
add isl_
m
a
t
_ro
w
_basis
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
i
s
l
_m
a
t_right_kernel: reu
s
e hermite_first_zero_col
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_mat
_
right_kernel: add memo
r
y m
a
n
agement annotat
i
ons
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
is
l
_mat
.
c:
herm
i
t
e_fi
r
st_zero_
c
ol:
expl
o
it column ech
e
l
on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl_mat
_
ran
k
:
extract out her
m
ite_first_zero_
c
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
move is
l
_mat_ra
n
k t
o
isl_
m
at
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
expose isl_m
a
t
_
rank
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoo
l
ae
g
e
add
i
sl
_
schedule
_
n
ode_every_descendant
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
doolaege
isl_schedu
l
e
_n
o
de_fo
r
each_descendant_top_down: update
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
add
i
sl_u
n
ion_map_remove
_
m
ap_if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
eg
e
isl_uni
o
n_map
.
c: isl_un_
o
p_
c
o
n
t
r
o
l: a
l
l
ow user data
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add is
l
_union
_
map_every_m
a
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
doc: isl_union_*_foreach
_
*: specif
y
header to include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdool
a
e
ge
isl_
s
t
r
e
a
m
_read_schedul
e
_constraints: do not u
s
e defau
l
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdo
o
laege
isl_
s
ch
e
dule
r
.
c: graph_free:
e
x
t
ract
o
ut clear_node
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
s
ch
e
du
l
e
r
.
c:
graph_f
i
n
d
_n
o
de: han
d
le N
U
LL in
p
ut
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n V
e
rdoolaege
isl_scheduler
.
c: graph_alloc: add some docum
e
nt
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Ve
r
doolaege
isl_sc
h
eduler
.
c: grap
h
_alloc:
r
eturn is
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
is
l
_
s
cheduler
.
c: extrac
t
_sub_graph: retur
n
isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_
s
chedul
e
r
.
c
:
update_edge: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl
_
sche
d
uler
.
c: c
o
py_edges: return i
s
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_scheduler
.
c: cop
y
_nodes: ret
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_sc
h
eduler
.
c: re
s
et_band:
return
i
sl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_schedul
e
r
.
c: de
t
e
c
t_cc
s
: return isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_sched
u
ler
.
c:
i
sl_sched_
n
ode: cla
r
ify
that n
v
ar
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_schedule
r
.
c: ad
d
reference to technical report
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaeg
e
is
l
_
p
rinter_pr
i
nt_schedule_const
r
aints: only print
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add
i
sl_uni
o
n
_map_pla
i
n_is_e
m
pty
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
doc: isl
_
*_is_
e
mp
t
y:
s
pecify head
e
r
t
o include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
er
d
oolaege
isl_printer_print_map:
t
ry a
n
d print equa
l
i
t
y
const
r
a
int
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl
_
ou
t
put
.
c:
print_constraint: d
r
op isl_b
a
s
i
c_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Ver
d
oolaege
i
sl_out
p
ut
.
c: print_half_constraint: drop isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl_
o
utput
.
c: print_affine
:
drop isl_ba
s
ic_m
a
p
a
rgument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_ou
t
put
.
c: print_disjunct: pass valid local va
r
iable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdo
o
l
a
ege
isl_output
.
c: print
_
co
n
straints:
h
andl
e
conjunc
t
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaeg
e
isl_print_*: print u
n
satisfiab
l
e co
n
straints as "false
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_scheduler
.
c: non_
n
e
g
_lexmin: fix double free on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next