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 Ver
d
oola
e
ge
isl_tab_sample
:
perf
o
rm
g
re
e
dy sea
r
ch before p
e
rformi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoola
e
ge
isl_tab
_
sample:
e
xtract out com
p
ute
_
mi
n
and compute_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n
Ver
d
oolaeg
e
isl_tab_
s
ample:
treat
e
mptiness o
f
tablea
u
as error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
Sve
n
Ver
d
oola
e
ge
AS
T
generation: fix handling of separation classes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verd
o
olaege
isl_print
e
r_print_
{
basic_,}{set,map
}
:
don't
s
t
art new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en
V
erdoolaege
isl_
p
rinter_prin
t
_space: support printing in "ome
g
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdoolaege
renam
e
isl_basic
_
set_
a
dd to isl
_
basic_
s
et_add
_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_
n
orm
a
lize:
plug in divs
w
ith unit coef
f
ic
i
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdoo
l
a
ege
isl_local_s
p
ace_substitute_seq: take a
r
gument for
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdoolaege
isl_a
f
f_floor
:
n
ormali
z
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
e
r
d
o
olaege
i
s
l_aff_ceil:
c
o
m
pute c
e
il(
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_a
f
f_gi
s
t: add missing
i
sl_v
e
c_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdo
o
la
e
g
e
i
sl_un
i
on_set_
c
ompute_schedule: double
check that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoolaege
isl_unio
n
_set_
c
ompute_schedu
l
e
: en
s
u
r
e
ca
r
ry
_
depend
e
nces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoola
e
ge
up
d
a
t
e
for change in clang's Dia
g
nosticOptio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sven
V
erdoolaege
isl_map
_
pl
a
in_
i
s_disjoint: handle inputs wi
t
h
d
ifferent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sv
e
n
V
erdoolaege
add
R
EA
D
M
E
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoola
e
ge
is
l
_union_set_compute_schedule:
handle
result with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven Ver
d
oolaege
isl_as
t
_
c
od
e
gen
.
c:
ge
n
erat
e
_
domain: postpone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verd
o
ol
a
ege
isl_ast_b
u
i
l
d
_a
s
t
_
f
rom_sche
d
ule
:
make constructi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
is
l
_ast
_
build_ast_f
r
om_sc
h
e
d
ule: use "<" if upper bo
u
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sv
e
n
Ve
r
d
o
o
la
e
ge
i
s
l_ast_expr: add is
l
_ast_op_lt
a
nd isl_ast_
o
p_gt
o
perations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sv
e
n
V
e
r
doolaege
a
d
d
isl_bas
i
c_set_from_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_a
s
t_expr_from_aff: try harder to us
e
isl_ast_
o
p_pdiv
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Ve
r
doolaege
isl_ast_build_expr
.
c: separate o
u
t extract_modu
l
o
funct
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sv
e
n Verdoolaege
isl_
a
s
t_bu
i
ld_expr
.
c: fix typo
in
c
ommen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Verdo
o
l
aege
isl
_
ast_build
_
e
xpr
.
c: re
m
ove re
m
nants of code removed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verdoo
l
aeg
e
add ext
r
a AST generation test
case from CLo
o
G
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
isl_printer_print_str: handle NULL in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
isl_a
s
t_expr_mod: perform missing mul
t
iplicati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_id_set_free_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoolaege
is
l
_pr
i
nte
r
_p
r
int
_
pw_aff: use isl_ast
_
expr w
h
e
n printing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdool
a
ege
add suppo
r
t for generati
n
g AS
T
s from schedule
r
elations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doo
l
aege
a
dd
I
SL_C
T
X_{GET,SET
}
_STR_DEF macros
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoola
e
ge
do
c
: separate o
u
t polyhedral com
p
il
a
t
i
on
f
u
nctionalit
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl
_
set_dim_h
a
s
_
{lowe
r
,
u
ppe
r
}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
isl_bas
i
c
_set_substitute
:
check
that
input affine expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
er
d
o
o
lae
g
e
isl_pw_m
u
lti_aff_
s
u
b
stitute:
improv
e
error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_basic_map_align_di
v
s:
f
ix
p
ot
e
nt
i
a
l
in
v
ali
d
access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ola
e
g
e
isl_p
w
_multi_aff_from_
m
ap
:
detect strides in o
u
t
put
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdool
a
ege
isl_pw_multi_af
f
_from_map: detect easy floors
d
i
re
c
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoola
e
ge
priva
t
ely export
i
sl_map_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_pw_*_pull
b
a
ck_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd isl_pw_*_pullbac
k
_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdoolaege
add isl_multi_aff_pul
l
b
a
ck_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
a
dd isl_af
f
_
p
ullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl_
l
ocal_space_preimag
e
_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add i
s
l_set_p
r
eimage_pw_mul
t
i_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdo
o
lae
g
e
a
d
d i
s
l_set_
p
reimage_mul
t
i_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_basic_se
t
_preimage_m
u
l
t
i_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_stream_new_str: fa
i
l on NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoola
e
ge
privately e
x
port isl
_
mu
l
ti_aff_align_
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ve
r
doolae
g
e
a
d
d
i
s
l_basic
_
se
t
_add_div_constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
isl_map
_
is_subset: supp
o
rt rati
o
nal map
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaeg
e
isl_strea
m
_
r
e
ad_map: fi
x
parsing of
Omega
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_
s
trea
m
_read_map:
a
dd pa
r
tial support
f
or reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_aff_nonneg_set: retu
r
n a rati
o
nal
set
i
f the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Ver
d
oolaege
isl_pw_aff_zero_set
:
r
etu
r
n a
r
a
tiona
l
s
e
t i
f
the input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw_aff_list_set_rat
i
o
n
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolae
g
e
a
d
d isl_p
w
_aff
_
set_
r
ational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
rdoolaege
priv
a
tely expor
t
isl_set_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd isl_set_has_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
r
e
implement
isl_
s
tream_read_af
f
in terms of
isl_str
e
am_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
d
e
clare isl_str
e
am_read_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolae
g
e
i
s
l_stream_read_multi_aff:
read t
u
ples directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
is
l
_input
.
c: change tuple pa
r
sing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
ae
g
e
add i
s
l_pw_mult
i
_aff_range_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add isl_multi_*_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add isl
_
multi_*_rang
e
_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d isl_multi_*_set_
t
uple_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaeg
e
ad
d
i
sl
_
multi_*_range_pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add
i
sl_mul
t
i_*_add_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
ool
a
ege
add
isl_m
u
lti
_
*_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verdoolae
g
e
add isl_multi_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add isl_
m
ulti_af
f
_from_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
i
s
l_m
u
lti_te
m
pl
.
c: rename a
l
i
g
n_params_multi_set_an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oo
l
aege
isl_mu
l
ti_templ
.
h: avoid refer
e
nce to explicit element
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_mu
l
ti_*_reset_space_a
n
d
_dom
a
in: call
i
sl_*_reset_
d
omain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaeg
e
genera
l
ize isl_mu
l
t
i_
a
ff_fl
a
t_
r
ange_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
generalize
isl_multi_aff_
d
r
op_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
general
i
ze
isl
_
m
u
lti_a
f
f_s
e
t_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdool
a
ege
generalize i
s
l_mul
t
i_a
f
f
_
z
e
ro
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
aege
g
e
nera
l
iz
e
i
sl_multi
_
a
ff_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdoolaege
a
d
d isl_pw_aff_z
e
ro_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add
i
s
l
_pw_aff_var_o
n
_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add is
l
_aff_var_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoola
e
ge
i
s
l
_
input
.
c: ob
j
_read_body: simplify err
o
r handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add
i
s
l_ba
s
i
c_set_dro
p
_constrain
t
s
_
not_involving_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdo
o
laeg
e
ad
d
i
s
l_{set,map}_d
r
o
p_constrai
n
ts_
i
nvol
v
i
n
g_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Ver
d
oolaege
ad
d
isl
_
set_un
s
hif
t
e
d
_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Ve
r
doolaege
isl_stream
_
read_u
n
i
o
n
_m
a
p: f
o
rce result
t
o
b
e a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n Verdoolaeg
e
add is
l
_uni
o
n_map_
s
ubtra
c
t_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en V
e
rdo
o
laege
isl
_
set_from_pw_mult
i
_aff: handle NULL
i
n
p
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Ver
d
oolaege
i
sl_u
n
ion_map
.
c: plain_injective_on_r
a
nge: silence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven
V
erd
o
olaeg
e
i
s
l_transi
t
iv
e
_cl
o
s
u
r
e
.
c: union_components: avoid invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdool
a
e
g
e
isl_range
.
c qpolynomial_bound_on_domain_range:
a
vo
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sve
n
Verdoola
e
ge
isl
_
convex_hull
.
c: i
n
i
tial
_
f
a
cet_constraint:
a
void
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
S
v
en Verdoola
e
ge
isl_map_union: speci
a
l
ca
s
e un
i
v
e
r
sal
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
S
v
e
n Verdoo
l
aege
isl_map_gist:
special case
u
nivers
a
l and equal inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdo
o
laege
e
x
p
o
rt
i
sl_set_pl
a
i
n_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next