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: extract out compute_min and compute_max
2012-11-20
Sven Verdoolaege
i
sl
_
tab_
s
amp
l
e:
ex
t
ract out compute_min and
c
ompute_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoo
l
aege
isl_tab_s
a
mple: treat emptiness of tableau as error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sve
n
V
e
r
doolaege
AST generatio
n
: fix
h
andli
n
g of separation classes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdoolaege
isl_pr
i
n
t
er_prin
t
_{basi
c
_,}{s
e
t,map}: don't star
t
n
e
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
doolaege
isl_pri
n
ter_print_s
p
ace: suppo
r
t printi
n
g in "om
e
ga
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Ver
d
oolaege
rename
isl_basic_se
t
_add to isl_basic
_
set_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
ven Ver
d
oolaege
isl_aff_normalize:
p
lug in divs w
i
th un
i
t c
o
efficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolae
g
e
isl_lo
c
al_space_substi
t
ute_
s
eq: take argument for th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdoolaege
is
l
_aff_floor:
n
or
m
alize
resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en Verdoolaege
i
sl_aff_ceil: c
o
mpute ceil(e/
m
) as floo
r
((e + m - 1)/m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sv
e
n
Ve
r
d
o
o
la
e
ge
isl_a
f
f_gi
s
t: add missing isl_vec_co
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sve
n
Verdoolaege
i
s
l_union
_
s
e
t_compute_schedule: dou
b
le c
h
ec
k
that we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
S
v
en Verdoolaege
isl_uni
o
n
_
set_compute_sche
d
ul
e
: ensu
r
e
carr
y
_dependences
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Ve
r
doolaege
updat
e
fo
r
change
in clang's DiagnosticOpt
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sven
Ver
d
ool
a
ege
isl_ma
p
_plain_is_dis
j
oin
t
: handle inputs with
d
ifferent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
S
ven Verdoolae
g
e
a
dd README
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Andreas Kloeckner
Introduce isl_int_free_str
to
remove GMP dependency
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
S
ven Ve
r
doo
l
aege
isl_uni
o
n_set_com
p
ute_sche
d
ul
e
: ha
n
dle
result with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdoolaege
isl_ast_codeg
e
n
.
c: genera
t
e
_doma
i
n
:
po
s
tpon
e
s
ing
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoola
e
ge
i
sl_ast_build_ast_from_schedu
l
e: make construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven
Verdo
o
l
a
ege
isl_ast_build_ast_from_schedule:
use "<"
i
f upper bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven
Verdool
a
ege
isl_ast_expr: add
isl_ast_op
_
l
t and isl_ast_op_gt
ope
r
at
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaeg
e
a
dd is
l
_basic_set_fr
o
m_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
ve
n
Verdoolaege
isl_ast_expr_from_aff: tr
y
harder to use
i
sl_ast_op_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven
V
erdoolaege
isl_ast_b
u
ild_expr
.
c: separate
out
extract_modulo f
u
nction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoola
e
ge
i
sl_ast_build_
e
xpr
.
c: fix
typo in c
o
mm
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
i
s
l
_
ast_bu
i
ld_
e
xpr
.
c
:
remove remnants of cod
e
remo
v
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verdoola
e
ge
add extra
A
ST generation te
s
t case fro
m
CL
o
o
G
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sve
n
Verd
o
o
l
a
eg
e
isl_
p
r
i
nter_
p
rint_str
:
handle NULL i
n
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n V
e
rdoola
e
ge
isl_ast_exp
r
_mod: perf
o
rm missing mult
i
plication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Gro
s
ser
Ma
k
e sed exp
r
ession in
Ma
k
efile c
o
mpat
i
ble with BSD
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add i
s
l_id_
s
e
t
_fr
e
e_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_printer_print_
p
w_aff:
use isl_ast_exp
r
when printi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add support for
generating A
S
Ts
f
rom s
c
hedule relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verd
o
olaege
a
d
d ISL_
C
TX_{GET,SE
T
}_STR_D
E
F macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
doc: separate
out po
l
yhedral compila
t
ion functionality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
ad
d
isl_set_dim_has_{l
o
wer,upper}_boun
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolae
g
e
isl_basic_set_substitu
t
e:
ch
e
ck that in
p
ut a
f
fine expres
s
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
aege
is
l
_pw_multi_aff_substitute: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
do
o
laege
isl_basic_map_align
_
divs: fix potential in
v
alid access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdoolaege
i
s
l
_
pw_mu
l
ti_aff_from_map:
d
etect strides i
n
out
p
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
isl
_
pw_multi_aff
_
from_
m
ap: dete
c
t easy
floors directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
privately e
x
port isl_m
a
p_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
eg
e
add isl_p
w
_*_
p
ullback_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
ad
d
i
sl_pw
_
*_pul
l
ba
c
k_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
g
e
add isl_
m
ulti_aff_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdoolaege
add isl_aff_p
u
llb
a
ck_
m
ulti
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aege
add isl
_
l
ocal_s
p
ace_preimage_m
u
l
t
i_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolae
g
e
a
d
d
i
s
l_se
t
_preimage_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
ad
d
isl_set_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add is
l
_basic_set_preima
g
e_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
i
sl
_
stream_new_
s
tr: fail on
N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
privat
e
ly
e
xport isl_m
u
lti_aff_
a
l
ign_di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdo
o
l
a
ege
add i
s
l_basic
_
set_a
d
d
_
div_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
isl_map_is_su
b
set: support rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
is
l
_st
r
eam_re
a
d
_ma
p
: fix parsing
o
f Omega inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
is
l
_stream_read_map: ad
d
partial support for reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ol
a
ege
isl_
p
w_aff_nonneg_se
t
: return
a rational set if the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
isl_pw_aff_zero_set: return a rational set if
the
input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
oolae
g
e
a
dd is
l
_pw_aff_list_se
t
_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdo
o
laege
add
isl_pw_
a
f
f_
s
e
t_
r
ati
o
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
o
o
l
a
ege
privately
e
x
p
ort is
l
_set_
s
et_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verd
o
ol
a
eg
e
add isl_
s
e
t
_has_rationa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
reimple
m
ent isl
_
s
t
ream_read_a
f
f
in terms
o
f
isl
_
stream
_
read_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Verdoolaege
declar
e
isl_stream
_
read_mu
l
ti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Verdool
a
e
ge
i
sl_st
r
eam_r
e
ad_mul
t
i_aff: re
a
d tuples directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
isl_input
.
c: chang
e
tuple parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add isl_
p
w_m
u
lti_aff_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
ad
d
i
s
l_multi_*_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oola
e
ge
a
dd isl_multi_*_range_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Verdool
a
ege
add
isl_
m
ulti_
*
_set_tuple_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add
i
sl_mul
t
i
_
*_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d is
l
_
m
ulti_*_
a
dd_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaeg
e
add isl
_
m
ulti_*_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl
_
multi_
p
w_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add isl_multi_a
f
f_from_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
isl_multi_tem
p
l
.
c: rename al
i
gn_params_
m
ulti_set_and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Ver
d
oolaege
i
s
l_multi_templ
.
h
:
a
v
oid refer
e
nce to e
x
plicit element
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
isl_multi_*_reset_space_and
_
d
omain: call isl_*_res
e
t
_
domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdoolaege
g
e
n
e
r
alize is
l
_multi_aff_f
l
a
t
_range
_
product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
genera
l
ize
i
sl_multi_aff_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erd
o
ol
a
ege
gene
r
alize isl_mult
i
_aff_set_
d
im_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verd
o
olaege
generalize isl_mu
l
ti_
a
ff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
ge
g
e
neralize isl_multi_aff_iden
t
ity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
la
e
ge
a
dd isl_pw_
a
ff_
z
ero_on
_
domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add isl_pw
_
aff_var_on
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolae
g
e
ad
d
isl_aff_
v
ar_o
n
_
d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolaege
isl_
i
nput
.
c: obj_
r
ead_b
o
dy
:
simpl
i
fy e
r
ror
h
a
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verdoo
l
ae
g
e
add isl_bas
i
c_s
e
t_drop_constr
a
i
n
ts
_
not_invol
v
ing_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdo
o
l
a
ege
add
isl_{se
t
,map
}
_drop_c
o
ns
t
raints_inv
o
lvi
n
g_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
oolaege
add
isl_set_u
n
s
h
i
f
t
e
d_simp
l
e_
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_s
t
ream_read_union_map: force result to be
a
m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolae
g
e
add i
s
l_union_map_subtract_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoo
l
aege
i
sl_s
e
t
_from_pw_multi_aff: handle NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
ven Verdoolaege
i
s
l_union_map
.
c: plain_i
n
jective_on_range:
silence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
i
s
l
_
transitiv
e
_closure
.
c: union_c
o
mponents: avoid inva
l
id
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verd
o
olaege
isl_r
a
nge
.
c qp
o
ly
n
om
i
al_b
o
und_on_
d
omain_ran
g
e
:
avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
v
e
n Verdoolaeg
e
isl_convex_hull
.
c: initial_facet_
c
onst
r
aint:
a
vo
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sv
e
n
Ver
d
oolaege
i
s
l_map_union:
special
case universal
i
n
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven Ver
d
oola
e
ge
isl_map_gi
s
t: special c
a
se
un
i
versal and
equa
l
inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next