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
e
rdoolaege
cpp: gene
r
ate get_ctx method for all exported classes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaege
add tests for Pyt
h
on
interface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaeg
e
interface/
i
sl_
t
est_c
p
p
-
noexception
s
.
c
c: exten
d
test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sv
e
n
V
erdoolaege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2017-11-16
Sven Verd
o
ol
a
ege
python:
s
p
ecifically
h
andle long arguments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
e
x
p
ort
i
s
l
_
union_set_pr
e
image_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven
Verdoolaeg
e
export isl_union_map_eq_at
_
multi_un
i
o
n
_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
expose isl_space_flatt
e
n_{domai
n
,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoola
e
ge
isl_
s
pace_fla
t
ten_range: rename "
d
i
m
" arg
u
ment to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
ven Ver
d
o
olaege
isl_s
p
ace_fla
t
ten
_
dom
a
in: re
n
am
e
"
d
i
m" argumen
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
interface/python
.
cc: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Ver
d
o
olaege
doc: fix typos in isl_sc
h
edule_node documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Verdoolaege
isl_scheduler
.
c: fix typo i
n
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verd
o
o
l
a
ege
isl_schedule_
t
r
e
e
.
c: fix
t
ypo in comm
e
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en
Verdoolaege
isl_sche
d
u
l
e
_
n
o
de
.
c: fix t
y
pos in
comme
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_
u
nion_map
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en V
e
r
doolaege
isl
_
morph
.
c:
f
ix
typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven V
e
rdoolaege
i
sl_tab_
p
i
p
.
c
: fi
x
t
y
po in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
S
ven
V
erdoola
e
ge
i
s
l_multi_templ
.
c: fix typo in c
o
mme
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoo
l
aege
isl_aff
.
c: fi
x
typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_val
.
c
: fix
t
ypo in comm
e
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verdoolaege
isl_st
r
eam_eat: pri
n
t error messag
e
o
n EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
Sven Verdool
a
ege
isl_m
u
lti_u
n
ion_pw
_
aff_zero: check that input i
s
not
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
drop deprecat
e
d isl_int interfa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdoolae
g
e
pr
i
va
t
ely ex
p
ose isl
_
qpol
y
nomial_
f
old
_
s
c
ale
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoola
e
ge
privat
e
ly
e
xpose isl_aff_scale_d
o
wn
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
i
s
l
_
te
s
t
.
c: use isl_const
r
aint_set_constant_si instea
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdoolaege
isl_test
.
c: us
e
isl_constrain
t
_set_coefficie
n
t_si
i
n
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdoolaege
is
l
_test
.
c: test
_
fixed_power: use isl_val instea
d
of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
er
d
o
o
l
aege
bound
.
c: use isl_val instead of i
s
l
_
int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
expose isl_pw_qpoly
n
omial_fol
d
_fix_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Ve
r
doolaege
remove depr
e
cated band
f
orests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en
Verdoolae
g
e
d
r
op
i
s
l
_
b
asic_map_foreach_le
x
o
p
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en Verdoolaege
isl_map_dim_{min,max
}
: use isl_basic_
m
ap_le
x
o
p
t_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Oleksan
d
r Zinenk
o
multi
.
h: fix wr
o
ng mem
o
r
y
m
anagem
e
n
t annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
Sven Verdoolaege
i
s
l
_
t
ab_basic_map_partial_l
e
xopt: split on paramet
r
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
i
sl_
t
est
.
c
:
t
e
s
t_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
Sven Verd
o
olaeg
e
isl_ta
b
_pip
.
c:
extract
o
u
t
s
hared {
r
ow,col}_is_par
a
meter_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ve
n
Verdool
a
ege
isl_te
s
t
.
c:
te
s
t_
l
ist: do
no
t
consider
intern
a
l f
a
ilu
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
d
o
o
laege
i
sl_t
e
st
.
c: test_un
_
v
a
l: d
o
not consider in
t
e
rnal failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_basic_set_non_trivial_lexmi
n
:
e
x
t
r
a
ct out better_nex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
l
a
ege
isl_
t
ab_ba
s
ic
_
set_constrained_lexmin: extract out pick_side
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_trivi
a
l_lexmin:
s
kip k
n
own impo
s
sible
.
.
.
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
_level:
e
xt
r
act out
finished_all_c
a
s
es
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_
t
ab_basic_set
_
non_trivial_lexmin: e
x
tract o
u
t enter_level
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
i
s
l_tab_pip
.
c: move current b
e
st solution into isl_lex
m
i
n_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
t
ab_
b
asic_se
t
_non_tri
v
i
a
l_lexm
i
n:
extract
o
ut init_lexmi
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_
p
ip
.
c: f
i
rs
t
_tri
v
ia
l
_reg
i
on: pa
s
s isl
_
lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdool
a
ege
isl_tab_pip
.
c
:
move
t
ablea
u
i
nto
i
sl_
l
exmi
n
_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
oolaege
isl_tab_basic_se
t
_
non_tri
v
ial_lexmin:
extr
a
ct
o
ut update_out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verd
o
olaeg
e
isl_tab_pip
.
c
:
move isl_local_region array into isl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoo
l
aege
isl_
t
ab_basic_set_
n
o
n_trivial_
l
exmin
:
e
x
tract out clear_
l
exm
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
isl_tab
_
basic_set_no
n
_trivial_
l
exmin: extract out init_local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
ol
a
e
g
e
isl_
t
ab
_
pip
.
c
:
isl_lexmin_data:
s
t
ore a copy of array
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: move u
p
i
s
l
_lexmin_data declarati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en V
e
r
d
oolae
g
e
i
sl_tab_
p
ip
.
c
: rename isl_trivial_global
to is
l
_
l
e
x
m
in_d
a
ta
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_tab
_
pip
.
c:
f
urther extend documentation
o
f isl_local
_
region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c:
r
enam
e
isl_trivial to isl_local_region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaeg
e
isl_tab_basi
c
_set_n
o
n
_
trivial_l
e
xmin
:
po
s
tpone rollback
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoolaege
a
d
d
i
sl_mat_has_linearly_independen
t
_
rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
l
a
ege
a
d
d isl
_
ma
t
_ro
w
_bas
i
s_e
x
t
e
nsion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
add isl_
m
at_row_basis
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_mat_right
_
ker
n
el: reuse he
r
mit
e
_first_zero_col
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Verdoo
l
aeg
e
isl_mat_right_kernel:
add memor
y
manage
m
e
n
t
annotation
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_mat
.
c: hermite_first_z
e
ro
_
col: exploit colu
m
n echelon
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n V
e
rdoolaege
isl_mat_rank: ext
r
act out hermite_first_
z
ero_
c
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdo
o
la
e
ge
move isl_mat_rank to
isl
_
mat
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoo
l
aege
ex
p
ose isl_mat_rank
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
add isl
_
ve
c
_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n V
e
rdoolaege
add isl_sch
e
d
u
le_no
d
e_every_d
e
s
c
e
n
d
ant
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ve
r
doolaege
isl_
s
ched
u
l
e
_
n
ode_
f
oreach_descen
d
a
n
t_t
o
p
_down
:
u
pdate
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
ad
d
i
s
l_uni
o
n
_
map_r
e
move_m
a
p_if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Ve
r
doolaege
isl_uni
o
n_map
.
c: isl_un_op_co
n
t
r
ol: al
l
o
w
user d
a
t
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
a
d
d
isl_un
i
on_map_every_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
doc: isl_union_*_foreac
h
_*: speci
f
y
header to
i
n
clude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
er
d
oola
e
ge
isl_stream_read_schedul
e
_con
s
traints: do not use default
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verd
o
olaege
isl_schedul
e
r
.
c: grap
h
_free: extract out cle
a
r_
n
ode
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
i
s
l
_
scheduler
.
c: graph_find_node: ha
n
dle N
U
LL inp
u
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoo
l
aege
isl_scheduler
.
c: gr
a
ph_allo
c
:
add so
m
e
d
o
c
umentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
Verdo
o
laege
is
l
_schedule
r
.
c: graph_alloc: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ve
n
Ve
r
do
o
laege
is
l
_sc
h
e
d
uler
.
c: extract_sub
_
graph: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
l
a
e
ge
isl_s
c
heduler
.
c: up
d
ate_edg
e
: retu
r
n isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_s
c
h
eduler
.
c: c
o
py_edges:
return isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
l
a
e
g
e
i
sl_scheduler
.
c: copy_nodes: return is
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ver
d
oo
l
aege
i
s
l
_s
c
heduler
.
c: res
e
t_band
:
r
e
turn
isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
schedul
e
r
.
c: d
e
t
ect_ccs:
r
e
turn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdo
o
laege
i
s
l
_sched
u
l
e
r
.
c: isl_sched_no
d
e:
c
larify that n
v
ar
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdo
o
lae
g
e
is
l
_schedu
l
er
.
c: add refere
n
ce to techni
c
al
r
ep
o
rt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_space_factor_d
o
m
ain: a
c
cept set s
p
a
c
e input
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoo
l
ae
g
e
is
l
_space
.
c: move isl_space_facto
r
_d
o
main down
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_printer_print_sc
h
edul
e
_const
r
aints: only print
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
er
d
oolaege
add isl_unio
n
_
map_pla
i
n_is
_
empty
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolae
g
e
d
o
c: isl_*_is_em
p
ty
:
specify header to include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
o
l
aege
is
l
_
p
rinter_
p
ri
n
t_map
:
tr
y
a
n
d
p
r
int
equality constrai
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
d
oolaege
i
sl_output
.
c: print_c
o
nst
r
a
i
n
t: drop isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
o
u
t
put
.
c: print_half_constraint: drop isl_basic_m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ver
d
oolaege
isl_output
.
c: pri
n
t_affine: drop isl_basic_map arg
u
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_outp
u
t
.
c: prin
t
_
d
isjunct: pass va
l
id local variable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_
o
utput
.
c
:
pr
i
nt
_
c
o
nstraints: handle con
j
uncti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
is
l
_print
_
*:
p
rin
t
unsatisfiable constra
i
n
ts
a
s
"false
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next