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
S
ven Verdoolaege
b
arvino
k
0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README: fix up i
n
stallation
i
nstructions
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolae
g
e
A
dd fi
l
es gen
e
rated
by biso
n
and fle
x
to the dis
t
ribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update pipl
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Verdoolae
g
e
evalue
.
c:
affine
2
ev
a
lue: r
e
duce coe
f
ficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: evalue_level_cm
p
: produce more consi
s
tent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
d
oc
:
add a
n
other paper referring to th
e
libr
a
ry
commit
|
commitdiff
|
tree
2008-09-16
Sven Ve
r
doolaege
piecewise_lst
.
h: av
o
id duplicate parameter
n
ame
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
evalue_read
.
c:
f
ix mi
n
or bu
g
s in tok
e
nizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdo
o
laege
update omega f
o
r miss
i
ng file
s
in distr
i
bution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
ba
r
vinok
_
enumerate_e: avoid infinite loop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ve
r
doolaege
m
ove omega subdir to ome
g
a_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL_QQ
.
cc: add stdlib
i
nclude f
o
r a
b
o
r
t hidden in NTL_ve
c
to
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
ool
a
ege
remove gnulib li
n
k
-
warning module completel
y
commit
|
commitdiff
|
tree
2008-08-24
S
v
en Verdoolaege
u
p
date
polylib wit
h
extra field
in Param_Polyh
e
dron
commit
|
commitdiff
|
tree
2008-07-30
S
v
e
n Verd
o
olaege
d
o
c
: fix typos
commit
|
commitdiff
|
tree
2008-07-20
S
ven Verdoolae
g
e
update gnulib fu
n
ction t
o
last pre-GPLv3 v
e
rsion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enum
e
r
a
tor::handle:
re
p
lace inco
r
re
c
t
d
elet
e
b
y
fr
e
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoo
l
aege
update piplib
for corrected Urs_
p
arms han
d
ling
commit
|
commitdiff
|
tree
2008-06-12
S
ven Verdool
a
e
g
e
configure: us
e
correct h
e
ader files in
c
ase of bundle
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaege
omega/occ:
o
nly
open
d
ebug output f
i
le if th
e
re
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
r
doolaege
d
oc: fix ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoola
e
g
e
add editors to ITSL
p
aper
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
er
d
oolaeg
e
a
d
d some
t
est sets fr
o
m itsl20
0
8 pa
p
e
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
doc: add latest (accepted
)
publications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
Makefile
.
am: add s
e
c
tion_array
.
h
to distributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
o
l
aege
normal
i
z
ation
.
c: com
p
ute_s
h
i
f
ts: remo
v
e redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
move Free_Pa
r
amNames polyli
b
and make param
na
m
es con
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
V
e
rdoolaege
occ: a
d
d interface
t
o ba
r
vinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
ex_conve
r
t
.
cc:
e
x
t
ract ex2evalue
f
ro
m
range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
doc: documen
t
more --summation methods for barvinok_su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoo
l
ae
g
e
opt
i
ons
.
c: rena
m
e "barvinok" summatio
n
method to "b
o
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erd
o
olae
g
e
Makefi
l
e
.
a
m: check
-
euler: also
ch
e
ck laur
e
n
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
su
m
mate
.
c: barvinok_summate
:
hand
l
e pro
d
uct
s
of
polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c: export evalue_reorde
r
_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
bernste
i
n: numeric2value:
f
i
x
ty
p
o to allow
c
orrec
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
uti
l
.
c:
Factor_Con
t
ext: extrac
t
ed
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
summat
e
.
c: barv
i
nok_su
m
mate:
i
gnor
e
floors in
d
ependen
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
add
e
v
a
lue_fl
o
or2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ome
g
a/occ:
print ba
r
vinok
version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
doc: update some r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
Make laurent base
d
summa
t
ion the d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
summate
.
c: barvinok_summate: handle q
u
asi-polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
redu
c
e
_evalu
e
: e
x
tract ou
t
evalue_redu
c
e_size
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ver
d
oo
l
aege
evalue
.
c: evalue_shift_vari
a
b
l
es: allo
w
s
hi
f
t
i
n
g
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
summ
a
te
.
c
:
handle equa
l
ities f
o
r all summ
a
t
i
on algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaeg
e
s
u
mmate
.
c:
b
arvinok_summ
a
t
e:
mov
e
common parts of summati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
evalue
.
c: evalue_s
u
m: mov
e
sign
h
a
ndling into esu
m
_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
barvi
n
o
k
_e
.
cc: e
n
umerate_sum: u
s
e barvinok_
s
um
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summa
t
e
.
c
:
ex
t
ract barvi
n
ok_summate
from barvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoola
e
ge
r
ename summate
.
cc
to barv
i
nok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoolaege
ev
a
lue
.
c: reduc
e
_evalue: reduce floo
r
with
const
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
Add La
u
r
e
nt expansion b
a
s
e
d summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
eval
u
e
.
c:
ext
e
n
d
e
equal
to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
binomia
l
.
c
: extract
binomial
and factorial
f
ro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolae
g
e
power
.
h: e
x
tr
a
ct from
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoola
e
g
e
intr
o
duce evalue_shift_
v
ariables
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
lattice_
p
oint
.
cc: exp
o
rt
rel
a
tive
_
coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olaeg
e
lattice_p
o
int
.
h
: make sure c
o
rrect eval
u
es a
r
e
use
d
commit
|
commitdiff
|
tree
2008-04-24
Sven
Ve
r
doolaege
latt
i
ce_p
o
int
.
cc: add ceili
n
g fu
n
c
t
ion
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoo
l
a
e
ge
util
.
c: i
n
tern
a
lize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n V
e
r
doolaege
lattice_
p
oint
.
cc: mu
l
t
i
_
m
onom
/
lattice_points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ve
r
doolaege
doc: clean up "expo
n
ential sub
s
titution"
s
ection
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bo
u
nd
.
cc: avo
i
d loss of precision ca
u
sed by conversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
bar
v
inok_bound: optionally take maximal s
i
z
e
of
doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
barv
i
nok_b
o
und:
a
dd --iterate options f
o
r evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
oolaege
verify
.
c: e
x
port functions f
o
r se
t
ting and c
l
ear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
v
e
r
ify
.
c: evalue_opt
i
mum: a
l
low compu
t
ati
o
n of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
er
d
oolae
g
e
b
ernstei
n
.
cc
:
eval
u
e2
e
x:
do
n
't assume
a
ll perio
d
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
oolaege
bound
.
cc
:
fi
x
call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
aege
e
{
add,mul}
_
period
i
cs: pl
u
g mem
o
r
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
evalue_berns
t
ein_co
e
ffi
c
i
e
nts: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
update polyli
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdool
a
ege
lattice
_
width
.
c:
s
kip d
i
rections that a
r
e identica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolae
g
e
Makefile
.
am: add cd
d
94e-test
to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omeg
a
/o
c
c: optionally use parker for
c
o
m
p
utin
g
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven V
e
rdool
a
ege
normalization
.
c: skew_to_posit
i
ve_ort
h
an
t
: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
ola
e
ge
omega/convert
.
cc: relation2Domain: only collect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
occ:
add dump for d
u
m
ping in barvin
o
k
_
e
n
u
merate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rdoolae
g
e
ba
r
vi
n
ok_
e
numerate_e:
o
ptionally
u
se parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
standard
_
constraint
s
: take constr
a
i
n
ts
i
nstead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: ext
r
act s
t
an
d
ard_c
o
nstraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoo
l
aege
parker/count_solutions
.
cc
:
fix t
r
eatme
n
t of exi
s
tentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
r
doola
e
ge
compile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdool
a
ege
eu
l
er
.
cc: evalue_derive: handle constan
t
po
l
ynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
a
d
d some tes
t
sets
from cases 20
0
4 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
rename bar
v
inok_maximize to barvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
add a test for t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_range_propagation: rem
o
ve
redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
t
e
st
_
bound: re
c
or
d
num
b
er o
f
polyno
m
ials a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
test_bo
u
nd: con
v
ert quasipolyno
m
i
a
ls t
o
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
r
doo
l
aeg
e
test_bound:
c
om
p
are polynomial bound algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
v
e
rify
.
c:
o
p
timum: handle input evaluating to n
e
gat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract evalu
e
_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c:
e
x
tract
common code for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
eva
l
ue_rang
e
_
p
r
opagat
i
on:
a
dd monotonic
i
ty tes
t
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok_
m
aximize: opt
i
onally use (bas
i
c
)
range propaga
t
ion
commit
|
commitdiff
|
tree
next