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_map_simplify.c: extract out constraint_index_is_redundant
2015-07-28
Sven Ve
r
d
o
olaege
isl_map_simplify
.
c:
extr
a
ct out
c
on
s
tra
i
n
t
_index_
i
s_redundant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven
Ve
r
doo
l
a
ege
isl_m
a
p_sim
p
lify
.
c: hash_index: e
x
tr
a
c
t
out ha
s
h
_index_
i
neq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
S
v
en Verdoo
l
aege
isl_m
a
p_simpli
f
y
.
c: isl
_
constraint_index: keep track
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven
V
erd
o
olaege
i
s
l
_map_simplify
.
c: extract out
s
et
u
p_constraint
_
in
d
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Ve
r
doola
e
ge
isl_map_si
m
plify
.
c: extract out s
h
ared co
n
straint index
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
S
ven Verdoolaege
isl_basic_map_gist: drop normalizati
o
n of
d
ivs in co
n
text
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
Sven Verd
o
olaege
isl_
m
a
p
_simplif
y
.
c:
u
set_gist_f
u
l
l
: dro
p
redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
Sven Verd
o
olaege
isl_basic
_
map_overlying_set: si
m
ply
reset
s
p
ac
e
whe
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
Sven Verdoolaege
i
sl_basic_m
a
p_rese
t
_
s
pace: special c
a
se reset to s
a
me
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
S
ven Verdoolaege
isl_basic_map_
r
eset_space: rename "d
i
m" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdoolaege
interface/extract_inte
r
face
.
cc: adjust to removal of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Tobias G
r
osser
test_inputs/brisebarre
.
pip: use unix line e
n
ding
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdoolaeg
e
Merg
e
branch 'main
t
'
commit
|
commitdiff
|
tree
2015-07-24
S
v
en V
e
r
doo
l
aege
allow
m
ultiple isl_pw_mul
t
i_aff object
s
with given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-23
Sven
Verdoolaege
extract out isl_union_single
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-23
Sven Verdoolaege
isl_union_*_a
d
d_part_generic:
check for overlapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-23
Sven Verdo
o
la
e
g
e
isl_
u
ni
o
n_*_plain_is_equal: also check t
o
ta
l
nu
m
b
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-22
Tob
i
as Gross
e
r
isl_simple_hull:
c
h
e
ck for emp
t
y/s
i
ngle
-
d
isjunc
t
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
isl_
a
st_build_expr_from_b
a
sic
_
s
e
t: do
not
u
se
fre
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-20
Sven Verdo
o
lae
g
e
isl_ma
t
_
variabl
e
_compression: only set *T2
t
o
N
U
L
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-20
S
ven Verd
o
olaeg
e
A
S
T ge
n
er
a
tion: use cons
i
s
tent set
o
f p
e
nding co
n
straints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Ve
r
doola
e
ge
i
sl_uni
o
n_pw_aff_pu
l
lbac
k
_union_pw_multi_aff: use isl_unio
n
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
V
e
r
doolae
g
e
isl_
a
f
f
.
c
:
u
p
a_pb_upma:
us
e
isl_union
_
pw_mult
i
_aff
_
f
oreach_p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
V
erdoo
l
aege
isl
_
aff
.
c:
b
in_op: use isl
_
union_pw_multi_aff
_
for
e
ach_pw_mul
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolae
g
e
isl
_
aff
.
c: b
i
n_entry:
use isl_un
i
on_pw
_
multi_a
f
f_fore
a
ch_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verd
o
olaege
isl_
u
nion_*_match_
d
omain_op:
u
se
isl_union_
*
_f
o
r
e
ach_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaeg
e
isl_union_*_match_bin_o
p
: use
isl_union_*_forea
c
h_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
S
ven Ve
r
doo
l
ae
g
e
isl_unio
n
_*_foreach_*: check for
e
rror before calling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sv
e
n Verdoola
e
ge
isl_union_p
w
_qpoly
n
omi
a
l
_to_pol
y
n
omial: use
isl_union_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verd
o
o
laege
isl_
u
nion_pw_aff_floor: use
isl
_
u
n
ion_pw_af
f
_transform_inplac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
V
erdoola
e
g
e
isl_
u
nion_*_neg: us
e
isl_union_*_tra
n
sf
o
r
m_inplace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
V
er
d
o
olae
g
e
i
s
l_un
i
on_*_sca
l
e_down_v
a
l
: use isl_union_*_transf
o
r
m_in
p
l
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sve
n
Verdoolaege
isl_union
_
*_scale_val: us
e
isl_union_*
_
transform_inplace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_union
_
*_mul_isl_int: ext
r
a
c
t out
isl_uni
o
n_*_transform_i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verd
o
olaege
isl_union_pw_multi
_
a
ff_scale_mu
l
ti_val:
u
se isl_union_pw_mul
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoola
e
g
e
isl
_
unio
n
_*_
s
ubtra
c
t
_domain: use isl_unio
n
_*_transform
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolae
g
e
i
s
l_union_*_any
_
se
t
_op
:
use isl
_
un
i
on_*_tr
a
nsfor
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_union_
*
_dup: extract out isl_union_*_t
r
ansfor
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_union
_
*_reset_user: us
e
isl_union_*_
t
ransform_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
Verd
o
ol
a
ege
isl_union_*_set
_
dim_name: use isl
_
u
n
ion
_
*_transform_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven V
e
rdoolaege
isl_union_*_drop_d
i
m
s
:
u
s
e is
l
_union_*_
t
r
ansform_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
S
ven Verdoolaege
isl_union_
*
_r
e
align
_
domain: extract o
u
t
isl_
u
n
i
on_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Micha
e
l
Krus
e
Remov
e
i
nline qu
a
lifier o
f
isl_s
i
oimath_gcd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-17
Sven Verdoolaege
isl_ast
_
b
uild_set
_
loop_bounds: extra
c
t
out update
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-16
Sven Verdoolae
g
e
isl_coalesce
.
c:
coalesce_wit
h
_
s
ubs: do not add div
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoolaege
isl_union_tem
p
l
.
c
: ex
t
ract out shared isl
_
u
nion
_
*
_foreach_in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
S
ven
Verdoolaege
isl_un
i
on_
t
e
mpl
.
c: extract o
u
t share
d
isl_union_*_negate_ty
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sv
e
n
V
erdoolaege
isl
_
union_templ
.
c: extract out sha
r
ed isl_u
n
i
o
n_*_rem
o
v
e
_pa
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoolaege
i
sl_
u
nion
_
temp
l
.
c:
e
x
tract out shared isl_union_*_alloc
_
same
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoolaege
ex
t
r
a
ct
o
ut isl_u
n
i
on_n
e
g
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
S
ven Verdool
a
ege
extr
a
ct out isl_union_
e
val
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
S
ven Verd
o
olaege
extract out
i
sl_union_macro
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sve
n
Verdoolaege
is
l
_unio
n
_
*_find_part_entry: use isl_
s
pace_get_d
o
ma
i
n_h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
S
ven Verdool
a
ege
a
dd isl_space_get_
d
o
m
a
i
n
_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven V
e
rdoolae
g
e
rename
i
sl_hash_dim to isl_hash_space and "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sve
n
Verdoo
l
a
e
g
e
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2015-07-13
Sven Verd
o
olaege
is
l
_union_*: us
e
con
s
i
s
t
ent hash values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-06
S
v
e
n
Ve
r
doola
e
ge
isl_union_*_coalesce_entry: improv
e
error hand
l
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-06
Sven Verdoolaege
isl_union_*_c
o
alesce
_
entry:
u
s
e "PART" type instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-05
Sven Verdoolaeg
e
doc/user
.
pod:
f
i
x
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-04
Sven
V
erdoolaege
AST
ge
n
eration
:
remov
e
redundant constraints before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-01
Michael K
r
us
e
Mak
e
pa
s
s-
b
y-re
f
erence explici
t
by u
s
ing pointer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
S
ven
V
erdoolaege
isl_ast_build_node_from_schedule: generate disjun
c
tio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sven Verdoolaege
i
s
l_ast_cod
e
gen
.
c
: build_ast_from_ex
t
ension:
o
nly i
n
clud
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sve
n
V
e
rdoolaege
isl_a
s
t_c
o
d
egen
.
c: foreach_iterati
o
n
:
handle e
m
pty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sven
V
erdoolaege
isl_ast_graft_list_extract_shared_
e
nfo
r
ce
d
: allow
e
mpty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sv
e
n
V
erdoolaege
is
l
_ast_build
_
expr_from
_
set_internal: exploit earlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven Verdoolaege
isl
_
ast
_
build_exp
r
_from_set_internal: operate on lis
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven V
e
rdool
a
e
g
e
a
dd i
s
l_set_get_basic_
s
et_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
S
v
en
Verdool
a
ege
i
s
l_int_sio
i
math
.
c: dir
e
ct
l
y include stdlib
.
h (
f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Gross
e
r
R
e
move ma
l
l
oc
.
h in
c
l
u
de from
s
ioimath file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-25
Sven Verdoolaege
isl_arg
.
c: pa
r
se_choice_optio
n
: handl
e
"phan
t
om" choice
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sven Ver
d
oo
l
ae
g
e
i
s
l_ast_e
x
pr_fro
m
_aff: avoid e
x
tracting modulos with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sven Ver
d
oolaege
isl_b
a
sic_map_simplify: remove integer coef
f
icient
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sven Verdoolae
g
e
isl_ba
s
ic_ma
p
_shift
_
d
iv: ha
n
dle shift of coefficien
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sv
e
n
V
erdo
o
laege
add isl_sched
u
le_node_
b
and_mo
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
S
v
en Verdoolaeg
e
add isl_schedule_node_band_shif
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sve
n
Verdoolaege
g
e
neralize isl
_
mult
i
_aff
_
add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven Verdoolaege
add
i
s
l
_multi_*
_
factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
S
ven
V
e
r
doola
e
ge
isl_
s
pac
e
_
f
actor_range:
accept set space inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
S
v
en
V
er
d
oolaege
i
sl_spa
c
e
.
c: mov
e
isl_space_factor_range down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven Verdool
a
e
g
e
add
-
std=gnu
9
9 to compile
f
l
a
gs when comp
i
ling imath
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven
V
erdoolaege
isl_tes
t
_int
.
c: avoid for loop initial declarations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
S
v
en Verdoolae
g
e
add
isl_v
a
l
_get_den_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Verdo
o
la
e
ge
replac
e
snprintf by _snp
r
intf when available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven
V
erdoola
e
ge
r
e
place str{,n}c
a
secmp by _str{,n}ic
m
p
when avail
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sv
e
n Verd
o
ol
a
e
g
e
define ffs
i
n terms of _Bi
t
Sc
a
n
For
w
ard if _BitScanForwa
r
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sv
e
n
V
erdoolaege
only inc
l
u
de stri
n
g
s
.
h wh
e
n
needed
f
or ffs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sv
e
n Verd
o
olaege
isl_c
o
alesce
.
c
:
dr
o
p "inline" hint from isl_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Verdoolaege
i
s
l_coales
c
e
.
c rename max to isl_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdo
o
lae
g
e
i
sl_q
p
ol
y
nom
i
al_fold_fold_on_do
m
a
in: return infty
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven
V
erdoolaeg
e
i
s
l_ra
n
ge
.
c: pro
p
ag
a
te_on_bound_pair: extract o
u
t sh
a
red
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdool
a
e
g
e
isl_r
a
nge
.
c:
b
ound
2
poly: extract ou
t
signed_infty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
i
s
l_ran
g
e
.
c
: bound2poly
:
re
n
ame "dim
"
variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-15
Mi
c
hael Krus
e
Implement s
m
all inte
g
er optimi
z
ation for I
M
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-15
M
i
ch
a
el Kruse
Use IMath
f
unctions direc
t
ly instead o
f
macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-15
M
i
chael Kru
s
e
Make
pass
-
by-
r
e
f
erence
explicit by using
p
oi
n
te
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-11
Sven Verd
o
o
laege
isl 0
.
15
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-11
Sven Verdoolaege
isl_
i
math_fits_s
l
ong_p: pass correct argument t
o
mp_int_to_i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Sven Ve
r
do
o
l
a
ege
add isl_union
_
acces
s
_
i
n
f
o_copy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
