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: explain that isl_ints will be removed in future releases
2012-12-02
Sve
n
V
erdoola
e
ge
isl_
a
st_codegen
.
c: for_inc: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
v
e
n Verdoolaege
i
sl_pw_aff_set_
r
a
tional: av
o
id i
n
val
i
d access on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
e
r
d
oolae
g
e
isl_vec_dup: avo
i
d invalid accesses
o
n error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verd
o
olaege
isl_
m
a
p
.
c: map_i
n
tersect_int
e
rnal: properly plug memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
v
e
n
Verdo
o
l
a
ege
upda
t
e
f
o
r
c
h
a
n
g
e in
th
e
c
o
nstructor o
f
the cla
n
g
D
river
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
doo
l
a
ege
i
sl_ver
t
ices
.
c:
v
ertices_from_li
s
t: plu
g
me
m
or
y
leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl
_
basic
_
s
e
t_com
p
ute_vertices
:
p
l
ug memory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_test
.
c
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdool
a
ege
isl_
t
est
.
c: test_output: avoid in
v
alid access on
e
rror
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_test
.
c:
b
efore_for: ret
u
rn early on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
ven V
e
rdoolaeg
e
isl_test
.
c: test_
s
ample: return early on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
v
e
n Verdoo
l
aege
isl_tab_pip
.
c: fi
n
d_in_pos: pl
u
g
memory
l
eak on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoola
e
g
e
isl_tab_pip
.
c: add_parametric_cut: plug memory leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Verdo
o
laege
isl_
t
ab_pip
.
c: sol
_
p
u
sh_sol: plug memory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
doolae
g
e
i
sl_space_dup:
avoid invalid accesses
o
n error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
v
e
n Verdoolaege
isl
_
sche
d
ule
.
c:
add_*_c
o
ns
t
raints: avoid inva
l
id accesses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
doolaege
i
sl_reordering_extend_spac
e
: fi
x
e
rror
h
a
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven V
e
rdoolaeg
e
isl
_
multi_*_realign_domain: plug
me
m
ory lea
k
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verd
o
o
l
aege
isl_ma
p
_subtr
a
ct
.
c
:
map_i
s
_subset:
f
i
x
e
rror
h
a
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolae
g
e
isl_map
.
c: update_dim_opt
:
ret
u
r
n
early on
e
rror
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n
Verdoo
l
ae
g
e
isl_
b
asic_map_underlying_set: plug
m
emor
y
leak on
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Verdoolaege
i
sl_ma
p
.
c
:
map_i
n
t
e
rse
c
t_i
n
t
e
r
n
al: plug mem
o
ry leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoo
l
aege
isl
_
ast_build_in
i
t
_derived:
c
heck build->domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Ver
d
oo
l
ae
g
e
isl_inp
u
t
.
c:
r
e
ad_aff_domain: remove spurious vars_fre
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Ver
d
oolaege
isl_i
n
p
u
t
.
c
:
read_m
a
p_tup
l
e: re
t
ur
n
early
o
n error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
S
v
en
V
erdoolaege
isl_inp
u
t
.
c: accep
t
_
a
ffine_list: p
l
ug memory l
e
a
k
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven
V
e
r
doolaege
isl_af
f
ine_hull
.
c:
e
qua
l
i
t
ies_in_underlying_set:
p
lu
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verd
o
ola
e
ge
isl_tab_detect_e
q
ualities: plug memory le
a
k on e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdool
a
ege
isl_ast
_
c
od
e
ge
n
.
c: a
f
t
e
r_each_for:
a
dd
m
iss
i
ng return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
S
v
en
Verd
o
olaege
r
ein
t
rod
u
ce isl_basic_se
t
_add symbol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n V
e
r
doolaeg
e
ad
d
isl_union
_
map_
u
ncurry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
configure
.
ac: check if Targe
t
Info
:
:CreateTa
r
getInfo
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-23
Sv
e
n
Verdoolaege
interfa
c
e/extract_interface
.
cc: take TargetOptions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdoolaege
AST printing
c
a
l
lbacks: pass isl_ast_print_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdoolae
g
e
doc:
f
i
x
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-21
Sve
n
Verdool
a
e
g
e
add befor
e
_each_for/af
t
er_each
_
for cal
l
backs
commit
|
commitdiff
|
tree
2012-11-21
Sve
n
Verdoola
e
ge
isl_as
t
_b
u
ild_from_con
t
e
xt: allow un
n
am
e
d
s
et dimens
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n Verdoolaeg
e
isl_basic_map_gist: drop irre
l
e
vant constra
i
nts from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sve
n
V
erdoolaege
isl
_
map_simplify
.
c: fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolae
g
e
isl_as
t
_bu
i
ld_
e
limi
n
a
t
e
_
divs: remo
v
e unkn
o
wn
di
v
s before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_affine_hull
.
c: affine_hull_with_cone: plug memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n Verdoolaege
c
hange prot
o
ty
p
e of isl_factori
z
er_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven V
e
rdoolaege
isl_t
a
b_s
a
m
p
le: perform greedy search
b
ef
o
re performing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven
Verdoolaege
isl_tab_sam
p
l
e: extra
c
t out
c
ompute_min and compu
t
e_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdo
o
laege
isl_tab_sam
p
l
e: tr
e
at emptiness of tableau
a
s e
r
ror
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
Sv
e
n Verdoolaege
A
S
T gene
r
ation: fix handli
n
g of
separation
c
l
asses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdo
o
laege
i
s
l_printer
_
print_{b
a
si
c
_,}{
s
et,
m
ap}: don't st
a
r
t
new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
dool
a
ege
i
sl_printer_print
_
space:
s
u
p
p
ort printing in "omega
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
ven V
e
r
dool
a
ege
rename isl_basic_s
e
t_add
to is
l
_basic
_
se
t
_add_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdoolaege
isl_
a
ff_normalize: p
l
u
g in divs with unit coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
i
sl_loca
l
_s
p
ace_
s
ubst
i
t
u
te_seq: take
a
r
g
um
e
nt for
t
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl
_
aff_floor: norm
a
lize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdool
a
ege
isl_aff_cei
l
: 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
e
r
d
o
olaege
isl_a
f
f_gist: add missing isl_vec
_
cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sven
V
erdool
a
ege
isl_union_set_compute_
s
chedule: doub
l
e check that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoolae
g
e
isl_unio
n
_set_co
m
pute_sch
e
dule: en
s
ure carry
_
dependences
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
S
ven
V
er
d
oo
l
aeg
e
u
p
d
ate for change in clang's DiagnosticOpt
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sve
n
V
e
r
d
oolaeg
e
i
sl_ma
p
_plain_is_disjoint: handl
e
inputs w
i
th 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-10
Sven Verd
o
olaege
i
s
l_union_set_compute_schedule: handle result w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdo
o
laege
isl_as
t
_
codegen
.
c: g
e
nerate_do
m
ain: postpone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoolaege
isl_ast_b
u
ild_ast_from_
s
chedule:
m
a
k
e construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
v
en V
e
rdoolaege
isl_a
s
t_bui
l
d
_as
t
_from_schedule: use
"
<" if upper
bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sve
n
Ver
d
o
olaege
isl
_
ast_expr: add isl_ast_op_lt and isl_ast
_
op_gt operatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Ve
r
doo
l
a
ege
add isl_ba
s
ic_set
_
from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
v
e
n Verdoolaege
i
sl_ast_expr_from_
a
ff: t
r
y
h
arder to use isl_ast_op_pdi
v
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verd
o
olaeg
e
i
s
l_a
s
t_b
u
ild_ex
p
r
.
c
:
sep
a
rate out extra
c
t_mo
d
u
l
o function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoo
l
aege
isl_ast_build_expr
.
c
:
fix
typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
ven Verdoolae
g
e
i
s
l_ast
_
bui
l
d_
e
xpr
.
c:
r
emove remnants of code remov
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven
Verd
o
olaege
add extra
A
ST generation t
e
st case fro
m
CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
erdoolaeg
e
isl_printer_print_str: handle NU
L
L i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
isl_ast_expr
_
mod: perfo
r
m missing mul
t
iplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
ad
d
isl_id_set_fr
e
e_us
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
isl_pri
n
ter_print_pw_
a
ff: use i
s
l_ast
_
e
xp
r
when pr
i
nting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add
suppo
r
t
for
g
enerati
n
g A
S
T
s
from schedule relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add ISL_CTX_{GET
,
SET}_STR_DEF m
a
cros
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
doc: separate
o
ut polyhed
r
al compilation funct
i
onality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ve
r
doolaege
ad
d
i
s
l_set_
d
im_has_{lowe
r
,upper}_b
o
und
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
o
laege
is
l
_basic_set_substitute:
c
heck
t
hat input
affine
express
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verd
o
ol
a
e
g
e
isl_p
w
_mu
l
ti_aff_substit
u
te: impro
v
e error hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
isl_basic_map_align_divs: f
i
x p
o
tenti
a
l invalid ac
c
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
isl_p
w
_multi_aff_from_map: detect
s
t
ride
s
in output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdo
o
laege
isl_pw_multi_af
f
_
from_map: detect e
a
sy floor
s
di
r
ec
t
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdo
o
l
aege
privately export isl_map_is
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
do
o
lae
g
e
add is
l
_
p
w_*_pullback_pw_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add isl_pw
_
*_pullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add i
s
l_multi_aff_pu
l
lback_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_aff_pullb
a
ck_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_l
o
c
al_spac
e
_pre
i
mage_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
add isl_se
t
_preimage_pw
_
m
ulti_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoo
l
aege
add isl_set_preimage_
m
u
lti_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
add isl
_
basic
_
se
t
_preimage_multi
_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
isl_st
r
eam_
n
e
w
_
str:
fail on NULL
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
private
l
y
export isl_mul
t
i
_
af
f
_a
l
ign_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
rdoolae
g
e
add
i
s
l_
b
a
sic_set_a
d
d_div_constraint
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
i
sl_map_is_subs
e
t: support
ratio
n
al maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
i
sl_str
e
am_rea
d
_
map: fix
parsing of Omega input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
isl
_
s
tream_rea
d
_map: add par
t
ial support for rea
d
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoo
l
aege
isl_pw_aff_nonn
e
g_set: r
e
turn
a
rational set if the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_pw_aff_zero_set: retur
n
a rational set i
f
t
h
e input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next