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
scan_quast: combine quast parts if we are projecting out.
2006-01-28
Sven Verdo
o
la
e
ge
scan_quast: combin
e
quast parts if w
e
are projec
t
ing
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sv
e
n
Verdoolaege
barvi
n
ok_e
n
umer
a
t
e_pip: no
need to remove negativ
e
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven
V
erdoolaege
p
i
p_projectou
t
:
a
llow u
n
kno
w
s and parameters
t
o be
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdoolaege
pip_pr
o
jectout: let pipli
b
simplify solu
t
ion
.
commit
|
commitdiff
|
tree
2006-01-27
S
ven Verd
o
olaege
barvinok_enumera
t
e_e: pr
i
nt curr
e
nt probl
e
m in f
o
r
m
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sv
e
n Verdo
o
laege
occ
:
r
educe e
v
alue
b
e
fore prin
t
ing
commit
|
commitdiff
|
tree
2006-01-20
S
ven Verdoolaege
ve
r
s
i
o
n
0
.
19
commit
|
commitdiff
|
tree
2006-01-20
Sven Verd
o
olaege
a
d
d
some required files t
o
distr
i
bution
commit
|
commitdiff
|
tree
2006-01-18
Sve
n
V
erdoolaeg
e
Use correct include dir f
o
r omega
headers
.
commit
|
commitdiff
|
tree
2006-01-18
S
v
en Verdoolaege
piptes
t
: declar
e
vari
a
ble at start
o
f
code bloc
k
.
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdoola
e
g
e
occ: correc
t
calculation of dimensio
n
.
commit
|
commitdiff
|
tree
2006-01-13
S
v
en Verdoolaege
export EVALUE_
I
S_ONE mac
r
o
commit
|
commitdiff
|
tree
2006-01-11
Sven
Verdool
a
e
ge
evalue/prin
t
_enode
:
c
r
e
a
te na
m
es if none
are pr
o
vided
.
commit
|
commitdiff
|
tree
2006-01-07
Sven
Verdoolaege
occ: add "ra
n
k
ing" operat
i
on
.
commit
|
commitdiff
|
tree
2006-01-07
Sve
n
Verdoolaege
o
c
c/card
:
fix
m
emor
y
leak
.
commit
|
commitdiff
|
tree
2006-01-07
Sven Verdool
a
ege
occ: compu
t
e number of exi
s
tential
v
a
ri
a
bles cor
r
ec
t
ly
.
commit
|
commitdiff
|
tree
2006-01-04
Sven Verdoolaege
is_zero_on
:
fix inval
i
d read
.
commit
|
commitdiff
|
tree
2006-01-04
Sven
V
e
rdoolaege
Poly
h
e
d
ron_is_infini
t
e: simplify an
d
warn that it may
.
.
.
commit
|
commitdiff
|
tree
2006-01-04
Sven Verdo
o
lae
g
e
occ
:
rename "count" operation
to
"ca
r
d
"
.
commit
|
commitdiff
|
tree
2005-12-28
Sven V
e
rdoolaeg
e
occ: add "count" operation
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdoolaege
o
mega/parser
.
y:
r
ename some consta
n
ts
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdoo
l
a
e
g
e
omega/pars
e
r
.
y: use
free
t
o fr
e
e
m
a
lloc
'
ed memo
r
y
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdoolaege
Compile
topdir before om
e
g
a
subdir
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdo
o
l
aege
barvi
n
ok
/
barvinok
.
h: include barvinok/
e
value
.
h
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdoolae
g
e
barv
i
nok/evalue
.
h
:
undefine divi
d
e
f
r
om polylib's
a
r
ithmeti
q
ue
.
h
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolaeg
e
occ
:
base omega cal
c
ulator
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdo
o
laege
Files
copied from omega_calc
.
commit
|
commitdiff
|
tree
2005-12-27
Sv
e
n Verdool
a
e
g
e
eadd_partitions: try to com
b
ine multiple domains with
.
.
.
commit
|
commitdiff
|
tree
2005-12-27
S
v
en Ve
r
doolaege
u
t
il: add Domai
n
Concat
.
commit
|
commitdiff
|
tree
2005-12-27
Sven
Verdoolaege
barvinok_enumerate
:
u
se PO
L
_NO_DUAL i
f
available
.
commit
|
commitdiff
|
tree
2005-12-27
Sven V
e
rdoolaege
D
o
n't cal
l
P
olyhedron2Para
m
_
S
implif
i
edDomain with POL_NO_DUAL
.
commit
|
commitdiff
|
tree
2005-12-26
Sven Verdo
o
laege
Regression te
s
t
.
commit
|
commitdiff
|
tree
2005-12-26
Sven
V
erdo
o
laege
More
u
se of POL_NO_DUAL
.
commit
|
commitdiff
|
tree
2005-12-26
Sven
Ve
r
doolaege
bar
v
inok_enumerate_ev: c
o
mpute
v
ertices of poly
t
ope
.
.
.
commit
|
commitdiff
|
tree
2005-12-26
Sven Verd
o
olaege
reduce_
e
valu
e
:
e
n
s
ure a domain i
s
re
a
lly empty
before
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
Sven Verdoolaege
piputil:
r
emove unneeded f
u
nctio
n
alit
y
.
commit
|
commitdiff
|
tree
2005-12-08
Sven V
e
r
d
oolaeg
e
barvinok_en
u
me
r
a
t
e
_
p
ip: simply
project ou
t
exis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
Sven Verdoolaege
Update pip
u
til
.
c with some
n
e
w f
u
nctionality currently
.
.
.
commit
|
commitdiff
|
tree
2005-10-27
S
v
e
n V
e
rdoola
e
ge
piputil
.
q
u
ast2poly
:
pass in the number of PIP parameters
commit
|
commitdiff
|
tree
2005-10-27
Sven Ver
d
oola
e
ge
Als
o
test th
e
--pip variant of barvinok_ehr
h
art_e
.
commit
|
commitdiff
|
tree
2005-09-12
Sven Verdool
a
ege
b
arvinok_lexsmaller_ev: tre
a
t extra variables
as existen
t
ial
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdo
o
laege
ve
r
ify_
l
exsma
l
ler: add missi
n
g static qualifier
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Ver
d
o
o
l
a
ege
veri
f
y_lexs
m
aller: support exi
s
tential vars
i
n input
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verd
o
olaege
check_le
x
smaller: fix er
r
or output
.
commit
|
commitdiff
|
tree
2005-09-08
Sven
V
e
rd
o
ola
e
ge
b
a
r
v
inok_ran
k
ing: rename to bar
v
inok_lexsm
a
ller
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoolaege
b
a
rvinok
_
ranking: adapt to ne
w
calli
n
g convention of
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoola
e
ge
Use PolyLib's c
o
py of D
o
m
a
inConstraintS
i
m
p
lify if avail
a
b
le
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolaege
Add a test
fo
r
barvi
n
ok_ehrhart
_
e
.
commit
|
commitdiff
|
tree
2005-09-07
S
v
en Verdoolaege
Propa
g
ate
rena
m
ing from
Ra
n
k
ingPolytopes to Lex
S
m
aller
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
v
en
V
e
rdoolaege
pip_lexmi
n
max: fix computatio
n
of
l
e
x
m
a
x (lightly tes
t
ed)
.
commit
|
commitdiff
|
tree
2005-09-07
Sven V
e
rdoolaege
p
i
p_lexminm
a
x: allow computatio
n
of le
x
max (
u
ntested)
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
Verdoola
e
ge
piputil
.
c: make debugging
o
utput d
e
pend on
preprocessor
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sv
e
n Verdoo
l
aege
piputil
.
c: include piputil
.
h
commit
|
commitdiff
|
tree
2005-09-07
S
v
en Verdool
a
eg
e
pip
_
lexmi
n
:
a
llow position of minimized
v
ars to be
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoo
l
aege
barvi
n
ok_enumerate_e: make
s
ure the
i
nput p
o
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2005-09-06
Sven Verdoolaege
piputil
.
c:
deal with partial
P
olyhedrons (untested)
.
commit
|
commitdiff
|
tree
2005-09-04
Sven Verd
o
ola
e
g
e
verify_ranking
.
c:
a
dd some sanity c
h
ecks
.
commit
|
commitdiff
|
tree
2005-09-03
Sv
e
n Verdoolaege
New verif
y
_
r
anking applicati
o
n
.
commit
|
commitdiff
|
tree
2005-09-03
Sv
e
n Verdoolaege
bar
v
inok
_
cou
n
t
:
a
f
ter factoriz
a
tion, P may be a union
.
.
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Ver
d
oolaege
Enu
m
e
r
a
t
ion_Free: domain
may be a un
i
o
n
of polyhe
d
ra
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Verdoolaege
barvinok_ranking_ev: fix typo
commit
|
commitdiff
|
tree
2005-08-22
Sven V
e
r
doolaege
barvinok_enumer
a
te: only
c
omput
e
true conte
x
t if polytope
.
.
.
commit
|
commitdiff
|
tree
2005-08-21
Sve
n
V
e
rd
o
olaege
Move installe
d
h
ead
e
r
s
into separate
directory
.
commit
|
commitdiff
|
tree
2005-08-21
S
v
en Verdoolaege
R
ename
ev_operations t
o
evalue
.
commit
|
commitdiff
|
tree
2005-08-21
S
v
en Verdoolaege
Re
m
ove un
u
sed fil
e
s
.
commit
|
commitdiff
|
tree
2005-08-21
Sven Verdoolaege
Merge "barvinok2
.
h" in
t
o "barvinok
.
h"
.
commit
|
commitdiff
|
tree
2005-08-20
Sven Verdoolaeg
e
D
e
c
l
are barv
i
nok_ranking uncondi
t
ionally
.
commit
|
commitdiff
|
tree
2005-08-20
Sven Verdoolaege
barvi
n
o
k
_enumerate: a
l
ways compute true
c
on
t
ext eve
n
.
.
.
commit
|
commitdiff
|
tree
2005-08-18
S
ven Verdool
a
ege
barvinok_rankin
g
: barv
i
nok version of Poly
h
edro
n
_R
a
nk
i
n
g
commit
|
commitdiff
|
tree
2005-08-18
Sv
e
n Verd
o
ol
a
eg
e
Enumeration_Fre
e
:
a
void
c
ompiler
w
arning
.
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdool
a
eg
e
t
e
st: use
_ev var
i
ant of barvinok_enumerate
commit
|
commitdiff
|
tree
2005-08-18
S
ven Verdoolaege
Remove PolyL
i
b's reduce_evalu
e
.
commit
|
commitdiff
|
tree
2005-08-18
Sven
Verd
o
o
l
aege
tria
n
gularize_cone:
rename to triangulat
e
_
cone
commit
|
commitdiff
|
tree
2005-08-18
Sv
e
n Verdoolaege
R
emove
{
Param,}P
o
lyhedr
o
n_Reduce
commit
|
commitdiff
|
tree
2005-08-17
Sven Verdoolaege
barvino
k
_enumerate
:
make
s
ur
e
the i
n
pu
t
polyhedra are
.
.
.
commit
|
commitdiff
|
tree
2005-08-17
Sven Verdoo
l
a
eg
e
b
a
rvinok_enum
e
r
a
te: factor polyhedron
into inde
p
endent
.
.
.
commit
|
commitdiff
|
tree
2005-08-15
Sven
Verdoolaege
Red
o
enumeration if rand
o
m vecto
r
turns out to
b
e bad
.
commit
|
commitdiff
|
tree
2005-08-11
Sven Verdoolaege
bar
v
in
o
k_c
o
un
t
: ignore next pointer of
P a
r
gument
commit
|
commitdiff
|
tree
2005-08-11
S
ven Verdoolae
g
e
Redo some checks if some constraints
turn
e
d out to
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
Sven Verdoolaeg
e
test: p
o
s
t
pone computation of dual if allowed by Po
l
yLi
b
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaege
Avoid duplica
t
e frees
in ~bfe_term(
)
.
commit
|
commitdiff
|
tree
2005-08-10
S
v
en Verdoolaeg
e
check_p
o
ly
:
fix memory le
a
k
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaege
Remo
v
e un
u
sed variables
.
commit
|
commitdiff
|
tree
2005-08-10
S
v
e
n Verdoolaege
b
arvinok_count
:
f
ac
t
or
pol
y
h
edron in
t
o independen
t
.
.
.
commit
|
commitdiff
|
tree
2005-08-08
S
ven Verdoolaege
barvi
n
o
k_cou
n
t: post
p
o
ne
c
omput
a
tion of
d
ual
i
f all
o
wed
.
.
.
commit
|
commitdiff
|
tree
2005-08-08
S
ven Verdoolaeg
e
P
o
lyhedron_Reduce: compute
reduct using Co
n
st
r
ai
n
ts2Polyhedron
commit
|
commitdiff
|
tree
2005-08-08
Sven Verdoolae
g
e
Merge with liacs deve
l
o
p
ment
.
commit
|
commitdiff
|
tree
2005-08-03
Sven Verdo
o
laege
Fix sp
a
rse w
a
rnings
.
commit
|
commitdiff
|
tree
2005-08-02
Sve
n
Verdoolaeg
e
F
i
x memor
y
le
a
k
.
commit
|
commitdiff
|
tree
2005-08-02
Sven Verdoolaege
v
erif
y
_main
.
cc: another memory cleanup
.
commit
|
commitdiff
|
tree
2005-08-02
Sven Verdoolae
g
e
Redo whole computation if random
vector turns
o
u
t to
.
.
.
commit
|
commitdiff
|
tree
2005-08-02
Sven Verdool
a
ege
verify_m
a
in
.
cc: perfo
r
m some me
m
ory cleanups
.
commit
|
commitdiff
|
tree
2005-08-01
Sven
V
erdoolaege
Add polyma
k
e/R
E
ADME to distribution
.
commit
|
commitdiff
|
tree
2005-08-01
Sven V
e
rdoolaege
ve
r
sion 0
.
17
commit
|
commitdiff
|
tree
2005-08-01
Sven Verdoolaege
Minimal README
for
p
olym
a
ke clien
t
.
commit
|
commitdiff
|
tree
2005-08-01
Sven Verdool
a
ege
polymake/lat
i
ce_points
:
handle
r
ational
c
o
n
straints
.
commit
|
commitdiff
|
tree
2005-08-01
Sven Verdool
a
ege
ax_c
r
eate_pkgconfig_inf
o
: ad
d
d
a
tarootdir for autoconf
.
.
.
commit
|
commitdiff
|
tree
2005-07-31
Sv
e
n Ver
d
oolaege
R
u
n autoconf in po
l
ymake subdi
r
before distributing
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Ver
d
oolaege
Ad
d
pol
y
make client t
o
distr
i
bution
.
commit
|
commitdiff
|
tree
2005-07-31
Sve
n
V
erd
o
olaege
Remove spurious outp
u
t
.
commit
|
commitdiff
|
tree
next