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/cpp.cc: fix style
2017-11-17
Sven
V
erdoola
e
ge
interface/cpp
.
c
c:
f
i
x style
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoo
l
aege
cpp: gener
a
te g
e
t_ctx
method for all exported cla
s
ses
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolae
g
e
add tests for P
y
thon int
e
rface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
interf
a
ce/i
s
l_te
s
t
_cpp-noexceptions
.
c
c: extend
t
est
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
M
e
rge b
r
anch
'maint'
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
python:
spec
i
fi
c
a
lly handle l
o
n
g
argume
n
ts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
S
v
en
V
erdoolaege
e
x
port isl_u
n
ion
_
set_preimage_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
e
x
po
r
t isl_un
i
o
n
_
m
ap_eq_at_mu
l
t
i_uni
o
n_p
w
_a
f
f
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
S
v
en
V
erd
o
olaege
expose isl
_
spa
c
e_flat
t
en_{d
o
main,ra
n
ge}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven
V
erdoolaege
isl_
s
pace_flatte
n
_range: rename "di
m
" argu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdo
o
l
a
ege
i
sl_s
p
ace_f
l
atten_domain:
r
ename "dim" argu
m
en
t
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
ven Ve
r
doolaege
in
t
erface/python
.
cc: fix typo in c
o
mmen
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Ve
r
doo
l
aege
doc: fix typos in
i
sl_s
c
hedule_node document
a
tion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaeg
e
i
sl_scheduler
.
c:
f
ix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_s
c
hedu
l
e_tree
.
c:
f
i
x
t
yp
o
in com
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
is
l
_schedule
_
node
.
c
:
fix t
y
pos
i
n comme
n
t
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolae
g
e
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
V
e
rdoolaege
isl_
m
orph
.
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
rd
o
olaege
is
l
_t
a
b_pip
.
c:
fix
t
ypo
in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_multi_t
e
mpl
.
c
: fix t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven
Ver
d
o
olaege
isl_
a
ff
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven
V
erdoolaege
isl_val
.
c: fix typo in
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
Sven Ver
d
ool
a
ege
i
sl_stream_
e
a
t: print error messag
e
on EOF
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
Sven Verdoolaege
i
s
l
_
mul
t
i_union_pw_aff_ze
r
o
:
check th
a
t inpu
t
is
not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdoolaege
drop dep
r
ecated
i
sl_i
n
t
interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven V
e
r
doolaege
privately exp
o
se isl
_
qpolynom
i
al_
f
old_scale
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
p
r
ivate
l
y expose isl_aff_scal
e
_
down
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdoo
l
aege
i
sl_test
.
c: use i
s
l_c
o
nstra
i
nt_set_co
n
stant_si instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdo
o
laege
isl_test
.
c: us
e
isl_constraint_set_
c
oe
f
ficient_si
i
nstead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolae
g
e
isl_test
.
c: test_fixed_powe
r
:
us
e
isl
_
val
i
nstead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
e
rdoo
l
aege
bound
.
c: use isl_val i
n
stead of isl_int
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
e
n
Verdo
o
laege
expo
s
e isl_pw_q
p
olynomia
l
_fold_fix_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
e
n Verdoolaege
remove deprecated band forests
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdool
a
ege
d
r
op is
l
_basic_
m
ap_foreach_lexopt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Ve
r
d
o
olaege
isl_map_dim_{min,max}:
u
se isl_b
a
sic_
m
ap_lexopt_pw_multi_af
f
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
S
v
e
n
Verdoolae
g
e
isl_tab
_
basic_map_part
i
a
l_lexopt: spli
t
o
n
parame
t
r
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
e
rdoolaege
i
s
l
_
t
e
s
t
.
c: test_dim_max_1
:
extract out che
c
k_single_piece
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolae
g
e
isl_tab_pi
p
.
c:
e
x
t
ract out shared
{r
o
w,col}_is_parameter_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
ae
g
e
is
l
_test
.
c: test
_
list:
d
o n
o
t con
s
ider internal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl_test
.
c: te
s
t_un_val:
do no
t
consider internal
f
a
ilure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
is
l
_tab
_
basi
c
_set_n
o
n_trivi
a
l_lexmin: ext
r
act out
better_n
e
x
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
i
s
l_tab_basic_set_con
s
trai
n
ed_le
x
m
i
n:
extract ou
t
pick_side
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_ta
b
_basic_set_
n
on_trivial_lexmin: skip known
i
mpossi
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoo
l
a
ege
isl_tab_
p
ip
.
c: enter_leve
l
: ext
r
ac
t
out finished_all
_
cases
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolae
g
e
isl_t
a
b_basic_set_non_trivial_lexmin: extra
c
t o
u
t
enter_le
v
e
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olae
g
e
isl_tab_pip
.
c
:
mo
v
e
c
urrent
best solution into isl_lexmin
_
data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_tab
_
basic_set_no
n
_trivi
a
l_le
x
min: e
x
tract out
i
n
i
t_lexm
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven
V
erd
o
olaege
isl
_
tab_pip
.
c: fi
r
st_trivi
a
l_re
g
ion: pass isl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en V
e
rdoolaeg
e
isl_tab_pip
.
c: move tabl
e
au into
i
sl_le
x
m
in
_
data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdool
a
ege
isl_tab_b
a
sic_se
t
_non_trivial_lexmin:
e
xtract out u
p
date_out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven
V
e
r
doolaege
isl_tab_pip
.
c: move isl_
l
ocal_
r
egion array i
n
t
o
isl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
a
ege
isl_tab_basic_set_non_trivi
a
l_lexm
i
n:
extract
o
ut clear_lexm
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
i
s
l_tab_b
a
si
c
_
set_
n
on_tr
i
vial_l
e
x
min: extra
c
t out
init_loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl_tab_pip
.
c: isl_lexmi
n
_data: store a copy of ar
r
ay
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_t
a
b
_
pip
.
c: mov
e
up isl_lexmin_data decl
a
ration
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_tab
_
pip
.
c:
re
n
a
m
e isl_trivial_global to isl_lexmi
n
_dat
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_tab_pi
p
.
c: further extend
d
o
c
u
m
e
n
tation of isl_
l
ocal_region
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_
t
ab_pip
.
c: rename isl_trivia
l
to isl_l
o
cal_region
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
la
e
ge
isl_
t
ab
_
basic_set_non_
t
riv
i
al_lexmin: postpone
rollbac
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
a
dd isl_mat_
h
as_linearly_ind
e
p
endent
_
r
o
ws
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add i
s
l_mat_row_basis_extension
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
add isl_mat_row_basis
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_mat_
r
ig
h
t_kernel:
reuse hermite_
f
irst_zero_col
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Ver
d
o
olaege
i
s
l_mat_right_
k
e
rnel: ad
d
memory man
a
gement an
n
otatio
n
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_mat
.
c: hermite_first_zero_col: expl
o
it column echelon
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Verd
o
olaege
isl_mat_rank: extract out hermite_f
i
rst_zero_col
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
move isl
_
mat_ran
k
to isl_mat
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaeg
e
expose
is
l
_mat
_
r
ank
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaeg
e
a
d
d isl_vec_zero
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
add isl_schedule_node_every_descendant
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_sc
h
edule_n
o
de_
f
oreach_descendant_top_down: update
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven V
e
rdoolaege
a
dd
i
s
l_union_map_remove
_
ma
p
_
if
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
do
o
laeg
e
isl_union_map
.
c: is
l
_un_op_con
t
rol: allow user
d
ata
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
add is
l
_u
n
ion_map_every_m
a
p
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdo
o
l
aeg
e
doc: is
l
_
u
nion_*_foreach_*:
s
pecify header
to
i
nclude
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
doo
l
aege
is
l
_str
e
am_r
e
ad_s
c
h
ed
u
le_
c
onst
r
aint
s
: do n
o
t use def
a
ult
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Verd
o
ola
e
ge
i
s
l_sched
u
le
r
.
c
:
g
raph_
f
ree:
extr
a
ct
o
ut c
l
ear_
n
o
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl
_
scheduler
.
c: graph_f
i
nd_node: handle NUL
L
input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolae
g
e
isl_scheduler
.
c: grap
h
_
a
ll
o
c: a
d
d
s
o
me
d
o
cumentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
Ver
d
oolaege
i
sl_
s
cheduler
.
c: gr
a
ph_al
l
oc: re
t
urn isl
_
stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rd
o
o
l
aege
isl_scheduler
.
c: ext
r
act_sub_graph:
r
e
turn i
s
l_sta
t
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_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_scheduler
.
c: copy_ed
g
es:
return i
s
l_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_sched
u
l
er
.
c: copy_nodes: return
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
erdoola
e
ge
is
l
_sc
h
e
dule
r
.
c: res
e
t_band: return isl_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_scheduler
.
c: detect_ccs: return
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
is
l
_scheduler
.
c
:
isl
_
sched_node: cl
a
ri
f
y that
nvar
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_sche
d
uler
.
c: add reference to technica
l
r
eport
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
d
oolaege
isl_space_fa
c
t
o
r_domai
n
:
a
c
cept
set space inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
i
s
l
_space
.
c: move isl_
s
pace
_
factor_do
m
a
i
n down
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl_printe
r
_print_
s
che
d
ule_c
o
nstraints: only
p
r
int
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
la
e
ge
add isl_
u
n
i
on_map_plain_is_empty
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Ver
d
oolaege
doc:
i
sl_*_i
s
_
e
mpty: specify heade
r
to include
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_pr
i
nter_pri
n
t_map
:
try an
d
print equality c
o
n
s
traints
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoola
e
ge
isl_outpu
t
.
c: prin
t
_constrain
t
: d
r
op isl_basic
_
m
ap
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
e
g
e
isl_out
p
ut
.
c: print
_
half_c
o
nstraint: drop isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_output
.
c: pr
i
nt_affine:
d
rop isl_basi
c
_map argument
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_
output
.
c
:
print_disj
u
nct: pas
s
v
a
lid l
o
cal vari
a
b
l
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_ou
t
p
ut
.
c: print
_
const
r
aints: handle conjunction
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdo
o
l
a
e
g
e
isl_pri
n
t_
*
: print unsatisfiable co
n
straints
as "false
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next