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
Sve
n
Verdoolaege
iscc
.
c: vertic
e
s: avoid
uni
n
itialized read on erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
S
v
en Verdoolaege
iscc: av
o
id us
e
of pet_sc
o
p_c
o
llect_schedul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Ver
d
o
olaeg
e
update pet for representing sc
h
edul
e
a
s schedule
t
ree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
S
v
en
V
erdo
o
laeg
e
u
pdate isl f
o
r suf
f
icient sc
h
ed
u
le tree support for
p
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
S
v
en Verdoolaeg
e
iscc
.
c: use i
s
l_st
r
e
a
m
_get_c
t
x
i
n
stead
of reading ctx
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
iscc
.
c
:
use isl_stre
a
m
_is_em
p
ty instead
o
f reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Ver
d
oolaege
u
pdate isl
for isl_str
e
am_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
update pet for support for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
update isl fo
r
support for
recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolae
g
e
summate
.
c: avoid use of isl_unio
n
_p
w
_qpolynomial_add_pw_qpol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Ver
d
oolaege
barv
i
nok
.
cc: avoid use o
f
i
s
l
_union_pw_qp
o
l
ynomial_ad
d
_
p
w_qp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdo
o
laege
isl
_
uni
o
n_set_lattice_width: check wheth
e
r in
p
ut is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verdoolaeg
e
summate
.
c: join_c
o
mpatib
l
e: avoid use of undocumented
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
S
ven Verdoolaege
summate
.
c: join_comp
a
t
i
ble: rename "dim" v
a
riables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaege
update pet to version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaeg
e
update i
s
l to vers
i
on 0
.
1
4
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-14
Sven Verdoola
e
g
e
README: upd
a
te contact information
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-09
Sven Verdoolaege
updat
e
isl
for change in isl_map_subtract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sve
n
Verdoolaege
u
p
date pet
f
o
r support for recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
update is
l
for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
S
ven Ve
r
d
oolaege
lattice_w
i
dt
h
.
c: a
v
oid use of deprecate
d
function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-22
Sven
V
erdoo
l
aege
ba
r
vi
n
ok_enum
e
rate_wit
h
_options
:
hand
l
e con
t
ext constr
a
ints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-18
Sve
n
V
e
r
doolaege
doc: add
a
nother
p
aper r
e
fering to the
libr
a
ry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-04
Sven
Verdoolaege
isl_Polyhedron_
R
educe
d
_B
a
sis: avoid do
u
b
l
e free of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-22
S
v
en
Verd
o
olaege
iscc: also di
s
a
l
low s
o
urce o
p
erat
i
o
n when --no-io is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdoolaeg
e
b
ar
v
i
nok 0
.
37
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n
V
erdoolae
g
e
u
pdate pet to v
e
rs
i
on 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update isl to version 0
.
13
commit
|
commitdiff
|
tree
2014-04-04
Sven V
e
rdoo
l
aege
upd
a
te pet for
s
o
r
ting of arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Ve
r
doolaeg
e
isl_param_util
.
c
: drop
e
xpr2ver
t
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
update isl for change in isl_vertex inspectors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Ve
r
d
o
olae
g
e
add
isl_multi_
a
ff_t
o
_polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdo
o
laeg
e
isc
c
:
add minima
l
suppo
r
t
f
o
r isl_obj_pw_
m
ult
i
_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven
Verdoo
l
aege
update isl for isl
_
obj_pw_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdoolaege
ge
n
_fun
:
:add_union: context
o
f
result s
h
o
u
ld
b
e the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven
Verdoolaege
reduce_
e
value: r
e
duce pol
y
nomial expressio
n
s in denominator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoola
e
ge
upda
t
e pet fo
r
supp
o
rt for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolae
g
e
up
d
ate isl f
o
r support
f
or recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaege
u
pdat
e
pet for cha
n
ge in
p
e
t_scop_co
l
lect_{reads,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
S
v
en Ver
d
ool
a
ege
update is
l
f
o
r
isl_
i
d_to_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
S
v
en Ver
d
oolaege
configu
r
e
.
ac: use AX
_
DETECT_GI
T
_HE
A
D instead of
i
nli
n
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
Sven Verdoolaege
doc: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
Sven Ver
d
oolaege
A
X
_SUBMODULE: allow
.
git file in
s
ubmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven
Ver
d
o
olaege
update
p
e
t fo
r
support for recent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
update isl for support for recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sve
n
Verdoolaege
verify_point_data_init: use isl_s
e
t
_car
d
t
o
count e
l
ements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
v
e
n
V
erdool
a
ege
t
e
st_
a
pprox: r
e
tu
r
n
E
X
I
T
_FAILURE on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
ve
n
Verdoo
l
aeg
e
t
est_approx
:
use
i
s
l interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sv
e
n Verdoolae
g
e
clean up
t
ests/ehrhart/* input
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven V
e
rdoolaeg
e
evalue_isl
.
c: relation2pw
q
p
: handle non-pa
r
ame
t
ric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven
V
erd
o
o
l
aege
update isl for i
s
l_
*
_e
v
a
l
returni
n
g an i
s
l_
v
al ins
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdo
o
laege
update
i
sl for i
s
l
_stream_read_ob
j
returning i
s
l_obj_val
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven
V
erdoolaege
upda
t
e pet to version 0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdoo
l
aege
c
o
nfigur
e
.
a
c: replace --wi
t
h-libgmp optio
n
by
-
-with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sv
e
n Ve
r
doolaege
update
i
sl to version 0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
e
rdoolaege
iscc
.
c: avoid u
s
e of isl_token
i
nternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolaege
e
v
a
l
u
e_isl
.
c: div2evalue: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verd
o
olaege
evalue_isl
.
c
: isl_pw_qpoly
n
omial_from_eval: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
evalue_
i
sl
.
c:
i
sl_qpolynomial_from_eval
u
e: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaeg
e
evalue_isl
.
c: ext
r
a
ct
_
base: us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
ve
r
if
y
.
c: verify_point_data_init: u
s
e i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Ver
d
o
olaege
verify
.
c: v
e
rify_c
o
ntext_set_bou
n
d
s
: u
s
e isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
uti
l
.
c: manu
a
l
_
count: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdo
o
laeg
e
test_bound
.
c: result_data: use is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n Ve
r
d
o
olaege
t
e
s
t_boun
d
.
c
:
verify_point: use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
o
olaege
samp
l
e
.
c: Polyhedro
n
_Sample: use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdool
a
e
ge
pol
y
sign_isl
.
c: isl_constra
i
nts_opt: use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
lae
g
e
polysign_isl
.
c: isl_polyhe
d
ron_affine_sign: use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ve
n
Ver
d
oolae
g
e
pol
y
sign_isl
.
c
:
extract_inequalities:
u
se
i
sl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaege
p
o
l
ysign_isl
.
c: extr
a
ct_equalities
:
u
se isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolaege
iscc
.
c: read_iden
t
:
us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoola
e
ge
is
c
c
.
c: obj_at_ind
e
x: us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolaege
iscc
.
c: pow
e
r
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
l
a
ege
iscc
.
c
:
next_is_ne
g
_int: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoola
e
ge
e
valu
e
_isl
.
c:
a
dd_term: use i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
d
oolae
g
e
evalue_isl
.
c:
r
elation2pwqp
:
u
se isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
bo
u
nd
.
c: split_on_size: use i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
bound
.
c: verify_point: use isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaege
basis_reduction
.
c: isl_Po
l
yhedron_Reduce
d
_Basis: us
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoo
l
aege
b
a
rvinok_s
u
m
m
a
t
e
.
c: veri
f
y
_point: use isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
barvinok
_
enumerat
e
.
c
c: verify_point
:
us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rd
o
olaege
b
a
r
vinok
.
cc: card_as_sum: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
isl_map
_
polylib
.
c
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
up
d
at
e
isl fo
r
is
l
_
val abstrac
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
integrate isl-polylib
m
odu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Ve
r
doolaege
bar
v
inok_enumerate
.
cc: expl
i
citl
y
i
nc
l
ude
gmp to avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
S
ven
V
erdo
o
la
e
ge
barvinok_e
.
cc: expli
c
itly
include gmp to avoid i
n
clusion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven
Verdoolaege
test_
b
ou
n
d
.
c: result_d
a
ta_
c
l
e
ar
:
remove
unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sve
n
Verdoolaege
eva
l
ue_isl
.
c: avoid
u
se
o
f isl_
s
eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
test
.
c: remov
e
redundant include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-23
Sven Ve
r
doolae
g
e
update isl
t
o
version 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-08
Sven Verdoolae
g
e
eval
u
e_
i
s
l
.
c
:
avoi
d
use of
i
s
l_
v
ec
i
nternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sve
n
Verdoolaege
updat
e
pet for s
u
pport for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
S
v
e
n
V
e
rdool
a
ege
updat
e
isl
f
o
r
support
f
or re
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-10
Sven Ver
d
o
olaeg
e
NTL
_
QQ: use NTL's Vec templ
a
te class when availabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-06
Sven
Verdoolaege
is
l
_
p
w
_q
p
olynomial_
s
um: error out
i
f
input does not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
S
v
en Verdoo
l
a
e
g
e
is
c
c
.
c: print
_
c
ode: do not assume isl_union_map_get_spac
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven
Verdoolaege
vert
e
x_cone: check that dimen
s
i
o
n is at least one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven
V
erdoolaege
barvinok_sum_
o
v
er_polytope: special case 0D polytopes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sv
e
n Verdoolaege
s
ummate
.
c
:
sum_wi
t
h_
e
qualities: extrac
t
out sum_over_pol
y
t
ope_0D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next