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
Ole
k
sandr Zin
e
nko
c
o
nfigure
.
ac: allow
build
d
ir fo
r
NT
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-24
Oleksandr Zinen
k
o
configure
.
ac:
a
llow
b
uilddir for
GMP
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sv
e
n Ver
d
ool
a
ege
i
s
cc
.
c: u
s
e
isl
_
stream_
g
e
t
_ctx instead of r
e
ading ctx
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verd
o
o
l
aege
iscc
.
c: use is
l
_str
e
am_is_empty
i
nstead of reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven
V
erdoolaege
update isl for
i
s
l
_stream_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
update pe
t
fo
r
su
p
port for
recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdool
a
ege
update isl for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven V
e
rdoolae
g
e
summate
.
c: avoid use o
f
isl_union_pw_qpolynomial_add_pw_qpol
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven V
e
rd
o
ola
e
ge
barv
i
nok
.
cc: avoid use of isl_union_pw_qpoly
n
omia
l
_add_pw_q
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sve
n
Ver
d
oolaeg
e
isl_union_set_lattice_width: ch
e
ck w
h
ether input i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verdoolaege
summ
a
te
.
c
:
join_compatible: avo
i
d
use o
f
un
d
oc
u
me
n
t
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verdoolae
g
e
summate
.
c: join_co
m
patible: rename "dim" variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdoolaege
update pet to version 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
update i
s
l to version 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-14
Sven Verdo
o
la
e
g
e
R
E
ADME:
u
pdate
contact
info
r
mation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-09
Sven Ver
d
oolaege
u
p
date is
l
for change in
i
sl_map_subtract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sve
n
Verdoolaege
update pet for
s
upport for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdo
o
laege
update isl
for support fo
r
recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaeg
e
lattice_width
.
c: a
v
o
i
d use of deprecated fu
n
ctio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-22
S
v
e
n Ve
r
doolaege
b
a
rvino
k
_enume
r
ate_
w
i
t
h_
o
ptions: handle conte
x
t
c
o
ns
t
raints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
Sven Verd
o
olaege
doc: add another paper ref
e
ring to
t
h
e lib
r
ary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
Sven Ve
r
doolaege
isl_Polyhed
r
o
n
_
Reduced_Basis
:
avoid double free of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-03
Tho
m
as Kah
l
e
Update the
glpk calls to the new
g
lp_
A
P
I
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
S
v
en
V
erdo
o
laege
isc
c
: also disallow
s
o
u
rce o
p
eratio
n
when --no-io is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoo
l
aege
ba
r
vinok 0
.
37
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ve
r
doolaege
up
d
ate pet to version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Ve
r
doolaege
update isl
to vers
i
on 0
.
13
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
Add missi
n
g include of isl/aff
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-04
Sve
n
V
e
rdoolaege
updat
e
pet for
s
ortin
g
o
f
a
r
r
ays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdo
o
laeg
e
isl_param_util
.
c: drop
expr2vertex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ve
r
doolaeg
e
u
p
date isl for ch
a
nge in isl
_
vertex
insp
e
ctors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verd
o
ol
a
e
g
e
add isl_multi
_
af
f
_to_polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
S
v
e
n
Verdoo
l
aege
i
s
cc: a
d
d
minim
a
l support
f
or
i
sl_obj_pw_mu
l
ti_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sv
e
n Verdoolaege
up
d
ate
i
s
l for isl
_
o
bj_
p
w_multi_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verd
o
ola
e
ge
gen_fun
:
:add_union: context of
result
s
h
o
uld
b
e the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sv
e
n Ve
r
doola
e
ge
reduce_evalue:
r
e
d
uce po
l
ynomial exp
r
e
s
s
i
ons in
denominator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaege
update
p
et for
su
p
p
o
rt
f
or rece
n
t c
l
a
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaege
update isl f
o
r support for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaeg
e
up
d
ate pet for chang
e
in
pet_scop_collec
t
_{r
e
a
ds,
w
rites}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sv
e
n Verdoolaege
up
d
a
t
e isl for isl_id_to_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven
V
erdoolaege
configure
.
ac: use AX_DET
E
C
T
_GI
T
_HE
A
D instead of i
n
li
n
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-16
Sven Ver
d
oolaege
doc:
f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-05
Sven Verd
o
olaege
AX_SUBM
O
DULE: allow
.
git file in submod
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven Ver
d
oolaege
update pet for support for recent
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
update
is
l
f
or suppor
t
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sve
n
Verdool
a
ege
verify_point_
d
ata_init: use isl_se
t
_ca
r
d to co
u
nt elements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven
V
e
r
do
o
laege
test_approx: return
E
XIT_FAIL
U
R
E on
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven
Verdoolaege
tes
t
_approx: use
i
sl
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sv
e
n Verdoolaege
clean
u
p
tests/ehrhart/
*
inp
u
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
S
v
e
n Verd
o
o
l
aege
e
v
a
lue_isl
.
c: relat
i
on2pwqp:
h
andle non
-
pa
r
ametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdo
o
l
a
ege
u
p
d
ate isl for isl_*_
e
val returning an is
l
_val instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
update isl fo
r
isl_s
t
r
e
am_read_obj re
t
urning isl
_
obj_val
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
V
erdoo
l
aege
update pet
t
o
v
er
s
ion 0
.
0
4
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-25
Sven
V
erd
o
olaege
confi
g
ure
.
ac:
repl
a
ce
--w
i
th-libgmp opt
i
on b
y
--w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven
Verdoolaege
u
pdat
e
isl to vers
i
o
n 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
iscc
.
c: avo
i
d use of isl
_
token internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdo
o
laege
eva
l
u
e_isl
.
c: div2eval
u
e: u
s
e i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
eva
l
ue_isl
.
c: i
s
l_pw_qpolyn
o
mial_from_eval: u
s
e isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoo
l
aege
evalue_isl
.
c: isl_
q
p
o
l
yn
o
m
i
al
_
f
r
o
m
_
evalue: u
s
e
i
sl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdool
a
ege
ev
a
lue_isl
.
c: extract_
b
a
s
e: us
e
isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n Ver
d
oolaege
v
e
r
ify
.
c: verify_p
o
int_data_init: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
verify
.
c
: verify_
c
o
ntext_set_b
o
unds:
use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rdoolaege
util
.
c: manu
a
l_count: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolae
g
e
t
est_
b
ound
.
c
:
result_data: use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
test_bound
.
c: verify_point
:
use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
s
a
m
ple
.
c: Polyhedron_Sample
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaege
polysign_isl
.
c: isl_c
o
nstraints_o
p
t: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
p
o
lysi
g
n_isl
.
c
:
isl_polyh
e
dro
n
_af
f
ine_
s
ign: use i
s
l_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolaege
polysign_
i
sl
.
c: extract_inequalit
i
e
s: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdool
a
ege
polysi
g
n_is
l
.
c:
extract_equali
t
ies: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Ver
d
oolaege
i
s
cc
.
c:
read_ident: us
e
isl
_
va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoo
l
ae
g
e
iscc
.
c: obj_at_index: use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verd
o
olaege
iscc
.
c: power:
use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven V
e
rdoolae
g
e
iscc
.
c: next_is_neg_int: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdo
o
la
e
ge
e
valu
e
_
i
sl
.
c
:
a
d
d_t
e
rm: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n Verdoolaege
e
value_isl
.
c: relation2pwqp: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
bou
n
d
.
c
:
s
plit_on_size: use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
bou
n
d
.
c: verify_point: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
basi
s
_red
u
cti
o
n
.
c: is
l
_Polyhedron_Re
d
uced_Basis:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolaege
barvinok_summate
.
c: veri
f
y_p
o
int: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
dool
a
e
ge
barvi
n
ok_en
u
merate
.
cc: ver
i
fy_po
i
n
t: use
i
s
l_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolaege
b
a
rvinok
.
cc: ca
r
d_
a
s_
s
um: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven V
e
rdoola
e
ge
is
l
_map_polylib
.
c:
u
se isl
_
va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
update is
l
f
o
r
isl_val abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
S
ven Verdoo
l
aeg
e
integ
r
a
te i
s
l
-
polylib module
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
Verdoo
l
aeg
e
b
a
rvinok_enum
e
rate
.
c
c:
exp
l
ic
i
tly i
n
c
l
ud
e
g
mp to avoi
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
Verdoolaege
barvinok_e
.
cc
:
explici
t
ly includ
e
gmp to
a
void incl
u
s
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaeg
e
test_bound
.
c: result_data_clear:
r
emo
v
e unused
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sv
e
n
V
erdoola
e
ge
e
value_isl
.
c: a
v
oid use of
i
sl_se
q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verd
o
ola
e
ge
test
.
c: re
m
ove redundant include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
S
ve
n
V
e
rdoolaege
update isl
to
v
ersion
0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
Sven Ver
d
oola
e
ge
e
v
alue_isl
.
c: avoid use of
isl_
v
ec interna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sve
n
Verdoolae
g
e
upda
t
e pet fo
r
support for recent cla
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verd
o
olaege
upd
a
te isl for s
u
ppor
t
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
Sven
Verdoolae
g
e
NTL_QQ: use NTL's Vec tem
p
late cla
s
s when available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verdoolaege
isl_pw_
q
polynomia
l
_sum: error out if in
p
ut does not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven
V
erdoolaege
iscc
.
c: pr
i
nt_code: d
o
not assume isl
_
union_map_get_spa
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
S
ve
n
Ve
r
d
o
ola
e
g
e
vertex_cone: check t
h
at dimension is at least one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolae
g
e
barvi
n
ok_sum_over_polytope: special
case 0D polytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
S
v
en Verdoolaege
summate
.
c:
s
um_with_equ
a
li
t
ies: extract
o
u
t sum_over
_
polyt
o
pe_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next