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
barvinok 0.28
2008-10-16
Sven Verdoolaege
b
arvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
READ
M
E: fix up installation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add f
i
les ge
n
erated
by
bison and flex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
upd
a
te p
o
l
yl
i
b
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdo
o
laege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
V
e
r
d
oo
l
a
e
ge
evalu
e
.
c: affine2eva
l
ue: r
e
duce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: e
v
alue_level_cmp: produce more con
s
istent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add anoth
e
r pape
r
r
e
ferring to t
h
e library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoo
l
aeg
e
pie
c
ew
i
se
_
l
s
t
.
h
:
a
v
o
id duplicate parameter n
a
me
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
evalue_read
.
c: fix minor bugs in
t
okenizer
commit
|
commitdiff
|
tree
2008-09-02
S
ven Verdoolaege
update o
m
ega for missing f
i
les in di
s
tribution
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
barvinok_enumerate_e:
a
void i
n
f
i
ni
t
e loop when
p
rese
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
m
o
v
e omeg
a
subd
i
r t
o
omega_in
t
erf
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdoola
e
ge
NTL_
Q
Q
.
cc: add st
d
lib
include f
o
r a
b
o
r
t
h
idden
in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
r
e
move gnu
l
i
b
link-warni
n
g mod
u
le complete
l
y
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoo
l
aege
upd
a
t
e poly
l
ib
w
ith extra f
i
eld in P
a
ra
m
_Polyh
e
dron
commit
|
commitdiff
|
tree
2008-07-30
S
v
en
Verdoolaeg
e
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdool
a
ege
update gnulib
f
unction to last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven
Verdoolaege
en
u
merator::handle: repla
c
e incor
r
ect delete by free
commit
|
commitdiff
|
tree
2008-06-17
S
v
en V
e
rdoolaege
update p
i
p
lib
for cor
r
ected Urs_p
a
rms hand
l
ing
commit
|
commitdiff
|
tree
2008-06-12
S
v
en Verdool
a
ege
configure:
u
se correct hea
d
er files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
rdoolaege
omega/o
c
c: on
l
y ope
n
d
ebug ou
t
put file if ther
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoola
e
ge
d
o
c
:
fix
t
ypo
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
Verdoolaege
add ed
i
tors to ITSL p
a
pers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
barvinok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
add some
test sets from itsl2008
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc:
a
d
d latest (accepted) pu
b
li
c
ations
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdool
a
e
ge
Makefile
.
am: add secti
o
n_array
.
h to distri
b
ution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
normalization
.
c
:
c
ompu
t
e
_
shifts: remove r
e
dundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
move Free_ParamNames
polylib and make par
a
m names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoo
l
aege
occ
:
add interface to barvinok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
rd
o
ola
e
ge
e
x
_
convert
.
cc
:
ext
r
act
e
x2evalue fr
o
m range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
doc: doc
u
ment m
o
re --summation methods for barvinok_summ
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c: rename "barvinok" summation method to "box
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
M
a
kef
i
le
.
am: check-euler: a
l
s
o check
l
a
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summ
a
te
.
c: barvi
n
ok_s
u
mm
a
t
e: handle products of polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c: export evalue_reord
e
r_ter
m
s
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoola
e
ge
bernstein: nume
r
ic2value: fix typo to allow co
r
rect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
do
o
lae
g
e
util
.
c: Factor_Cont
e
xt: extract
e
d
f
rom barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
s
ummate
.
c: b
a
r
v
inok_summate: ignor
e
floors indep
e
n
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
evalue
.
c: ad
d
evalue_floor
2
frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoo
l
ae
g
e
omega/occ: prin
t
barvinok
v
e
r
sion numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoo
l
aege
do
c
: update some references
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
doolaege
Mak
e
laurent base
d
summation the d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
summa
t
e
.
c: barvinok_sum
m
ate: h
a
ndle q
u
asi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
r
e
duce_e
v
a
lue:
e
xtrac
t
out evalue_red
u
ce_size
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoolaege
eva
l
ue
.
c: evalue_shift_vari
a
bles: al
l
ow shiftin
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summ
a
te
.
c:
h
andle e
q
ual
i
ties f
o
r all su
m
mation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
summate
.
c: barv
i
nok
_
summate:
m
ove common
parts of summa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ev
a
lue
.
c: evalue_
s
um: move sign hand
l
ing into
e
s
um_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
eg
e
barvinok_e
.
cc
:
enumerate_su
m
: use barvin
o
k
_
summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summa
t
e
.
c
: extract barvino
k
_
s
u
mm
a
te from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
r
e
na
m
e
summ
a
t
e
.
cc to b
a
rvinok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: reduc
e
_evalue: red
u
c
e floor with consta
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
ge
Add Laurent
expa
n
si
o
n b
a
s
ed summation
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolae
g
e
e
v
alue
.
c
: extend ee
q
ual t
o
h
a
ndle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
d
oolaege
binom
i
al
.
c: ext
r
act binom
i
al and facto
r
ial
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Ve
r
doolae
g
e
power
.
h: extract
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdo
o
laege
introduce evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
l
a
ttice_
p
oint
.
cc
:
export relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
attice_
p
oin
t
.
h
: make sure
c
o
rrect
evalu
e
s a
r
e used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
latti
c
e_
p
oint
.
cc
:
add
c
eiling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
u
til
.
c: internalize
u
gly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
la
t
tice_
p
o
int
.
c
c
: multi_monom/
l
attice_poi
n
t
s
: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
en Verdoolaege
d
o
c
: cl
e
an
u
p "ex
p
onential substitu
t
ion" se
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
e
r
doolaege
t
e
s
t_
b
ound
.
cc: a
v
oid los
s
of p
r
ecision cause
d
by conv
e
rsio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolae
g
e
b
a
rvinok_bo
u
nd: optionall
y
take maximal
size of doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdo
o
l
a
ege
b
arvinok_b
o
und
:
add
-
-itera
t
e options for e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: export
f
unctions
f
or
setting
a
nd clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
verify
.
c: evalue_o
p
timu
m
: a
l
low computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ber
n
stein
.
cc: eva
l
u
e2ex: don't assu
m
e
a
ll perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
bound
.
c
c
: fix call to
e
v
alue_conver
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
e{add,mul}_
p
eriodics: plu
g
m
e
mor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdool
a
ege
evalue_berns
t
ein
_
coefficie
n
ts: handle probl
e
m
s with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolae
g
e
update polyli
b
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n V
e
rdoolaege
latti
c
e
_
w
idth
.
c: ski
p
directions
tha
t
are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven Verdoolaege
Makefil
e
.
am: add cdd
9
4
e
-test
t
o distr
i
b
u
tion
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaeg
e
omega/occ: optionall
y
use parker
fo
r
c
o
mputing cardinal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
n
o
rmalization
.
c: s
k
ew
_
to_positive_orthan
t
: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Verdoolaege
omega/c
o
nvert
.
cc: relat
i
o
n2Domain: o
n
ly collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
occ: ad
d
dump for dumping in
b
arvinok_enu
m
erate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdool
a
ege
barv
i
nok_
e
numerate_e:
optiona
l
ly
u
s
e
parker'
s
method
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
standa
r
d_co
n
strain
t
s:
take constraints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoo
l
ae
g
e
normalizatio
n
.
c:
e
x
tr
a
ct standard_constrain
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
parke
r
/
count_s
o
l
uti
o
ns
.
cc: fix treat
m
ent
of existe
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoo
l
ae
g
e
compile
p
arker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
dd par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
euler
.
cc: evalue_derive
:
h
andl
e
const
a
nt p
o
l
y
nomial
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
some test s
e
ts from ca
s
es
2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
re
n
ame
barvino
k
_maximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
add a test fo
r
test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
ev
a
lue_
r
ange_p
r
opagation: rem
o
ve redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
g
e
test_bound: rec
o
r
d
number of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
test_bound: c
o
nve
r
t quasi
p
olyn
o
mial
s
to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test_bound:
compare pol
y
nomial boun
d
algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
verify
.
c: optim
u
m: handl
e
input evalu
a
ti
n
g to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oola
e
ge
v
e
rify
.
c: e
x
tra
c
t
evalue_optim
u
m from maxi
m
ize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
veri
f
y
.
c: extract c
o
mmon code f
o
r
v
erifying
o
peration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
evalu
e
_range_propa
g
ation: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
bar
v
inok
_
maximize: optionally use (ba
s
ic) r
a
nge
pro
p
agation
commit
|
commitdiff
|
tree
next