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 Verdoolaege
isl
_
output
.
c: print_constraints: avo
i
d inv
a
lid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoolaege
i
sl
_
out
p
ut
.
c:
p
rint_disjunct:
avoid in
v
alid
a
cc
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven V
e
rdoolaege
isl
_
o
ut
p
u
t
.
c:
isl_ma
p
_
print_is
l
_body: handle NU
L
L input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
S
ven
Ver
d
oolae
g
e
i
sl_prin
t
er_get_st
r
: report
e
rror when cal
l
ed on wron
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-03
S
ven Verdoolaege
isl_b
a
sic
_
set_expand_divs:
only
add div co
n
st
r
a
i
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Verdoo
l
aege
isl_coalesce
.
c
:
add_s
u
b_vars: e
x
p
licitly mark added
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
i
sl_coa
l
esce
.
c: add_sub_vars:
mo
v
e "correct"
integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
V
e
rdool
a
e
ge
isl_coalesce
.
c:
w
r
a
p_in_face
t
s: avoi
d
i
n
valid a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl
_
printer_print_map:
p
rint div con
s
trai
n
ts again
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
is
l
_printer_pri
n
t_map:
fix pr
i
nting of affine expres
s
i
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_output
.
c: print_dis
j
unc
t
s: avoid inval
i
d access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
V
erdoola
e
ge
isl_output
.
c
: prin
t
_disjunct: handle
N
UL
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
Verdoolaege
isl_vec_a
l
loc: plug me
m
ory leak on
er
r
or
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolae
g
e
isl_blk
.
c: extend
:
plug memory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ve
r
d
o
ola
e
ge
isl
_
map_sim
p
lify
.
c
:
drop_mo
r
e
_
r
e
dundant_di
v
s: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-24
Sven Ve
r
dool
a
e
g
e
isl
_
b
a
s
i
c_map_upd
a
te_from_tab:
i
m
prove
erro
r
handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-24
Sve
n
V
e
rdoo
l
aege
isl_basic_map_re
m
o
ve_redundancies: i
m
prove error h
a
ndling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verd
o
o
lae
g
e
isl 0
.
17
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sve
n
Ver
d
oo
l
aege
isl_tab_lexmi
n
_add_eq: make sure the t
a
bleau ha
s
enough
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sven
V
erdoolaege
isl_
t
a
b_lexmin_ad
d
_eq
:
f
ix error handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verdool
a
ege
isl 0
.
17
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verdoola
e
g
e
isl_schedule_constraints_compute_sc
h
edul
e
: fix handling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven V
e
r
d
oo
l
a
ege
Merge branch 'maint' i
n
to rel
e
ase
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdool
a
ege
d
o
c: add some
f
u
rther reading
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolae
g
e
doc: update integer set coalescing referenc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolaege
doc
:
add
p
ip experiment inp
u
t
s to distributi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoolaege
d
oc: add DOIs to some m
o
r
e
bi
b
te
x
e
n
tries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
S
ven Ve
r
doolaege
doc: use biblatex
for printing references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven
Verdo
o
l
a
ege
doc: set algorithm
a
utorefnam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven V
e
rdoolaege
d
o
c: re
p
l
ac
e
freshmeat links
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoolaeg
e
doc: renam
e
isl_union_pw_aff_fo
r
each_
p
w_aff
callback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
S
ven
Ve
r
doolaege
a
vo
i
d use o
f
VLAs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdo
o
laege
isl_schedule_constr
a
ints_c
o
mpute_schedule: optio
n
ally
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
S
v
en Verdool
a
ege
isl_schedule
r
.
c: add_node: pass in instance set instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven
V
erdoolae
g
e
isl_scheduler
.
c: add_node: minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven
Ver
d
o
olaege
isl_
s
cheduler
.
c
:
non
_
neg_lexmin:
e
x
t
r
ac
t
out non
_
empty_soluti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
S
v
en
Ver
d
oolae
g
e
isl_scheduler
.
c:
non_n
e
g_lexmin
:
e
xplicitly use isl_tab_lexmi
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sv
e
n Verdoolaege
i
s
l_
s
cheduler
.
c: carry_dependen
c
es: extract out non_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdo
o
laege
isl_
s
cheduler
.
c: carry_dependences: extract out car
r
ies_
d
epe
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Ver
d
o
olaeg
e
a
dd isl_tab
_
lexmin
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verd
o
olaege
ad
d
is
l
_tab_lexmin_add_e
q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
br
e
ak u
p
isl_tab_b
a
sic_se
t
_non
_
neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdool
a
eg
e
add isl_se
t
_pr
o
ject_on
t
o_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven
V
e
rdoolae
g
e
ma
k
e schedule_max
_
coefficient option
wor
k
as
a
dvertised
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolae
g
e
i
sl_sched
u
ler
.
c: ex
t
ract out node_add_coefficient_cons
t
raints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sve
n
V
erdoola
e
ge
isl_sched
u
ler
.
c
:
count_bound_co
e
fficie
n
t
_constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verd
o
olaege
isl_
s
ch
e
duler
.
c: add_bound_coef
f
icient_const
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdo
o
laege
isl_
s
cheduler
.
c: a
d
d_
b
ou
n
d_
c
o
e
fficien
t
_constr
a
i
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven V
e
rdoolaege
sc
h
edu
l
e construction: us
e
only positive pa
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
isl_
s
cheduler
.
c: extract out
s
hared node_v
a
r_co
e
f_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
isl_sc
h
e
d
uler
.
c: e
x
tract out shared extract_var_coef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erdoolaege
isl_sched
u
ler
.
c: coe
f
_var_offset: m
i
n
or simpl
i
fic
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
ven
Verdoolaege
isl_sched
u
ler
.
c: extract out shar
e
d
coef_var_o
f
fs
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erdoolaeg
e
i
sl_
s
cheduler
.
c:
e
xtr
a
c
t out shared
i
nter
_
dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoo
l
aege
i
s
l_scheduler
.
c: e
x
tract out shared
i
ntra_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdo
o
la
e
ge
isl_sched
u
ler
.
c: add_inte
r
_
p
roximity_constra
i
nts: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolae
g
e
isl_s
c
h
eduler
.
c: add_inter_validity_co
n
strain
t
s: re
t
urn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdo
o
lae
g
e
isl_scheduler
.
c: add
_
intra_
p
roximity_co
n
st
r
aints: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
ven V
e
r
doolaege
isl_sch
e
duler
.
c: add
_
intra_validity_constraints:
r
etur
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaeg
e
isl_scheduler
.
c
: add_
i
nte
r
_constraints: rename
"
dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoola
e
ge
isl_
s
c
h
edul
e
r
.
c: add_inter
_
proximity
_
co
n
stra
i
nts:
ren
a
me
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_scheduler
.
c:
add
_
inter_validity_constraints: rena
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Verdoolaeg
e
i
sl_sche
d
uler
.
c: add_in
t
ra_constra
i
nts: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
Verdool
a
ege
isl
_
s
c
heduler
.
c: add_int
r
a_pr
o
ximity
_
constraints: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
Verd
o
o
l
a
ege
isl_
s
cheduler
.
c:
add_i
n
tra_
v
alidity_c
o
ns
t
raints: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdo
o
laege
isl_scheduler
.
c: cou
n
t_
a
ll
_
constraint
s
: mi
n
or simplification
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
ven Ver
d
oola
e
ge
isl_sche
d
uler
.
c
: extr
a
ct ou
t
shared is_any_v
a
lid
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sve
n
Verdoolaeg
e
is
l
_scheduler
.
c: extract out shared add_v
a
r
_
sum_co
n
strain
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
Ver
d
oo
l
aege
isl_scheduler
.
c: extr
a
ct out sh
a
r
e
d add_par
a
m
_s
u
m_constr
a
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_schedul
e
r
.
c: setup_lp:
e
xtract out add_sum_
c
onstraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_scheduler
.
c: setup_lp: extract out count_b
o
und_constant
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erdo
o
la
e
g
e
isl_scheduler
.
c
:
setup_lp: extra
c
t ou
t
add_boun
d
_constant_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_sc
h
e
duler
.
c: setup_carry_lp: return
isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
Verdoolaege
isl_sche
d
uler
.
c: se
t
up_lp
:
return i
s
l_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
ven Ver
d
ool
a
ege
isl_sched
u
ler
.
c
:
setup_lp:
rena
m
e "dim"
v
ariable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
ven Verdoolaege
i
s
l
_af
f
_
e
xp
a
nd_di
v
s: minor clean-
u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
e
n Verdoolaege
isl_aff_expand_divs: extra
c
t o
u
t isl_vec_expand
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
is
l
_aff_
a
li
g
n_divs: skip extension if local spaces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl
_
aff_align_
d
ivs: u
s
e is
l
_lo
c
al_sp
a
ce_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
is
l
_
a
ff_align_divs: use
i
sl_
l
ocal_spa
c
e_has_equa
l
_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven V
e
rdoolaege
isl_loca
l
_
s
pace_i
s
_equal:
e
xtract o
u
t
i
sl_local_spa
c
e_has_eq
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
doc: expl
a
in
t
hat op
t
i
on schedule_split_scaled
is only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven V
e
rdoolaege
doc: c
h
ange
o
r
der of sc
h
edule o
p
tions doc
u
men
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
Verdoola
e
g
e
doc: remo
v
e warning ab
o
u
t schedulin
g
interface
b
e
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en V
e
rdoola
e
ge
doc:
u
p
d
ate isl_set_list_for
e
ach_s
c
c do
c
u
m
ent
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Verdoolaege
doc: add miss
i
n
g
c
o
mma
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Verdoolaege
isl_sche
d
ule_node_fr
e
e: upd
a
t
e
docume
n
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-14
S
ve
n
V
e
rd
o
ol
a
ege
is
l
_printer_yam
l
_sta
r
t_mapping:
h
and
l
e NULL
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-14
Sv
e
n V
e
rdoolaeg
e
i
sl
_
sch
e
duler
.
c: drop superfluous empty line
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-14
S
ve
n
Verdoolaege
isl_scheduler
.
c: fix
whit
e
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-14
Sve
n
Verdoolae
g
e
isl_af
f
.
c: fix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-05
Sven Verdoolaege
isl_map_partia
l
_lexopt_aligned: co
m
pu
t
e
result as isl_p
w
_m
u
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolaege
add is
l
_union_set_min_multi_union_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolae
g
e
isl_ilp
.
c: fix typos
i
n comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolaege
isl_a
s
t_b
u
ild_
e
xpr_fr
o
m_pw_aff: combine
p
iece
s
wit
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven
Verdoolaege
add is
l
_
aff_eq_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolaege
add isl_aff_eq_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
S
ve
n
V
erdoo
l
aege
isl_map_*_s
i
mp
l
e_hull: sort
co
n
straints
before dr
o
ppi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolae
g
e
isl_tab_d
e
tect_r
e
dun
d
a
n
t: check lat
e
r
constra
i
nts fi
r
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoola
e
g
e
i
s
l_tab_detect_redund
a
nt: extra
c
t out
s
elect_marked
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next