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
version 0.19
2006-01-20
S
v
en Verdo
o
la
e
ge
versi
o
n 0
.
19
commit
|
commitdiff
|
tree
2006-01-20
Sv
e
n
V
e
r
d
oola
e
ge
add some requ
i
red files to distributi
o
n
commit
|
commitdiff
|
tree
2006-01-18
Sven Ve
r
doolaege
Use c
o
rrect
include di
r
for omega headers
.
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdoolaege
piptest: declare va
r
iable at start
o
f code block
.
commit
|
commitdiff
|
tree
2006-01-18
Sv
e
n Ve
r
doolaege
o
c
c: c
o
rrect calcula
t
ion of
d
i
mension
.
commit
|
commitdiff
|
tree
2006-01-13
Sven Verdoo
l
aege
export EVAL
U
E
_
I
S
_O
N
E ma
c
ro
commit
|
commitdiff
|
tree
2006-01-11
Sven
V
erdoola
e
ge
ev
a
lue/print_
e
node: create
n
a
mes
if none are pr
o
v
ided
.
commit
|
commitdiff
|
tree
2006-01-07
S
ven Verdoolaege
oc
c
:
add
"ranking" operation
.
commit
|
commitdiff
|
tree
2006-01-07
Sv
e
n V
e
rdoolaege
occ/card: fix memo
r
y
lea
k
.
commit
|
commitdiff
|
tree
2006-01-07
Sv
e
n Verdoolaege
o
cc
:
compute number of existe
n
tial variables
correctly
.
commit
|
commitdiff
|
tree
2006-01-04
Sven
Verdoolae
g
e
i
s
_z
e
ro_on: fix invalid read
.
commit
|
commitdiff
|
tree
2006-01-04
Sven
V
erdoolaege
P
olyhedron_is_infinite: simplify and war
n
that it may
.
.
.
commit
|
commitdiff
|
tree
2006-01-04
Sven Verdoolaege
occ: rename "count" operatio
n
to "
c
ard"
.
commit
|
commitdiff
|
tree
2005-12-28
Sve
n
V
erdool
a
ege
occ: add "count" operatio
n
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdool
a
e
g
e
omega
/
parser
.
y: rename some const
a
nts
.
commit
|
commitdiff
|
tree
2005-12-28
Sv
e
n
V
e
rdoolaege
omega
/
parse
r
.
y
: use free to free malloc'
e
d memory
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdoolaege
Co
m
pil
e
topdir before omega subdir
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdoolaeg
e
barv
i
nok/barvinok
.
h:
i
nclude barvinok/eval
u
e
.
h
commit
|
commitdiff
|
tree
2005-12-28
Sven
Verdoolaege
barvin
o
k/e
v
a
l
ue
.
h:
un
d
efine divide fro
m
po
l
ylib's
a
r
i
thmetique
.
h
commit
|
commitdiff
|
tree
2005-12-27
S
v
en Verdoolaege
occ:
base o
m
ega calculator
.
commit
|
commitdiff
|
tree
2005-12-27
S
v
en Verdoolaege
Files co
p
ied fro
m
ome
g
a_calc
.
commit
|
commitdiff
|
tree
2005-12-27
Sven V
e
rd
o
o
laege
eadd_partitions: try
t
o com
b
i
ne mu
l
t
iple
d
om
a
ins wit
h
.
.
.
commit
|
commitdiff
|
tree
2005-12-27
Sven
V
erdoolaege
util: ad
d
D
o
mainConcat
.
commit
|
commitdiff
|
tree
2005-12-27
Sve
n
Ve
r
doolaeg
e
barvinok_
e
numerate: us
e
POL_NO_D
U
A
L if available
.
commit
|
commitdiff
|
tree
2005-12-27
Sven
V
erdoola
e
ge
Don't ca
l
l Pol
y
hed
r
on2
P
a
ram
_
Simpl
i
fiedD
o
ma
i
n with POL_NO_
D
UA
L
.
commit
|
commitdiff
|
tree
2005-12-26
Sven Verdoolaege
R
egression tes
t
.
commit
|
commitdiff
|
tree
2005-12-26
Sven
V
e
r
doolaege
M
o
re u
s
e of POL
_
N
O_DUAL
.
commit
|
commitdiff
|
tree
2005-12-26
Sven Verd
o
o
laege
barv
i
nok_
e
numerate_ev: com
p
ute ver
t
i
c
e
s of polytope
.
.
.
commit
|
commitdiff
|
tree
2005-12-26
Sven Ver
d
oo
l
aege
reduce_ev
a
l
u
e
:
ensure a
d
o
main is rea
l
ly emp
t
y before
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
Sv
e
n Verdo
o
laege
piputil: rem
o
ve
u
n
needed functional
i
t
y
.
commit
|
commitdiff
|
tree
2005-12-08
Sven Verdoola
e
ge
barvinok_enumera
t
e
_
pi
p
: simply project o
u
t existential
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
Sven
V
erdoo
l
aege
Update piputil
.
c with some new functi
o
nality currently
.
.
.
commit
|
commitdiff
|
tree
2005-10-27
Sven
V
erdoolaege
piputil
.
quast2poly: pass
in t
h
e number of
P
IP parameters
commit
|
commitdiff
|
tree
2005-10-27
Sven Verdoolaege
Also test the --pip v
a
ria
n
t of barvinok_ehrhart_
e
.
commit
|
commitdiff
|
tree
2005-09-15
Sven Ver
d
o
olaege
add
README
.
S
o
lar
i
s t
o
d
i
str
i
bution
commit
|
commitdiff
|
tree
2005-09-15
Sven Verdoolae
g
e
Update Cha
n
geLog
.
commit
|
commitdiff
|
tree
2005-09-15
Sven Verdoola
e
ge
Bump version
.
commit
|
commitdiff
|
tree
2005-09-12
Sven Verdool
a
eg
e
barvin
o
k_lexsmaller_ev
:
treat extra
variab
l
es as ex
i
stential
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoolaeg
e
veri
f
y
_
lexsmaller: add missing stat
i
c qualifier
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoolaege
verify_
l
exsmaller: s
u
pp
o
rt existen
t
ial
vars in input
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Ve
r
doolae
g
e
check_l
e
xsma
l
ler: fix error
outpu
t
.
commit
|
commitdiff
|
tree
2005-09-08
S
v
en Ver
d
oolaege
b
a
rvinok_ranking
:
rename to bar
v
inok_lex
s
maller
commit
|
commitdiff
|
tree
2005-09-08
Sve
n
Verdoolaege
barvinok_ranking: adapt to ne
w
calling con
v
ention of
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolaege
verify_ranking: on
l
y compile if
LexSmalle
r
fou
n
d in
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sv
e
n
Verdoolaege
ParamLine_Length: c
o
r
rect
n
u
mber of para
m
eters in
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sv
e
n Ve
r
doolaege
Use PolyLib's cop
y
of D
o
mainConstraintSim
p
li
f
y if available
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
Verdoolaege
Add a test for
b
arvinok
_
ehrhart_e
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoo
l
aege
Pro
p
agat
e
r
e
naming fr
o
m RankingPolytopes to LexSm
a
ller
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Ver
d
oolaege
pip_lexmi
n
max: fix computati
o
n of
lexmax (l
i
ghtly
t
ested)
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
V
erdoolaege
p
ip_
l
exmi
n
max
:
allow comp
u
t
ati
o
n
of lexmax (untested)
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
V
erdoolae
g
e
piputil
.
c: ma
k
e debuggin
g
outp
u
t
depend o
n
preproc
e
ssor
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolaege
piputil
.
c: incl
u
de piputil
.
h
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdo
o
l
aege
pip_lexmin
:
a
l
low position
o
f m
i
n
i
miz
e
d
v
ars
t
o be
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
V
erd
o
ola
e
ge
barvinok_enumerate_e: mak
e
sure the inp
u
t
p
o
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2005-09-06
Sven Ver
d
oolaege
piputil
.
c: de
a
l with partial Polyhedrons (untested)
.
commit
|
commitdiff
|
tree
2005-09-04
Sven Verdoolaege
verify_ranking
.
c: add some sanit
y
checks
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Verdoo
l
aege
New verify_
r
a
n
k
i
n
g appl
i
cation
.
commit
|
commitdiff
|
tree
2005-09-03
S
v
en
Verdoo
l
aege
barvi
n
ok
_
cou
n
t: after f
a
ctorization, P may
b
e a union
.
.
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Ver
d
oolaege
E
numeration_Free: domain m
a
y be a uni
o
n of polyhe
d
ra
.
commit
|
commitdiff
|
tree
2005-09-03
Sven
Verd
o
olaeg
e
barvinok_ranking_ev: fix
t
ypo
commit
|
commitdiff
|
tree
2005-08-22
Sven Verdoolaege
barvinok_enumerate: on
l
y
compute tr
u
e
c
ontext
i
f polyt
o
pe
.
.
.
commit
|
commitdiff
|
tree
2005-08-21
Sven V
e
rdoolaege
M
ove installed h
e
ade
r
s in
t
o
s
e
p
arate dir
e
ctory
.
commit
|
commitdiff
|
tree
2005-08-21
Sven Verd
o
ola
e
ge
Rena
m
e ev_o
p
erati
o
n
s
to evalue
.
commit
|
commitdiff
|
tree
2005-08-21
Sven Verdoolaeg
e
Remove un
u
sed
files
.
commit
|
commitdiff
|
tree
2005-08-21
Sven Verdoolaege
Merg
e
"barvino
k
2
.
h
"
into
"
barvinok
.
h"
.
commit
|
commitdiff
|
tree
2005-08-20
Sv
e
n Verdo
o
laege
D
e
clare
b
arvinok_r
a
nking uncon
d
itionally
.
commit
|
commitdiff
|
tree
2005-08-20
Sven Verdoolaege
barvinok_enumerate:
a
lway
s
co
m
pute tru
e
c
o
n
t
ext even
.
.
.
commit
|
commitdiff
|
tree
2005-08-18
Sve
n
Verdoola
e
ge
bar
v
inok_
r
a
n
king: barvino
k
version
o
f
Polyhe
d
ron_Ranking
commit
|
commitdiff
|
tree
2005-08-18
Sve
n
Verd
o
o
laege
E
numerati
o
n_
F
r
ee: avoid compi
l
er w
a
rning
.
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdo
o
laege
test: u
s
e _ev variant o
f
barvinok_enumerate
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolaege
Rem
o
ve PolyLib's reduce_e
v
alue
.
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoo
l
aege
t
r
iangul
a
rize_cone: rename to triang
u
l
ate_co
n
e
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolaege
R
e
move
{
Par
a
m,}Polyhed
r
on_Reduce
commit
|
commitdiff
|
tree
2005-08-17
Sven Verdoolaege
So
l
a
ris: wa
r
n about libt
o
o
l
pr
o
blem
.
commit
|
commitdiff
|
tree
2005-08-17
Sven Verdoolaege
bar
v
in
o
k_enumerate: mak
e
sure the
i
nput
p
olyhedr
a
are
.
.
.
commit
|
commitdiff
|
tree
2005-08-17
Sven Verdoolaege
barvinok
_
enumerate: fac
t
or polyhe
d
ron in
t
o
indep
e
n
d
ent
.
.
.
commit
|
commitdiff
|
tree
2005-08-15
Sven Verdoo
l
aege
R
e
d
o
enumera
t
i
o
n if rando
m
v
e
c
tor turn
s
ou
t
to be bad
.
commit
|
commitdiff
|
tree
2005-08-12
Sven Verdoolaege
veri
f
_ehrhart:
only do
manua
l
c
ou
n
t
f
or par
a
meter values
.
.
.
commit
|
commitdiff
|
tree
2005-08-12
Sven
V
erdoo
l
aege
Polyhedron_Fac
t
or: don
'
t
i
g
nore p
i
vot rows
.
commit
|
commitdiff
|
tree
2005-08-12
Sv
e
n Verdoolaege
Mo
r
e pr
o
duct poly
t
op
e
t
ests
.
commit
|
commitdiff
|
tree
2005-08-11
Sven Verdoolae
g
e
barv
i
no
k
_coun
t
: ignore next pointer
of P argument
commit
|
commitdiff
|
tree
2005-08-11
S
ven Verdoolaege
Redo s
o
me checks if some c
o
n
st
r
aints
tu
r
ned out t
o
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
Sven Verdoolaege
test: postpone computat
i
o
n
of d
u
a
l if allow
e
d by Po
l
yLib
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Ver
d
oolaege
Avoi
d
duplicate
free
s
in ~bf
e
_t
e
rm()
.
commit
|
commitdiff
|
tree
2005-08-10
S
v
en
V
erdo
o
laege
c
heck
_
poly: fix memory l
e
a
k
.
commit
|
commitdiff
|
tree
2005-08-10
Sven
V
erdoolaege
Remove
unus
e
d variables
.
commit
|
commitdiff
|
tree
2005-08-10
S
v
en
V
erdoolaege
ba
r
v
i
n
ok_c
o
unt: fa
c
tor polyhedron into ind
e
pendent
.
.
.
commit
|
commitdiff
|
tree
2005-08-10
Sve
n
Verdool
a
ege
ba
r
v
inok_c
o
un
t
: properly ha
n
dl
e
0D polytopes
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdo
o
laege
bar
v
inok_
c
o
u
nt
.
c:
r
e
m
ove ma
g
ic constant
commit
|
commitdiff
|
tree
2005-08-08
Sv
e
n V
e
rdoolaeg
e
b
a
rvinok_
c
ount
:
postpone computation of dual if allow
e
d
.
.
.
commit
|
commitdiff
|
tree
2005-08-08
Sven Verdoolaege
Polyhedron_Reduce: compute re
d
u
ct using C
o
nstraint
s
2Polyhedron
commit
|
commitdiff
|
tree
2005-08-08
Sven Verdoolaege
Merge
with li
a
c
s dev
e
lopment
.
commit
|
commitdiff
|
tree
2005-08-03
Sven
Verdoolae
g
e
Fix spar
s
e warnings
.
commit
|
commitdiff
|
tree
2005-08-03
Sven Verdoolaege
Propagate spell
i
n
g
corr
e
ctio
n
from PolyLib
.
commit
|
commitdiff
|
tree
2005-08-02
Sven Verdoolaege
Fix memory leak
.
commit
|
commitdiff
|
tree
2005-08-02
Sve
n
Ve
r
doola
e
ge
verify_m
a
in
.
c
c: anot
h
er memory clea
n
up
.
commit
|
commitdiff
|
tree
2005-08-02
Sven Verdoolaege
Redo whole computation i
f
r
an
d
o
m vecto
r
t
ur
n
s out to
.
.
.
commit
|
commitdiff
|
tree
2005-08-02
Sven
Verdo
o
lae
g
e
verify_ma
i
n
.
cc: perform so
m
e m
e
mor
y
clea
n
u
p
s
.
commit
|
commitdiff
|
tree
2005-08-01
Sven Verdool
a
ege
Add polymake/README to distr
i
buti
o
n
.
commit
|
commitdiff
|
tree
2005-08-01
Sven Verdoola
e
ge
v
e
rsion 0
.
17
commit
|
commitdiff
|
tree
next