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
cpp: generate get_ctx method for all exported classes
2017-11-17
Sven
V
erdool
a
e
ge
cpp
:
g
e
nerate get_ct
x
m
ethod f
o
r al
l
exp
o
rted classes
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Ver
d
oolaege
add te
s
ts
for Python inte
r
face
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sv
e
n V
e
rdool
a
e
ge
interface/isl_test_cpp
-
noexceptions
.
cc:
exte
n
d
t
e
st
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdool
a
ege
Merge
bra
n
c
h
'maint
'
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdo
o
laege
python: sp
e
cifically handl
e
long arguments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdool
a
ege
e
x
por
t
isl_union_set_pre
i
mage_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven V
e
rdoolaege
export isl_
u
ni
o
n_map_eq_at_multi_unio
n
_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
S
ven Ve
r
doolaege
expose isl_space_flatten_{dom
a
in,range}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven V
e
r
dool
a
ege
isl_spa
c
e_fla
t
ten_
r
ange: rename "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven
Ver
d
oolae
g
e
i
s
l_
s
p
a
ce
_
fla
t
ten_do
m
a
in: re
n
ame
"d
i
m
" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verd
o
ol
a
ege
i
n
terfa
c
e/p
y
thon
.
cc:
f
ix
typo in commen
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Verdoola
e
ge
doc
:
fix typos in
is
l
_schedule_nod
e
do
c
umentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven
V
erdool
a
ege
isl_sche
d
u
ler
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdo
o
l
a
ege
isl_schedule
_
tree
.
c:
f
ix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_
s
chedule_node
.
c: f
i
x typos
in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n V
e
rdoolaege
isl_
u
nion_map
.
c
:
fix
typ
o
s in commen
t
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdool
a
ege
isl_mor
p
h
.
c
: fix ty
p
o in commen
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verd
o
olaege
isl_tab_pip
.
c: fix
t
yp
o
in comme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl
_
m
ulti_templ
.
c: fix typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sv
e
n
Verdoola
e
g
e
isl_aff
.
c:
fix
t
y
p
o
in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoola
e
ge
is
l
_val
.
c:
f
ix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verdoolaege
i
sl
_
stream_eat: print
e
r
ror message
o
n EOF
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
S
ven Verdoolaeg
e
isl_multi_union_pw_a
f
f_zero: c
h
eck that input is n
o
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
do
o
la
e
g
e
drop
d
eprecated is
l
_
int interfa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
p
rivat
e
ly
expo
s
e isl_qpolynomial_fold
_
scale
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
priv
a
tely expose isl_
a
ff_scale
_
d
o
w
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
d
oolaege
is
l
_test
.
c
:
u
se isl_constraint_set_constant_si in
s
tead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en Verdoolaege
isl
_
test
.
c:
use isl
_
constr
a
int_set_coefficien
t
_si instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
i
s
l_test
.
c
: test
_
f
ix
e
d_powe
r
: use isl_val instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoo
l
aege
bound
.
c
:
use is
l
_val instead o
f
isl_int
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
ex
p
ose
isl_
p
w_qpolynomia
l
_fold
_
fix_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
oo
l
ae
g
e
remove
deprecated band forests
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n
V
erdoolae
g
e
drop isl_basic_map_foreach_lexopt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en Verdoolaege
i
s
l_ma
p
_dim_{min,max}:
use isl_
b
asic_ma
p
_lexo
p
t_pw_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Oleks
a
ndr Zine
n
ko
multi
.
h: fix wrong memo
r
y managem
e
n
t
a
nnota
t
ion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
Sven
V
erdoolaege
isl_tab_basic_map_pa
r
tia
l
_lexop
t
: split
o
n
p
a
r
a
m
etric
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_test
.
c: test_dim_max_1
:
extract
out
c
hec
k
_s
i
n
g
le
_
piece
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
i
s
l_tab_pip
.
c
:
ext
r
act
out sha
r
ed {row,col}_is_par
a
meter_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdo
o
la
e
ge
i
sl_
t
est
.
c: test_lis
t
: do
n
ot consid
e
r internal failu
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_t
e
st
.
c: test_un_val: do
n
ot consider internal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_ta
b
_basic_set_non_
t
rivial_lexmin: extract o
u
t
better_nex
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
doola
e
g
e
isl_tab_ba
s
ic_set_con
s
tr
a
i
ned_
l
exmin
:
extract
out pick_side
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_tab_
b
asic_set_non_trivial_lexmin
:
skip known imp
o
ssib
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_tab_p
i
p
.
c: e
n
ter_
l
e
v
el: ext
r
act ou
t
fini
s
hed_all_cases
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
is
l
_tab_basic_
s
et_n
o
n_triv
i
al_lexmin: extract out enter_level
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: move current b
e
st
solut
i
on into isl
_
lexm
i
n_da
t
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven V
e
rdool
a
ege
isl_tab_basic_
s
et_non_trivial_lexmin: ext
r
act
out ini
t
_lexmi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
V
e
rdoolaege
isl_tab_
p
ip
.
c:
first_trivial_reg
i
on: pass
isl_lexmin_da
t
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
i
sl_ta
b
_
p
ip
.
c
: move tableau into
i
sl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
la
e
ge
isl_ta
b
_ba
s
ic_set_non_trivial_lexmin:
e
xtract o
u
t upda
t
e_ou
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
i
s
l
_
tab_pi
p
.
c: move
isl_local_region a
r
ray i
n
to isl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl
_
t
a
b_basic_set_non
_
tri
v
ia
l
_lexmin: extract out cl
e
ar
_
lex
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_ba
s
ic_set_
n
on_trivial_lexmin:
extract out
init_local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_t
a
b_pip
.
c: isl_l
e
x
m
i
n_data: store a cop
y
of array
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
a
e
ge
isl_tab_pi
p
.
c
:
m
o
ve up isl_lexm
i
n
_d
a
ta decla
r
at
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
l
aege
i
sl_tab_pip
.
c:
r
e
name isl_trivia
l
_
g
lobal to isl
_
l
e
x
m
in_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ve
r
doo
l
aege
isl_tab_pi
p
.
c:
f
u
r
t
h
e
r
e
x
t
end docum
e
ntation of isl_loca
l
_
re
g
io
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_tab_pip
.
c: rename isl_trivial to isl_local_region
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
isl
_
tab_basic_set_non_trivial_lexmin: post
p
one
r
ollba
c
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add isl_mat_has_linearly_independent_rows
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
add i
s
l_mat_row_basis_extension
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
add isl_mat_row_basis
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
ol
a
ege
isl_mat_r
i
g
h
t_kernel
:
r
euse herm
i
te_firs
t
_zero_col
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdool
a
ege
isl_mat_r
i
ght_kernel: add
me
m
ory manage
m
ent annot
a
tions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_ma
t
.
c:
h
ermi
t
e
_
fi
r
s
t_zero
_
c
o
l: exploit c
o
lu
m
n
e
c
helon
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven
Verd
o
olaege
isl_
m
at_ran
k
: extract out hermite_first_zer
o
_co
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaeg
e
move i
s
l_mat_ran
k
to i
s
l_mat
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
expose isl_
m
at_ran
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
o
l
aege
add isl
_
vec_zero
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
ad
d
i
sl_sched
u
le_nod
e
_
e
very_de
s
cend
a
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
oolaege
isl_sch
e
dule_node_
f
o
r
each_descendant_to
p
_down: u
p
date
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolae
g
e
a
dd isl_unio
n
_map
_
remove_map_if
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdo
o
laege
isl_union_
m
ap
.
c: isl_un_op_contr
o
l: allow user data
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
add isl_unio
n
_m
a
p_
e
very_
m
a
p
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
do
c
:
i
s
l
_
uni
o
n_*_foreach
_
*: specify header
t
o
include
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
isl_stream_read_schedule_co
n
s
trai
n
ts: do not u
s
e default
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ve
r
doolaege
isl_s
c
he
d
uler
.
c: graph_
f
ree: extract
out cle
a
r_node
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ve
r
d
oolaege
i
s
l_scheduler
.
c: gr
a
ph_
f
in
d
_node: handle NULL input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Ve
r
doolaege
isl_schedu
l
er
.
c
:
graph_alloc: add som
e
d
ocu
m
entation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdool
a
eg
e
isl_sche
d
uler
.
c: gr
a
ph_alloc: re
t
urn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl
_
s
chedule
r
.
c: extract_sub_graph:
r
eturn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_sc
h
ed
u
ler
.
c: upd
a
te_edge:
r
eturn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_scheduler
.
c:
c
opy_edges: return isl_
s
t
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_sch
e
duler
.
c:
c
opy_nodes: re
t
ur
n
i
sl_s
t
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ver
d
oolaege
isl_schedul
e
r
.
c: reset_ban
d
: return is
l
_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_sc
h
ed
u
l
er
.
c: de
t
e
c
t_ccs: return is
l
_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
is
l
_scheduler
.
c: isl_s
c
h
ed_node: clarify tha
t
n
v
ar
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
isl_scheduler
.
c:
a
dd referen
c
e to
techni
c
al
r
eport
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_space
_
factor_do
m
ain: acce
p
t set space input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
d
o
o
laege
isl
_
spa
c
e
.
c: move isl_space_factor_domain do
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdo
o
laege
isl_prin
t
e
r_print_sche
d
ule_constrain
t
s: only
p
rint
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
V
erdoo
l
aege
ad
d
isl_union_ma
p
_
plain_is_empt
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoola
e
ge
doc: isl_
*
_
i
s_empty: specify hea
d
er to include
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Ve
r
doolaege
isl
_
printer_print_map: try and pr
i
nt equalit
y
c
onstr
a
ints
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
l
a
ege
isl
_
o
u
tput
.
c: print_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:
print_half_con
s
traint: drop isl_basic_
m
ap
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ve
r
doola
e
g
e
isl_outpu
t
.
c: print_affine: d
r
o
p i
s
l_basi
c
_map argum
e
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
i
sl_ou
t
put
.
c
:
print_disjunct: pass v
a
lid local varia
b
le
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoo
l
aege
i
sl_output
.
c: prin
t
_constr
a
i
n
ts: han
d
le conjunct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
V
erdoolae
g
e
isl_
p
r
int_*: pr
i
nt uns
a
tisfi
a
ble const
r
ai
n
t
s
as "fals
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next