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'
2013-04-07
Sven Ve
r
d
o
olaege
Merge branch
'
main
t
'
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolaege
isl_ast_node_print: avoi
d
du
p
l
icate declarations in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sv
e
n Verdoolaeg
e
isl_ast
.
c: ext
r
act out
start
_
bl
o
ck and end
_
block f
r
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven
V
e
r
d
o
olaege
co
n
figu
r
e
.
ac: ex
p
licitly lin
k
in
l
l
vm b
i
treader component
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven
V
e
rdoolaege
update
f
or change
in arguments of clang's He
a
derSearchOp
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Ver
d
o
o
laege
updat
e
for c
h
a
nge in
a
rguments
of clang's CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-01
Sven Verdoolaege
isl_ast_
c
o
d
egen
.
c
:
fix typo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-01
Sven Verdoolaeg
e
isl_
a
st_graft_li
s
t
_
s
o
rt
_
g
u
ard: use isl_ast_graft_
l
ist_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-01
S
v
en Ver
d
oo
l
aege
add isl_*
_
list_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-01
Sven V
e
rd
o
o
l
ae
g
e
ren
a
me i
s
l_ast_graft_list_
s
ort to i
s
l_ast_graft_list_sort_gu
a
rd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-30
Sven
V
er
d
o
o
laege
isl_ma
p
_af
f
ine_hull: avoid computing explicit
r
e
p
r
es
e
ntation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-28
Sven Verdoolaege
isl_map_coa
l
esce: extend
the
handling of a pair
a
djacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-28
Sven Verdoolaege
a
dd isl_tab_unrestrict
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-28
Sven Verdoolaege
is
l
_c
o
alesce
.
c:
f
i
x
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-28
Sv
e
n Verdoo
l
aege
i
sl_tes
t
: generali
z
e
c
o
a
l
esce tes
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-28
S
v
en Verdoolaege
ad
d
isl_se
t
_{l
e
xmin,
l
e
x
max}_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-24
Sven Ve
r
doolaege
add isl_tab_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-24
Sv
e
n
Ver
d
oolaege
isl_mat_variable_comp
r
es
s
i
on: add memory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-24
Sven V
e
r
do
o
laege
isl_ma
t
_product:
a
d
d
memo
r
y managem
e
nt annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-24
Sven Verdo
o
laege
M
erg
e
branch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2013-03-24
Sven
Verdoolaege
isl_ta
b
_basic_map_part
i
al_
l
exopt: disable use of shif
t
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-24
Sven V
e
r
do
o
la
e
ge
i
sl
_
tab_
p
ip
.
c: context_gbr_detect_equal
i
ties: i
m
prove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-20
Sven Verdoolaege
updat
e
ax_create_pkgconfig_inf
o
.
m4
t
o lat
e
st up
s
tream
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-20
S
ven Verdool
a
ege
isl_m
a
t_d
r
op_cols: special case dropping
o
f zero
c
o
lumns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-20
Sven Verdoo
l
aege
isl_basic_
m
ap_fo
r
eac
h
_lexopt:
p
r
o
p
e
rly m
e
rge partia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-19
Sven Verdoo
l
aege
isl
_
tab_basic_ma
p
_part
i
a
l
_lexopt: better
e
xploi
t
p
artial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-19
Sven Verdoolae
g
e
isl
_
basic_m
a
p_lexopt: pre
i
nitialize domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-19
Sv
e
n Verdo
o
laeg
e
expor
t
isl
_
basic
_
m
a
p_dro
p
_co
n
st
r
aints_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-19
Sven Verdoolaege
is
l
_
basic_map_co
m
pute_divs: c
o
mpress
ex
i
stentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-19
Sven Verdoolaege
is
l
_ba
s
ic_map_compute_divs: re
c
ursivel
y
remove parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-19
Sven
V
erdo
o
laege
i
sl_map
.
c: pa
r
ameter_compute_divs: extract ou
t
fir
s
t
_p
a
r
a
met
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-19
Sven Verdoolaege
isl_basi
c
_
set_para
m
eter_c
o
mpression: a
l
low divs in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-19
Sv
e
n Verdoolae
g
e
isl_
b
asic_map_compute_
d
ivs
:
preserve
alrea
d
y known
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-19
Sven Verd
o
ol
a
ege
isl_
b
asic_map_
p
roje
c
t_ou
t
: extract out insert
_
div_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-17
Sv
e
n
Verdoolaege
isl_basic_map_swap_di
v
:
extrac
t
out
s
w
a
p_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-17
Sven Verdoolaege
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2013-03-17
Sven
V
e
r
doolaege
i
s
l
_map_coalesc
e
: avoid
d
ropp
i
n
g
constraints redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-16
Sven Verdoo
l
aege
add is
l
_b
a
n
d
_split
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-16
Sven Ve
r
do
o
lae
g
e
isl_schedule_get_ban
d
_forest: s
o
r
t bands
in b
a
n
d
l
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-16
S
ven Verdoolaege
decl
a
r
e
isl_union_pw
_
multi
_
aff_int
e
r
s
ect_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-16
Sven Ve
r
d
o
olaege
add tile_shift_
p
oint_loops option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-16
Sve
n
Verdoolaege
add
isl_
u
nio
n
_
pw_
m
ulti_aff_
s
cal
e
_v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-16
Sven Ver
d
ool
a
e
g
e
a
dd isl_pw_multi_aff_scale
_
vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-16
S
ven Verdo
o
laege
ad
d
isl_multi_aff_scal
e
_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-15
Sven
Verdool
a
ege
isl_basic_map
_
simplify: a
v
oid
infini
t
e l
o
op on em
p
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-14
Sven Verdoolaege
g
e
ner
a
lize isl_
u
nion
_
pw_qpolynomia
l
_sub to i
n
clude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-14
Sv
e
n Verdoola
e
ge
add
isl_pw_multi_aff
_
sub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-14
Sven Ver
d
oo
l
aeg
e
add
isl_multi_aff_sub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-14
S
ven Ve
r
doolaege
generalize isl_mul
t
i_
a
f
f_
a
dd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-13
Sven Ver
d
oolaeg
e
isl_basic_se
t
_
p
arameter_compress
i
on: exte
n
d assertion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-13
Sven Verdoo
l
aege
i
sl_map
.
c
: par
a
met
e
r_co
m
pute_divs: check res
u
lt of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-13
Sv
e
n Verd
o
o
laege
i
sl_
a
rg
.
c: d
r
op_argu
m
e
nt: avoi
d
out-of-bounds array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-13
Sven Verdo
o
laege
isl_map_gist
_
b
a
sic_map: avoid invalid
access on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-10
Sv
e
n Verdoolaege
i
s
l_ast_
b
uil
d
_ast_from
_
schedule: a
v
oid introducing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-08
Sven
V
erdoolaege
is
l
_ast_bui
l
d_ast_from_
s
chedule: make con
s
truc
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-08
Sven Verdoolae
g
e
Merge br
a
nch '
m
aint
'
commit
|
commitdiff
|
tree
2013-03-08
Sven V
e
rdoo
l
aege
isl_basic_set_sor
t
_constrain
t
s: take into
a
cco
u
nt all
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-06
S
ven Verd
o
olae
g
e
isl_as
t
_build_ast_from_sched
u
le: fix unrolling co
r
ner
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-28
Sven Verdoolaeg
e
is
l
_ba
s
ic_m
a
p_uncurry: add missi
n
g
isl_ba
s
ic_
m
ap_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-28
Sven
V
erdoolaege
isl
_
basic_map_c
u
rry: add missing isl_basic_m
a
p_co
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-28
S
v
en
Verd
o
olae
g
e
codege
n
_test
.
sh: avoid use of co
n
s
t
ructs n
o
t
s
upported
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-20
S
ven Verdoolaege
i
sl
_
a
r
g
.
c
:
extract out free_child
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-20
Sven Verdool
a
ege
isl_arg
.
c: extract ou
t
f
ree_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-20
Sven Verdoolaege
arg
u
m
ent parsing: s
e
t
structure fiel
d
even i
f
set
t
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-20
Sven Verdoo
l
a
e
ge
argum
e
nt parsing: handle --
h
elp opti
o
n i
n
o
rder
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-19
Sven Verdoolaege
isl_map_sim
p
lify
.
c: ch
e
ck_for_div_const
r
aints: also
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-19
S
v
en Ver
d
oo
l
aege
isl_aff_scale: spe
c
ial case scaling by a fa
c
t
o
r of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-19
S
ve
n
Verdoo
l
aeg
e
document tha
t
isl_local_space_get_div
c
a
n
not be used
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-19
Sven
V
e
rdoolaege
codegen_test
.
sh: keep track of failure
rather
t
han
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-19
Sven
V
erdoolaege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2013-02-19
S
v
en V
e
r
d
oolaege
isl_ast_c
o
dege
n
.
c:
g
e
n
e
ra
t
e
_
domain:
a
v
o
id infinite
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-14
S
v
en Verdoolaege
isl_schedule
.
c: f
i
x
typo in c
o
mm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-14
Sven Verdoolae
g
e
isl_band
_
tile: s
e
t p
a
rent
f
ield of
the ch
i
ld band
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-14
Sven Verd
o
o
l
aege
isl_pw_multi_aff_drop
_
d
i
m
s
:
fix dropping of
o
ut
p
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-11
Sve
n
V
er
d
o
ola
e
ge
isl_
a
st_graft
.
c:
extr
a
ct_hoistable_
g
uard: dr
o
p
divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-10
Sven Verdoolaege
d
e
clare is
l
_
u
n
i
on_pw_multi_aff_to_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-10
S
v
e
n
Verdoolaege
declare i
s
l_un
i
o
n
_pw_multi_aff
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-10
Sven Ve
r
do
o
laege
a
dd isl_union_
p
w_multi_aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-10
Sven Verdoolaege
add is
l
_union_p
w
_multi_a
f
f_from
_
u
nion_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-05
Sven
Verdoo
l
aege
is
l
_
ctx_free: properly fre
e
a
l
located options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
S
v
en Verd
o
olae
g
e
i
s
l_union_map_a
l
loc:
p
roject sp
a
ce
a
rgument onto i
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
Sv
e
n Verd
o
o
l
a
ege
is
l
_input
.
c: re
a
d_co
n
ju
n
cts: stop parsi
n
g
c
onjuncts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
S
v
en Verd
o
olae
g
e
isl_inp
u
t
.
c: accept_aff
i
ne_factor:
drop unexpected
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-27
S
v
en
V
e
rdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-12-27
Sven Ver
d
o
o
laege
interfa
c
e/py
t
h
o
n
.
c
c
:
ad
d
missing inc
l
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-16
Sven
V
er
d
ool
a
e
ge
isl_ast_cod
e
gen
.
c: compute_cl
a
ss_dom
a
ins: compute gist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-16
Sven Verdoolaege
is
l
_basic_
m
ap_from_const
r
a
in
t
_matrices: (simplify and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-15
Sven V
e
r
doolaege
isl_stream_r
e
ad_map:
allow anonymous unco
n
strai
n
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
S
ven Verdoolaege
i
sl
0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
S
v
en Verdoolaege
is
l
_map_i
n
line_foreach_basic_map
:
dr
o
p
basic maps
t
h
at
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
Sven V
e
rdoolaeg
e
isl_ha
s
h_dim: mak
e
result
independent of endia
n
nes
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
Sven Verdoola
e
ge
isl
_
basic
_
map_move_dims: a
v
oi
d
invalid a
c
c
ess
o
n
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-04
Sven Ve
r
doo
l
aege
isl_basic_se
t
_expand_d
i
vs:
a
vo
i
d invali
d
access
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-04
S
v
en Verdoolae
g
e
a
d
d
LICENS
E
t
o the distri
b
ution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
o
laege
isl_sc
h
edule
.
c: add_
i
nte
r
_constrain
t
s: avoid in
v
ali
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
isl
_
schedule
.
c: add_i
n
tr
a
_constraint
s
:
avo
i
d
i
nvalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
isl_tab
_
basi
c
_set_non_neg_lex
m
in: hand
l
e N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
e
n
V
erdoolae
g
e
is
l
0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdo
o
laege
i
s
l_
s
c
h
e
dule
.
c: add
_
inter_validity
_
constraints: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
Ver
d
oolaege
isl
_
t
a
b
_basi
c
_set
_
non_trivial_
l
exmin:
h
a
ndle
NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next