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
configure.ac: allow builddir for NTL
2015-02-24
Oleksandr Zine
n
k
o
c
o
nfigure
.
ac: allow
b
uilddir f
o
r NTL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-24
Ol
e
ksandr Zinenko
c
o
nf
i
g
u
re
.
a
c
: al
l
ow
b
ui
l
ddir f
o
r GMP
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaeg
e
iscc
.
c:
u
se isl_str
e
am_get_ctx
i
nstead of
r
eadin
g
ctx
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Ve
r
doolae
g
e
iscc
.
c: use i
s
l_stream_i
s
_empty ins
t
e
ad
o
f reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven
V
erdoolaege
up
d
ate isl fo
r
isl_stre
a
m_get
_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven
Verdoo
l
aege
update pet for
suppo
r
t
f
o
r
r
e
cent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
update isl for support for recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verd
o
o
laege
s
u
mmate
.
c: avoid use of isl_union_pw_qpolynomia
l
_add_
p
w_qpol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdo
o
la
e
ge
barvinok
.
cc: avo
i
d use of isl_union_pw_qpolynom
i
a
l_add_pw_qp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdo
o
la
e
ge
isl_un
i
o
n
_set_lattice_width: check whether in
p
u
t is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
S
ven Verdoolaege
summate
.
c: join_compatibl
e
:
avoid use of un
d
ocumented
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
S
v
en Verdoolae
g
e
su
m
mate
.
c: join_com
p
a
t
i
b
l
e
:
rename "dim" variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
doolaege
u
p
dat
e
pet to version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaege
u
p
dat
e
isl
t
o
version 0
.
1
4
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-14
Sven
Verdoolae
g
e
README:
u
pdate contact informati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-09
S
ven Verdoolaeg
e
update isl for change in
isl_map_sub
t
ra
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdool
a
ege
u
p
dat
e
pet f
o
r support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven V
e
rdo
o
laege
update i
s
l for suppor
t
f
o
r
r
ecent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ve
r
doolaege
lattice
_
w
idth
.
c: avoid
u
se
of
dep
r
e
cated fun
c
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-22
Sven Ver
d
oola
e
ge
barvinok_enume
r
ate_wi
t
h_options:
handle
contex
t
c
on
s
traints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-18
Sven
V
erd
o
olaege
doc: a
d
d anot
h
e
r paper re
f
e
ring to
t
he li
b
rar
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdool
a
eg
e
isl_Polyhe
d
ron_Reduced_Basis: avoid double fr
e
e
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-03
Thomas
K
a
hl
e
Upd
a
t
e
the
g
lpk calls t
o
t
he n
e
w glp_ API
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-22
Sven Ve
r
doolaege
iscc: also disallow source operatio
n
when -
-
n
o
-io
i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verdoolaege
b
a
rvinok 0
.
3
7
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
oolaege
update pe
t
to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdo
o
laege
update is
l
to v
e
rsion 0
.
1
3
commit
|
commitdiff
|
tree
2014-04-13
Tobias
G
rosse
r
Add missing include of isl/a
f
f
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-04
Sven Verdoolaege
update pet f
o
r
s
o
rting of a
r
rays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
isl_param_util
.
c:
drop exp
r
2vertex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
u
pdate isl for change in isl_vertex inspectors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdoo
l
aege
a
dd
isl
_
mu
l
ti_aff_to_polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Ve
r
d
o
o
laeg
e
is
c
c: add mi
n
i
mal s
u
pport for is
l
_obj_pw_multi_a
f
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolae
g
e
update isl f
o
r isl_obj_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
S
v
e
n Verdoolaege
gen_fun::ad
d
_union: context o
f
resul
t
sh
o
u
l
d be
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
S
ven Verdoolaege
red
u
ce_evalu
e
: reduce po
l
y
n
omial expre
s
sions
i
n
de
n
omi
n
at
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Ve
r
d
oolae
g
e
update
p
et for
s
upport fo
r
re
c
ent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sv
e
n
V
erdool
a
ege
update
i
sl for sup
p
ort fo
r
recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaege
upda
t
e
p
e
t for chang
e
in pet_scop_collect_{r
e
ads,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Ve
r
doolaege
update isl fo
r
i
sl_i
d
_
to_pw_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaege
config
u
r
e
.
ac: us
e
AX_DETECT_GIT_HEAD instead o
f
inlined
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
Sven Verdoola
e
ge
doc: f
i
x typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
Sven Verdoolaege
A
X_SUBM
O
DULE: allo
w
.
git
f
il
e
in submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sv
e
n Verdo
o
laege
update pet
for support for re
c
ent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoo
l
aege
update isl for sup
p
ort for recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
ven Ve
r
dool
a
ege
verify_point_data_init:
use is
l
_set_c
a
rd t
o
c
o
un
t
eleme
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sve
n
Verdool
a
ege
test_approx: return
EXIT_FAILURE on err
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoo
l
aege
test_approx: u
s
e
i
sl inte
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sv
e
n Verdoolaege
clean u
p
test
s
/ehr
h
art/* inp
u
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
S
v
en Verdoo
l
a
ege
evalue_isl
.
c:
relation
2
pwqp
:
ha
n
d
le
n
on-parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoo
l
aege
update isl
f
or isl_*_ev
a
l
return
i
ng
a
n
i
sl_val instea
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven
Verdoolae
g
e
u
p
dat
e
i
sl for
i
sl_stream_read_obj
re
t
u
r
n
ing isl_obj_val
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Ve
r
doolaege
updat
e
pet t
o
version 0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdool
a
ege
c
o
nfigure
.
ac: replace
-
-with-libgmp option by --wit
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
S
v
en Verdoolaege
update isl to versi
o
n 0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
iscc
.
c: avoid
u
s
e
of isl_toke
n
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolaege
e
v
alue
_
isl
.
c: div2evalue: u
s
e
i
sl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
eva
l
u
e_isl
.
c: isl_pw_qpolynomial_from_
e
val: use
i
s
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
e
v
alue_
i
s
l
.
c: isl_qpolynomial_from_ev
a
l
u
e: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
evalu
e
_isl
.
c: ext
r
act_
b
ase:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaege
verify
.
c: veri
f
y_poi
n
t
_data
_
init: use
i
s
l_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
V
e
rdoolaege
verify
.
c: verify_context
_
s
e
t_bounds: use is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n Ve
r
doolaege
uti
l
.
c: ma
n
ual_count
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
t
est_bound
.
c: result_data: u
s
e is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Ver
d
ool
a
e
ge
test_bound
.
c: verify_poin
t
: u
s
e is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdo
o
laege
sampl
e
.
c: Polyhedron_Samp
l
e: use i
s
l
_
va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
polysign_isl
.
c:
i
sl_con
s
t
r
a
i
n
ts_o
p
t: use i
s
l_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdool
a
ege
polysign_isl
.
c: isl_polyhedron_
a
f
f
i
n
e_sign:
u
s
e
isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
d
o
o
laege
poly
s
ign_is
l
.
c: extract
_
inequ
a
l
itie
s
: use i
s
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
d
oolaege
p
o
lysign_i
s
l
.
c: e
x
tract_equalities: us
e
isl_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
iscc
.
c
:
r
ead_ident: u
s
e isl
_
va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoola
e
ge
iscc
.
c: ob
j
_at_index
:
use
isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdo
o
laege
iscc
.
c: pow
e
r: use
i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaege
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
V
erdoolaege
e
v
alue
_
i
sl
.
c: a
d
d_term: use
i
s
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaeg
e
evalue_isl
.
c:
relation2pwqp:
u
se isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verd
o
olaege
bound
.
c: split_on_size:
use is
l
_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
b
o
und
.
c:
v
e
r
i
fy_point
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdo
o
la
e
g
e
basis_reduction
.
c: isl
_
Poly
h
e
dron_Reduced_Basis: use
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoola
e
ge
barvinok_summate
.
c: verify_poin
t
: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
barv
i
nok_enumerate
.
cc:
verify_po
i
n
t:
u
se i
s
l
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rdoolaege
barvi
n
ok
.
cc: ca
r
d_
a
s
_sum:
u
se i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven V
e
rdo
o
laege
is
l
_map_polyli
b
.
c: u
s
e isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven
V
erdoolaege
upda
t
e isl for is
l
_
v
al abstracti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sv
e
n Ve
r
doolae
g
e
integrate isl-p
o
l
ylib mod
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdoola
e
ge
barvinok
_
e
n
umerate
.
cc: exp
l
icitly include
g
mp
t
o avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaeg
e
barv
i
nok_e
.
cc: expli
c
itly include gmp to avoi
d
inclusion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven
Verdo
o
laege
test_bound
.
c: re
s
u
lt_da
t
a
_clear: remove unus
e
d v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verd
o
olaege
evalue_isl
.
c:
avoid
u
se o
f
isl_seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
tes
t
.
c: remove redund
a
nt include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoolaege
u
p
date
i
sl to version
0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-08
Sven Verd
o
olaege
ev
a
l
ue
_
isl
.
c:
a
void
use of isl_
v
ec internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
S
ven Verdoolaege
upda
t
e
p
e
t for s
u
pport for
recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolaege
u
p
date isl for s
u
pport for r
e
c
e
nt cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-10
Sven V
e
rdoolaege
NTL_QQ: use NTL's
V
e
c template cla
s
s when available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verdoolaege
isl_pw_qpolynomial_s
u
m
:
error ou
t
i
f in
p
ut does not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
Sven Verdoolaege
is
c
c
.
c
: pri
n
t_code: do not a
s
su
m
e
isl_union_map_get_space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
vert
e
x
_co
n
e:
check that
d
imension
i
s
at least
o
ne
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
b
a
rvino
k
_sum_ove
r
_polytope: special case
0
D pol
y
t
o
pes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdo
o
laege
summate
.
c: s
u
m_
w
ith_
e
qualities: e
x
tr
a
ct out sum_over_pol
y
tope_0D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next