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 Ver
d
oolaege
Me
r
ge br
a
nch 'm
a
int'
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdo
o
laege
isl_ast_n
o
de_prin
t
: avoid duplic
a
te d
e
c
l
arations in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolaege
isl
_
ast
.
c
:
extract
out s
t
ar
t
_block an
d
en
d
_blo
c
k from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
S
v
en
Verdoolaege
con
f
igur
e
.
ac
:
ex
p
l
i
ci
t
ly link in llvm
b
itreader component
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdo
o
laege
update for ch
a
nge in ar
g
umen
t
s of clang's
H
eade
r
SearchOpt
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
S
v
en Verdoolaege
update
f
o
r change
in argu
m
ents of cla
n
g's C
o
mpile
r
Instance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-01
Sven Ve
r
d
o
olae
g
e
isl_ast
_
c
o
d
egen
.
c
: fix ty
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-01
Sven Verdoolaege
is
l
_ast_gra
f
t_list_sort_guard: use isl_ast_graft_lis
t
_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-01
Sven
V
er
d
oolaege
add i
s
l_*_li
s
t
_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-01
S
v
en Verdo
o
laege
rename isl_ast_graft_li
s
t_s
o
rt to isl_ast_gr
a
f
t_list_sort_g
u
ard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-30
S
ven
Verdoolaege
isl_map_
a
ffine_
h
u
l
l: avoid c
o
mputing explicit rep
r
esen
t
atio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-28
Sv
e
n V
e
rdoolaege
isl_map_coal
e
sce: exte
n
d the ha
n
dling of a pair adjacent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-28
Sven
V
erdo
o
laege
ad
d
isl_tab_unrestrict
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-28
Sven Verdo
o
laege
isl_coalesce
.
c
:
fix
t
y
po
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-28
Sven Verdoo
l
aege
isl_t
e
st
:
gene
r
alize coales
c
e
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-28
S
ven Verdoo
l
aege
add i
s
l_set_{l
e
xmin,
l
exmax}_pw_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-24
Sven Verdoolaege
add isl_ta
b
_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-24
S
v
en
V
e
r
d
oolaege
isl_mat_vari
a
ble_c
o
m
pression: add memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-24
Sven
Verdoo
l
aege
isl_mat_product
:
add
m
emory manag
e
me
n
t
a
nnot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-24
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-03-24
Sven Verdoola
e
ge
is
l
_
tab_basic_map_partial_lexopt
:
disable use of shifted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-24
Sven V
e
rdoolaege
isl_t
a
b_pip
.
c
:
context_gbr_d
e
tec
t
_equalities: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-20
Sven Verdoola
e
ge
update a
x
_
c
reate_p
k
gco
n
fig_info
.
m4 to lates
t
upstr
e
am
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-20
Sven V
e
rdoolaege
isl_mat_drop_cols: spe
c
ial
c
ase
d
ropping of ze
r
o
columns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-20
Sven
Ve
r
doolaege
is
l
_b
a
sic
_
m
ap_foreach_lexopt: pr
o
perly merge pa
r
ti
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-19
Sv
e
n Verdoolaeg
e
is
l
_tab_b
a
sic_
m
ap_
p
art
i
al_lexopt: better exploit partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-19
Sven V
e
rdoolaege
isl_basic_ma
p
_le
x
opt: preinitiali
z
e do
m
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-19
S
v
e
n
V
e
r
d
o
olaeg
e
expo
r
t
isl
_
b
a
sic_map_dr
o
p_constraints_invo
l
ving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-19
Sven Ver
d
oola
e
ge
isl_basic_map_compute_divs: compress exis
t
entially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-19
S
ve
n
Verdool
a
ege
i
sl_
b
a
s
ic_
m
ap_comp
u
t
e
_
d
ivs: recursively remove pa
r
a
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-19
Sve
n
Ver
d
oo
l
a
ege
isl
_
map
.
c: parameter_co
m
p
u
te_div
s
: extrac
t
out first_paramet
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-19
Sven Verdoo
l
aege
isl_ba
s
ic_set_parame
t
e
r
_compressi
o
n: allow divs in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-19
Sven Verdoolaege
isl_basic_map_compu
t
e_divs
:
preserve already k
n
own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-19
S
v
e
n Verdoolaege
i
s
l_basic_map_pr
o
ject_out
:
extra
c
t out insert_div
_
rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-17
Sve
n
Verdool
a
ege
isl_
b
a
s
ic_map
_
swap_div: extract out swap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-17
Sven Ve
r
do
o
la
e
ge
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2013-03-17
Sven Verdool
a
ege
isl_map_coalesce: avoid
d
ropping c
o
n
s
traints redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-16
Sv
e
n V
e
rdoolaege
add is
l
_band_split
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-16
S
ven Verdoolaege
is
l
_schedule_get_b
a
nd_forest: sort bands
i
n band list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-16
Sven
Verd
o
olaege
declare
i
s
l_union_
p
w_m
u
lti_a
f
f
_
int
e
rsect_do
m
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-16
S
v
en Ver
d
oolaege
a
dd til
e
_shift_point_loops opt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-16
Sven Verdoolaege
add isl
_
union_pw_mult
i
_aff
_
scale_ve
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-16
Sven Verdoolae
g
e
add isl
_
p
w
_
m
ulti_aff_s
c
a
l
e_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-16
S
v
e
n Verdoolaege
add isl_multi_af
f
_scale_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-15
Sven Verdoolaege
isl_b
a
sic
_
map_simpli
f
y: avoi
d
i
n
finite l
o
o
p
o
n empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-14
Sven Verdoolae
g
e
generaliz
e
isl_union
_
p
w
_qpolynom
i
al_sub
to include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-14
Sven Ve
r
dool
a
ege
add isl_pw_multi_aff_sub
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-14
Sven Verdo
o
l
a
ege
add
isl_multi_
a
ff_
s
ub
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-14
Sven Verdoo
l
aeg
e
generalize isl_multi_aff_
a
dd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-13
Sven Verdoola
e
ge
i
s
l_
b
asic_
s
et_paramet
e
r
_compression:
extend ass
e
rtion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-13
Sven Ver
d
oolaege
isl_map
.
c: paramet
e
r
_
com
p
u
te_divs: chec
k
result of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-13
Sven Verdoolaege
isl_arg
.
c: drop_arg
u
ment: avoi
d
out-of-
b
o
u
nds array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-13
Sven V
e
r
d
oolaege
isl_map_g
i
st_bas
i
c_
m
ap: avoi
d
i
nvalid access
o
n
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
Sven V
e
r
doo
l
ae
g
e
isl_
a
st_b
u
ild_ast_from_schedule: av
o
id introducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-08
Sven Verdoolaege
isl_ast_build_ast
_
from_schedule:
make co
n
struction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-08
Sve
n
V
e
r
doolaege
Merge branc
h
'
m
a
int'
commit
|
commitdiff
|
tree
2013-03-08
Sven Verdoolaeg
e
isl_basic_se
t
_sort_constraints: t
a
ke into account
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-06
S
ven
V
e
r
d
o
ol
a
eg
e
isl_ast_
b
uild
_
ast_from_sc
h
edu
l
e: fix
u
nrolling
c
o
rner
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-28
Sven Verdoolaege
isl_bas
i
c_map_u
n
curry: add missi
n
g isl_b
a
sic_map_c
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-28
Sve
n
Verdoolaege
isl_
b
asic_map
_
curry: add missing isl_
b
asi
c
_map_c
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-28
Sv
e
n
Verdoola
e
ge
codegen_test
.
s
h
: avoi
d
u
se of const
r
ucts not supported
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-20
Sven Ve
r
d
o
o
l
aege
isl
_
arg
.
c: ext
r
a
c
t out free_child
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-20
Sven Verdo
o
l
aege
isl_arg
.
c: extract out free_us
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-20
Sven Verdoolaege
a
r
gument par
s
i
ng: set structure field even if sette
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-20
Sven Verdool
a
ege
argum
e
nt par
s
ing:
h
andle --help opti
o
n in order
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-19
Sve
n
V
erdoolaege
isl
_
map_simplify
.
c: check
_
for_
d
iv_constraints
:
also
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-19
Sven Verdoo
l
aege
isl_aff_sca
l
e: spec
i
a
l
case scali
n
g
by a fac
t
o
r o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-19
Sv
e
n Verdoolaege
docu
m
ent
t
hat isl_local_sp
a
ce_get_d
i
v
c
annot be
u
sed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-19
S
v
e
n Verdoolaege
codegen_tes
t
.
s
h
:
keep track of failure r
a
t
h
er than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-19
Sven Verdoo
l
aege
Merge
b
r
a
nch '
m
aint'
commit
|
commitdiff
|
tree
2013-02-19
Sven
V
er
d
oolae
g
e
isl_ast_codeg
e
n
.
c: gen
e
rate_domain: avoid infinite
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-14
Sv
e
n
V
erdo
o
laege
isl_schedule
.
c: fix typo
in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-14
Sven
V
erdoolaege
isl_band
_
tile: set parent
f
ield of th
e
c
h
ild band
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-14
Sve
n
V
erdoolaege
isl_
p
w_multi_
a
ff_drop_dims: fi
x
dropping of
outp
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-11
Sven Verdoolaege
isl_ast_graft
.
c: extrac
t
_hoistable_g
u
ard: drop
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-10
S
v
en Verdoo
l
aeg
e
declar
e
isl_union_p
w
_mul
t
i_
a
ff
_
to_
s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-10
Sven
V
erdool
a
ege
dec
l
are isl_union_pw_
m
ulti_aff_
d
u
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-10
Sven Verdoolaege
add isl_uni
o
n
_pw_multi_af
f
_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-10
Sven Verd
o
ol
a
ege
add is
l
_union_pw_multi_aff
_
fr
o
m
_union_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-05
Sv
e
n Verdoolaege
isl_ctx_free: properly free allocated options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
S
ven Verd
o
olaege
isl_unio
n
_
m
ap_all
o
c:
p
roj
e
ct sp
a
ce
argument ont
o
its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven
V
erdoolaege
isl_inpu
t
.
c: re
a
d
_
c
o
njuncts: stop parsing
conjunc
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven
Verdoolaege
isl_input
.
c
:
a
c
ce
p
t_affine
_
fact
o
r: drop
unexpected
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-27
Sven Verdo
o
laege
Merge bra
n
ch 'ma
i
nt'
commit
|
commitdiff
|
tree
2012-12-27
S
v
en Verdoolaeg
e
interf
a
ce/python
.
cc:
a
dd missing
incl
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-16
Sven
Ve
r
d
o
olae
g
e
isl_ast_codegen
.
c: compute_class_dom
a
ins: compute gist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-16
S
v
en Verdoolae
g
e
isl_basic_map_from_constr
a
int_matric
e
s: (s
i
mplify and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-15
Sven Ve
r
doola
e
g
e
isl_strea
m
_
read_map: all
o
w
anon
y
mous unconstrained
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
S
v
en Verdoolaege
isl
0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-07
Sven Verdoolaege
i
s
l_map_inline_foreach_b
a
sic_map:
drop basic maps tha
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-07
Sven Verdoola
e
g
e
isl_hash_dim: make
re
s
ult
indep
e
nde
n
t of
endianness
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-07
Sven
V
erdoola
e
ge
i
s
l_
b
asic_map_mov
e
_dims:
a
v
oid invalid acces
s
on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-04
Sven Verd
o
o
laege
isl
_
b
asic_set_expand_divs:
avoid inval
i
d acces
s
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-04
Sven V
e
r
d
oolaege
add LICENSE t
o
t
h
e
distr
i
bution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoola
e
ge
isl_schedu
l
e
.
c
: add_inter_con
s
tra
i
nts: a
v
oid
i
nvalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en Verdoola
e
ge
i
s
l
_sche
d
ule
.
c: add_intra_cons
t
r
a
i
n
ts: avoid invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
olaege
isl_tab_bas
i
c_set_non_neg
_
lexmi
n
: h
a
ndle NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
isl 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdool
a
ege
i
sl_s
c
he
d
ule
.
c: add_inter_vali
d
ity_
c
onstraints
:
avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdo
o
laege
i
sl
_
tab_
b
a
sic_set
_
non_trivial_lexmin: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next