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
Sv
e
n Verdoolae
g
e
interface/isl_test_cpp-
n
oexceptions
.
cc: ext
e
nd
te
s
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
S
v
e
n Ve
r
do
o
laeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-11-16
S
v
en
Verdoolaeg
e
python: spe
c
if
i
cally handle long arguments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven
V
erd
o
olaege
e
x
por
t
isl
_
u
n
ion
_
s
e
t_preimage_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
export i
s
l_u
n
ion_map_
e
q_at_multi
_
uni
o
n_p
w
_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n
Verdoo
l
aege
expo
s
e isl_space_flatten_
{
d
o
main,range}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n
V
e
rdoolaege
isl_sp
a
ce_flat
t
en_
r
a
n
ge: rename
"dim"
a
r
gument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ver
d
oolaege
isl_sp
a
ce
_
flatten_domain: renam
e
"dim" a
r
gument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
ven V
e
r
d
o
o
l
aege
i
nt
e
rface/pyth
o
n
.
c
c
:
fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
ven
Ver
d
oolaeg
e
d
o
c: fix typos i
n
i
sl_schedule_node
d
ocumentatio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_scheduler
.
c: fix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_sch
e
dule_tree
.
c: fix typo in
c
o
mment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n V
e
r
d
oolaege
i
s
l_schedule_n
o
de
.
c: f
i
x
t
ypo
s
in c
o
mments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoo
l
aege
isl_union_m
a
p
.
c: fix ty
p
o
s in comment
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_mo
r
ph
.
c:
f
ix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sv
e
n Verdoolaege
isl_tab_pip
.
c: fix typo in
c
omm
e
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
is
l
_multi_temp
l
.
c
: fix typo in
c
omme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Ve
r
doolae
g
e
isl_aff
.
c: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
i
s
l_val
.
c:
f
ix
typo
in
c
omm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
Sv
e
n Verdoolaege
isl_strea
m
_eat: print e
r
r
o
r message
o
n EOF
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
S
v
en Verd
o
o
laege
isl_multi_union_pw_af
f
_ze
r
o: check that i
n
pu
t
is not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
dro
p
d
e
p
r
ecated isl_int inter
f
a
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
privatel
y
exp
o
se
is
l
_
q
polynomi
a
l_fold_s
c
ale
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
e
n Verdoolaege
p
r
ivat
e
ly expose isl_aff_scale
_
down
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Ve
r
d
oolaege
i
s
l
_test
.
c: use isl_constraint
_
set_constant
_
si instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n
Ver
d
oolaege
isl_
t
est
.
c
:
us
e
i
s
l_
c
ons
t
raint_set_coefficient
_
s
i
i
n
st
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ve
n
Verdoolaege
isl_test
.
c: te
s
t_fixed_power:
u
se isl_val
i
nstead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
d
o
olaege
bound
.
c: use isl_val instead of
i
sl_int
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
e
xpose isl
_
pw_qpolynomial_fo
l
d_fi
x
_
v
al
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdo
o
laege
re
m
ove deprecated band fore
s
ts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdoolaege
d
r
op isl_
b
asic_map_forea
c
h
_
lexopt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdo
o
laege
isl_map_dim_{min,max}: use isl_b
a
s
i
c_map_
l
exopt_pw_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
S
ven
Verdoolae
g
e
isl_tab_b
a
sic
_
m
a
p_partia
l
_lexopt: split
o
n param
e
tri
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdo
o
laege
isl_test
.
c: test_dim_max
_
1: extra
c
t ou
t
check_s
i
ngle_piece
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoo
l
aege
i
s
l_tab_pip
.
c: extract out sha
r
ed
{row,col}_
i
s_p
a
rameter_v
a
r
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_list: do
not consider internal fai
l
u
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl
_
test
.
c: test
_
un_val:
d
o
not c
o
nsider in
t
ernal fail
u
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_tab_basic_set_
n
on_tri
v
i
a
l_l
e
xmin: ext
r
ac
t
out
b
etter
_
nex
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verd
o
olaege
isl_tab_ba
s
ic
_
s
e
t_constrained_lexmin: extr
a
c
t
o
ut pick_side
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl
_
tab_
b
asic
_
s
e
t_non
_
trivi
a
l_
l
exmin:
skip kno
w
n
impossible
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Verdoolaege
isl_tab_pip
.
c: en
t
er_level:
e
xtract out finishe
d
_all_cases
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_basic_set_non_tr
i
vial_l
e
x
min:
e
xtr
a
ct out enter_
l
evel
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdool
a
ege
isl_
t
a
b
_pip
.
c: move current b
e
st solution into isl_le
x
min_dat
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
is
l
_ta
b
_basic_set_n
o
n_trivial_lexmin: e
x
tra
c
t
out
init_le
x
mi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_tab
_
pip
.
c: first_trivial_region: pa
s
s isl_
l
exmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_t
a
b_pip
.
c
: mov
e
tableau into isl_
l
e
xmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl
_
ta
b
_basic_set_n
o
n_trivi
a
l
_
lexm
i
n: extra
c
t o
u
t upda
t
e_out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab
_
pip
.
c: move isl_local_regio
n
array into isl
_
lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
doolaege
isl_tab_ba
s
ic_set
_
no
n
_trivial_
l
exmin: extract o
u
t clear_lexm
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
e
g
e
isl_t
a
b_basic_
s
et_non_trivial_lexmin:
e
xtract ou
t
init_local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
tab_pip
.
c:
i
s
l_
l
exmin_data
:
store a co
p
y
o
f arra
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: move up isl_lexm
i
n_data decl
a
ration
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven
Verdo
o
laege
isl_tab_pip
.
c: ren
a
me
i
sl_t
r
i
vi
a
l
_
global to isl_lexmin_d
a
ta
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_
t
a
b
_
pip
.
c
:
further
e
x
tend docu
m
ent
a
t
i
o
n
of isl_local_
r
egi
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: rename isl_trivial
to isl_loc
a
l
_re
g
ion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
i
s
l_tab_bas
i
c
_
s
et_non_
t
ri
v
ial_le
x
min: postpo
n
e
r
oll
b
a
ck
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add isl_mat_has_linearly_independen
t
_row
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoola
e
g
e
add isl_mat_row_basis_extension
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolae
g
e
add
i
sl_
m
at_row_basis
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_mat_right_ke
r
n
e
l
:
re
u
s
e hermite
_
first_zero_col
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_
m
at_rig
h
t_kerne
l
: add me
m
ory ma
n
agement annota
t
ions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_mat
.
c: he
r
mite_first_zero
_
col: e
x
ploit column echel
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven
V
er
d
o
o
laege
i
s
l_mat_ra
n
k: ext
r
act out herm
i
te_first_zero
_
col
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
o
l
a
ege
move
i
s
l
_mat_r
a
nk to is
l
_mat
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Verdoolaeg
e
expose
i
s
l_mat_rank
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add isl_
v
ec_zero
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Ver
d
ool
a
ege
add isl
_
schedule_node_
e
very_descen
d
ant
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdo
o
laege
isl_sc
h
edu
l
e_nod
e
_foreach_descendant
_
top_down: u
p
dat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolae
g
e
add is
l
_u
n
ion_map_remove_map_
i
f
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
e
rd
o
olaeg
e
i
s
l_union_map
.
c: isl_u
n
_op_contr
o
l: allow use
r
data
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
a
d
d i
s
l_union_m
a
p_every_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
d
o
c: isl_union_*_foreach_*: specify hea
d
er to include
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoo
l
aege
isl_s
t
r
eam_read_s
c
he
d
u
l
e_
c
on
s
tra
i
nts: do n
o
t use
default
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_s
c
heduler
.
c
:
graph_
f
ree:
e
xtract out clear_n
o
d
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_scheduler
.
c: g
r
aph_find_node:
h
andle
N
ULL inp
u
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
o
l
aege
isl_sched
u
ler
.
c: graph_all
o
c: add s
o
me doc
u
mentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
oolaege
isl_sc
h
eduler
.
c: graph
_
alloc: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
dool
a
e
ge
isl_s
c
hedul
e
r
.
c: extract_
s
ub_gra
p
h:
r
eturn i
s
l_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_schedul
e
r
.
c: update
_
edge: return isl_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolae
g
e
is
l
_schedule
r
.
c: copy_
e
dges: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_schedul
e
r
.
c: c
o
py_nodes
:
return is
l
_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoola
e
ge
isl_scheduler
.
c: reset_band: ret
u
rn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Ver
d
oolaege
isl
_
schedul
e
r
.
c: detect
_
ccs: ret
u
rn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolae
g
e
is
l
_schedul
e
r
.
c: isl_s
c
hed_n
o
de:
c
lar
i
fy th
a
t nvar
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdool
a
ege
is
l
_scheduler
.
c:
a
dd reference to technical report
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_space_factor_domain: ac
c
ept set space
i
np
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoo
l
aege
i
sl_s
p
ace
.
c: move isl_sp
a
ce_factor_domain down
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_printer_print
_
s
c
hedule_constr
a
ints:
only print
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add isl_uni
o
n_
m
ap_plain_is_em
p
ty
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
doc: isl_*_is_empty: sp
e
cify
header to incl
u
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_p
r
inter_print_ma
p
: try and pr
i
nt equa
l
ity
constrai
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_o
u
tput
.
c: print_co
n
str
a
i
nt:
drop isl_basic_m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolae
g
e
isl_output
.
c
:
print_half_constraint: drop isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_outpu
t
.
c: pri
n
t_
a
ffine: drop isl_ba
s
ic_map argument
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_output
.
c:
print_disjun
c
t: p
a
ss valid local vari
a
bles
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoo
l
a
e
ge
i
sl_
o
utput
.
c: print_co
n
s
t
r
aints
:
handle co
n
junction
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_pri
n
t
_*: print unsatisfiable constraints
as
"false
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l
_
scheduler
.
c:
n
on_neg
_
lex
m
in: fix
double
free on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
Sven
Verdo
o
lae
g
e
isl_map_coalesce: extend handl
i
ng
o
f
i
nequ
a
lity
adjac
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
S
v
en
V
e
rdoolaege
i
sl_coa
l
esce
.
c: e
x
t
r
act o
u
t
shared
find_eq and find_ineq
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next