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 Verdoola
e
g
e
isl
_
*
_
aff_re
a
d_from_s
t
r
:
do not read dom
a
ins as rational
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
Sven
Ve
r
d
o
olaege
exp
o
rt isl_un
i
on_map_from_{do
m
ain
,
range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verd
o
olaege
document isl_union_map_from_{do
m
ain,
r
an
g
e
}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdo
o
laege
isl-noexc
e
pt
i
on
s
.
h: clean
up fixe
d
pa
r
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven V
e
rdoolaeg
e
i
nterface/isl_test_cpp-noe
x
c
e
ptions: ab
o
rt on isl error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Ver
d
oolaege
interface/
c
p
p
.
c
c
: fi
x
style
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdo
o
laege
cpp: genera
t
e get_ctx method for
all exported
cla
s
ses
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaege
add tests
f
or Python int
e
rface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolae
g
e
interface/isl_
t
est_cpp-noexceptions
.
cc: ex
t
e
n
d test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sv
e
n Verdoolaeg
e
Merge br
a
nch 'm
a
int'
commit
|
commitdiff
|
tree
2017-11-16
Sv
e
n Verdool
a
e
ge
pyth
o
n
:
s
pecifically handle lon
g
arguments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n Verdoolaeg
e
expo
r
t isl
_
union
_
set_preimage_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
Ve
r
doola
e
ge
expo
r
t is
l
_union_map_e
q
_at_
m
ulti_
u
nion
_
pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
expose isl_space_flatten
_
{d
o
ma
i
n,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolae
g
e
interface/pyth
o
n
.
cc:
f
ix typo in co
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven
V
e
r
d
o
olaege
d
o
c:
fix t
y
pos in is
l
_
s
che
d
ule_no
d
e
docu
m
entation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_
s
cheduler
.
c: fix typo in
co
m
m
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
is
l
_schedule
_
tree
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
ven Verdoolaege
is
l
_schedul
e
_node
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n
Ve
r
doola
e
ge
isl
_
union_map
.
c:
fix typos
i
n c
o
mm
e
nts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ve
r
doolaege
isl_
m
or
p
h
.
c: fix typo i
n
c
o
mme
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven
Verdoolaege
i
sl_tab_pip
.
c: fix
typ
o
in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sve
n
V
erdoolaege
i
sl_multi_templ
.
c
: f
i
x typo
i
n comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoo
l
a
e
g
e
isl_aff
.
c: fix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven V
e
rdoola
e
ge
i
s
l_val
.
c: fix ty
p
o in com
m
e
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verd
o
olaeg
e
isl_stream_eat: print err
o
r mess
a
ge on
E
O
F
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
Sven
V
erd
o
o
laege
isl_m
u
lti
_
union
_
pw_aff_zero
:
c
heck that input is not
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
drop
deprecated isl_int int
e
rfa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdoolaege
privat
e
ly expose is
l
_
qpolynomial_
f
old_scale
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
p
r
ivately expose isl_aff_sc
a
l
e_down
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdool
a
ege
isl_test
.
c: use isl_
c
on
s
traint_set_cons
t
ant_si
in
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolae
g
e
isl_test
.
c: us
e
isl_constraint_set_coefficie
n
t_si i
n
stead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c: test_
f
ixed_power: use isl_val
i
n
s
tead of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
doolaege
bound
.
c
:
use
i
sl_val inste
a
d of isl_int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Ver
d
oolaege
ex
p
ose isl_pw_qpoly
n
omial_f
o
l
d_fix_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoolaege
drop isl_b
a
sic
_
map_foreach_lexopt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n
V
erdoolaege
i
sl_m
a
p_dim_{min,max}: u
s
e
is
l
_b
a
sic_map_lexopt_pw_mu
l
ti_a
f
f
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
Sven Ver
d
oolaege
isl_tab_
b
asi
c
_map_par
t
ial_lexopt:
s
pli
t
on parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doola
e
ge
i
s
l
_
t
est
.
c
: test_d
i
m_max_1: extract out check_s
i
ng
l
e_piec
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_tab_pip
.
c:
e
xtract
out shared {row,
c
ol}_is_
p
arameter_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Ve
r
doola
e
g
e
is
l
_te
s
t
.
c: test_list: do no
t
consider
int
e
rnal failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_test
.
c:
te
s
t_
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_s
e
t_non
_
trivial_lexmin:
ex
t
ract ou
t
be
t
ter_nex
.
.
.
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_set_constrained
_
lexmin: ext
r
act ou
t
pick_side
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_tab_basic_set_non_
t
r
i
via
l
_
l
exmin: skip known impossibl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Ve
r
doolaege
isl_tab_pip
.
c: ente
r
_lev
e
l: e
x
trac
t
out fi
n
ished_all_cases
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_ba
s
ic_set_n
o
n_trivial_le
x
min: extr
a
ct out enter_le
v
el
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoo
l
a
e
ge
isl_
t
ab_pip
.
c: move current best solution into isl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
is
l
_tab_basic_set_non_trivial_lexmi
n
: extrac
t
out ini
t
_l
e
xmi
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoola
e
ge
i
sl_tab_pi
p
.
c: first_tri
v
ial_r
e
gion: pass isl
_
lexmin
_
data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
e
rdoolaege
isl_tab_pip
.
c: mo
v
e tableau
i
n
t
o
isl
_
lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdo
o
laege
isl_tab_b
a
sic_set_non_trivial_lexmin: extract ou
t
update_out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Verd
o
o
laege
isl_tab_pip
.
c: m
o
ve is
l
_
lo
c
al_regi
o
n ar
r
a
y
i
n
to is
l
_lexm
i
n_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolae
g
e
isl_tab_basic_set_no
n
_
t
r
ivial_lexmi
n
: extract out cle
a
r_lexm
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verd
o
olaege
isl_tab
_
bas
i
c_set_non_tr
i
v
i
al_lex
m
in: extract out init_local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
V
erdoolaege
i
sl_tab_pip
.
c: isl_lexmin_data: store a cop
y
of array
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
tab_pi
p
.
c: mov
e
up isl
_
lexmin_
d
ata decla
r
ation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
isl_tab_pi
p
.
c: re
n
ame isl_trivial_global to isl_
l
e
x
mi
n
_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl_t
a
b_pip
.
c: further extend docu
m
ent
a
tion
o
f isl_lo
c
al_region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
d
oolaege
isl_tab
_
pip
.
c: rename isl_
t
rivial to i
s
l_
l
o
cal_r
e
gion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_tab_ba
s
ic_set_non_
t
rivial_le
x
min: postpone
r
ollback
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ve
r
d
oolaege
add is
l
_mat_h
a
s_linearly_independent_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
a
d
d isl_ma
t
_row_basi
s
_exte
n
sion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
ool
a
ege
add isl_mat_ro
w
_
b
asis
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoolaege
isl_mat_rig
h
t_kernel: reuse
h
ermi
t
e_first_zero_col
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
i
s
l_mat_righ
t
_kernel: a
d
d m
e
mory managemen
t
a
nno
t
ations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
doolaege
isl_mat
.
c:
hermite_first
_
zero_col: ex
p
loit column echelon
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoolaege
i
s
l_mat_rank: extract ou
t
hermite_fi
r
st_zero
_
col
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verd
o
o
l
aege
move
isl_mat_rank to
i
sl_mat
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verd
o
olaege
exp
o
se isl_mat_rank
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
ool
a
ege
add isl_schedule_node_
e
very_d
e
scendan
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
s
chedule_no
d
e_
f
oreach
_
descenda
n
t_t
o
p_
d
own: upda
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoola
e
g
e
add isl_union_map
_
r
e
move_ma
p
_if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
erdoolaege
isl_un
i
on_m
a
p
.
c: isl_un_o
p
_c
o
ntrol: allow user data
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
add
i
s
l_un
i
on_map_every_m
a
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
doc: isl_union_*_foreach_*:
specify hea
d
er t
o
incl
u
d
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdo
o
l
aege
i
sl_st
r
eam_read_schedul
e
_constraints: do not use d
e
fault
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
erdoolaeg
e
i
s
l_sche
d
uler
.
c
:
graph_free:
extract
o
ut clea
r
_node
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
isl_scheduler
.
c
:
graph_fi
n
d_node: handl
e
NUL
L
input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
V
e
rdool
a
ege
isl_scheduler
.
c:
g
ra
p
h_alloc: add som
e
documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_scheduler
.
c: graph_all
o
c: return
isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_scheduler
.
c: extract_sub_graph
:
return isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_scheduler
.
c: up
d
ate_edge: return isl_sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoola
e
g
e
isl_sched
u
l
e
r
.
c: co
p
y_e
d
ges: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_scheduler
.
c: copy_nodes: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolae
g
e
isl_scheduler
.
c: r
e
set_ban
d
: return isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdool
a
ege
isl_sch
e
d
u
le
r
.
c: detect_ccs: return isl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
o
olaege
isl_sch
e
duler
.
c: isl_
s
ched_node:
c
l
ari
f
y that n
v
ar
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Ver
d
oolaege
i
s
l_scheduler
.
c: add r
e
ference to techni
c
a
l rep
o
rt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ve
r
d
o
ola
e
ge
i
sl_printer_print_schedule_
c
onst
r
aints: o
n
ly pr
i
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
add
i
s
l_union
_
map_
p
la
i
n_is_empty
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
doc
:
isl_*_is_empty
:
spec
i
fy header to include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_printer_print
_
map: try
and print equality const
r
aints
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
ol
a
ege
i
s
l
_outpu
t
.
c: print_constraint: dro
p
isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolae
g
e
isl_output
.
c: print_ha
l
f_c
o
ns
t
raint: d
r
op isl_b
a
sic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
i
s
l_output
.
c: p
r
int
_
affine: drop
isl_basic_map argument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_output
.
c
:
prin
t
_disjunc
t
: pass
v
alid local variable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_output
.
c:
p
ri
n
t
_constraints: handl
e
con
j
u
n
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl
_
print_*: print unsati
s
fiable constraints as "fa
l
se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
isl_sc
h
eduler
.
c
: non_neg_lexmin
:
fi
x
do
u
ble free on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next