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
Ver
d
oo
l
a
e
ge
is
c
c
.
c: vertices: avoid unini
t
ialize
d
read on erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verd
o
o
laege
iscc: avoi
d
use of pet_scop_collect_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven
Verdoolaege
update
pet for
r
e
p
resenting schedule as schedule tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoo
l
aege
u
pdate
i
sl for suff
i
cien
t
schedule
t
ree s
u
pport for pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
iscc
.
c: us
e
i
s
l
_
st
r
eam_get_c
t
x
inst
e
ad of reading ctx
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sv
e
n
Ver
d
oolaege
iscc
.
c
: use
isl_stream_is_empty instead
of
r
eading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
update isl f
o
r
isl_stream_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdo
o
lae
g
e
up
d
ate pet
for su
p
p
o
rt f
o
r recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
S
v
en Ver
d
oolaege
updat
e
isl for
support f
o
r rec
e
nt clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolae
g
e
summate
.
c:
a
voi
d
us
e
of isl_union
_
pw_qpol
y
nomial_add_pw
_
qpol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Ver
d
ool
a
ege
bar
v
inok
.
cc: avoid
u
se of isl_union_pw_qpol
y
nomial_
a
dd
_
pw
_
qp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolaege
isl_union_
s
et_lattice_
w
id
t
h:
chec
k
whet
h
er input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sven
V
erdoolaege
summate
.
c: join_compatible: avoid use of undocume
n
t
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verd
o
ola
e
ge
su
m
mat
e
.
c
:
j
o
i
n_compatibl
e
: rename "dim" variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoolaege
updat
e
pet to
v
ersion 0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoolaege
update i
s
l to ver
s
ion 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-14
Sven Verdool
a
e
ge
RE
A
DME: update co
n
tact information
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-09
S
ven
V
erdoolaege
update isl
for change in isl_map_subtrac
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven V
e
rdoolae
g
e
update pe
t
f
o
r support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven
Verdo
o
l
ae
g
e
upda
t
e isl for
s
u
p
port for
recent
cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sv
e
n Verdoolaege
lattice_width
.
c: av
o
id use o
f
depreca
t
ed fu
n
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-22
Sven
Verdoolaege
b
arvinok_enumer
a
te_w
i
th_options: handle context constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-18
Sven Verdool
a
ege
doc: add another paper refe
r
ing to th
e
library
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdool
a
eg
e
isl_Polyhedron_Reduced_Basis: avoid dou
b
le free of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-22
S
ven Verdoolaege
iscc: also d
i
s
allow so
u
r
c
e o
p
eration wh
e
n
--no-io is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Ve
r
doo
l
a
ege
barvinok 0
.
37
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Verdoolaege
u
p
d
a
te
p
e
t
to v
e
r
sion 0
.
0
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laeg
e
update isl to ve
r
sion 0
.
13
commit
|
commitdiff
|
tree
2014-04-04
Sven Verd
o
ola
e
ge
upd
a
te pet for
sort
i
ng of a
r
rays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
isl_param_
u
t
i
l
.
c
:
drop e
x
pr2v
e
rtex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdool
a
ege
update
i
sl
f
or change
in
i
sl_vertex inspect
o
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdoolaege
add isl
_
multi_aff_to_po
l
yl
i
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verd
o
ol
a
ege
iscc: add
minimal support for isl
_
obj
_
pw_mul
t
i_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
upda
t
e isl
for isl
_
obj_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdoo
l
aege
ge
n
_fun::add_union: c
o
nt
e
xt of
r
esult should be the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sv
e
n Verdo
o
laege
reduc
e
_e
v
alue: reduce polynomial
exp
r
essions in
d
enomi
n
ator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaege
update p
e
t for
s
upport for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaege
u
pda
t
e i
s
l for support
f
o
r recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Ver
d
oolaege
update pet for change
i
n
pet_sco
p
_collec
t
_{reads,writes
}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoola
e
ge
update isl for isl_
i
d
_to_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
S
ven
V
erdoolaege
c
onfigure
.
ac:
u
s
e A
X
_DETECT_GIT_H
E
AD
i
nstead of inlined
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
Sven
V
erdo
o
l
aege
doc: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
Sven V
e
r
doolaege
AX_SUBMODU
L
E: all
o
w
.
gi
t
file in submodu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
update pet
for support f
o
r
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoola
e
ge
update isl for support for recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sve
n
Verdoolaege
verify_point_data_i
n
it: u
s
e isl_set_card to count element
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven
V
e
r
doolaeg
e
t
e
st_approx: ret
u
rn
E
XIT_FAILURE
o
n
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
v
en
V
erdoolaege
t
e
st_approx: use
i
sl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
ven Verdoolaege
cl
e
an up tests/ehrhart/* inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
V
e
rd
o
olaege
evalue_isl
.
c: r
e
lation2pwqp: handle no
n
-par
a
met
r
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sv
e
n Verdoo
l
aege
update isl for isl_*_eval returning an is
l
_
val instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Ve
r
d
o
olaeg
e
up
d
ate isl for isl_stream_read_obj retur
n
in
g
isl_obj_val
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolae
g
e
u
pdat
e
pet t
o
v
e
rsi
o
n 0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdoolae
g
e
configur
e
.
a
c
: replace --with-li
b
gmp opti
o
n by
-
-wi
t
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven
Verdoolaege
u
p
date isl
t
o
v
e
r
sio
n
0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
erdoolaege
i
scc
.
c: avoid us
e
of isl_t
o
ke
n
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
er
d
oolaege
evalue_isl
.
c: div2evalue: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolaege
evalue_isl
.
c: isl_pw_qpolynom
i
a
l_fr
o
m_eval: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
d
o
olaege
eva
l
ue_isl
.
c: isl_qpolynomial_fr
o
m_evalue: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoola
e
ge
evalue_isl
.
c: extract_bas
e
: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
verify
.
c
: verify_point_d
a
ta_init: use i
s
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
veri
f
y
.
c: verify_conte
x
t_set_bounds:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
u
t
il
.
c: manua
l
_count:
u
s
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoo
l
ae
g
e
t
est_bound
.
c: result_d
a
ta
:
use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolae
g
e
t
est_bound
.
c: verify_po
i
nt: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolae
g
e
sampl
e
.
c: Po
l
y
h
e
d
r
o
n
_Sample: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
dool
a
ege
polysign_isl
.
c:
i
sl_
c
o
nstraint
s
_opt: u
s
e isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
p
o
l
ys
i
gn
_
isl
.
c:
i
s
l_polyhe
d
ron_affine_sig
n
: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
pol
y
sign_is
l
.
c: extract_in
e
qualities:
u
se i
s
l_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoola
e
ge
polysign_is
l
.
c
:
e
xtra
c
t_equalities: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verd
o
olaeg
e
i
s
cc
.
c: read_ident: use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdo
o
laege
iscc
.
c:
o
b
j
_at_index: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolae
g
e
is
c
c
.
c: power
:
use isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
iscc
.
c: next_
i
s_neg_int: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oola
e
ge
evalue_isl
.
c: add_term: use isl_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdool
a
ege
e
value
_
i
sl
.
c
: relatio
n
2
pwqp: use isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
bound
.
c
:
split_on_size: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdool
a
ege
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
erd
o
olae
g
e
b
asis_r
e
duction
.
c
: isl_Polyhedron_Reduced_Basis: us
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verd
o
olaege
b
arvi
n
o
k
_s
u
mmate
.
c:
v
erify_poin
t
: use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
ba
r
vinok_enumer
a
t
e
.
cc: verify_point: use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
bar
v
inok
.
cc: ca
r
d
_as_sum: us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
i
s
l_ma
p
_poly
l
i
b
.
c: u
s
e isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verd
o
o
l
ae
g
e
update
i
s
l
for isl_val a
b
stract
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
i
nt
e
grate
i
s
l
-poly
l
ib
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven V
e
rdoolaeg
e
bar
v
ino
k
_enu
m
erate
.
cc: explicitly
i
nclude gmp to avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven V
e
rdool
a
e
ge
barvinok_e
.
cc: explic
i
tly include gmp to
a
void inclu
s
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdoolaege
test_bound
.
c: resul
t
_data_clear: r
e
move unuse
d
variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
evalue_is
l
.
c
:
avoid use of isl_seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
t
est
.
c: rem
o
ve redu
n
d
ant include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-23
Sven
V
e
rdoo
l
aege
update i
s
l t
o
version 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-08
Sven Verdoo
l
aege
eva
l
u
e_isl
.
c: a
v
oid use of i
s
l_ve
c
i
n
terna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Ver
d
oolaege
u
pdate p
e
t
fo
r
support for rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolaege
upd
a
te isl
for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-10
Sven V
e
rdoolaege
NTL_QQ: use
N
T
L
's Vec te
m
plate class
w
hen avai
l
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-06
Sven Ve
r
dool
a
e
ge
isl_
p
w_
q
p
o
l
ynomial_sum: e
r
ror out
i
f in
p
ut does not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
Sve
n
V
e
r
d
oo
l
ae
g
e
i
scc
.
c: pr
i
n
t
_cod
e
: do not assume isl_
u
nion_map_g
e
t_
s
pa
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoola
e
ge
ver
t
ex_cone: c
h
e
c
k that dime
n
sion i
s
at lea
s
t
on
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
S
v
en Verdo
o
lae
g
e
ba
r
vin
o
k_sum_over_poly
t
ope
:
sp
e
cial
c
ase 0D polytopes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Ve
r
doolaege
summate
.
c: sum_with_equalit
i
e
s
: extr
a
ct ou
t
sum_over_polytope_0D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next