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.c: vertices: avoid uninitialized read on error path
2015-03-17
S
v
e
n Verdoo
l
aege
iscc
.
c: vertic
e
s: avoi
d
uninitialized read on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven
Verdoolaege
i
s
cc:
a
void use of pet_scop_collect_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Ve
r
d
o
o
l
aege
upda
t
e pet for represen
t
i
n
g schedule as schedule
t
ree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
S
ven Verdoo
l
aege
u
p
date i
s
l for suf
f
icient
schedule t
r
ee suppor
t
fo
r
pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
S
v
en Verd
o
olaege
is
c
c
.
c: use
i
sl_st
r
eam_get_ct
x
instead
o
f
read
i
ng ctx
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
iscc
.
c: use isl_stream_is_em
p
ty instead of reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven
Verdoolaeg
e
update isl fo
r
isl_stream_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
updat
e
pet f
o
r support for re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
u
p
date
isl for s
u
pport for recent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sv
e
n Verdoolaege
summate
.
c: avoid use
of isl_union_pw_qpolyn
o
mi
a
l
_
add_p
w
_qpol
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sve
n
Verdoolaege
barvinok
.
cc: avoi
d
use
of
isl_union_pw_qpolynomial_add_pw_qp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
S
ven Ve
r
doolaeg
e
isl_unio
n
_se
t
_lattice_width:
c
h
e
c
k whet
h
er
input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verdoolae
g
e
summa
t
e
.
c: joi
n
_compatible: avoid use of
u
ndocumented
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
S
v
en Verdo
o
la
e
ge
summate
.
c: j
o
in_compatible: rename "dim" v
a
riables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
doolaeg
e
u
p
d
a
t
e
pet
to vers
i
on
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en
Verd
o
olaege
u
p
d
ate isl to vers
i
o
n
0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-14
Sven Ve
r
do
o
laege
README:
u
pd
a
te
conta
c
t inf
o
rmation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-09
S
v
en Verdoo
l
a
e
ge
upd
a
te isl fo
r
change i
n
isl_map_subtract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ve
r
do
o
l
aege
up
d
ate pet for su
p
port for recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven
Verdoolae
g
e
update isl for supp
o
rt for re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven
Verdo
o
la
e
ge
lattic
e
_wi
d
th
.
c: av
o
id use of
d
epr
e
cated function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-22
Sven Verdoo
l
aege
barvinok_enumerate_with_options: ha
n
d
l
e
cont
e
xt c
o
nstr
a
ints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
Sve
n
Verdoolaeg
e
doc: a
d
d anothe
r
pape
r
refering to the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdoolaeg
e
is
l
_P
o
ly
h
edr
o
n
_
R
educed_Basis: avoid doub
l
e free of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
Sven V
e
r
d
oolaege
iscc: also disallow sou
r
ce operation when --no-io
is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
bar
v
inok 0
.
37
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Verdoola
e
g
e
upda
t
e pet to version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
upda
t
e isl to version 0
.
13
commit
|
commitdiff
|
tree
2014-04-04
Sven V
e
rdoola
e
ge
update pet f
o
r sorting of arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ve
r
d
ool
a
ege
isl_para
m
_
u
til
.
c: dr
o
p
expr2vert
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verdoolaege
update isl for chan
g
e in isl_vertex inspectors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Ve
r
do
o
laege
add
i
s
l_mult
i
_aff_to_po
l
ylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
S
v
en Verdoolaege
iscc: add minimal suppo
r
t
for isl_obj_pw
_
multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdo
o
la
e
g
e
update isl for is
l
_o
b
j
_
pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
S
v
en
V
erd
o
o
laege
ge
n
_fun::
a
dd_u
n
ion: context
o
f result sho
u
ld be the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
S
v
e
n
Ver
d
oolaege
reduce_evalue
:
reduce
p
ol
y
n
o
mial exp
r
essions in
denom
i
nator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaege
u
pdate pet for support for re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoo
l
ae
g
e
update isl f
o
r
s
u
pport for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
S
v
en Ver
d
ool
a
ege
update pet for change in pet_scop_collect_{reads,
w
rites}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
S
v
e
n
Verdoola
e
g
e
update isl for i
s
l
_
id_to_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
S
v
e
n Verdoolaege
configure
.
ac: use A
X
_DETECT_GIT_HEAD instead of
i
n
l
i
ned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-16
S
ven Verdoolaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-05
Sv
e
n Verdoola
e
ge
AX_SUB
M
ODULE:
all
o
w
.
g
i
t file in
s
u
bmodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sv
e
n Verdoolaege
update p
e
t for supp
o
r
t
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdo
o
l
aege
up
d
ate isl for support
for
r
ecent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sve
n
Verdoola
e
ge
v
e
rif
y
_point_data_init: use is
l
_set_ca
r
d to count element
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sv
e
n
Verdoolaege
test_approx: return EXIT_
F
A
I
LURE on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verd
o
olaeg
e
test_approx
:
use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Ve
r
d
o
o
laege
c
lean
u
p tests/e
h
rhart/* in
p
uts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Ve
r
d
oolaege
evalue_is
l
.
c:
relation2pwq
p
: handle non-parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
u
p
d
a
te isl
f
or isl_*_eval re
t
u
r
n
i
n
g
an isl_va
l
i
nstead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven V
e
rdoolaege
update isl for isl_stream_read_obj retur
n
ing
i
sl_
o
bj_
v
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdool
a
ege
update pet to version 0
.
04
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdoo
l
aege
configure
.
ac: rep
l
ace --with-libgmp option
by --wi
t
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sve
n
Verdoo
l
aege
update isl
t
o
version
0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolae
g
e
i
s
c
c
.
c:
a
void use of is
l
_token
i
nte
r
nal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
evalue_is
l
.
c:
div2evalue:
u
se is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoo
l
aege
e
v
alue_is
l
.
c:
i
sl_pw
_
qp
o
l
y
n
o
mial_from_eval: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolae
g
e
eva
l
ue_isl
.
c: is
l
_qpolynomia
l
_from_evalue: use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaeg
e
e
value_
i
sl
.
c: extract_
b
ase
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
verify
.
c:
verify_point
_
d
a
t
a_init
:
use i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ve
n
Verdoolaege
verify
.
c
:
verify_c
o
n
text_set_boun
d
s: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven V
e
r
d
o
olaege
util
.
c: manual
_
count: us
e
i
s
l
_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdo
o
laege
test_bound
.
c
:
result_d
a
ta: u
s
e isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
t
e
st_bo
u
n
d
.
c: verify_point: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
sample
.
c
:
Polyhedron_
S
ample:
u
se
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaeg
e
polys
i
gn_isl
.
c: isl_co
n
straints_opt: us
e
i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Ver
d
oolaege
p
olysig
n
_
i
sl
.
c: isl
_
poly
h
edr
o
n_aff
i
ne
_
s
ign: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoola
e
ge
polysign_i
s
l
.
c:
ext
r
ac
t
_inequ
a
lit
i
es: use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Ve
r
doolaege
polysign_isl
.
c: extract_e
q
ua
l
ities: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolaege
iscc
.
c: read
_
i
dent
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolaege
iscc
.
c: o
b
j_at_index: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdo
o
l
a
e
ge
iscc
.
c: power: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
iscc
.
c: next_is
_
ne
g
_i
n
t: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
e
v
a
l
ue
_
isl
.
c: add_term: use
i
s
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven V
e
rdoolaege
evalue_isl
.
c: re
l
a
tion2pwq
p
: use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
e
r
doolaege
b
o
und
.
c: split
_
o
n
_size: us
e
is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Ver
d
oolaege
bound
.
c:
v
e
r
ify
_
point: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n Verdo
o
la
e
ge
basi
s
_reduc
t
ion
.
c: isl_Pol
y
hedron_Reduced_Basis: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolaege
barvinok_su
m
mat
e
.
c
:
verify_point:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
barvino
k
_enu
m
erate
.
cc: verify_p
o
i
nt:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdool
a
ege
barvinok
.
cc: card_as_su
m
:
use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
isl_map_polyl
i
b
.
c: use i
s
l_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
S
v
en Verdoolaege
update
isl for isl_val abstr
a
c
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Ver
d
oolaeg
e
integ
r
ate is
l
-po
l
ylib module
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
ven Verdo
o
la
e
ge
barvinok_enumerat
e
.
cc:
e
xplic
i
t
ly in
c
lude
g
mp
to
avo
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdoolaege
barvinok_e
.
cc: explicitly includ
e
gmp to avoi
d
inclus
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
t
e
st_bo
u
nd
.
c: result_data
_
clear: remove un
u
sed vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdo
o
l
aege
evalue_isl
.
c:
a
voi
d
use of isl_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
e
rdo
o
laege
t
e
s
t
.
c:
r
e
m
ove red
u
ndant include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sven V
e
rdo
o
laeg
e
up
d
ate isl to ve
r
s
ion 0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
Sven Verdo
o
laeg
e
eval
u
e_isl
.
c
: avoid use of isl
_
vec internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolaege
u
p
date pet for suppo
r
t for recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sve
n
Verdoolaege
update is
l
f
o
r support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verdoolaege
NT
L
_
QQ
:
use NTL's V
e
c
t
e
mpla
t
e
cla
s
s when a
v
ailable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verdoolaege
isl_pw_
q
polyn
o
mial_sum: error
o
ut if input does not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven Verdoolaeg
e
i
scc
.
c
:
p
rin
t
_code
:
do not assume isl_u
n
ion_map_get_
s
pace
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Ver
d
oolaege
v
e
r
tex_c
o
ne: check that dimension is at least one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sv
e
n
Verd
o
ola
e
ge
barvinok_sum_ov
e
r_polytope: special
c
as
e
0D polytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
S
ven Verdoo
l
aege
summate
.
c
: sum_with_equaliti
e
s: extract o
u
t sum_over_po
l
ytope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next