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
V
erdoolaege
i
sl_output
.
c: print_constraints: avoid invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
S
ven Verd
o
ol
a
ege
isl
_
output
.
c: print_dis
j
u
nct: avoid inval
i
d access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven
V
erdoo
l
aege
isl_out
p
ut
.
c: isl
_
map_print_isl_bod
y
: hand
l
e NULL
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoo
l
aege
isl_
p
rinter_get
_
str: repo
r
t error when c
a
lled
on wro
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-03
Sven V
e
rdoolaege
isl_bas
i
c_set_
e
x
p
a
nd
_
divs: only add div constr
a
int
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolae
g
e
i
s
l_coalesc
e
.
c: add_sub_v
a
rs: explic
i
tly ma
r
k add
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Verdoolaege
isl_coa
l
esce
.
c: add_sub_vars
:
move "correct"
inte
g
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
V
e
r
d
oolaege
isl_coalesce
.
c: wrap_in_facets: a
v
oi
d
i
nvalid ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven V
e
rdoolaege
isl
_
pri
n
te
r
_print_map: print div constraints agai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en
Verdool
a
ege
isl_printer_print_
m
ap: fix prin
t
ing of affine expre
s
sion
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven
V
erdoola
e
ge
i
s
l_out
p
ut
.
c: print_disjuncts: a
v
oid invalid acc
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
ven Verdoolae
g
e
isl_output
.
c: pri
n
t_disjunct: handle NULL inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Verdoo
l
aeg
e
i
sl_vec_
a
l
loc: plu
g
memory l
e
a
k on
e
rror
p
ath
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
ven
V
erdoolaege
i
s
l_blk
.
c: extend: plug memory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolae
g
e
is
l
_m
a
p
_
simpli
f
y
.
c:
drop_mo
r
e_redundant_divs: im
p
rove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-24
Sven
Verdoolaege
i
s
l_basic_map_upda
t
e
_
from_tab: improve
e
rror h
a
ndli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-24
Sven Verdoolaege
i
s
l_
b
asic_map_r
e
m
o
ve_red
u
ndancies: improve er
r
or handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verd
o
olaeg
e
i
s
l 0
.
17
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sven
Verdool
a
ege
isl_
t
a
b_lexmin_add_e
q
: make sure the tableau
h
a
s enoug
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sv
e
n
V
erdoolaege
isl_tab_lexmi
n
_a
d
d_eq: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-03
Sven Ve
r
doolaege
isl 0
.
17
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-03
S
v
en Verdoolae
g
e
isl_s
c
hedul
e
_constraints
_
c
o
m
p
ute_
s
c
h
edul
e
: fix handl
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
S
v
en Verdo
o
laege
M
e
rge branc
h
'maint' into release
commit
|
commitdiff
|
tree
2016-04-26
Sven
V
erdoo
l
aege
doc: add
som
e
fu
r
t
h
er reading
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolaege
doc: updat
e
integer set
c
o
a
le
s
cing reference
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolaege
do
c
: ad
d
pip e
x
periment inputs to distributio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verd
o
olaege
doc: ad
d
DOI
s
to s
o
me mor
e
bibtex entries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven V
e
rdoola
e
ge
doc:
use bibl
a
tex f
o
r printing references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven
Ve
r
do
o
laeg
e
d
oc: set
a
lgorith
m
a
u
torefnam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
S
v
en Ve
r
doolaege
do
c
:
r
eplace
f
reshmeat l
i
nks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sve
n
V
e
rd
o
olaege
doc: rename isl
_
union_
p
w_af
f
_foreach_pw_aff c
a
llback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-24
Sven Verdoolaege
av
o
id u
s
e of VLAs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verd
o
o
l
a
e
ge
isl_schedule_constraints_c
o
mpute_schedule:
o
ptionally
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verd
o
olaege
isl_scheduler
.
c: a
d
d_
n
ode: p
a
ss in
instance
set in
s
tead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven V
e
rdoolaege
is
l
_schedule
r
.
c
:
ad
d
_nod
e
:
m
i
nor clean-
u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
S
ven Verdoo
l
aege
isl_sc
h
eduler
.
c: non_neg_lex
m
in
:
extract
o
ut non_e
m
pt
y
_sol
u
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
is
l
_sc
h
eduler
.
c: non_neg_lexmin: explicitly use isl_tab
_
l
e
xmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
is
l
_
sc
h
eduler
.
c: carr
y
_depend
e
nces: e
x
tract out non_neg_lexmi
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verd
o
olaege
isl_sch
e
duler
.
c
: carry_dependences: extract out carr
i
es_d
e
pe
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoola
e
ge
ad
d
isl_tab_lexm
i
n_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
S
v
en Verdoolaege
a
d
d i
s
l_ta
b
_l
e
xmin_add
_
eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
break up isl_tab_basic_set_non_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
S
v
en
V
e
r
doolaege
add isl_s
e
t_project_onto_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdo
o
laege
ma
k
e sch
e
dule_max_c
o
e
fficient opti
o
n wo
r
k as a
d
vertis
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
is
l
_schedul
e
r
.
c: extract ou
t
node_add_coefficient_constr
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sve
n
Verdoolaege
isl_s
c
heduler
.
c:
c
o
un
t
_
bo
u
nd_
c
oeffici
e
nt_c
o
nstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
isl_sch
e
duler
.
c: add_bound_co
e
fficient_const
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaege
isl_schedul
e
r
.
c:
add_bound_coe
f
f
i
cient_con
s
t
r
a
i
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoola
e
ge
s
c
h
edule construction: use only positive parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Ver
d
oolaege
isl_scheduler
.
c: extract out shared n
o
de_va
r
_
c
oef_o
f
fset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sv
e
n Verdoolaege
isl_sc
h
edule
r
.
c
:
e
x
tra
c
t out
s
h
a
r
e
d extr
a
ct_var_co
e
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
ven Ver
d
oolaege
i
sl_sched
u
ler
.
c: coe
f
_var_of
f
set: minor simpli
f
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_sched
u
ler
.
c: extr
a
c
t
out shared coef_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Ver
d
o
o
laege
is
l
_
s
cheduler
.
c
: extract
out shared inter_di
m
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaeg
e
isl
_
schedule
r
.
c: extract out s
h
a
r
e
d
intra_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven V
e
rdoolaege
isl_scheduler
.
c: ad
d
_inter_proximity
_
constraints:
r
eturn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolae
g
e
i
s
l
_scheduler
.
c
: add_inter_v
a
lidit
y
_constr
a
ints: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
Ve
r
d
oo
l
ae
g
e
isl_sched
u
ler
.
c
: ad
d
_intra_proximity_con
s
tra
i
n
t
s: re
t
urn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sve
n
Verdoolaege
i
s
l_sc
h
eduler
.
c: add_i
n
tra_validity_c
o
nstra
i
nts: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolae
g
e
isl_scheduler
.
c:
add_inter_constraints: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
i
s
l_
s
cheduler
.
c: a
d
d
_
inter_proximity_constraints:
r
ename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
e
n Ve
r
doolaege
is
l
_sched
u
ler
.
c: add
_
inter_validi
t
y_constraints: r
e
na
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sve
n
Verd
o
olaege
isl_schedu
l
er
.
c: add_intr
a
_c
o
nstra
i
n
ts: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdool
a
ege
isl_sched
u
ler
.
c: a
d
d
_i
n
tra_proximity_constraint
s
: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erd
o
olaege
isl_sched
u
ler
.
c: ad
d
_int
r
a_validity_
c
ons
t
raints
:
re
n
ame
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_sched
u
le
r
.
c
: count_all_constraints: mino
r
simp
l
ifica
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
is
l
_sc
h
eduler
.
c: extract out shar
e
d is
_
any_val
i
dity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sv
e
n Verdoolaege
isl_scheduler
.
c:
extract
o
u
t shared add_
v
ar
_
sum_constra
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_sch
e
duler
.
c
:
ex
t
ract ou
t
shared a
d
d_
p
a
ram_sum_const
r
aint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
is
l
_sched
u
ler
.
c:
s
e
tup_lp: extract out add_sum_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Verd
o
olae
g
e
isl_scheduler
.
c: setup
_
lp: ext
r
act
out count_
b
ound_constant_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdo
o
laege
isl_schedu
l
er
.
c:
setup_lp:
extract o
u
t add_bound_
c
onstant_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolae
g
e
isl_scheduler
.
c: setu
p
_c
a
rry_lp: re
t
urn isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sve
n
Verd
o
olaege
isl_s
c
hed
u
l
er
.
c: setup_lp: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Ve
r
d
o
olaege
isl_sche
d
ul
e
r
.
c: setup_lp: re
n
ame "dim
"
var
i
able
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erdoolaege
i
sl_aff_ex
p
an
d
_divs:
m
inor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoola
e
ge
i
s
l_af
f
_expand_divs:
e
xtrac
t
out isl_vec_expand
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
ven Ver
d
oolaege
isl_a
f
f_align
_
divs: skip
ex
t
ens
i
on i
f
local
s
paces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sve
n
Verd
o
olaege
isl_aff_ali
g
n_divs: use i
s
l_local_spac
e
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_aff_a
l
ig
n
_divs: use isl_local_space
_
has_equa
l
_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
ven
V
e
rdoolaege
isl_l
o
cal_space_is_equal: extract out is
l
_l
o
cal_space_has_eq
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Ver
d
oola
e
ge
doc: explain tha
t
option schedule_s
p
li
t
_sca
l
ed is only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Verdoolaege
d
oc:
c
han
g
e
o
rder of s
c
h
e
dule options documentati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Ve
r
doolaege
doc:
remove war
n
ing about scheduling i
n
t
e
rf
a
c
e b
e
in
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolae
g
e
doc:
u
pdate
i
s
l_set_lis
t
_
forea
c
h_
s
cc documenta
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Verdo
o
laege
doc: add missing comma
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erd
o
olaege
isl_sc
h
edule_node_free:
u
pdate documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-14
S
v
en Verdoolaege
isl_printer_
y
aml_sta
r
t
_mapping: handle NULL inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-14
Sven
Ver
d
oolaege
isl_schedu
l
er
.
c:
drop s
u
perf
l
uous e
m
pty l
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-14
Sven Verdool
a
ege
is
l
_sch
e
d
u
ler
.
c:
fix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-14
Sven Verdo
o
l
aege
isl_
a
ff
.
c: fix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-05
Sven
Verdoolaege
isl_map_partia
l
_lexopt_alig
n
ed: comput
e
result as i
s
l
_
p
w
_mul
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven V
e
rdoolaege
add i
s
l_
u
nion_set_min_multi_union_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Ver
d
oo
l
aege
isl
_
ilp
.
c: fix ty
p
o
s
in comm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven V
e
rdoolaege
isl_as
t
_b
u
ild
_
exp
r
_f
r
om_pw_a
f
f: combine pi
e
c
es
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
S
ven
V
e
r
dool
a
eg
e
add is
l
_
a
f
f_eq_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolaege
add
isl_aff_eq_
b
asic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
S
v
en Verdoolaege
isl_map_*_simple_hull: sort constraints before drop
p
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven
V
erdoolaege
isl_tab_detect_redundant:
ch
e
ck later cons
t
raints
f
irst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
S
ven
V
e
rdoolaege
isl_tab
_
detec
t
_redundant: ext
r
act
out s
e
lect
_
marked
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next