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
doc: fix typo
2012-11-22
S
ven Verdoolaege
doc: f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-21
Sven Verdoolaege
add before_eac
h
_for/after_e
a
ch
_
for callbacks
commit
|
commitdiff
|
tree
2012-11-21
Sven Verdo
o
laege
isl_as
t
_b
u
ild_from_con
t
ext: allow unnamed set dimensions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_basic_m
a
p_g
i
st
:
drop irr
e
levant
cons
t
raints
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ve
r
d
oolaeg
e
isl_map_si
m
plify
.
c: fix
typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
erdoolaege
isl
_
ast_build_eli
m
inate_divs: remove unkn
o
wn divs before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sve
n
Verdool
a
eg
e
isl_a
f
fine_h
u
ll
.
c:
a
ffine_hu
l
l_with_con
e
: plug memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
e
rdo
o
laege
change prototype
of isl_factorizer
_
du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verd
o
ola
e
ge
isl_ta
b
_sample
:
perform
greedy sea
r
ch
before performin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n V
e
rdoola
e
ge
isl_tab_
s
ample: extract out compute_m
i
n and compute_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven V
e
rdoo
l
aege
i
sl_tab_s
a
mple: treat
em
p
tiness of tableau as error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
Sve
n
V
e
r
d
oolaege
AST gener
a
tion
:
fix
handling of se
p
ar
a
tion classes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en
Verdoolaege
isl_
p
rinter_print_{basic_,}{set,map}:
d
o
n't s
t
art new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoola
e
ge
isl
_
pri
n
ter_prin
t
_space: supp
o
r
t
prin
t
ing in "
o
mega
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verd
o
olaege
rename isl
_
basic
_
se
t
_add to
isl_
b
a
s
ic_set_add_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdo
o
laege
i
sl_aff_n
o
r
m
a
l
ize: plug in divs w
i
th unit
c
oeffi
c
ie
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verdoolaege
isl
_
local_
s
pace_subst
i
tute_seq: t
a
ke argume
n
t for the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Ver
d
oo
l
a
e
ge
isl_a
f
f
_f
l
oor: normal
i
z
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
doolaege
isl_aff_ceil
:
compute cei
l
(
e
/m) as floor((e + m -
1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sve
n
Verd
o
olaege
isl
_
aff_gist: add missing isl_vec_c
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sve
n
Verdoola
e
g
e
isl_union_set_comput
e
_schedul
e
: double check that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
S
v
e
n Verdoolaege
isl_union_set_compute_schedul
e
: ens
u
re
c
arry_depend
e
nces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven
V
erdoolaege
update
for change in c
l
a
n
g's DiagnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
S
ven Verdool
a
ege
is
l
_map_plain_is_disjoi
n
t: handle inputs with differ
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdoola
e
ge
add README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Andreas Kloeckner
Introduce isl_
i
nt_free
_
str to rem
o
ve GMP dependency
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sven V
e
rdoolaege
i
s
l
_unio
n
_set_compute_s
c
h
e
dule: han
d
le result with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven
Verdoolaeg
e
isl_a
s
t_co
d
egen
.
c
:
g
e
nerat
e
_doma
i
n: postpone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdool
a
ege
isl_ast
_
build_ast_fr
o
m_schedul
e
: make
c
on
s
truction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdool
a
ege
isl_ast_build_as
t
_fr
o
m
_
s
chedule: us
e
"<"
if upper bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verd
o
olaege
isl
_
ast_expr: add isl_ast_op_
l
t
and i
s
l_ast_op_gt
o
perat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven
V
er
d
oolaege
ad
d
isl_bas
i
c_se
t
_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_expr_fr
o
m_aff:
t
r
y
h
a
rd
e
r to use
i
sl_ast_op
_
pdiv_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven
V
e
r
doolaege
i
s
l
_ast
_
build_expr
.
c:
separate out extract_modulo function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ve
r
do
o
laege
isl_ast_build_ex
p
r
.
c
:
fix typ
o
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
v
en
V
e
r
doolaege
isl_ast_build_exp
r
.
c
:
remove remnant
s
of code
r
emoved
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven V
e
r
d
oolaege
add extra AST gen
e
ration test case f
r
om CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven V
e
r
doola
e
ge
isl_pri
n
ter
_
prin
t
_st
r
: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoola
e
ge
is
l
_ast_expr_mod: p
e
rform missing multiplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Gros
s
er
Make sed expre
s
sio
n
in M
a
kef
i
l
e compa
t
i
b
l
e
with BSD
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add i
s
l_id_set_free_us
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
i
sl_printer_
p
rint
_
p
w_aff: use isl_ast_exp
r
w
h
e
n
p
r
inti
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
er
d
oolaege
add suppo
r
t
for ge
n
eratin
g
A
S
Ts fr
o
m schedule relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
ISL_C
T
X_{GET,SET}_STR_DEF macros
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
doc: se
p
arate o
u
t p
o
lyhedral
compilati
o
n func
t
i
on
a
lity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
V
er
d
oo
l
aeg
e
add
i
sl_se
t
_dim_h
a
s_{lower,upper}_
b
ound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_basic_set_subst
i
tut
e
: check
that input affine expr
e
ssion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_multi_aff_substit
u
te
:
i
mpro
v
e
e
rror handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
olaege
isl_basic_ma
p
_align_
d
i
vs: fix potential inv
a
lid access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
isl_pw_mult
i
_
a
ff_fr
o
m_map: detect strides
i
n output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
o
laege
i
s
l_
p
w_
m
ulti_aff_fr
o
m_map: detect easy flo
o
rs directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
priv
a
tely export isl_ma
p
_i
s
_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl_pw_*_p
u
l
lback_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoola
e
ge
add isl_pw_*
_
pullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verd
o
olaeg
e
add isl_multi_aff_p
u
llback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_a
f
f_pullback_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
a
d
d
i
sl_local_spa
c
e
_preimag
e
_
mult
i
_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_set_preimage_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ve
r
doolae
g
e
a
dd
i
sl_set_preimage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laeg
e
add isl_basi
c
_set_pre
i
mage_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoola
e
ge
isl_stream_ne
w
_str:
fail o
n
NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
oolae
g
e
pr
i
vately e
x
por
t
isl_multi
_
a
f
f_alig
n
_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_basic_se
t
_add
_
div_constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_map_is_subset: suppo
r
t rati
o
n
a
l maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdool
a
ege
i
s
l_stream_read_
m
a
p
:
f
ix parsi
n
g
of Omega i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
isl_
s
tream_read
_
map: add partial support for reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
isl_pw_a
f
f_nonneg_set: return a ra
t
ional set if the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ver
d
oolaege
isl_pw_aff_ze
r
o_s
e
t: ret
u
r
n
a
r
a
tiona
l
s
e
t if the input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdool
a
ege
a
d
d isl_
p
w_
a
ff
_
li
s
t_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ve
r
doolaege
add isl_pw_aff_set_
r
a
tiona
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdoolaege
p
r
ivately expor
t
i
s
l
_
set_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_set_has_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
r
e
implement isl_strea
m
_read_aff in terms
o
f i
s
l_stream_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
declare isl_stream_read_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ve
r
doolaege
i
s
l_stream_read_mu
l
ti_aff: read tuples directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
i
sl_in
p
ut
.
c: change t
u
ple parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
a
dd is
l
_pw_multi_aff_range_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_*_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ver
d
oolae
g
e
add isl_multi_*_ran
g
e_spl
i
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
a
dd isl_multi_*_set_tuple_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdo
o
laege
add isl_mult
i
_
*
_rang
e
_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdo
o
laege
add isl_multi_*_
a
d
d
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
a
d
d isl_multi_*_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Ve
r
doolaege
ad
d
isl_mu
l
t
i
_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add
i
s
l
_multi_aff_fro
m
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoola
e
ge
isl
_
multi_templ
.
c: rename align_param
s
_multi_set_
a
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
is
l
_mu
l
ti_tem
p
l
.
h: avoid re
f
eren
c
e to explicit element
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
ae
g
e
isl_
m
ulti_*_
r
eset_space_an
d
_
d
omai
n
: c
a
l
l
i
sl_*_reset_d
o
main_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
generalize isl_mul
t
i_aff_flat_r
a
nge_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoo
l
a
ege
general
i
z
e
isl_mul
t
i
_
aff_drop_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
gene
r
ali
z
e
i
sl_m
u
lti_af
f
_
s
et_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
er
d
ool
a
ege
generalize isl_
m
ulti_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdoola
e
g
e
generalize is
l
_multi
_
aff_identi
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ver
d
oo
l
aege
add isl_pw_aff_zero_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoo
l
a
e
ge
add isl_pw_a
f
f
_
v
ar_o
n
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolaege
add is
l
_aff_va
r
_
on_dom
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
o
laege
isl_inp
u
t
.
c
:
obj_read_bo
d
y:
s
i
mplify e
r
ror handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoolaege
add
isl_basic_set_drop_cons
t
r
a
ints_not_involving_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
r
d
oolaege
ad
d
isl_{set
,
map
}
_drop_co
n
strai
n
t
s
_
i
n
v
olv
i
ng_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolaege
a
d
d isl_set_unshifted_
s
imple_hul
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next