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 Ver
d
oolae
g
e
upd
a
te
AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sv
e
n Verd
o
ol
a
e
g
e
updat
e
pet to version 0
.
07
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdo
o
l
a
ege
replace isl_{,in}equality
_
allo
c
by is
l
_cons
t
raint_alloc_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sv
e
n Verdoola
e
g
e
u
p
date isl to version
0
.
15
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ve
r
doolaege
iscc: parse_file
:
return schedule in
schedule tree
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
iscc: dr
o
p
s
chedule_fo
r
est
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
S
v
e
n
V
e
rdoolae
g
e
iscc: sched
u
le: return
sche
d
ule in sc
h
edule t
r
ee r
e
prese
n
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdo
o
laege
isc
c
: a
l
low implicit conversio
n
from
s
chedule to union map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
Verdool
a
ege
iscc: allow e
x
plicit c
o
nversion fr
o
m schedule to union
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
Verdoolaege
i
s
cc: add domain operation
o
n
s
chedules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
S
v
en Verdool
a
ege
iscc: print schedules in block
format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoola
e
ge
isc
c
.
c: read_l
i
ne
:
ex
t
ract out print_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verd
o
ol
a
ege
iscc: codeg
e
n
: accept schedu
l
e
a
s
inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
is
c
c
.
c
.
:
split
u
p
pr
i
nt_c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verd
o
o
laege
iscc: support sched
u
le trees
in d
e
pendence analysis
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
isc
c
.
c: extract ou
t
common acces
s
_info_set_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
S
ve
n
Verd
o
olaege
iscc: typ
e
o
f
:
re
c
ognize
sc
h
e
du
l
e
o
b
ject
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
V
e
r
doolaege
iscc
.
c
: use isl_union_
a
cc
e
ss_info_co
m
pute_flow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
Verd
o
olae
g
e
add
depen
d
e
n
c
e anal
y
sis tests f
o
r isc
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
iscc:
a
dd "lb" operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sve
n
Verdoolaege
upda
t
e
isl for rename
o
f isl_sch
e
d
u
le
_
map_sc
h
e
dule_node
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven V
e
rdoolaege
up
d
ate isl
for i
n
troducti
o
n of isl_
s
ta
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ver
d
o
o
la
e
g
e
is
c
c
.
c: avoid use
of isl_bo
o
l_* identi
f
iers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdo
o
laege
t
e
sts/iscc/
s
um4: compare
NaN a
g
ai
n
st st
r
in
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
is
c
c: ad
d
equal
i
ty op
e
ratio
n
on strings
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolae
g
e
upda
t
e pet for direct heade
r
inc
l
usions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ver
d
oolaege
update isl
f
or replacement of C
L
o
oG
t
est cases with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoo
l
a
ege
t
e
st_approx
.
c: use fabs on
double instead o
f
a
b
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoolaege
hilbe
r
t
.
c: add
m
issing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sv
e
n Verdo
o
laeg
e
sum
m
ate
.
c: di
r
ectl
y
i
n
clude
require
d
heade
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sve
n
Verd
o
ola
e
ge
i
s
l_map_polylib
.
h: include
c
o
rrect header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-17
S
ven Verd
o
olaeg
e
i
sc
c
.
c
:
vertices: a
v
oid uninitialized read on
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoo
l
aeg
e
iscc: avoid use of pet_scop_collect_sch
e
dul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven
Ve
r
d
o
olaege
u
p
date pet for represent
i
ng schedule a
s
s
ch
e
dule tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
S
ven Ve
r
d
oola
e
ge
update isl f
o
r suffi
c
ient
s
c
hedul
e
tree
s
upport for p
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven
V
erdool
a
ege
iscc
.
c:
u
s
e
isl_
s
t
r
eam
_
get
_
ctx instead of r
e
ading ctx
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Ver
d
o
olaeg
e
iscc
.
c: use
i
s
l_stream_
i
s
_
empty in
s
tead
of reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Ve
r
d
o
olaege
update is
l
for isl_s
t
ream_get_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verd
o
ola
e
ge
upda
t
e
p
et f
o
r su
p
por
t
for recent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sv
e
n Verdo
o
laege
update isl
f
or support for re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
S
ven Verdoolaege
sum
m
ate
.
c: avoid
u
se of
i
sl_union_pw_qpolynomi
a
l_
a
dd
_
pw_qp
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven
Ver
d
oolaege
ba
r
vinok
.
cc: avo
i
d use
o
f isl_union
_
pw_qp
o
l
ynomi
a
l
_
a
d
d
_pw_qp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sve
n
Ve
r
dool
a
ege
i
sl_unio
n
_set
_
lattice
_
w
idth: check whether input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven
Verdoolaege
sum
m
ate
.
c
:
join_compatible: avoi
d
u
s
e of undocum
e
nted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sve
n
V
erdool
a
e
ge
su
m
m
ate
.
c: join_compat
i
ble: ren
a
m
e
"di
m
" va
r
iables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n V
e
r
do
o
lae
g
e
update pet to
v
ersion 0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Ve
r
dool
a
ege
upd
a
te isl to ver
s
ion 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-14
Sven
V
erdoolaege
R
E
A
DME: update c
o
ntact information
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-09
Sven
Verdoo
l
aege
u
p
date
isl for change in isl_map_subtrac
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
update pet for
s
u
pport for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven V
e
rdoo
l
aege
update isl for support for recent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ve
r
doolaege
lattice_w
i
d
t
h
.
c:
a
void use of deprecated function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-22
S
v
en V
e
rdoolaege
barvinok_enumerate
_
with_o
p
tions: handle context constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
Sven
V
e
r
doolaeg
e
doc: add
a
nother
p
aper refering t
o
t
h
e library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdoola
e
ge
isl_Polyhedron_Redu
c
ed_Basis: avoid dou
b
le free of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
S
v
en Verdoolaege
iscc: also disallow source operation when --
n
o-io
i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdoolae
g
e
barvino
k
0
.
37
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
erdoolaege
update pet t
o
versi
o
n 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update isl to
v
ersion 0
.
1
3
commit
|
commitdiff
|
tree
2014-04-04
Sven Ve
r
doolaege
update pet for sorting of arra
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven V
e
rd
o
olaege
isl_pa
r
a
m_util
.
c: d
r
op expr2vertex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
update is
l
for
c
h
an
g
e in
isl_vertex inspe
c
tors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Verdoolaege
add isl_multi_aff_to_polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
i
s
c
c
: a
d
d m
i
n
imal support
for i
s
l_obj_p
w
_multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
update isl for
isl_obj_p
w
_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sven V
e
rdoolaege
ge
n
_
f
un::add_
u
nion: c
o
ntext o
f
resul
t
s
h
ould be th
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sven
V
erdoo
l
aege
reduce_eval
u
e
: reduce polynomial
e
xpressions
in denomina
t
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven Ve
r
do
o
lae
g
e
u
pdate
pet for support for
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
S
v
en Verdoolaege
updat
e
i
s
l for s
u
ppo
r
t for
r
ec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
S
v
en Ver
d
oolaege
u
pdate pet for c
h
ange in pet_s
c
op_collect_{r
e
ads,writes}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoola
e
ge
u
p
date isl f
o
r isl_id_to
_
pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven
V
erd
o
olaege
c
o
nfigure
.
ac:
u
se AX
_
DETECT_GIT_HE
A
D instead of
inlined
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-16
S
ven Verdoolaege
doc
:
fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-05
Sven Ver
d
oola
e
ge
AX_SUBMODU
L
E: allow
.
git file
in submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sv
e
n Verdoolaege
u
pdate pet fo
r
sup
p
or
t
f
or recent
c
l
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven
V
e
rdoolaege
updat
e
i
sl for support fo
r
rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sv
e
n
V
e
rdoolaege
verif
y
_point_data_
i
nit: use
i
s
l
_set_card to cou
n
t ele
m
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven
V
erdo
o
laege
t
e
st_a
p
prox: return EXIT_FAILURE on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdo
o
laege
test_approx: use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
S
ven V
e
rdoolae
g
e
clean up
tests/ehrhart/* input
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven
V
erdoo
l
aege
e
v
al
u
e_isl
.
c: rel
a
tion
2
pwq
p
: han
d
le
non
-
para
m
etric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
upd
a
te isl
for isl_
*
_eval returning
a
n
is
l
_val instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
Verdoolaege
u
pdat
e
isl f
o
r isl_
s
t
ream
_
read_o
b
j returning isl_o
b
j_val
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven
Verdo
o
la
e
g
e
update pet to versi
o
n 0
.
04
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-25
S
ven V
e
r
doolaege
configure
.
ac:
r
e
plac
e
--with-libgmp option by --with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
S
v
e
n Verdo
o
laege
update isl
to version 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoola
e
ge
iscc
.
c: avoid use of i
s
l_token
i
nte
r
n
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
evalue_isl
.
c:
div2eva
l
ue: u
s
e isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaege
ev
a
lue_isl
.
c:
isl_pw_qpoly
n
omi
a
l_from_
e
val: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
ev
a
lue_isl
.
c
:
isl_qpolynomial_from_
e
value:
u
se is
l
_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
evalu
e
_isl
.
c:
extract_
b
as
e
: use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolaege
v
e
r
i
fy
.
c: veri
f
y_point_data_in
i
t: use isl
_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
ver
i
f
y
.
c:
v
erify_context_s
e
t_bounds: use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
util
.
c
:
m
a
nual_cou
n
t: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n
V
e
r
doolaege
te
s
t_b
o
u
n
d
.
c: result_dat
a
: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
o
o
lae
g
e
test_bound
.
c: verify_poi
n
t: use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
r
d
oolaeg
e
samp
l
e
.
c: Polyhedron
_
S
a
mple: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Ver
d
oolaege
polysi
g
n
_
isl
.
c: isl_co
n
st
r
aints_opt: use i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoola
e
ge
po
l
ysign_isl
.
c: isl_poly
h
edron_affine_sign: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
o
o
laege
poly
s
i
gn_isl
.
c: extra
c
t_inequalit
i
es:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next