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
Merge branch 'maint'
2017-11-16
S
v
e
n
Verdool
a
ege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-11-16
Sven Ve
r
doola
e
ge
python
:
spec
i
fically handle long
a
rgum
e
nts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verd
o
olaege
expo
r
t isl_unio
n
_set_preimag
e
_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoola
e
ge
exp
o
rt isl_union_map_eq_at_multi_
u
n
i
on_p
w
_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n
Verdoolaege
expose isl_space
_
flatten_{domain,ra
n
ge}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n Verd
o
olaege
isl_space_f
l
atten_
r
an
g
e:
r
e
n
ame "di
m
" argu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n Verd
o
olae
g
e
isl_spa
c
e_flatten_domain:
r
ename "
d
im" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en
V
erdoolaege
interface
/
python
.
cc: f
i
x typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
d
o
c: fix typo
s
in isl_schedule_
n
ode documentat
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaeg
e
isl_schedul
e
r
.
c: fix typo in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ver
d
oolaege
isl_schedule_tree
.
c:
f
ix typo in
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ver
d
oolaege
isl_schedule_node
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Ver
d
oolaege
isl_union_map
.
c: f
i
x typos in
c
omments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Verdoolaege
isl_m
o
r
p
h
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_tab_pip
.
c
:
fix typ
o
in co
m
me
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoola
e
ge
is
l
_multi_templ
.
c: fix typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdo
o
lae
g
e
isl_aff
.
c
:
fix
typo
in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoo
l
a
e
ge
is
l
_val
.
c
:
fix t
y
po in co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verdoolaege
isl
_
stream_eat: pr
i
nt error message
on EOF
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
Sven
Verdoo
l
aege
isl_m
u
lt
i
_union_pw_aff_zero:
c
heck that input i
s
not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdoolaege
drop deprecate
d
isl_
i
nt interfac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdo
o
laege
pr
i
v
ately
expose isl_qpolynomia
l
_f
o
ld_scale
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoola
e
ge
privately expose isl_aff_sc
a
l
e
_down
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_te
s
t
.
c: use isl_constraint_set_
c
o
nstant_si instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
o
olaege
isl
_
te
s
t
.
c
:
use
isl_const
r
aint_set_coefficient_si instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoolaege
isl_t
e
st
.
c:
t
est_fixe
d
_power:
use
i
sl_va
l
instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoolae
g
e
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
Sven Verdoo
l
aege
expose i
s
l_pw_qpo
l
ynomial_fold_
f
ix_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ve
n
Verdoolaege
remove deprecated band forest
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
oolaege
drop
i
sl_b
a
sic_map_foreach_lexopt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdool
a
ege
i
sl_map_
d
im_{min,max}: use isl_basic_map_lexopt_pw_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
Sve
n
Verd
o
o
laege
isl_
t
a
b_bas
i
c_map_parti
a
l_lexopt: split on param
e
t
ri
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_tes
t
.
c:
t
est_dim_max_1: extract out ch
e
ck_sing
l
e_p
i
ece
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
oolaege
isl_tab_pip
.
c
:
extract out shared {row,col}_is_param
e
t
e
r
_va
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_t
e
s
t
.
c: test_
l
ist: do not consider inte
r
nal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olae
g
e
i
sl_test
.
c
: test_un_val:
d
o not consi
d
er i
n
ternal fai
l
ure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
i
s
l
_
tab_b
a
sic_s
e
t
_
non_trivial_le
x
m
in:
e
xtra
c
t out better_n
e
x
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_tab_basic_set_constrain
e
d_lexmin: extract ou
t
p
i
ck_side
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_t
a
b_bas
i
c
_
set_n
o
n_trivial_le
x
min: skip known impossible
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_tab_pip
.
c:
e
n
t
e
r
_le
v
el: extract out fi
n
is
h
e
d_all_ca
s
es
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_basic_set_non_tri
v
ial_
l
exmin: extract o
u
t enter_le
v
e
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdo
o
la
e
ge
is
l
_t
a
b_pip
.
c:
m
ove cu
r
rent best sol
u
tion into isl_le
x
m
i
n
_
d
a
t
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoo
l
aege
isl
_
tab_basic
_
set_non_trivial_le
x
min: extract out init
_
lexmi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdo
o
laege
is
l
_tab_
p
i
p
.
c: fi
r
st
_
trivial_re
g
ion
:
pass isl_lex
m
in_da
t
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
ool
a
ege
isl_tab_
p
i
p
.
c
: mo
v
e table
a
u into isl_lexm
i
n_
d
ata
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdo
o
laege
isl_tab_basic_set_no
n
_trivial_lexmin: extract
out update_out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
d
oolaege
isl_tab
_
p
ip
.
c: move isl_local_re
g
ion array into
is
l
_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
e
g
e
isl_tab_
b
a
sic_set_non_tr
i
vial_le
x
min
:
extract o
u
t clear_lexm
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ver
d
oola
e
ge
i
sl
_
ta
b
_
b
asic
_
s
et_non_tri
v
ial
_
lexm
i
n:
extract out init_loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_tab_pip
.
c:
i
sl_lexmin_data: sto
r
e a copy of
a
rr
a
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl
_
t
a
b_pip
.
c: m
o
ve up isl
_
lexmin_d
a
ta d
e
clarat
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_ta
b
_pi
p
.
c: rename isl_trivi
a
l_global
t
o isl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
er
d
o
ola
e
g
e
isl_tab_
p
ip
.
c
: further extend documentatio
n
of isl_lo
c
al_regi
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolae
g
e
i
s
l_tab_pip
.
c: rena
m
e
is
l
_trivial to isl_lo
c
al_r
e
gion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_tab_basic_
s
et_non_trivi
a
l_l
e
xmin:
postp
o
ne rol
l
back
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verd
o
olaege
add isl_mat_has_linearly_
i
nd
e
p
e
ndent_r
o
ws
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ve
r
d
o
o
l
aege
add
i
sl_mat_row
_
basis_ext
e
nsion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
ad
d
isl_mat_row_basis
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
la
e
ge
isl_ma
t
_right_kernel: re
u
se h
e
r
m
i
te_first_zero_col
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_ma
t
_r
i
g
h
t_
k
erne
l
:
a
dd
m
e
mory
m
a
n
agement annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdo
o
laege
isl_
m
at
.
c: hermite_fi
r
st_z
e
ro_c
o
l: exploit co
l
umn
e
chelon
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_mat_ran
k
: extract out hermite_first
_
zer
o
_col
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
move isl_ma
t
_rank to isl_mat
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
expose
isl_mat_rank
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rd
o
olaege
a
d
d i
s
l_vec_zero
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
add isl_schedule
_
node_every_desce
n
dan
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_sc
h
edu
l
e_
n
ode_foreach_descen
d
a
n
t_top_down:
update
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
add isl_union_map_remove_m
a
p_if
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_union_map
.
c
:
isl_un_op_control: allow user da
t
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
lae
g
e
add isl_union_map_ev
e
ry_m
a
p
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
d
o
o
laege
d
o
c
:
isl_union
_
*_foreach_*: s
p
ecify header to in
c
l
u
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
isl_str
e
am_read_schedule_constr
a
ints: do not use default
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
sch
e
dule
r
.
c: graph_free: ex
t
ract out clear_
n
od
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaeg
e
i
sl_scheduler
.
c: graph_find_node: handle NULL
i
n
put
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_
s
chedule
r
.
c
:
gra
p
h_alloc: add some
d
ocum
e
n
tation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
V
e
rd
o
olaege
isl_s
c
hedule
r
.
c
:
graph_alloc: return isl
_
stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl_sch
e
duler
.
c
:
extract_sub
_
g
raph: r
e
turn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdool
a
ege
is
l
_schedu
l
e
r
.
c: updat
e
_edge
:
ret
u
rn 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_e
d
g
e
s: retu
r
n isl
_
s
t
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
is
l
_sc
h
ed
u
ler
.
c
: cop
y
_
nodes: re
t
urn
i
s
l_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
i
s
l_scheduler
.
c:
reset_band
:
re
t
urn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
i
sl_s
c
h
e
duler
.
c
:
detect_ccs:
r
eturn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
doolaege
i
sl_sched
u
ler
.
c: is
l
_s
c
hed_node:
c
larify tha
t
n
v
ar
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
V
erdoolaege
isl
_
sched
u
ler
.
c: add reference to technica
l
report
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
o
o
laege
i
s
l_
s
pac
e
_fact
o
r_dom
a
in:
accept set sp
a
ce
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
o
olaege
isl_space
.
c: move is
l
_space_factor_doma
i
n down
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_print
e
r
_print_schedule_constraints: only print
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoolaege
add isl_union_
m
a
p
_
pla
i
n_is_
e
mpty
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
d
o
c:
isl
_
*_is_empty: specif
y
header to include
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_printer_p
r
int_ma
p
:
try a
n
d print
e
qua
l
it
y
const
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
output
.
c: print_constraint: drop
i
sl
_
basic_m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erd
o
o
l
a
ege
isl
_
o
utput
.
c: pr
i
nt_half_constr
a
in
t
: drop isl_ba
s
ic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_ou
t
put
.
c: pr
i
nt_
a
ffin
e
:
d
r
o
p isl_basic_map argum
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
i
s
l_out
p
ut
.
c
:
p
r
int_disjunct: pass
v
alid local var
i
ables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
a
ege
i
sl_output
.
c:
p
rint_con
s
t
r
aint
s
: handle conju
n
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
ol
a
ege
isl_print_*: print unsati
s
f
i
able c
o
nstraints as "
f
alse
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_scheduler
.
c: non_
n
eg_lexmin: fix dou
b
le fre
e
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
S
v
en
V
erdoola
e
ge
isl_map_coa
l
e
s
ce: ext
e
nd handling
o
f
ineq
u
ality ad
j
ac
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
Sve
n
Ver
d
oola
e
g
e
isl_coalesce
.
c:
extra
c
t
out shared find_
e
q and find_in
e
q
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
Sven Ve
r
d
oolaege
isl_c
o
alesc
e
.
c: extra
c
t
out shared coun
t
_eq an
d
count_ineq
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next