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
iscc: schedule: return schedule in schedule tree representation
2015-06-13
Sven
Verdoolae
g
e
iscc:
sc
h
e
dule: return sched
u
le in schedul
e
t
r
ee
r
epresentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
S
v
e
n
Verd
o
ol
a
ege
is
c
c
:
allow
i
mplicit c
o
nversion from sch
e
d
ul
e
to
u
nion ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
S
v
en V
e
rdoo
l
a
ege
iscc: allo
w
explicit
c
onversion fro
m
schedul
e
to union map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sv
e
n Verdoolaeg
e
iscc: add domai
n
o
p
eration on schedul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
Verdool
a
ege
iscc:
p
rint s
c
hedule
s
in block format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ve
r
doolaege
iscc
.
c: r
e
a
d
_line: extra
c
t out print_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
V
erdoolaege
iscc: codegen
:
a
c
ce
p
t sc
h
edule a
s
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
V
erdoolaege
iscc
.
c
.
: split up print_code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
i
s
cc: s
u
ppo
r
t schedul
e
trees
i
n dep
e
ndence analysis
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
V
erdool
a
ege
iscc
.
c: extract out c
o
mmon access_info_set_sche
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
V
erd
o
o
l
aege
i
scc: typeo
f
: recognize schedule ob
j
e
cts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc
.
c: use isl_union_access_info_compute_fl
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
S
v
en Verdoolaege
ad
d
dependence analysis
t
e
s
ts for
iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven
V
erdoolaeg
e
iscc:
a
d
d "
l
b" oper
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven
Verd
o
olaege
update isl fo
r
rename of isl_schedu
l
e_
m
ap_sc
h
ed
u
le_node
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
updat
e
is
l
for i
n
trod
u
ct
i
on of
isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verd
o
olaege
iscc
.
c: avoid use of i
s
l
_
b
o
o
l_* iden
t
i
f
iers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
tests/iscc/sum4
:
compare NaN against s
t
ri
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ver
d
oola
e
g
e
iscc: add equal
i
t
y
operati
o
n on
s
tri
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
upd
a
te
p
et for direct
h
ead
e
r inclusions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ve
r
doolaeg
e
u
p
date
i
s
l
f
or
r
eplacement of CLooG
test ca
s
e
s with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoola
e
ge
test
_
ap
p
r
ox
.
c: use fabs on double i
n
s
t
ead o
f
ab
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoo
l
aege
hilbe
r
t
.
c: add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
S
ven
Verdoolaege
summate
.
c: directly inc
l
u
de required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sven
Verdoolaege
i
sl_map_p
o
lyli
b
.
h: include correct
h
e
a
der
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-17
S
v
e
n Ver
d
oolaege
iscc
.
c: vert
i
ce
s
: avoid
u
ninitiali
z
ed re
a
d on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven
Verdoo
l
a
ege
i
scc:
a
void use of pet_scop_collect_sc
h
edu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Ve
r
do
o
laege
update pet for r
e
prese
n
ting schedule as sch
e
dule tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven
Verdoolae
g
e
update isl for s
u
fficient sch
e
dule tree supp
o
rt for p
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-24
Oleksandr Zi
n
e
n
ko
c
o
nf
i
gure
.
ac: allow build
d
ir for
N
T
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-24
Ol
e
k
s
a
ndr
Z
i
nen
k
o
con
f
ig
u
re
.
ac: allow builddir for
GMP
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sve
n
V
e
rd
o
olaege
iscc
.
c: use isl_
s
t
ream_get_ctx i
n
stead of
r
eading
c
t
x
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven
V
e
rdoolaege
iscc
.
c: use isl_strea
m
_is_em
p
ty instead
o
f read
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sv
e
n
Verdoolaege
u
p
date
i
s
l for isl
_
stream_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Ve
r
doolaege
updat
e
pe
t
for
support
for
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
update isl
fo
r
support
for recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
S
v
en V
e
rdool
a
ege
su
m
mate
.
c: avoid use
of isl_
u
nion_p
w
_qpoly
n
om
i
al_add_p
w
_qpol
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sv
e
n Verdoolae
g
e
barvinok
.
cc: avoid use of isl_union_pw_qpo
l
y
n
om
i
al_add_
p
w_qp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven V
e
rdoolaege
isl_un
i
on
_
set_lattice_width: check whether input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verdoolaege
summat
e
.
c
: join_compatibl
e
: av
o
id
use o
f
undoc
u
m
e
nted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven
Verdool
a
e
g
e
sum
m
ate
.
c
:
join_c
o
mpati
b
le: rename "
d
im"
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
aege
up
d
ate pet to version 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoolaege
update isl to
v
ersio
n
0
.
1
4
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-14
Sve
n
Verdo
o
laege
README: update contact i
n
f
o
rmatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-09
Sven Verdoolaege
u
p
d
a
te isl for
c
hange in is
l
_map_
s
ub
t
ract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdo
o
laeg
e
u
pd
a
te
pet f
o
r support
f
or
re
c
en
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven
V
e
rd
o
olaege
update isl for suppor
t
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
S
ve
n
Verdoolaege
lattice_wid
t
h
.
c: avoid u
s
e
o
f
depre
c
ated fun
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-22
Sven V
e
rdo
o
laege
barvinok_enu
m
erate_with_optio
n
s:
h
andle
c
ontext constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
Sven Verd
o
olaege
d
o
c: add ano
t
her pap
e
r
r
e
fe
r
i
ng to the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdoolaege
isl_Polyhedron_
R
educed_Basis:
avoid double free o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-03
Thoma
s
Kahle
Update the glpk calls
t
o
the
new glp_ API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
Sven Verdoolaege
iscc: also
disallow source operation wh
e
n --no-
i
o
is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
ege
b
arvinok 0
.
37
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n
Verdoolaege
update p
e
t to v
e
rsion 0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verd
o
olaege
upd
a
te isl to version
0
.
13
commit
|
commitdiff
|
tree
2014-04-13
T
o
bia
s
Grosser
A
dd
m
i
s
sing include of isl/aff
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-04
Sven Ver
d
o
o
laege
upd
a
te pet
for sorting of arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verd
o
olaege
isl_p
a
ram_util
.
c:
d
r
o
p expr2ve
r
te
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdool
a
ege
update isl
f
or ch
a
nge in i
s
l_vert
e
x
inspect
o
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Ve
r
doolaege
add isl_m
u
l
t
i
_
aff_
t
o_
p
olyl
i
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoola
e
ge
iscc:
a
dd min
i
mal support for
is
l
_obj_pw_multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
update isl for
i
s
l
_obj_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sve
n
Verdoolaege
gen_fun::add_union: context o
f
r
e
sult
s
hould be the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdool
a
ege
redu
c
e_
e
v
al
u
e:
r
educe
p
o
lynomial expressions
in denominato
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven V
e
rdoolaege
upd
a
te pet
f
or
s
upport
for re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolae
g
e
update
i
sl for suppo
r
t
for rec
e
nt
clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
S
v
e
n
Verdoo
l
aege
upda
t
e
p
et
f
or
c
h
a
nge in pet_scop_co
l
lect_{reads,writes}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Ve
r
doo
l
aege
u
p
d
a
te isl for isl_id_to_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaege
configure
.
ac: u
s
e A
X
_
D
ETECT_GIT_HEAD
instead
of inli
n
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-16
S
ven
Verdoo
l
aege
doc: fix
t
yp
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-05
Sven V
e
rdoolaege
AX_SUBMO
D
ULE: allow
.
git fi
l
e
in submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdo
o
laege
u
p
date pet for sup
p
ort
for rece
n
t
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
update i
s
l for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Ve
r
d
o
o
laege
verif
y
_poi
n
t_d
a
t
a_init: u
s
e isl_set_card t
o
count elements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
test_a
p
prox: return EXIT_FAILURE
o
n error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
S
v
en Verdo
o
lae
g
e
test_approx: use
i
sl i
n
terface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoo
l
ae
g
e
clean
u
p tes
t
s/ehrhart/
*
inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
e
value_i
s
l
.
c: rela
t
ion2pwqp: handl
e
n
o
n
-
p
aramet
r
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
Verdoolaege
update isl for isl_*_
e
v
a
l returning an isl_val instea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
S
ven Ve
r
d
o
ola
e
g
e
update isl for isl_stre
a
m_read_obj
r
eturning isl_
o
bj_val
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdool
a
ege
update pet t
o
vers
i
on 0
.
04
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-25
Sve
n
Ve
r
doolaege
configure
.
ac: re
p
lace --with-lib
g
mp opti
o
n
b
y --with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
S
ven Verdoolae
g
e
update isl to
v
ersion 0
.
1
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Ve
r
do
o
laege
i
sc
c
.
c: avoid use of isl
_
token
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en V
e
rdo
o
la
e
ge
eva
l
ue_isl
.
c: div
2
e
value:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
evalue_isl
.
c: isl
_
pw_qpolynomial_from_e
v
al
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolaege
ev
a
lue_isl
.
c
: isl_qpolynomi
a
l_from_evalue: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaeg
e
ev
a
l
u
e_
i
sl
.
c: e
x
tract_base: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
ver
i
fy
.
c:
ver
i
f
y
_
p
o
i
nt_dat
a
_
init: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
e
r
doolaege
verif
y
.
c: verify_conte
x
t_set_bounds: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Ve
r
doolae
g
e
util
.
c:
ma
n
u
al_count: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaege
tes
t
_bound
.
c:
r
esult_data: us
e
isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
e
r
doolaege
test_bound
.
c
:
v
e
rify_point:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdool
a
ege
s
a
mple
.
c:
Polyhedr
o
n
_Sample: use i
s
l_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
e
r
d
oola
e
ge
pol
y
sign_is
l
.
c: isl_co
n
straints_
o
pt: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolaege
polysign_isl
.
c: isl_p
o
lyhedron_af
f
i
ne_s
i
gn: u
s
e
isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rd
o
o
l
aege
polys
i
gn_isl
.
c:
extract_inequalities: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdo
o
l
a
ege
polysign_isl
.
c: ex
t
ract_e
q
u
al
i
t
ies:
u
s
e is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoo
l
ae
g
e
i
s
cc
.
c: read
_
id
e
nt: use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next