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
V
e
r
d
o
ol
a
ege
isl_tab_sa
m
ple: per
f
orm greed
y
search b
e
for
e
p
erfor
m
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en Verd
o
olaege
isl_tab_samp
l
e: extract out compute_
m
i
n
and
c
o
m
p
u
t
e_m
a
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en Ve
r
doolaege
isl
_
t
ab_sample: treat empti
n
ess
of tableau as error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
S
v
e
n
Verdoolaege
AST g
e
neration: fix handlin
g
of separation classes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
erdoolaege
isl_p
r
in
t
e
r_pr
i
nt_{basic_,}
{
set,map}: don't
s
tart new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_
p
r
i
nter_
p
r
int_space: s
u
pport printing in "omega
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verdoolaege
r
ename isl_basic_set_a
d
d to isl_basic_set_add
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_no
r
m
aliz
e
: plu
g
in divs with uni
t
coeffi
c
i
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verd
o
olaege
isl_local_space_su
b
stitute_seq: t
a
ke
arg
u
me
n
t for the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdool
a
e
g
e
i
s
l_aff_floor: normal
i
z
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
ven Verd
o
olaege
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
V
er
d
oolaeg
e
isl_aff_g
i
s
t
: a
d
d
mis
s
i
ng
i
sl_vec_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdoolae
g
e
i
s
l_un
i
on_set_compute_sched
u
le: double check that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdo
o
la
e
ge
isl_union_set_co
m
pute_sche
d
ule: ensure
carry_d
e
p
ende
n
ces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sv
e
n
V
erdool
a
ege
update for chang
e
in clang'
s
Di
a
gnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdoo
l
aege
isl_
m
a
p_plain_is_disjoint: handle inputs
with dif
f
e
rent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sve
n
Verdoolaege
a
dd READM
E
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Andr
e
as Kloeckner
Int
r
o
d
u
c
e is
l
_int_f
r
ee_st
r
to r
e
mo
v
e GM
P
depende
n
cy
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sve
n
Verdool
a
ege
isl_unio
n
_s
e
t_co
m
pute
_
schedu
l
e: handle res
u
lt
w
ith
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven
V
e
rdoolaege
i
s
l_ast_codegen
.
c
:
genera
t
e_do
m
ain: pos
t
pone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoolaege
isl_ast_buil
d
_a
s
t_from_s
c
h
e
dule: m
a
ke construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
ve
n
V
e
rdoolaege
i
s
l
_ast_bu
i
ld_ast_f
r
om_schedule:
u
s
e
"<" if upper bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdool
a
ege
isl
_
ast_expr: add is
l
_
ast_
o
p_lt and
isl_ast_op_gt opera
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sve
n
Verdoolaege
a
d
d isl_basi
c
_set_
f
ro
m
_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
ven Ve
r
d
oolaege
isl_a
s
t_expr_from_aff: try h
a
rde
r
to use isl_a
s
t_op_pdiv_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_
a
st_b
u
ild
_
e
xpr
.
c:
s
epara
t
e out extract_modulo functi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdo
o
laege
isl_ast_build_ex
p
r
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoo
l
aege
isl_ast_
b
uild_expr
.
c: remo
v
e
r
emnants
o
f code removed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verd
o
olaege
add extra
AST generation
t
est case
from CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven V
e
rdoolaege
i
s
l
_printer_print_str: han
d
le
NULL
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ve
r
do
o
lae
g
e
i
s
l_ast
_
e
x
pr_mod
:
pe
r
form missing multiplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Tobias
G
rosser
M
a
ke
s
ed
e
xpressio
n
in M
a
kefile compat
i
ble with BSD
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoola
e
ge
add isl_id_set_free_us
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
doo
l
aege
i
s
l_printer_pri
n
t_pw
_
af
f
: u
s
e isl_
a
st_expr when printing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd support for generating ASTs fro
m
schedule r
e
la
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoo
l
a
ege
add
I
SL_C
T
X_{G
E
T,
S
ET}_STR_DEF macr
o
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
doc: separat
e
o
ut polyhed
r
al compilati
o
n fu
n
ctional
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
a
d
d isl_set_di
m
_has_{lower,upper
}
_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_basic_set_subs
t
itute: check that
i
np
u
t
a
ffine expre
s
sion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
e
rdoo
l
aeg
e
isl_
p
w_
m
ulti_aff
_
substitute:
improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
i
s
l
_basic_map_
a
lign_
d
ivs: fi
x
potent
i
al inv
a
l
i
d
access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_p
w
_
multi_aff_
f
rom_map: detect strides in output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_p
w
_multi_aff_
f
rom_map
:
detect easy
floors directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
p
ri
v
ate
l
y export isl
_
map_is_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ol
a
ege
add isl_pw_*_p
u
llbac
k
_pw_mu
l
t
i
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoo
l
aege
add isl_pw_*_pul
l
back_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
a
ege
ad
d
isl_multi_aff_
p
ullba
c
k_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl_af
f
_pul
l
back_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verd
o
o
laege
add
i
s
l_loc
a
l
_spa
c
e_pr
e
image_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_se
t
_preimage_pw_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdo
o
laege
add
i
sl_
s
et_preim
a
ge_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add isl_basic_set
_
preimage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdoola
e
ge
isl_stream
_
n
ew_str
:
fa
i
l
on
NULL
inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
p
r
i
v
a
tely export
isl_multi_a
f
f_a
l
ign_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaeg
e
add isl_basi
c
_set
_
a
d
d_
d
iv_constraint
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
isl_map_is_subset: sup
p
ort rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
ae
g
e
is
l
_stream_re
a
d_map:
fix parsing of Omega input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
aege
is
l
_stream_read_map: add
p
artia
l
suppo
r
t for reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolaege
is
l
_pw
_
aff_nonneg_set: return a rational set i
f
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoo
l
ae
g
e
isl_p
w
_aff_zero_set: return a rational set i
f
t
h
e inp
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
sl_pw
_
aff_list_set_
r
a
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add
is
l
_pw_af
f
_s
e
t_
r
a
t
i
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
rdoolaege
priv
a
tely export isl_se
t
_set_ration
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoo
l
aege
add i
s
l_set_has
_
ra
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
reimp
l
ement isl_stream_re
a
d_aff in te
r
ms of isl_stream_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
aeg
e
decl
a
r
e
i
s
l_stream_read_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
isl_str
e
am_re
a
d_mu
l
ti_aff: read tuples di
r
e
c
tly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
r
d
oolaege
is
l
_i
n
put
.
c: cha
n
ge t
u
ple pa
r
sing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw_multi_aff_range_produc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add isl_
m
ulti_*_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdool
a
ege
add isl_multi_*_range_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add isl_multi_*_set_tuple
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoola
e
ge
add
i
s
l
_multi
_
*
_range_produ
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
ad
d
isl_
m
ulti_*_add_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoo
l
a
e
g
e
add isl_
m
ulti_*_insert_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdo
o
l
a
ege
a
dd i
s
l_multi_p
w
_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl_mul
t
i_aff_f
r
om_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ve
r
doolaege
is
l
_multi_
t
empl
.
c: r
e
nam
e
a
lign
_
params_mult
i
_
s
et_a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_multi_templ
.
h
: avoi
d
re
f
e
r
e
nce t
o
explici
t
elemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
i
s
l_mu
l
ti_
*
_reset_space_and_domain: call isl_*_res
e
t_
d
o
mai
n
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
ge
gener
a
lize isl_multi_a
f
f_
f
lat_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
generalize isl_multi_
a
ff_drop_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolae
g
e
g
e
neralize isl_multi_aff_set
_
dim
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
generaliz
e
isl_mult
i
_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Ve
r
dool
a
ege
gene
r
alize isl_mul
t
i
_
aff_ide
n
tity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdoolaege
add isl_pw_aff
_
z
e
ro_on
_
d
o
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
add
i
sl_pw
_
aff
_
var_on_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
o
o
laege
a
dd isl_aff_
v
ar_on_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Ver
d
o
o
laege
i
s
l_input
.
c: obj_re
a
d_body: simplify
e
r
ro
r
handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolae
g
e
add
isl_bas
i
c
_set
_
dr
o
p
_
constraints_not
_
involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoolaege
add isl_{set,map}_drop_constraints_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
e
r
do
o
laege
add isl_
s
e
t_unshif
t
ed_simp
l
e_hul
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Ve
r
doola
e
ge
isl_stream_r
e
ad_union_map: force r
e
s
ult
t
o
be a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en
V
erdoolaege
add
isl_uni
o
n_map_s
u
btract_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdo
o
laege
isl_set_
f
rom_pw
_
multi_a
f
f:
h
a
ndle NULL inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n Verdoolaege
isl_u
n
ion_map
.
c
:
pl
a
i
n
_injective_on_range:
silence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl
_
t
ransi
t
ive_clos
u
r
e
.
c
:
union_com
p
onent
s
:
a
voi
d
inval
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
v
e
n
Verdoolae
g
e
isl_ran
g
e
.
c
q
poly
n
omi
a
l_bound_on_doma
i
n
_
ra
n
ge
:
avo
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_convex_hul
l
.
c
: initial_facet_constra
i
nt: av
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sv
e
n V
e
rdoolaege
isl_ma
p
_uni
o
n: speci
a
l
case universal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next