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
configure.ac: explicitly link in llvm bitreader component in extract_interface
2012-11-20
S
ven Verdool
a
e
ge
isl_a
f
fine_hull
.
c
: affine_hull_with_cone:
plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n Verdoola
e
g
e
change
prototype of
isl_
f
actorizer_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
e
r
doo
l
a
e
ge
isl_tab_sa
m
pl
e
: perform greedy search before perf
o
rming
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdool
a
e
ge
isl_tab_
s
ample: extr
a
ct out co
m
pute_
m
i
n
and comp
u
te_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n
V
erdoola
e
ge
isl_tab
_
sa
m
ple: treat e
m
ptines
s
o
f
tableau as
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sven V
e
rdoo
l
aege
AS
T
generation: fix
handlin
g
of se
p
aratio
n
classes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolae
g
e
isl_printer_print_{ba
s
ic_,}{set,map}: don't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en
V
e
r
d
oolaeg
e
i
s
l_printe
r
_print_sp
a
ce: su
p
port printing in "omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoola
e
ge
rename is
l
_bas
i
c_set_add
t
o isl_basic_set_add_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl
_
aff_normalize: plug
i
n divs with unit coefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_local_space_substitute_
s
e
q
: take argument for the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n
Verdoolaege
isl_aff_
f
loor: normalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Ver
d
oolaege
isl_aff_ceil: compute ceil(e/m) as floor(
(
e + m - 1)
/
m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sven Verdoolaege
isl_af
f
_
g
i
st: add
missing
i
sl_vec
_
cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
S
v
en Verd
o
olaege
i
s
l_union_set_co
m
pute_sc
h
e
dule: doub
l
e check
that we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sven Ver
d
oola
e
ge
isl_union_set_c
o
m
put
e
_
s
che
d
ule: e
n
s
ure
c
arry
_
dependences
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sve
n
Verdoolaege
update for ch
a
nge in clan
g
's Diagnos
t
i
c
Op
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
S
v
en Verd
o
olaege
isl_map_pl
a
in_is_di
s
joint: handle inputs with d
i
ffere
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdoolaege
add R
E
ADME
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoolaege
isl_uni
o
n_set_c
o
mpute
_
schedule:
handle result with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
S
v
e
n
Verdoola
e
ge
i
s
l_ast_codegen
.
c: generate_domain:
p
o
stpone
s
ingl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoolae
g
e
is
l
_ast_build_
a
st_from_s
c
hedule: mak
e
construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sve
n
Ve
r
do
o
laege
isl_ast_build_ast_from
_
schedule: use "<" if
u
pper
b
ound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven
V
erdoolaege
isl_ast_expr: add isl_ast_op_lt
and
i
sl_ast_o
p
_gt operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Ve
r
do
o
l
aege
add isl_basic_set_from_p
a
r
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Verdoolaege
isl_ast_ex
p
r
_
f
rom_aff: try ha
r
der
t
o use isl_ast_op_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
i
s
l_
a
st_build
_
expr
.
c:
sep
a
rate out
ex
t
ract_mo
d
ulo
functio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_build_expr
.
c: fix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven
Verdoolaege
i
sl_ast_build_expr
.
c: r
e
move
r
emnants of cod
e
remove
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verdoolae
g
e
add ex
t
ra AS
T
g
eneration test c
a
s
e
from CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
Verdoolae
g
e
i
s
l
_printer
_
p
r
i
nt_
s
t
r: han
d
le NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ve
r
doolaege
isl_a
s
t_expr_m
o
d:
per
f
orm missi
n
g multipli
c
ati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl_id_s
e
t_free_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erdoolaege
isl_
p
rinter_print_pw_a
f
f: use
i
sl_ast_expr when printing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdo
o
laege
add su
p
port fo
r
g
e
ne
r
a
t
i
ng ASTs fro
m
schedule relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add ISL_CTX_{GET,
S
ET}_STR
_
DEF m
a
cros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
o
ol
a
ege
doc
:
separate
o
ut polyhedral compilation functiona
l
ity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
add is
l
_
set_
d
i
m_has_{low
e
r,upper}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ola
e
ge
isl_basic_set_su
b
stitute: c
h
eck tha
t
input a
f
fine expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_pw_multi_aff_subs
t
i
t
u
te: im
p
rove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
is
l
_basic_map_align_divs:
fix potential inval
i
d acces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdo
o
laege
isl_pw_multi_aff_from_m
a
p: detec
t
strides in
ou
t
put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
i
s
l_pw_multi_af
f
_from_map: detect easy floors
d
irectly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
privately expor
t
isl
_
map_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
i
sl_pw_*
_
pullback_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolae
g
e
add isl_pw
_
*
_
p
ul
l
b
a
ck_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdo
o
lae
g
e
add i
s
l_mult
i
_aff_pullbac
k
_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_a
f
f_pu
l
lbac
k
_mul
t
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
s
l_l
o
ca
l
_space_preim
a
ge_m
u
l
t
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add isl_
s
et_p
r
eimag
e
_
pw_m
u
l
t
i
_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
o
o
laege
add is
l
_
set_preimage_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl_basic
_
set_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
oola
e
ge
isl_stream_new_str:
f
ail on NU
L
L input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdoola
e
g
e
privately export is
l
_mul
t
i_aff_alig
n
_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add isl_basic_set_add_div
_
co
n
st
r
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_map_is_subset: supp
o
r
t
rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_stream_read
_
map: f
i
x
par
s
ing of
O
mega input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rdoolaege
isl_stream_read_map
:
add partial su
p
port for
r
eading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_aff_nonneg_set: return a ration
a
l se
t
if the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
isl
_
pw_aff_zero_set:
r
e
t
u
r
n a
rational set if t
h
e
in
p
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdo
o
laege
a
dd isl_pw_a
f
f_list_set_r
a
tional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erdoolaege
a
dd isl_pw_a
f
f_
s
et_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
privately exp
o
rt
i
s
l
_set_s
e
t_r
a
tio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
er
d
oolaege
add isl
_
set
_
h
as_ra
t
ional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
reimplement
i
sl_strea
m
_read_aff in t
e
rms of isl_stream_read_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdoola
e
ge
dec
l
a
re
i
sl_stream_read_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
i
s
l_st
r
eam_read_mul
t
i
_
aff: read tuples
directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoola
e
ge
isl_inpu
t
.
c
: chang
e
tuple par
s
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add isl_pw_multi_aff_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
ad
d
i
sl_multi_*_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi
_
*_range_spli
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add i
s
l_mult
i
_
*
_
set_
t
u
p
le_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_*_r
a
nge_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_mul
t
i_*_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoo
l
aege
add isl_
m
ulti_*_insert_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ve
r
d
o
olaege
add isl_multi_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdool
a
ege
add isl_
m
ulti_aff_fr
o
m_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_multi_templ
.
c: rename align_params_mult
i
_set_an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoo
l
aege
isl_m
u
lt
i
_temp
l
.
h: avoid reference t
o
explicit el
e
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_multi_*_reset_space_and
_
domain: call
i
s
l_*_
r
eset_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
generalize isl_multi_
a
ff_flat
_
range_pro
d
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rdoolaege
generalize is
l
_multi_aff_dr
o
p
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
generali
z
e is
l
_mul
t
i
_
a
ff_
s
et_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verd
o
o
l
aege
generalize
i
sl_multi_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verdoolaege
generalize is
l
_
m
ulti_aff_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Ve
r
dool
a
ege
add isl_pw_a
f
f_
z
ero_on_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add isl_pw_af
f
_var_
o
n_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
lae
g
e
add isl_aff_var_on_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
o
olaege
isl_input
.
c:
obj_read_body: si
m
pli
f
y
error han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_basic_se
t
_
drop_c
o
nst
r
a
i
n
t
s
_no
t
_in
v
olving_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n
V
erdoolaege
add
i
sl_{se
t
,ma
p
}
_
drop_
c
o
n
straints_invo
l
ving_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdoo
l
aege
a
dd isl_set_u
n
sh
i
fted_simple_hul
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n
V
erd
o
olaeg
e
isl
_
stream_read_
u
nion_ma
p
:
f
o
r
ce result to be a
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdoolaeg
e
add isl_u
n
ion
_
map_subtract_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
o
l
ae
g
e
i
s
l_set_from_pw_multi_aff: han
d
le NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdool
a
e
g
e
isl_union_ma
p
.
c
:
plain_injective_on_range:
sil
e
n
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en Verdoolaege
i
s
l
_transitive_c
l
osur
e
.
c
:
union_
c
omponen
t
s: a
v
oid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
ven Verd
o
o
l
aege
isl_range
.
c
qpolynomial
_
boun
d
_on_domain_range: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven V
e
rdoolaege
isl_convex
_
h
ull
.
c: init
i
al_fa
c
et_con
s
traint: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
S
v
en Verdoolaege
isl_ma
p
_union: special case
u
nive
r
sal input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next