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
export isl_union_map_from_{domain,range}
2017-11-23
S
v
en Verd
o
olaege
expo
r
t isl_union
_
map_from_{domain,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
Sve
n
Verdoolaege
docum
e
nt isl_union_ma
p
_f
r
o
m
_{domain,ra
n
ge}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sv
e
n Ve
r
d
o
olaege
i
s
l-
n
o
e
xcep
t
i
ons
.
h: clean up fixed part
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
S
v
e
n
Ve
r
doo
l
aege
i
n
terface/isl_t
e
st_cpp
-
noexcepti
o
n
s
:
abort on is
l
err
o
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven
V
erd
o
olaege
inte
r
fac
e
/c
p
p
.
cc: fix style
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven
V
erdo
o
laege
cp
p
: ge
n
e
r
ate
get
_
c
tx method for al
l
exported classes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoo
l
aege
add tests fo
r
Pyth
o
n inter
f
a
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
S
ve
n
V
e
rdoolaege
inte
r
f
ace/isl_test_cpp-noexceptions
.
cc: ex
t
end tes
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sv
e
n Verdoolaege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
py
t
hon:
specifically
h
a
ndle long
a
r
guments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
ven
V
erdoolaege
e
x
port i
s
l
_union_set_preimage_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
v
en Verdoolaege
export isl_union_
m
ap_eq_at_m
u
lti_union_p
w
_a
f
f
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
v
en Verdoolaege
expo
s
e isl_space_flatt
e
n_{d
o
mai
n
,rang
e
}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
ven Verdoolae
g
e
interfac
e
/py
t
hon
.
cc: fix
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolae
g
e
doc: fix typos i
n
isl_schedule
_
n
ode docu
m
entatio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoola
e
ge
isl_scheduler
.
c: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven
Verdoo
l
ae
g
e
isl_
s
ched
u
le_tree
.
c
: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ver
d
o
o
laege
i
sl_sc
h
edule_nod
e
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
is
l
_
u
nion
_
ma
p
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
ve
n
Verd
o
olaege
isl_morp
h
.
c: fix typo in commen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sve
n
V
erdoola
e
ge
is
l
_tab_pi
p
.
c: fix typo in
c
o
m
me
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Ver
d
oolaege
isl_mult
i
_templ
.
c:
f
ix
t
yp
o
in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verd
o
o
lae
g
e
isl_af
f
.
c
: fi
x
typo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_val
.
c: f
i
x
typo in
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
S
v
en Verd
o
o
laege
isl_stream_eat: pri
n
t err
o
r
m
e
s
sage on
E
OF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
Sven V
e
rdo
o
laege
isl_m
u
lti_union_p
w
_aff_zero
:
check that input is n
o
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
drop deprecated
isl_int inte
r
face
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
r
d
o
o
l
a
ege
privately
expo
s
e is
l
_qpolynom
i
al
_
f
old_scale
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verd
o
ol
a
ege
privately expose isl_aff_sca
l
e_down
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Ve
r
d
oola
e
g
e
i
s
l
_test
.
c: use isl_
c
o
n
straint_set_constant_si instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
doolaege
isl_test
.
c: use isl_con
s
traint_s
e
t_coefficient_s
i
in
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verd
o
o
laege
is
l
_test
.
c
:
t
est_fixe
d
_
p
owe
r
: use isl_
v
al
instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
b
o
und
.
c: use is
l
_val
instead of isl_int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven
V
erdoolaege
expose isl_pw_qpol
y
nomial_fold_fix_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdo
o
l
aege
drop isl_basic_map_foreach
_
lexopt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Ve
r
doolaege
isl_map_
d
i
m
_{min,max
}
: use isl_basic_map_
l
exopt_pw_m
u
l
ti_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
Sve
n
Verdoolaege
isl_tab
_
basic_m
a
p_partial_lexopt: split on pa
r
ametric
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaeg
e
isl_
t
est
.
c: test_dim_ma
x
_1
:
ext
r
act out c
h
eck_single_piece
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
t
ab_p
i
p
.
c: extract
o
ut shared {row,co
l
}_i
s
_
p
arameter_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
o
o
l
a
ege
isl_test
.
c
:
test_list: do
not conside
r
internal fai
l
u
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
is
l
_test
.
c:
test_un_val: do not c
o
nsider in
t
erna
l
failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
d
oolaege
isl_tab_basic_s
e
t_non_trivi
a
l_lexmin: extract
out better_nex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_
t
ab_
b
asic
_
set_constrain
e
d_lex
m
in: extract out pick
_
side
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_t
a
b_basic_set_non_trivial_lexm
i
n: skip
known impossibl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl_tab_
p
i
p
.
c:
e
nter_l
e
vel: extract ou
t
fin
i
sh
e
d_all_cases
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
is
l
_tab_bas
i
c_set_non_triv
i
al_lex
m
i
n: extract out enter_
l
evel
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
is
l
_tab_pip
.
c:
move current be
s
t so
l
utio
n
into isl_lexmin_
d
ata
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
lae
g
e
i
s
l_tab_b
a
sic_set_no
n
_triv
i
al_lexmin: extract out init_lexmi
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
la
e
g
e
isl_tab_pip
.
c: fi
r
st_tri
v
ial
_
region: pass i
s
l_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
is
l
_tab_pip
.
c: mo
v
e tableau into isl_lexmin_dat
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
e
rd
o
olaege
i
sl_t
a
b_basic
_
s
et_non_trivial_lexmin: extract
out update
_
out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: move isl_
l
ocal_region array into isl_lexmi
n
_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verd
o
olaege
isl_tab_bas
i
c_set_non_t
r
ivial_lexmin: extr
a
ct out clear_
l
exm
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaeg
e
i
s
l_tab_
b
asic_set_non_trivial_
l
exmin: ex
t
ract out init_
l
o
c
al
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdo
o
l
a
e
g
e
isl_tab_pi
p
.
c: isl
_
le
x
mi
n
_data:
store a copy of array
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdo
o
laege
isl_t
a
b_pip
.
c: move up isl_l
e
xmin_dat
a
declaration
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl_ta
b
_
pip
.
c: rename isl_trivial_glo
b
al to isl_le
x
min_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_tab_pip
.
c
:
fu
r
th
e
r e
x
tend docu
m
entation of isl_local_regio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ve
r
do
o
laege
isl_tab_
p
i
p
.
c:
r
e
n
a
me isl
_
triv
i
al to isl_lo
c
al_region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
is
l
_tab
_
basic_set_n
o
n_trivial_lexmin: postpone
r
ollb
a
ck
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
Verdoo
l
aege
ad
d
isl_mat_has_linearly_independent_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
add isl_mat_
r
o
w
_basi
s
_e
x
tensi
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
add
isl
_
mat_row
_
basis
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rd
o
olaege
i
s
l_mat_right_
k
ernel:
r
euse hermite_first_zero_c
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_mat_right_kernel: add m
e
mory managem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_ma
t
.
c
:
hermite_first_zero_
c
ol: exploit
col
u
mn echelon
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_mat_ra
n
k: extr
a
ct out hermite_firs
t
_zero_c
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdool
a
e
ge
m
o
ve i
s
l_mat_ra
n
k
t
o isl_mat
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Ver
d
oolaege
expose isl_m
a
t_rank
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolae
g
e
a
dd isl_schedul
e
_node_every_des
c
endant
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_schedule
_
node_
f
or
e
ach_desc
e
n
dant
_
top_
d
own: update
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
add isl_un
i
on
_
map_remove_map_if
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolae
g
e
isl
_
u
ni
o
n_map
.
c: isl_un
_
op_co
n
trol: allow user data
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
add isl_union_map
_
every_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolae
g
e
doc:
i
sl
_
union_*_fo
r
each_*: spe
c
ify header to
i
nclude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ve
n
Verdoolaege
isl
_
stream
_
re
a
d_schedule
_
cons
t
raints: do not use d
e
fault
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdool
a
ege
isl_sch
e
d
u
le
r
.
c
:
graph_f
r
ee: extract ou
t
clear_node
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
sche
d
uler
.
c:
graph_find_node:
handl
e
N
U
L
L input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_scheduler
.
c
:
graph_alloc: add so
m
e documenta
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl
_
sc
h
eduler
.
c: gra
p
h_alloc: retur
n
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
i
s
l_schedul
e
r
.
c: extract_sub_graph: return
is
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
s
che
d
u
le
r
.
c: up
d
ate
_
e
d
ge: retur
n
isl
_
st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl_schedul
e
r
.
c
:
copy_
e
d
g
e
s
:
return
i
sl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
doolaege
isl_scheduler
.
c: copy_no
d
es: return
isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verd
o
olaege
isl_scheduler
.
c:
reset_band
:
return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
isl_schedul
e
r
.
c:
d
etect_ccs: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verd
o
olaege
isl_
s
chedul
e
r
.
c: isl_sche
d
_
n
ode: clarify that nv
a
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_scheduler
.
c:
a
dd re
f
e
r
ence t
o
technical report
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_p
r
inter_
p
rint_schedule
_
co
n
straints
:
only pri
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
a
d
d is
l
_uni
o
n
_
map_pl
a
in_is_empt
y
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
doc: isl_*_
i
s_empty: spec
i
f
y header to include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdool
a
ege
isl_printer_print_
m
a
p: try and print eq
u
ali
t
y constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verd
o
olaege
isl_output
.
c: p
r
int_c
o
nstraint: drop isl_ba
s
ic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
o
olaege
i
s
l
_output
.
c: print_half_constrain
t
: drop isl_bas
i
c_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaeg
e
i
s
l_output
.
c: pri
n
t_affine: drop isl_basic_m
a
p argum
e
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erd
o
olaege
isl_output
.
c: print_d
i
sjunct: pass vali
d
l
ocal variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
erdoolaege
isl_outp
u
t
.
c: print
_
co
n
straints: handle
c
onj
u
nction
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
is
l
_print_*:
print
u
nsatisfia
b
l
e c
o
nstraints a
s
"
false
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_scheduler
.
c: non_neg_lexmin: fi
x
dou
b
le
f
ree on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-26
S
ven Ve
r
d
oo
l
a
e
ge
i
s
l_ma
p
_coalesce: ext
e
nd han
d
lin
g
of inequality ad
j
ace
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next