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 Zi
n
e
nko
configu
r
e
.
ac: a
l
low builddir
f
or
N
TL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-24
Oleksandr Zinenko
configure
.
ac: allow builddir for
G
MP
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven V
e
rdoolaege
i
s
c
c
.
c
:
u
se isl_stream
_
ge
t
_ct
x
instead of
r
ead
i
ng ctx
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
iscc
.
c: use isl_stream
_
i
s
_empty i
n
stead of
r
eadin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verd
o
olaege
upd
a
te isl for isl_
s
tream_get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sv
e
n Verdoolae
g
e
u
pda
t
e pet fo
r
support for rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Ver
d
oolaege
u
p
date
i
sl for support fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdo
o
laege
summate
.
c: avo
i
d use
o
f
isl_union_pw_qpoly
n
o
mial_a
d
d_pw_
q
p
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdool
a
e
g
e
barvinok
.
cc: avoi
d
u
se o
f
isl_union_
p
w
_qpolynomial_
a
dd_pw_
q
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven Ver
d
oolaege
isl_union_set_la
t
tice_w
i
d
th: c
h
e
ck w
h
et
h
e
r
input
is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
S
v
en Verdoolaege
s
ummate
.
c: jo
i
n_compatib
l
e: avoid us
e
of und
o
cumen
t
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven
V
e
r
d
oolae
g
e
summate
.
c:
join_
c
o
m
patible: rename "dim"
v
a
riab
l
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en
Verdoo
l
aege
upd
a
t
e pet to version 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdoola
e
ge
update
i
sl
t
o version 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-14
Sven Ve
r
doolae
g
e
RE
A
DME: updat
e
contact informati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-09
Sven Verdo
o
laege
update isl for change in isl_map_subtract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
update p
e
t
for
support for rec
e
nt cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ver
d
oolaege
u
pdate isl f
o
r supp
o
r
t for rece
n
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolae
g
e
lattice_width
.
c: avoid use of deprecated function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-22
Sv
e
n Verdoolaege
b
a
r
vinok_enumerate_wit
h
_options: handle context constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
Sven Verdoolaege
d
o
c: add another paper
r
efering to the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
Sve
n
Verdoolaege
i
s
l
_
P
o
lyhedron_R
e
duced_Basis
:
av
o
i
d
double free of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-03
Tho
m
as Kahle
Update th
e
glpk ca
l
ls to
t
he new gl
p
_ API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
Sven Verdoolaege
iscc:
also d
i
sallow source operation
w
h
en --no
-
io is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
barvinok 0
.
37
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
ege
upda
t
e pet
to version 0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update isl
t
o version 0
.
1
3
commit
|
commitdiff
|
tree
2014-04-13
Tobias
G
ros
s
er
Add
missi
n
g include of isl/
a
ff
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-04
S
v
en Verdoolae
g
e
u
pd
a
te
p
et
fo
r
sorti
n
g of a
r
rays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
isl_param_util
.
c:
d
rop e
x
pr2ver
t
ex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verd
o
olaege
u
pd
a
t
e isl for c
h
a
nge in isl_vertex ins
p
ecto
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoola
e
ge
add i
s
l_multi_a
f
f_to_p
o
l
yli
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
S
ven Ve
r
dool
a
ege
iscc: add
m
inimal support fo
r
i
s
l_obj_pw_multi
_
af
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
S
v
en
V
erdoolaege
upd
a
t
e isl for isl_obj_pw_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdoolaege
gen_fun:
:
a
dd_un
i
on: context of
r
esul
t
should be th
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sven
V
erdoolae
g
e
r
e
duce_e
v
a
l
u
e: reduce polynomi
a
l e
x
p
r
essions in
d
enomin
a
tor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
S
v
en
Verdoolaege
u
pdate
p
e
t
for support for rec
e
nt c
l
a
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
S
v
e
n
Ver
d
oolaege
updat
e
isl for suppo
r
t for
recent c
l
ang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaege
u
p
date pe
t
for change in
p
et_scop_collect
_
{
r
eads
,
w
rites}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
S
v
en
V
erdoolaege
upda
t
e isl for isl_id_
t
o_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sv
e
n
Ve
r
doolaege
configure
.
a
c:
u
se AX_DETECT_GIT
_
HEAD inste
a
d of in
l
ined
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-16
Sven Ve
r
doolaege
d
o
c:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-05
Sven Verdoolaeg
e
AX_SU
B
MODULE: allow
.
git file in submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven
Verdoolaege
updat
e
pet f
o
r support for
r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven
Verdoolaege
update
isl for support
f
or re
c
ent
clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
verif
y
_point_data
_
init: use i
s
l_set_car
d
to count eleme
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sve
n
Ve
r
dool
a
ege
test_approx: return EXIT_FA
I
LURE
on er
r
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Ver
d
oo
l
aege
test_approx: use isl
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven
V
erdoolaege
cle
a
n
u
p
test
s
/
e
hrhart/*
inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verd
o
olae
g
e
e
v
a
l
ue_isl
.
c
:
relati
o
n2pwqp: handle
n
on-parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
update isl for
isl_
*
_eval
ret
u
r
ning an isl_val
i
nst
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sv
e
n Verdo
o
la
e
ge
upda
t
e
isl for isl_
s
trea
m
_
read_obj
r
e
tur
n
ing
i
sl_obj_val
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
update pet to version
0
.
04
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdoolaege
configure
.
ac
:
repl
a
ce --wi
t
h-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
V
e
rd
o
olaeg
e
update isl t
o
vers
i
o
n 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
iscc
.
c: a
v
oid use of isl_token in
t
erna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
e
value_i
s
l
.
c: d
i
v2evalu
e
: use i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoola
e
ge
evalue_isl
.
c: isl_pw_qpolynomial_from_
e
val: u
s
e
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Ve
r
do
o
laege
evalue_isl
.
c: i
s
l_qpo
l
ynomia
l
_from_eval
u
e: u
s
e is
l
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoo
l
aeg
e
evalue_isl
.
c: extract_base: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
e
rdoolaege
v
erify
.
c:
verify_poin
t
_data_init: use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
verify
.
c: ver
i
fy_
c
ont
e
xt_set_bounds: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
u
til
.
c:
manua
l
_c
o
unt: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
t
e
s
t_
b
o
u
n
d
.
c
:
result_data: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
e
rd
o
olaege
test_bound
.
c: verify_poin
t
:
u
s
e i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaege
sample
.
c:
P
olyhedron_Sample:
use isl
_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
poly
s
ign_isl
.
c: isl_constraints_opt: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
p
o
lysign_
i
sl
.
c: isl
_
po
l
yhed
r
on_affin
e
_sign: u
s
e isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
V
e
rdoolaege
po
l
ysig
n
_
i
sl
.
c
:
extract_inequalities: us
e
isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
polysign
_
i
sl
.
c
:
extract_equ
a
lities: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaege
iscc
.
c: rea
d
_id
e
nt:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdool
a
ege
iscc
.
c: ob
j
_a
t
_index
:
use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaeg
e
iscc
.
c
:
p
o
wer
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
ool
a
ege
iscc
.
c:
next_is_neg_
i
n
t: use i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rd
o
o
laege
ev
a
lue_i
s
l
.
c:
add_term: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
o
l
aege
evalue
_
isl
.
c: relat
i
on2pwqp: use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoo
l
aege
bound
.
c: split_on_size:
u
s
e is
l
_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
bound
.
c: verify_
p
oint: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoo
l
aege
basis_reduction
.
c: isl_Polyhedron
_
R
e
duced_B
a
sis: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Ver
d
oo
l
a
ege
barvinok_sum
m
at
e
.
c: veri
f
y_point: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
b
a
rvinok_enumerate
.
cc
:
verify_point: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaeg
e
barvinok
.
cc: card_as_sum: use isl
_
va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
isl_map_polyli
b
.
c: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
u
p
date isl for
isl_val abstr
a
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven
V
erdoolaege
int
e
grate isl
-
poly
l
ib module
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
v
en
Verdoolaege
barvinok_enum
e
r
ate
.
cc: explicitly
i
nclude gmp
to avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
e
rdoolaege
barv
i
nok_e
.
c
c
:
e
xplicit
l
y include gm
p
to a
v
o
i
d inclusion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sve
n
V
e
rdoolaege
test_
b
ound
.
c: result
_
data_clear: r
e
move unus
e
d var
i
a
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdoolaege
e
v
alue_isl
.
c
:
a
v
oid
us
e
of isl_se
q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdoola
e
ge
tes
t
.
c: remove re
d
u
ndan
t
i
nclude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sven V
e
rd
o
olaege
u
p
date isl to
version 0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
Sven Ve
r
d
oolaege
evalue_isl
.
c: avoid use of isl_vec
intern
a
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
S
v
en Verdoolaege
update pet for support for
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sve
n
V
e
rdoola
e
g
e
updat
e
isl f
o
r
support fo
r
recent cl
a
ng
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
S
ven V
e
rdoolaege
NTL_
Q
Q: use NTL's
Vec template class when
availabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verdoolaege
is
l
_pw_qpolynomial_sum: er
r
or out if
input does n
o
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
S
v
en Verdoolaege
iscc
.
c: print_code: do not assume isl_un
i
on_map_get_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdo
o
l
ae
g
e
v
e
rte
x
_cone:
che
c
k th
a
t
d
imension is
a
t le
a
s
t one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
barvin
o
k_sum_over_polyto
p
e: special
cas
e
0D
p
olytope
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoola
e
ge
summa
t
e
.
c: sum_with_e
q
ualiti
e
s: extract
o
ut sum_over_polytope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next