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
Include empty .c file in libbarvinok if GiNaC was not found.
2008-07-22
Sven Verdoola
e
ge
Include
e
m
p
t
y
.
c file in libbar
v
in
o
k
i
f
GiNaC
w
as
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correctly refl
e
c
t extr
a
sources for l
i
bbarvinok an
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoola
e
ge
fi
x
typo in comme
n
t
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laeg
e
lib/
s
tring
.
in
.
h: copy _
_
restri
c
t h
a
n
d
ling from
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
ve
n
Ver
d
oolaege
update
g
nulib fun
c
tion to last
pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumerator:
:
handle: re
p
lac
e
in
c
orrect
d
e
lete by free
commit
|
commitdiff
|
tree
2008-06-17
S
ven
V
erdoolaege
u
p
d
at
e
pi
p
lib for correcte
d
Urs_parms
han
d
ling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoola
e
g
e
configur
e
: use cor
r
ect header files in case of
b
undle
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
laege
c
onfigure
.
i
n
:
fix c
h
ec
k
f
or c
o
de_gen libr
a
ry availabili
t
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
o
mega/occ: only open debu
g
o
u
tput file if
there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
omega/Ma
k
efile
.
am: avoid bi
s
on's -o op
t
ion as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verd
o
o
l
aege
range
.
cc: add missing
i
nclude o
f
alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaeg
e
d
oc
:
f
ix typo
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n
V
erdoo
l
ae
g
e
add editors to ITSL pape
r
s
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
use argp
for argument par
s
ing in b
a
rvinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verd
o
olae
g
e
prop
e
rly
handle NT
L
CP
P
FLAGS and LDFLA
G
S
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verdo
o
laege
basis_reducti
o
n_t
e
m
pl
.
c: add missing include
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdool
a
ege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add som
e
test
sets
f
rom i
t
s
l20
0
8 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
oc: add latest (accepted) p
u
blic
a
tio
n
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
lae
g
e
M
a
k
e
f
i
le
.
a
m:
a
dd
section_array
.
h
to dis
t
rib
u
t
ion
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
no
r
malization
.
c: c
o
m
p
ute_s
h
i
f
ts:
r
emove redundant retu
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Fre
e
_P
a
r
am
N
ames poly
l
ib and make
p
ar
a
m names co
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ve
r
d
o
ola
e
ge
occ: add inter
f
a
c
e to bar
v
inok_
s
umma
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
do
o
laege
ex_convert
.
cc:
e
x
trac
t
ex2evalue
from
r
a
nge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
d
o
c: document more --summa
t
ion
methods fo
r
ba
r
v
i
nok_
s
u
m
m
ate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ve
r
dool
a
e
g
e
options
.
c: ren
a
me "barvin
o
k"
s
umm
a
tion met
h
od to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
oolae
g
e
Makefil
e
.
am:
check-eul
e
r
: also ch
e
ck laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
s
u
mmate
.
c: barvinok_summ
a
t
e
: han
d
le products of pol
y
tope
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
e
v
al
u
e
.
c
:
export eval
u
e_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoola
e
ge
bernst
e
in: numeric2v
a
lu
e
: fix
t
ypo to
a
llow cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
olaege
util
.
c:
F
a
ctor_C
o
ntext: e
x
tracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
er
d
o
olaege
summate
.
c: barvinok_summate: ignore f
l
oors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
ev
a
lue
.
c: add evalue_floor2fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolae
g
e
om
e
ga/occ: print barvinok ve
r
sion numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolae
g
e
d
o
c
:
u
p
date so
m
e re
f
eren
c
es
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laurent based
summati
o
n
the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
su
m
m
a
te
.
c
:
barvi
n
ok_summ
a
t
e
: handle quasi-
p
olynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
reduc
e
_evalue: extrac
t
ou
t
evalue_red
u
ce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
evalue
.
c: evalue_sh
i
ft_variables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
su
m
mate
.
c: handl
e
eq
u
al
i
ties for all summatio
n
algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summate
.
c: barvinok_summate: move
c
ommon
parts of su
m
mation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolae
g
e
evalu
e
.
c: evalue_sum:
m
o
v
e
s
i
g
n
h
a
n
dling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
barvi
n
ok
_
e
.
cc: enumer
a
te_sum: use b
a
rv
i
nok_s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
rd
o
olaege
summate
.
c: extra
c
t
barvinok_summate from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
rena
m
e summate
.
cc to barvinok_summ
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
rdoo
l
aege
evalue
.
c:
reduce_evalue
:
r
e
du
c
e
f
loo
r
w
i
th cons
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
erdoola
e
ge
A
dd Laurent expan
s
ion based s
u
mmation
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
V
erdoolaege
e
v
alue
.
c
:
exten
d
e
equal
to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
b
in
o
mial
.
c: extract
b
inomial and fact
o
r
i
al from
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
po
w
er
.
h: extract from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introd
u
ce eva
l
ue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
l
a
t
tice_point
.
cc:
e
x
p
ort
relative_coordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
d
o
ola
e
ge
l
a
t
tic
e
_point
.
h:
m
a
ke sure c
o
rrect e
v
alues are
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
l
a
t
tice
_
point
.
cc:
ad
d
ceil
i
ng function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: i
n
t
e
rnalize
u
gly bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n Verd
o
olaege
lattice_point
.
cc: multi_mon
o
m/
l
attice_points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
en Verd
o
o
l
a
e
ge
doc: clean up "ex
p
onential
sub
s
titution" section
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erd
o
olaege
test_bo
u
nd
.
cc:
a
void loss of precision c
a
u
sed by
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
barvinok
_
b
o
und: optio
n
ally take maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
barvin
o
k_bo
u
nd:
a
dd -
-
iterat
e
opti
o
ns
f
or
e
va
l
uating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: export functions for set
t
i
n
g a
n
d
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoola
e
g
e
verify
.
c: ev
a
lue
_
o
p
timum: allow comput
a
tion
o
f optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
bernstein
.
cc: evalue
2
ex: don't assume all p
e
riodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
doolaege
bound
.
cc:
f
ix cal
l
t
o evalue
_
conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalu
e
_bernstei
n
_c
o
eff
i
cien
t
s
: hand
l
e problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Verdoolae
g
e
latti
c
e_width
.
c:
s
kip dir
e
ct
i
ons t
h
a
t a
r
e
i
dent
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ve
r
do
o
laege
Makefi
l
e
.
am: a
d
d cdd94e-te
s
t to distribut
i
on
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdo
o
laege
o
m
ega/occ: opti
o
nally
use p
a
rker for computing cardi
n
ali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
n
ormalization
.
c: skew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
omega/
c
onvert
.
cc: r
e
lation2Domain
:
only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolae
g
e
o
cc
:
add
d
u
mp for d
u
mping
in barvinok_enu
m
erat
e
_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
barvinok_e
n
umerat
e
_
e
: op
t
i
o
nally us
e
p
arker's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
standard_cons
t
r
a
ints:
t
ake constraints instead of
p
o
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ve
r
doolaege
n
ormaliz
a
t
i
o
n
.
c: extr
a
ct standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoo
l
aege
parke
r
/coun
t
_
s
olut
i
ons
.
cc: fi
x
tre
a
tment of ex
i
stentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolae
g
e
compile
p
a
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Add par
k
er
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolae
g
e
eul
e
r
.
cc:
evalue
_
derive: hand
l
e constant polyno
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
add some test sets
f
rom c
a
ses 2004
a
nd cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
rena
m
e
b
arvinok_maxi
m
i
ze t
o
barvin
o
k_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
add a
test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
evalue_range_propagation: remove redunda
n
t polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
test_boun
d
: record numbe
r
of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoola
e
ge
t
est_bound: conve
r
t
q
uasi
p
o
l
y
n
omials to pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
e
ge
test_bound: compa
r
e
p
olynomial
bound algo
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c
:
optimum: handle
i
n
put evaluating
t
o
ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
v
e
rify
.
c: extract evalue_optimu
m
from
m
aximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c:
e
xtrac
t
common code for veri
f
ying op
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_range_pro
p
ag
a
tion:
a
dd monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok
_
max
i
mize: optionally use (basic) r
a
nge propagat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
o
o
l
aege
Add some
s
u
p
p
ort for d
e
alin
g
with evalue
s
t
hat
r
epresent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
eg
e
barvin
o
k_enumerate: support us
e
of Euler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
d
oolaege
i
m
plem
e
n
t
Bernoulli_s
u
m
as conversion f
r
om un
w
eig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoul
l
i
_
sum_evalue: expl
o
i
t int
e
ger bounds
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doo
l
aeg
e
bernoulli
.
c:
p
r
otect
s
hared evalue from mo
d
ifications
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
V
erdoolaege
te
s
t Bernoulli s
u
ms based exact
e
numeration
commit
|
commitdiff
|
tree
next