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_tab_sample: perform greedy search before performing basis reduction
2012-11-20
Sven Ve
r
doolaege
isl_tab_sa
m
ple: per
f
orm greed
y
search before performing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
S
v
e
n Ve
r
doolaege
i
s
l_tab_sample
:
ext
r
act
out compute_min and compute_
m
ax
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ve
r
doolaege
isl_tab_sample: treat emptine
s
s of t
a
bleau
as
e
rror
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
Sven Ver
d
ool
a
ege
AST g
e
neration: fix handling of s
e
paration c
l
asses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
v
e
n Verdoolaege
i
s
l
_
printer_p
r
int
_
{basi
c
_,}{set,map}: don't start
new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolae
g
e
isl_
p
rinter_print_spac
e
: support printing
in "omega
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
r
ename isl_basic_set_add
to i
s
l
_
b
a
sic_set_add_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoo
l
aege
is
l
_aff_normal
i
ze: plug in divs with unit co
e
fficien
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en
V
e
rdoolaege
isl_
l
ocal_spac
e
_substitute_seq:
t
ake ar
g
u
ment f
o
r the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
erd
o
olaege
isl_a
f
f_fl
o
or:
normalize r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verd
o
olaege
isl_aff_c
e
il
:
compu
t
e ceil(
e
/m
)
as flo
o
r((e + m - 1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sven Ve
r
d
o
olaege
isl_aff_gist:
add miss
i
ng
is
l
_v
e
c
_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
S
v
e
n Ve
r
doolaege
isl_union_set_compute_schedule
:
d
o
uble check that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoolaege
isl_union_s
e
t
_compute_schedule
:
ensure c
a
rry_dependences
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verd
o
olaege
update for ch
a
nge
i
n
clang's
DiagnosticOpt
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdoolaege
i
sl_map_plain_
i
s_disjoint:
h
andle inputs with different
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdoolaege
add README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
An
d
reas Kloec
k
ner
I
ntroduce isl_int_free_str to rem
o
ve
G
MP dependency
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sv
e
n V
e
rd
o
olae
g
e
isl_union_set
_
com
p
ute_
s
c
h
ed
u
le:
h
andle
r
e
s
ult with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
S
v
en Verdoolaege
isl_ast_
c
o
degen
.
c: generate
_
domain: postpone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoolaege
isl_ast_build_ast_from
_
schedule:
make constructi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
v
e
n
Ver
d
oolaege
isl_ast_build_ast_from_schedule: u
s
e "<" if
u
pper bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
v
e
n
V
erdoolaege
isl_ast_expr: add
i
s
l
_
as
t
_op_l
t
and isl_ast_op_gt op
e
rations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven
V
erdoolaege
add is
l
_b
a
sic_set_from_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ver
d
oolaege
isl_ast_exp
r
_
from_aff: try harder to
u
se
isl_ast_op
_
pdiv_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolae
g
e
isl_ast_build_expr
.
c
:
sep
a
rate out extract_modulo function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ver
d
oola
e
ge
isl_ast_build_expr
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
is
l
_ast_build_
e
xpr
.
c: rem
o
ve
r
emnants
o
f code removed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven Ver
d
oola
e
g
e
add ex
t
ra AS
T
g
e
n
era
t
ion
t
est
c
ase from CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
isl_pri
n
t
e
r_pri
n
t_s
t
r
: handle NUL
L
inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Verdoolaege
isl_as
t
_expr_m
o
d
: p
e
rform missi
n
g multiplicat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Gross
e
r
Make sed expression in
M
akefile
compatible
w
ith
B
SD
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
a
dd isl_i
d
_set_free_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoola
e
ge
isl_prin
t
er_print_pw_aff:
u
se
is
l
_ast_ex
p
r when printing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
support for genera
t
ing
A
STs fro
m
schedule
r
e
l
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoola
e
ge
ad
d
I
SL_CTX
_
{GET,SE
T
}_STR_DE
F
macros
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
doc: separat
e
out polyh
e
dral
c
ompilation functionality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolaeg
e
add isl_set_di
m
_has_{
l
ower,u
p
per}_
b
o
u
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
aege
isl_bas
i
c_set_su
b
stitute: che
c
k
t
hat input
a
ffine
e
x
p
ress
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
is
l
_pw
_
multi_aff_sub
s
titute: improve er
r
or handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
isl_basic_map_align_
d
i
vs: fix potential i
n
valid a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ve
r
d
ool
a
ege
isl_pw_multi
_
aff_fr
o
m
_
map: detect
s
trides
i
n output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
isl_pw_mu
l
ti_aff_fro
m
_map: de
t
ect easy
floors direct
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verd
o
o
lae
g
e
priv
a
tely expor
t
i
s
l_map_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw_*_pullback_pw_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erdoolaege
add isl_pw_*_pullbac
k
_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add isl_multi_aff
_
p
u
l
l
b
a
ck_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add isl_aff_p
u
llback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
o
l
aege
a
dd isl_
l
ocal_sp
a
ce_pre
i
mage_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verd
o
olaege
ad
d
isl_set_preimage_pw_m
u
lti_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
a
dd isl_set
_
preimage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_b
a
sic_se
t
_pr
e
image_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
lae
g
e
isl_stre
a
m_new_str:
f
ail o
n
NULL
inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoo
l
aege
private
l
y expo
r
t isl_multi_
a
ff_al
i
gn_
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Verdoolae
g
e
ad
d
isl_basic_se
t
_add
_
div_constrain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdool
a
ege
isl_map
_
is_subset
:
support rat
i
onal
ma
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
isl_s
t
ream_read_map: fix p
a
rsi
n
g of Omega input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
V
erdoolaege
isl_stream_read_map:
a
d
d
partial support for reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdool
a
ege
isl_p
w
_aff_nonneg_set
:
return a rat
i
onal s
e
t
i
f the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
isl_pw_aff
_
zero_set: r
e
tur
n
a rational set if th
e
input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add i
s
l_pw_
a
ff_list_s
e
t_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaeg
e
add isl_pw_aff_
s
et_ra
t
i
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdool
a
ege
privately export isl_s
e
t_set
_
rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aege
add isl_set_has_rat
i
onal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdool
a
ege
reimpl
e
ment isl_s
t
ream_read_aff in
term
s
of is
l
_stream_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
decla
r
e isl_st
r
eam_re
a
d_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
i
s
l_stream_rea
d
_mul
t
i_aff: read
t
uples di
r
ectly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
isl_
i
nput
.
c:
c
hange
t
uple parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ve
r
doolaege
a
dd i
s
l_pw_multi_aff
_
range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdoolaege
add isl_multi_*_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdool
a
ege
add isl_mu
l
ti_*_
r
ange_splic
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoo
l
aeg
e
a
d
d
isl_multi_*_set_tup
l
e_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
doolae
g
e
add
i
sl_multi_*_ra
n
ge_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdo
o
laeg
e
a
dd isl_multi_*_add_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolae
g
e
add isl_m
u
lti_*_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
o
ol
a
ege
add isl_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verd
o
olaege
add
i
s
l
_
m
u
lti_aff_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdo
o
l
aege
isl
_
multi
_
templ
.
c: rename al
i
gn
_
params_multi_set_and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
isl_multi_tem
p
l
.
h: avoid
r
e
f
er
e
nce to exp
l
icit element
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
olaege
isl_m
u
lti_*_re
s
et_
s
pace_and_domain: cal
l
isl_*_reset_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdoolaege
ge
n
era
l
ize isl_m
u
l
ti_aff_flat_range_produ
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
g
e
neralize i
s
l
_
multi_aff_dro
p
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaeg
e
generaliz
e
i
sl_m
u
lti_
a
f
f_set_
d
i
m_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
oolaege
generalize isl_multi_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Verdoolaege
g
e
neralize
i
sl_multi_aff_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdo
o
la
e
g
e
a
dd isl_pw_aff_z
e
ro_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_pw_aff_
v
a
r_on_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verdoolaege
ad
d
isl_a
f
f_v
a
r_o
n
_
d
oma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_input
.
c: obj_read
_
body
:
simplify error han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoolaege
ad
d
i
s
l
_b
a
sic_set_
d
rop_cons
t
raints
_
not
_
i
nv
o
lving
_
dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
laege
add isl_{set,map}
_
d
r
o
p_con
s
traints_involving_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_s
e
t_unshifted_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verdoola
e
ge
isl_strea
m
_read_union_map: force result t
o
be a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verd
o
olaeg
e
add isl_
u
nion_ma
p
_su
b
tract_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoola
e
g
e
isl_set_from_pw_multi
_
a
f
f
: handle NULL
i
np
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
ven
V
erdoolae
g
e
i
sl
_
union_map
.
c:
plain_injecti
v
e_on_r
a
nge
:
sil
e
nce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en
Verdo
o
laege
isl_t
r
ansitive_closure
.
c
: union_com
p
on
e
n
t
s
:
a
void
i
nvalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven V
e
rdoo
l
a
ege
i
s
l_range
.
c qpolyn
o
m
i
al_bound_o
n
_domain_range: av
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_convex_hull
.
c: initial_facet_constraint: avoi
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
S
v
en V
e
rdool
a
e
ge
isl_map_u
n
i
o
n: speci
a
l case uni
v
ersa
l
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next