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
isl_output.c: print_constraints: avoid invalid access on error
2016-06-17
Sven Ver
d
oolaege
isl_output
.
c: print_constraints: avoid invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
S
ven Verdoo
l
aeg
e
isl_output
.
c: print_disjun
c
t: avoid inv
a
lid acc
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sve
n
Verdo
o
laege
i
s
l
_
outp
u
t
.
c
: is
l
_map_pr
i
nt
_
i
s
l_
b
ody: handle NULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven V
e
rdool
a
ege
isl_prin
t
er_get_str: report e
r
r
o
r when call
e
d on wrong
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-03
Sven
V
erdoolaege
isl_ba
s
i
c
_se
t
_exp
a
nd_divs:
only add
d
iv
c
o
nstraint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven
V
erdoolaege
isl_co
a
lesce
.
c:
add_sub_vars: explici
t
ly mark added
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
i
s
l
_coal
e
sce
.
c: ad
d
_sub_
v
ars: move "correct" int
e
g
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven V
e
r
d
oolaege
is
l
_c
o
a
l
esce
.
c: wrap_in_facets:
a
void
i
nvalid
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaeg
e
i
s
l
_
prin
t
e
r
_print_map: print div constra
i
nts agai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdo
o
laege
i
s
l_pr
i
nt
e
r_print_map: fix printing of af
f
ine
ex
p
re
s
si
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
i
sl_output
.
c: print_disjuncts:
avoid invalid a
c
cess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
ven V
e
rdo
o
laege
isl_output
.
c:
p
r
i
nt_disjunc
t
: hand
l
e NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
ven Ver
d
oolaege
isl
_
vec
_
alloc: plug memo
r
y
l
eak on
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Ve
r
doolaege
isl_blk
.
c: extend: plug memory leak on erro
r
p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
ven V
e
rdool
a
e
g
e
isl_map_simplify
.
c:
d
ro
p
_mor
e
_redundan
t
_divs:
im
p
rove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-24
S
v
en Verdoolaege
isl_ba
s
ic
_
map_u
p
date
_
from_t
a
b:
im
p
rove erro
r
handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-24
Sven Ver
d
oolaege
i
sl_basic_map_r
e
move_r
e
dund
a
ncies:
improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoolaege
isl 0
.
17
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
S
ve
n
V
erdoola
e
ge
isl_tab
_
lexmin_add
_
eq:
m
ake
s
ure
t
he ta
b
le
a
u has eno
u
gh
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Ve
r
do
o
laeg
e
i
s
l_tab_le
x
min_
a
dd_e
q
: fix error handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-03
Sven V
e
rdoolaeg
e
isl 0
.
17
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-03
Sv
e
n Verdoolaege
isl_sched
u
le_constraints_c
o
mpute_schedule:
fix handling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sv
e
n
Verd
o
olaege
Mer
g
e branch 'maint'
into release
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolaege
d
o
c
: add some further
reading
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolaege
do
c
:
update intege
r
set coalesc
i
ng
reference
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verd
o
olae
g
e
do
c
:
a
dd pip experime
n
t in
p
ut
s
to d
i
strib
u
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven V
e
rdoolaege
d
o
c: add D
O
Is to
s
o
me more bibtex
en
t
ries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdo
o
l
ae
g
e
doc: use
biblatex for print
i
n
g
r
e
f
er
e
nces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoolaege
doc: set a
l
gori
t
hmautorefnam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verd
o
ola
e
ge
d
oc:
replace freshmeat li
n
ks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
S
ven Ve
r
doola
e
ge
do
c
:
rename isl_un
i
on_pw_aff_foreach_pw_aff callb
a
ck
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoolaege
a
void use of V
L
As
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
i
s
l
_
schedule_constraints_compute
_
sched
u
le: opti
o
nally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
i
s
l_s
c
heduler
.
c: add_node:
pas
s
in insta
n
ce
s
et instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
isl_sched
u
ler
.
c: ad
d
_node: minor
c
lean-
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
S
v
en Ve
r
doolaege
isl_scheduler
.
c: n
o
n_neg_lexmi
n
: extract out non_
e
mpty_solution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verd
o
olaege
isl_schedu
l
e
r
.
c
: non_neg
_
lexmin: explicitly use isl_tab
_
lex
m
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
S
v
en V
e
rdoolaege
i
s
l_scheduler
.
c: carry
_
dependences: extract
out non_neg_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdool
a
e
g
e
isl_schedu
l
er
.
c: carry_dependences:
e
x
t
r
a
ct out ca
r
rie
s
_
d
epe
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
add isl
_
ta
b
_lexmin
_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sve
n
Verdoolaege
a
dd
i
s
l
_tab_l
e
xmin_add_
e
q
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoo
l
aeg
e
bre
a
k up
i
sl_ta
b
_ba
s
ic_set_no
n
_neg_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Ve
r
doolae
g
e
add isl_s
e
t_project_ont
o
_
m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sv
e
n Verdoo
l
a
e
ge
make schedul
e
_max_coefficient option wor
k
as advertised
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sv
e
n Verdo
o
l
aege
i
s
l
_scheduler
.
c
:
extrac
t
o
u
t node_add_coe
f
ficient
_
const
r
a
i
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoo
l
aege
isl_scheduler
.
c: count_bound_
c
o
e
f
f
icient_constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoo
l
a
ege
isl_
s
cheduler
.
c:
add_bound_c
o
efficient_constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
S
ven V
e
r
d
oolaeg
e
isl_sch
e
duler
.
c:
a
d
d_bou
n
d_coefficient_co
n
straints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven
V
e
r
doolaege
schedule constructio
n
: use only p
o
sitive parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven
V
er
d
oolaege
isl_schedu
l
er
.
c: extract o
u
t shared node_va
r
_coef_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-18
Sven V
e
rdool
a
ege
isl_scheduler
.
c:
extract out sh
a
re
d
extract_var_c
o
e
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sv
e
n
Verd
o
o
l
aege
isl_sche
d
u
ler
.
c: coef_var_offset
:
minor s
i
mplificat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verd
o
olaege
isl_sc
h
edule
r
.
c: ext
r
a
ct
out shar
e
d
c
o
ef_var_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Verdo
o
laege
i
sl_s
c
h
eduler
.
c
:
e
xtract out shared inter_d
i
m_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaeg
e
isl_s
c
heduler
.
c: ext
r
ac
t
o
u
t sha
r
ed intra_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
S
ven Verdoolaege
isl_sc
h
e
d
uler
.
c:
a
dd_inter_proximit
y
_constraint
s
: retur
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_sched
u
ler
.
c: add_inter_
v
alidity_con
s
traint
s
:
return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolae
g
e
i
s
l
_
scheduler
.
c
:
a
dd_
i
ntra
_
proxi
m
i
t
y_c
o
ns
t
raints: return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoo
l
aege
isl_scheduler
.
c
:
add_intra_
v
ali
d
i
t
y_cons
t
rai
n
ts: r
e
tu
r
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sv
e
n V
e
rdoolaege
i
s
l_scheduler
.
c: add_inter_constraints: r
e
name "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven
Ver
d
oolaege
isl_scheduler
.
c:
add_inter_proximity
_
constr
a
ints: renam
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_scheduler
.
c: add_in
t
er
_
validity_constraints:
r
ena
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sve
n
Verdoolaege
isl_
s
cheduler
.
c: a
d
d_intra_constraints:
r
ename "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
S
ven Verdo
o
la
e
ge
isl_
s
cheduler
.
c: add_int
r
a_pr
o
ximity_constraints:
r
e
n
ame
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Ve
r
doola
e
ge
i
s
l_schedul
e
r
.
c: ad
d
_
i
ntra_v
a
li
d
ity_constraints: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
i
sl_sch
e
duler
.
c: count
_
a
l
l_
c
o
nstraints:
m
inor s
i
mplif
i
cation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl
_
scheduler
.
c: extract out sha
r
ed
i
s_a
n
y_validit
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdo
o
l
aege
isl_s
c
h
eduler
.
c: extract out shar
e
d
a
dd_
v
ar_sum_cons
t
r
ain
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_scheduler
.
c: e
x
tract out shared add_param_sum_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erdo
o
l
a
ege
isl_sc
h
e
duler
.
c: setup_lp: extra
c
t ou
t
add_
s
um_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoo
l
aege
isl_
s
ch
e
duler
.
c: set
u
p
_lp: extract out count
_
bound_constant_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erdoolaege
isl_sche
d
ule
r
.
c: setu
p
_lp
:
ex
t
ract out add_bound_constant_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven
Ver
d
oolaege
isl_schedu
l
e
r
.
c:
setup_carry_lp: return isl_sta
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Ve
r
doo
l
aeg
e
isl_sc
h
e
duler
.
c
:
se
t
up
_
lp: return
i
sl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en V
e
rdoolaege
i
s
l
_sche
d
ule
r
.
c: set
u
p_lp: rename "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sve
n
Verdoolaeg
e
is
l
_aff_expand_divs: minor
c
lean-
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl
_
a
ff_ex
p
and_divs: extract out isl_vec_expand
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Ver
d
oo
l
ae
g
e
is
l
_af
f
_
a
lign_divs: skip exten
s
ion if local spaces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
e
rd
o
olaege
isl_aff_align_div
s
: use isl
_
local_space_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdo
o
la
e
g
e
isl_a
f
f_alig
n
_divs: use isl_
l
ocal_
s
pace_has_equal_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoo
l
a
ege
isl_local_space_i
s
_
e
qual: extract out isl_local_s
p
ace_
h
a
s_eq
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sv
e
n Verd
o
olae
g
e
doc: expl
a
i
n
th
a
t
o
pti
o
n schedule_s
p
lit_s
c
aled is on
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sv
e
n
V
erdoolaege
d
o
c: change
order of
schedule opt
i
ons documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erdool
a
ege
doc: remove warning abo
u
t scheduli
n
g interfa
c
e being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Verdo
o
laege
doc: update isl_s
e
t_list_foreach
_
s
c
c docum
e
ntation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sv
e
n Ve
r
d
oolaege
d
oc: add missing
com
m
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_s
c
hedule_node_free: update documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-14
Sven Verdoolaege
isl_printer_yaml_start_map
p
ing: han
d
le NU
L
L input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-14
Sven Verdoo
l
aege
i
s
l_
s
ched
u
ler
.
c: dro
p
s
uperf
l
uo
u
s
e
m
pty line
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-14
Sven Ver
d
o
ola
e
ge
isl_
s
c
h
eduler
.
c: fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-14
S
ven Verdool
a
ege
isl_aff
.
c:
fix
whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-05
S
ven
V
e
r
do
o
la
e
ge
isl_m
a
p
_
p
artial_lexopt_aligned: comp
u
te result a
s
isl_pw_mul
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
S
v
e
n Verdo
o
laege
ad
d
isl_union
_
set
_
min_multi_union_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven
V
e
rdoolaege
isl_ilp
.
c: f
i
x typos i
n
c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
S
v
en
V
e
r
d
o
o
la
e
ge
isl_ast_buil
d
_expr_f
r
om_pw_a
f
f: combine pieces
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven V
e
r
d
oolaege
a
dd isl_aff_eq_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven Ver
d
o
o
laege
add is
l
_aff_eq_basic_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven
Verdoolaege
i
s
l_map_*_simple_hull: sort const
r
aints
before dropping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolaege
isl
_
tab_detect_r
e
dunda
n
t
:
c
heck
l
ater
c
o
n
strain
t
s first
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoo
l
a
ege
i
s
l_
t
a
b
_detect_
r
e
d
und
a
nt:
e
xtract out s
e
lect_marked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next