repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
add isl_multi_aff_to_polylib
2014-04-02
Sven Verdoolaege
a
d
d isl_multi_
a
ff
_
to_polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sve
n
Ver
d
oolaege
iscc: add minimal support for isl_obj_pw_mult
i
_
a
f
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdool
a
eg
e
update isl
f
or
i
s
l_ob
j
_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdoolaege
gen_fun::add_union: cont
e
xt of result sh
o
u
l
d be th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven
Verdoolaege
reduce_ev
a
lue: redu
c
e polynomial
ex
p
r
ess
i
ons i
n
denominator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaege
up
d
ate pet for
suppo
r
t for recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Ver
d
ool
a
ege
up
d
ate isl for suppo
r
t for rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven
V
e
rdoolaege
update
p
e
t for change in pet_scop_collect_{reads,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verd
o
olaege
update isl for
i
sl_id_to_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sv
e
n
Ve
r
doolaeg
e
configu
r
e
.
ac: use AX
_
DETE
C
T_GIT_HEAD instead of inlined
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
Sven Ver
d
oolaege
d
oc
:
f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
Sven
V
erdool
a
ege
AX_
S
UBMODULE: a
l
low
.
git
f
ile
i
n
subm
o
d
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven V
e
rdoolaege
update pet
f
or
s
up
p
o
r
t for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolae
g
e
update
isl
f
or
support for recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sve
n
V
e
r
doolaege
veri
f
y_p
o
int_data_init:
u
se isl_set_card to count
e
l
e
ments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
test_app
r
ox: return EXIT_
F
AILURE on er
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sv
e
n Ver
d
ool
a
ege
test_approx: use
isl
interf
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
cl
e
an up tests/eh
r
hart/* i
n
puts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven
Verdoolaeg
e
evalue_isl
.
c: relation2pwqp
:
handle
n
on-para
m
e
t
r
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
Ve
r
doolaege
update isl for isl_*_eval
returning an isl_val ins
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
S
v
en
Verdoo
l
aege
upda
t
e isl for isl_str
e
am_re
a
d_ob
j
returning isl_obj_val
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
Verdoo
l
a
e
ge
update pet to ver
s
ion 0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
S
ven Verdoolaege
con
f
igure
.
a
c
:
r
eplace --with-li
b
gmp
o
p
tion by -
-
wi
t
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Ve
r
d
o
olaege
update
isl to version 0
.
1
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolaege
iscc
.
c: a
v
oid use of
i
s
l_t
o
ke
n
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoo
l
aege
e
value
_
isl
.
c: div
2
evalue: use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
evalue_isl
.
c: isl_pw_qpolyn
o
m
i
al_from_eval:
u
se isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaeg
e
e
value_
i
sl
.
c: isl_q
p
olynomial_from_evalue: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolae
g
e
e
va
l
ue_i
s
l
.
c
:
ex
t
ract_base: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
V
erdoolaege
verify
.
c: verify_point_data_init: use is
l
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
v
e
rify
.
c: verif
y
_context_s
e
t_b
o
u
n
ds: use
i
sl_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
util
.
c: m
a
nual
_
count: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
t
est_bound
.
c: result_dat
a
: use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
test_bound
.
c: verify_point: u
s
e
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n Ve
r
doolaege
s
a
mple
.
c: Polyhedron
_
Sample: use i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
e
rdoolaege
polysign_isl
.
c: i
s
l_const
r
aints_opt:
us
e
i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoola
e
ge
polysign_isl
.
c:
isl_polyhedron_affin
e
_sign: use
isl_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
polysign_i
s
l
.
c: ext
r
ac
t
_inequa
l
ities: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
e
rdoolaege
po
l
ysign_isl
.
c: extract_equalities: use isl_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
iscc
.
c: read_i
d
ent
:
u
s
e isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
iscc
.
c: ob
j
_a
t
_in
d
ex: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Ve
r
doolaege
i
s
cc
.
c: power:
use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdo
o
laege
iscc
.
c: next_is_neg_int:
u
se isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
evalue_isl
.
c: add
_
term: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
evalue_isl
.
c
: relation2
p
wqp:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
b
ound
.
c: spli
t
_
o
n_s
i
ze: us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
bo
u
nd
.
c: verify_poi
n
t: u
s
e
i
s
l
_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoo
l
aeg
e
bas
i
s
_
red
u
c
t
ion
.
c: isl_Polyhe
d
ron_Reduced_
B
a
si
s
: us
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erd
o
olae
g
e
ba
r
vinok
_
summate
.
c: verify_point: use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
ba
r
vinok_
e
numera
t
e
.
c
c:
v
erif
y
_
p
o
i
nt: us
e
isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
ba
r
vi
n
ok
.
cc: card_as_sum:
u
se isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
e
ge
isl
_
map_polylib
.
c: use
i
s
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
S
v
en Verd
o
olaege
update
i
sl fo
r
isl_val abstrac
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
S
v
en Verdoo
l
aege
integrate isl-polylib module
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoola
e
ge
b
a
rvinok_enumera
t
e
.
cc:
e
xplicitly
i
nclude gmp to
av
o
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven
Ver
d
oolae
g
e
barvinok
_
e
.
cc: explicitly include
gmp to avoi
d
i
n
clus
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
t
est
_
bou
n
d
.
c:
result_data_c
l
ear: remove unus
e
d variab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sve
n
Verdoolaege
evalue_isl
.
c: avoid use o
f
is
l
_seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Ve
r
doolaege
test
.
c: remove redundant inclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-23
Sven V
e
rdoola
e
ge
update isl t
o
version 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-08
Sven Verdoolaeg
e
ev
a
lue_isl
.
c: avoid use of isl_vec
inter
n
al
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven V
e
rd
o
ol
a
e
g
e
update pet for support for recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Ve
r
doolaege
u
p
dat
e
isl for suppor
t
for recen
t
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-10
Sven Ver
d
o
olaege
N
T
L
_
QQ: use NTL's Ve
c
template class when available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-06
Sv
e
n Verd
o
o
l
aege
isl_
p
w_qpo
l
ynomial_sum: error out if
i
n
p
u
t does not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
Sve
n
Verdo
o
laege
iscc
.
c: pr
i
nt_c
o
d
e: do
not a
s
s
u
me isl_union_map_get_
s
pace
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
vertex_cone: check that
di
m
e
nsio
n
is at l
e
a
st one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sv
e
n Verdoolaege
b
a
r
v
inok_sum_over_polytope: s
p
ecia
l
case 0D polyto
p
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdo
o
laege
s
u
mmate
.
c:
sum_with_equali
t
ies: e
x
tract out sum_over_polytope_0D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sve
n
Verdoolaege
update isl to vers
i
on
0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolae
g
e
ba
r
v
ino
k
0
.
36
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ver
d
o
o
laege
lexm
i
n
.
cc: lex
m
in: remo
v
e unused
l
abel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdoo
l
a
ege
l
attice
_
point
.
cc: fractional_pa
r
t
: remove unused l
a
b
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
test
l
ib
.
cc: test_hilbert: fix tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
olaege
i
s
cc
.
c: read_bool_if_available: rem
o
ve u
n
used l
a
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
u
p
date pet to version 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
update isl to version 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
ge
README: refer to pet/README for
m
ore details
o
n
h
ow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdo
o
l
a
ege
update pet
f
or s
u
p
p
or
t
for
r
ecent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
S
ven
V
erdoo
l
aege
u
p
d
ate isl for support for recent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n Verd
o
olaeg
e
d
rop cloog submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ve
r
d
o
o
laege
u
s
e
isl for code genera
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verd
o
olae
g
e
upd
a
te
i
s
l
for
cod
e
generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
iscc
.
c:
add missing
includes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven V
e
rdoo
l
aege
up
d
ate i
s
l
f
o
r rename
of !
i
sl_
s
et_d
i
m_has_{lower,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ver
d
oolae
g
e
doc: add anot
h
e
r
p
a
per refering t
o
t
h
e li
b
rary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Ve
r
d
o
olaege
README: cl
a
rify tha
t
/opt
is the example installation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
v
en Verdoolaeg
e
e
x
p
o
rt isl_*_pw_
q
p
o
lynomial_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
update pet for ad
d
ing
missing
i
n
clu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaege
config
u
r
e
.
a
c
: check for NT
L
/ZZ
.
h he
a
der
b
efore c
h
ecking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
S
v
e
n
Ver
d
o
o
laege
update
p
e
t to version 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
o
o
laege
up
d
ate
i
sl to version 0
.
1
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoolae
g
e
o
p
tio
n
s
.
c
:
av
o
i
d calling is
l
_alloc_type without
v
a
l
id
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
V
erdoolaege
eva
l
ue_isl
.
c:
div2evalue: exp
l
icitly check for and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
S
v
en Verdoola
e
g
e
u
p
d
ate isl for no
r
m
a
liz
a
tion
o
f is
l
_
t
erm_get_div result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven Ve
r
doola
e
ge
evalue_isl
.
c: add_ter
m
: imp
r
ove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Ver
d
oolae
g
e
update pet
f
or supp
o
rt for recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sve
n
V
erdoolaege
upd
a
te i
s
l for suppor
t
for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
S
ven Ver
d
oo
l
aege
iscc: support
comp
u
ta
t
ion of
arb
i
trary (non-ze
r
o) powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven
Verdoolaege
update
isl for isl_union_map_fixed_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next