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
update AUTHORS
2015-06-16
Sven Verd
o
o
l
aege
upda
t
e
AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
updat
e
pet to
v
ersion 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ve
r
doola
e
ge
r
e
pla
c
e
i
s
l
_
{
,
in
}
equality_alloc by isl_c
o
n
straint_alloc_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
S
v
e
n Ver
d
oolaege
update isl to version
0
.
1
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven
Ve
r
d
o
olaeg
e
iscc:
parse_file: retur
n
s
chedule in sc
h
edule tree
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven
V
erdo
o
l
aege
iscc:
d
r
op schedule_forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
v
en Verdoolaege
iscc: schedule: r
e
turn s
c
hedule in
s
che
d
ule tree re
p
resentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoola
e
ge
isc
c
: allow implicit conve
r
sio
n
from schedul
e
to union map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verd
o
ola
e
ge
is
c
c: allow explicit
conversion from s
c
hedule to union map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdo
o
la
e
g
e
iscc: add domain operation on schedules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ver
d
ool
a
ege
iscc
:
print sche
d
ul
e
s in block forma
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verd
o
ola
e
ge
iscc
.
c: read_line:
e
xtract ou
t
p
rin
t
_o
b
j
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
isc
c
: codegen: accept schedu
l
e as input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ve
r
d
o
o
laeg
e
i
scc
.
c
.
: spl
i
t up pr
i
n
t
_c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven
V
erdoolaeg
e
iscc
:
support sch
e
dule tr
e
es in
d
e
p
en
d
ence
a
nalysis
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
v
en Verd
o
olaege
iscc
.
c:
e
xtract out
common
access_in
f
o
_set_
s
chedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ve
r
doolaeg
e
iscc: typ
e
of: r
e
cognize sc
h
e
dule objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
Ve
r
do
o
laege
iscc
.
c: use
i
sl_un
i
on_ac
c
e
s
s
_info
_
c
o
mput
e
_flow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ver
d
oolaege
ad
d
dependence
analysis tests for iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven
V
erdoola
e
ge
iscc: a
d
d
"lb" o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sv
e
n Verdoolae
g
e
update isl for rename of isl_schedule_map_s
c
hedule_node
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Ver
d
oolaege
u
p
date isl for introduction
of isl_s
t
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en V
e
rd
o
olaege
iscc
.
c
:
avoid use of isl_bool_* identi
f
iers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sve
n
Verdoolaege
tes
t
s/i
s
cc/sum4: compa
r
e Na
N
against string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sv
e
n Verdoolaege
i
s
cc: add equ
a
lit
y
ope
r
a
t
ion on str
i
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoo
l
a
ege
u
p
date pet for dir
e
ct he
a
der incl
u
si
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
v
e
n
Verdo
o
laege
update isl for replaceme
n
t of CL
o
oG test ca
s
es with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoolaeg
e
t
est_approx
.
c:
u
se f
a
bs on double instead of abs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
S
ven Ve
r
doolaege
hilbert
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sve
n
Verd
o
olaege
summate
.
c:
d
irectly include req
u
ired h
e
aders
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdoolaege
isl_map_poly
l
i
b
.
h:
in
c
lude
co
r
re
c
t he
a
der
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-17
Sven Verdoolaege
iscc
.
c:
v
ertices: avoid uninitialized read on erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sve
n
Verdoolaege
i
s
cc: avoid use of pet_s
c
op_collect_sche
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sv
e
n
V
erdoolaege
update
pet for represen
t
ing s
c
hedule as schedule tre
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Ve
r
doolae
g
e
upd
a
te isl f
o
r sufficien
t
schedule tree
support for pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
i
s
cc
.
c: use isl_stream_get_ctx instead of
reading
c
tx
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
S
v
e
n
Verdoolaege
iscc
.
c: use
i
sl_stream_is_
e
mpty instead of reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoo
l
aege
u
p
date isl for isl_st
r
eam_get_
c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
S
v
en Ver
d
oo
l
aege
u
p
date pe
t
for support
f
or rec
e
nt
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
S
ven Ve
r
d
o
ola
e
ge
upda
t
e isl for support fo
r
re
c
ent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sv
e
n Verdoolaege
s
u
mmate
.
c: avoid use of is
l
_union_
p
w
_qpolynomi
a
l_add_
p
w_qpol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sve
n
V
er
d
oolaege
barvinok
.
cc: avoi
d
use o
f
isl_
u
nion_pw_qpolyn
o
mial_add_p
w
_
qp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolae
g
e
i
sl_u
n
i
on_set_la
t
ti
c
e_width: check whether
input
i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sv
e
n Ver
d
oolaege
s
u
mmate
.
c: joi
n
_compatibl
e
: avoid use o
f
und
o
cu
m
e
nte
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verdoolaege
summat
e
.
c
:
j
oin_comp
a
t
ible: rena
m
e
"
d
im" variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
d
o
o
l
ae
g
e
update
p
et
t
o version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoola
e
ge
updat
e
isl to version 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-14
Sven Ver
d
oo
l
aege
README: up
d
ate
c
ont
a
ct inform
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-09
Sven Verdoolaege
update isl
for c
h
ange in isl_
m
ap_subtr
a
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
S
v
en Verd
o
olaeg
e
upda
t
e pe
t
fo
r
su
p
port
for rec
e
nt
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
S
v
en Verdoolaege
upda
t
e isl for
support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
S
v
en Verdoola
e
ge
latt
i
ce_w
i
dth
.
c: av
o
id use of deprecat
e
d f
u
nctio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-22
Sven Verdoola
e
ge
barvinok_en
u
merate_with_op
t
ions: handle
contex
t
cons
t
raints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-18
Sv
e
n Verdoolaege
doc: a
d
d
anothe
r
paper
r
efer
i
ng to the l
i
b
r
ary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-04
S
v
en Verdoolaege
i
s
l_Po
l
yh
e
d
r
on_
R
educed_Bas
i
s:
a
void dou
b
le
f
ree
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-22
Sven Verdoolaege
is
c
c: also disallow source oper
a
t
i
on when -
-
no-
i
o is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolae
g
e
barvinok 0
.
37
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ve
n
V
erdoolae
g
e
upda
t
e
p
et to ver
s
ion 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
erdoolaege
u
p
d
ate
i
sl to ver
s
ion
0
.
13
commit
|
commitdiff
|
tree
2014-04-04
Sven Verdoolaege
update pet for sorting o
f
arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Verdoolaege
isl_
p
aram_util
.
c
:
drop e
x
pr2v
e
r
tex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n
V
e
rdo
o
la
e
ge
update isl for cha
n
ge in
isl_vertex i
n
sp
e
ctors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdool
a
ege
a
d
d isl_mult
i
_a
f
f
_
to_polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
v
e
n Ver
d
oolaege
iscc: add minimal support for isl_obj_pw
_
multi_
a
ff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
ven Verdoolaege
update isl for isl_obj_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sve
n
Verdool
a
eg
e
gen_fun::add_union:
co
n
t
ext of result should be the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
S
v
en Ve
r
doolaege
reduce_eval
u
e: reduce polyno
m
i
a
l e
x
pressions in
d
enominator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
S
v
e
n Verdoolaege
upd
a
te p
e
t f
o
r support for re
c
ent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaege
update isl for support for recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaege
u
pd
a
te pet for
c
h
an
g
e in
pet_
s
cop_collect_{rea
d
s,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaeg
e
up
d
at
e
is
l
for is
l
_id_to_
p
w
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sve
n
Verdo
o
la
e
ge
configure
.
ac: use AX_DETECT_GIT_HEAD in
s
tead of inline
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
Sven V
e
rdoolaeg
e
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
Sven
Verd
o
ola
e
ge
AX
_
SUBMODULE: allow
.
git f
i
le in submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
update
pet for
suppor
t
for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
u
p
d
ate isl for suppo
r
t fo
r
rece
n
t clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolae
g
e
verify_po
i
nt_data_ini
t
: use i
s
l_set_c
a
rd to count elements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
v
en Verdool
a
ege
test_approx: return EXIT_FAILURE on erro
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolae
g
e
test
_
a
pprox:
use is
l
i
nt
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
ven Verdoolaege
clean
up
test
s
/ehrhart/* inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
S
v
en Ver
d
oolaege
e
value_isl
.
c
:
relat
i
on2pwqp:
h
andle
non-para
m
etric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven
Verdoolaege
upd
a
te i
s
l for isl_*_eva
l
re
t
urning
a
n isl_v
a
l in
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven
Verdoolaege
upd
a
te isl for isl
_
stream_read_obj r
e
t
urning is
l
_obj_val
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven V
e
r
d
oolaeg
e
update
p
et
t
o version
0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdool
a
ege
con
f
igure
.
ac:
replace --with-libgmp option by --with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Ver
d
ool
a
e
g
e
u
pdate isl to version 0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
d
o
o
l
a
e
ge
iscc
.
c: a
v
oi
d
use of isl_t
o
ken internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Ve
r
d
o
o
l
a
e
ge
evalue_isl
.
c: div
2
evalue: us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoo
l
aege
ev
a
lue_is
l
.
c:
i
s
l
_pw_qpoly
n
om
i
al_from_
e
val: use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
Verdoolaege
evalue
_
isl
.
c: isl_qpol
y
nomial_from_eva
l
ue: use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
ev
a
lue_is
l
.
c: extra
c
t
_base: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolaege
verify
.
c
:
verify_point
_
d
ata
_
init: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
v
erify
.
c
: verify_context_s
e
t_
b
ounds: use i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
ut
i
l
.
c: manual_count:
us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
test_bound
.
c: resul
t
_data
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoola
e
ge
test_bound
.
c: ve
r
ify_point: use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdo
o
la
e
ge
sample
.
c
: Polyhedr
o
n_Sample: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Ve
r
doola
e
ge
polysign_is
l
.
c
: isl_
c
onstraints_opt: use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n V
e
rdoolaege
polysign_isl
.
c
: isl
_
polyhedron_affine_sign
:
use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
d
o
o
l
aege
pol
y
s
i
g
n
_
isl
.
c: extract_
i
nequal
i
t
i
es:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next