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
gen_fun: add copy constructor
2006-02-08
Sv
e
n
Ver
d
oolaege
verify
_
main
.
c
c: fix typo
th
a
t would let check
_
series
.
.
.
commit
|
commitdiff
|
tree
2006-02-08
Sven Verdoolaeg
e
verify_main
.
cc: a
l
so p
r
i
n
t ex
p
licit function
when ver
b
ose
commit
|
commitdiff
|
tree
2006-02-08
Sven
Verdoo
l
aege
gen_fu
n
::a
d
d: normalize coe
f
ficients
commit
|
commitdiff
|
tree
2006-01-29
Sven Verdo
o
l
aege
tes
t
barvinok_enumerat
e
_e --omega
commit
|
commitdiff
|
tree
2006-01-29
Sven
V
erdoolaege
barvi
n
ok_enumerate_e: only prov
i
de --pip
o
p
tion if
.
.
.
commit
|
commitdiff
|
tree
2006-01-29
Sv
e
n Verdoolaeg
e
barvinok_enum
e
rate_e
.
cc: m
e
mory clean up
.
commit
|
commitdiff
|
tree
2006-01-28
S
v
e
n
V
erdoolaege
integrate verif_
e
hrhart_e into
b
arvinok_enumerat
e
_e
commit
|
commitdiff
|
tree
2006-01-28
Sven Verd
o
ola
e
ge
barvinok_
e
numerate_e: rename --
r
ange option to
-
-range
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sve
n
V
erdoolaege
barvinok_enumerate_e: o
p
ti
o
nally us
e
o
m
ega
t
o simplify
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
S
v
en Verdoolaege
omega/con
v
ert
.
cc
:
add conversion
from
PolyLi
b
to Omeg
a
commit
|
commitdiff
|
tree
2006-01-28
Sv
e
n Verd
o
olae
g
e
o
mega/conver
t
.
cc: extract out conve
r
s
ion from Omeg
a
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
S
ven Verdoolaege
b
arvi
n
ok/util
.
h: inclu
d
e gmp
.
h
commit
|
commitdiff
|
tree
2006-01-28
Sven
V
e
rdoolaeg
e
let O
M
EGA_ vars co
n
tain o
m
ega related
flag
s
excl
u
sively
commit
|
commitdiff
|
tree
2006-01-28
Sven Ve
r
doolaege
r
e
duce_in_do
m
ain: fi
x
some memor
y
leak
s
commit
|
commitdiff
|
tree
2006-01-28
Sven
Ver
d
oolaege
scan_quast: combine quast parts if we are projecting
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
S
v
en Verdoolaege
barvinok_enumerate_pip
:
no ne
e
d t
o
remov
e
negative
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Ver
d
o
o
laege
pip_proj
e
cto
u
t
:
allow unknows and parameters to be
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdoolaege
pip_projectout
:
let piplib simp
l
ify
s
olution
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Ver
d
oolaege
b
arvi
n
ok_enumerate_e: pr
i
nt
c
u
r
r
ent proble
m
in f
o
rm
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdo
o
laege
o
c
c: red
u
ce evalu
e
before prin
t
in
g
commit
|
commitdiff
|
tree
2006-01-20
Sven Verdool
a
ege
versi
o
n
0
.
19
commit
|
commitdiff
|
tree
2006-01-20
S
v
en
V
erdoolaege
add
s
om
e
re
q
uired fi
l
es to
d
istrib
u
tion
commit
|
commitdiff
|
tree
2006-01-18
Sven Verd
o
olaege
U
s
e correc
t
incl
u
de
d
ir for om
e
ga headers
.
commit
|
commitdiff
|
tree
2006-01-18
Sv
e
n Ver
d
oolaege
pipte
s
t: d
e
c
la
r
e
variable a
t
start of code
b
lock
.
commit
|
commitdiff
|
tree
2006-01-18
Sve
n
V
er
d
oolaege
occ: correct ca
l
c
ul
a
tion of di
m
ension
.
commit
|
commitdiff
|
tree
2006-01-13
Sv
e
n Verdoola
e
ge
export EVAL
U
E_IS_ONE macro
commit
|
commitdiff
|
tree
2006-01-11
Sven
Verdoolaege
evalue/print_enode: crea
t
e names if
n
one are provi
d
ed
.
commit
|
commitdiff
|
tree
2006-01-07
Sven Verdoolaeg
e
oc
c
: add "ranking" operation
.
commit
|
commitdiff
|
tree
2006-01-07
S
v
e
n Verdoolaege
occ
/
card: fi
x
memory leak
.
commit
|
commitdiff
|
tree
2006-01-07
Sven
Ve
r
doolaege
occ:
c
ompute
n
umber of existential v
a
riable
s
co
r
r
e
ctly
.
commit
|
commitdiff
|
tree
2006-01-04
S
ven Verdoolae
g
e
is_zero_on: fix i
n
valid read
.
commit
|
commitdiff
|
tree
2006-01-04
Sven V
e
rdool
a
ege
Polyhedr
o
n_is_
i
nfinite
:
simpl
i
fy and warn t
h
at it
m
a
y
.
.
.
commit
|
commitdiff
|
tree
2006-01-04
Sven Verdoolaeg
e
occ: rename
"count" operatio
n
to "card"
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Ve
r
doolaege
occ: add "count" operatio
n
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdool
a
ege
omega/parser
.
y: rename some
c
o
ns
t
a
n
ts
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdoolaege
omega/parse
r
.
y: use fr
e
e
t
o
f
r
ee
malloc'ed
m
emory
.
commit
|
commitdiff
|
tree
2005-12-28
Sv
e
n Verdoolaege
Compile to
p
dir before
o
m
ega sub
d
ir
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdoolaege
barvinok/ba
r
vinok
.
h: inclu
d
e barvinok
/
e
v
alue
.
h
commit
|
commitdiff
|
tree
2005-12-28
Sven Ver
d
oolaege
barvinok/e
v
al
u
e
.
h
:
undefine
d
i
vide from polylib's
a
rithmetique
.
h
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdo
o
laege
occ:
b
ase omega calc
u
lator
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolaeg
e
File
s
copied f
r
om omega_cal
c
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolaege
ea
d
d
_
partit
i
ons: try to comb
i
ne multiple domains with
.
.
.
commit
|
commitdiff
|
tree
2005-12-27
S
v
e
n
Verdoolaege
util:
a
dd DomainConcat
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolaege
barvinok_enumerate: use P
O
L_NO_DUAL if available
.
commit
|
commitdiff
|
tree
2005-12-27
Sve
n
Verdool
a
ege
Don'
t
call
Polyhedron2Para
m
_Sim
p
lifi
e
dDomai
n
with
POL_N
O
_
DUAL
.
commit
|
commitdiff
|
tree
2005-12-26
Sven
Verdoolaege
Regr
e
s
s
ion
test
.
commit
|
commitdiff
|
tree
2005-12-26
Sven Verdoolaege
M
ore use o
f
POL_NO_DUAL
.
commit
|
commitdiff
|
tree
2005-12-26
Sven Verdoolae
g
e
barvi
n
ok
_
e
numerate_ev:
compute vertic
e
s
o
f
polytope
.
.
.
commit
|
commitdiff
|
tree
2005-12-26
Sven
V
e
r
doolaege
reduce_evalue: ensure a domain
is really
e
m
p
ty
befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
Sven
V
erdoo
l
a
e
ge
p
iputil: remove
u
nne
e
ded functi
o
nality
.
commit
|
commitdiff
|
tree
2005-12-08
Sven
V
er
d
oolaege
barv
i
nok_enumerate_pip:
simply
p
roj
e
ct ou
t
exist
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
Sven Verdoolaege
Upda
t
e pip
u
til
.
c
with some new functionality currently
.
.
.
commit
|
commitdiff
|
tree
2005-10-27
Sven V
e
r
dool
a
ege
pipu
t
il
.
quast2p
o
l
y
: pass in the number of
P
IP
p
arameter
s
commit
|
commitdiff
|
tree
2005-10-27
Sven Verdoolae
g
e
A
l
so t
e
st the --
p
ip vari
a
nt of ba
r
vi
n
ok
_
e
h
r
hart
_
e
.
commit
|
commitdiff
|
tree
2005-09-12
Sven
V
erdoolaege
barvino
k
_lexsmalle
r
_
ev
:
trea
t
extra varia
b
les as existe
n
ti
a
l
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sven
V
erdoolaege
veri
f
y_lexsmaller: add
m
issing sta
t
ic qu
a
lifi
e
r
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdo
o
laege
verify_
l
ex
s
maller:
s
up
p
o
r
t existential vars
in inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sve
n
Verd
o
ol
a
ege
check_lexsmaller: f
i
x error output
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Ver
d
ool
a
e
g
e
barvinok_
r
anking: rename to barvinok_l
e
xsmalle
r
commit
|
commitdiff
|
tree
2005-09-08
Sve
n
V
e
rdoolaege
b
a
r
vinok_rankin
g
:
adapt to new calling c
o
nvention of
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
v
en Verdoolaege
Use PolyL
i
b's
copy of D
o
m
a
inCo
n
straint
S
i
mplify if ava
i
lable
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolaege
Add a test for barvinok_ehrhart_e
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
Verdoola
e
ge
Propagate r
e
na
m
in
g
from Ranking
P
olytopes
t
o
L
e
xSmaller
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
ve
n
Verdool
a
ege
pip_lexmi
n
max
:
fix computation of lexmax (l
i
g
htly te
s
ted)
.
commit
|
commitdiff
|
tree
2005-09-07
Sve
n
V
erdoolaege
p
i
p_lexminmax:
a
llow computatio
n
of lexmax (untested)
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Ver
d
oolaege
p
ipu
t
il
.
c:
m
a
ke debugging output
d
epend on prep
r
ocessor
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Ver
d
ool
a
ege
p
ipu
t
il
.
c: includ
e
piputil
.
h
commit
|
commitdiff
|
tree
2005-09-07
S
v
en Verdoolaege
pip_le
x
mi
n
:
al
l
ow posi
t
ion of mini
m
ized vars to be
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolaege
barvinok_e
n
umer
a
t
e_e: make sure the input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2005-09-06
Sven
Ver
d
oolaege
piputil
.
c: deal with partial Polyhedrons (
u
ntest
e
d)
.
commit
|
commitdiff
|
tree
2005-09-04
Sven Verdoolae
g
e
verify_ranking
.
c
:
add some san
i
ty checks
.
commit
|
commitdiff
|
tree
2005-09-03
Sve
n
Ver
d
oolaege
New verify_ranking application
.
commit
|
commitdiff
|
tree
2005-09-03
Sven
V
e
rdoolaege
barvinok_
c
ount: aft
e
r f
a
ctorization,
P
m
a
y be a u
n
ion
.
.
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Ve
r
d
oo
l
aege
Enumeration_Free: domain may be a union of p
o
l
yhedra
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Verdo
o
laege
ba
r
vinok
_
ranking_ev: fix ty
p
o
commit
|
commitdiff
|
tree
2005-08-22
Sven Verdoolaeg
e
barvinok_enume
r
ate: o
n
l
y
c
ompute t
r
u
e c
o
n
t
ext
i
f
p
o
ly
t
ope
.
.
.
commit
|
commitdiff
|
tree
2005-08-21
S
ven Verdoolaege
Mov
e
installe
d
he
a
d
ers
into separate dire
c
t
ory
.
commit
|
commitdiff
|
tree
2005-08-21
Sve
n
Verdoolaege
Rename
e
v
_operations to evalue
.
commit
|
commitdiff
|
tree
2005-08-21
Sve
n
Verdool
a
ege
Re
m
ove unused fi
l
es
.
commit
|
commitdiff
|
tree
2005-08-21
Sven Ve
r
doolaege
Merge "barvinok2
.
h" into "barvino
k
.
h"
.
commit
|
commitdiff
|
tree
2005-08-20
Sven Verdoolaege
D
eclare
b
arvin
o
k_ranking unco
n
ditionally
.
commit
|
commitdiff
|
tree
2005-08-20
Sven V
e
rdoolaege
barvinok_enumerate: always compute true con
t
e
xt
e
ven
.
.
.
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolae
g
e
barvinok_
r
a
nk
i
ng: ba
r
v
i
nok version of Polyhed
r
o
n
_Ra
n
king
commit
|
commitdiff
|
tree
2005-08-18
S
ven Verd
o
olaege
E
n
umeration_Free: av
o
id compi
l
e
r
w
a
r
ning
.
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolaege
test: use _ev v
a
r
i
a
nt of bar
v
inok_enume
r
a
t
e
commit
|
commitdiff
|
tree
2005-08-18
Sven
V
erdo
o
laege
R
emove PolyLib's reduce_evalue
.
commit
|
commitdiff
|
tree
2005-08-18
Sven
Verdoolae
g
e
triangulari
z
e_
c
o
n
e: rename to triangulate_
c
on
e
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoo
l
aege
R
emove {Param,}
P
o
l
yh
e
dron_
R
educ
e
commit
|
commitdiff
|
tree
2005-08-17
Sven Verdoolaeg
e
barvinok_
e
n
u
merat
e
:
make sure the input polyhedra
are
.
.
.
commit
|
commitdiff
|
tree
2005-08-17
Sven Verdool
a
ege
barvin
o
k_enumerate: fa
c
tor polyhedron into indepe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2005-08-15
Sven Verdoola
e
g
e
R
e
do e
n
umeration if r
a
ndom
vector turns out
t
o
be bad
.
commit
|
commitdiff
|
tree
2005-08-11
Sven Verdoolaege
b
a
rvinok_coun
t
: ig
n
ore next po
i
nter of P arg
u
ment
commit
|
commitdiff
|
tree
2005-08-11
S
ven Verdoolaege
Re
d
o
some checks if s
o
me con
s
tra
i
nts turn
e
d out t
o
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
Sven Verdoola
e
g
e
tes
t
: po
s
tpone computation of d
u
al
i
f allow
e
d
by Po
l
yLib
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaege
Avoid duplicate
frees in ~bfe_ter
m
()
.
commit
|
commitdiff
|
tree
2005-08-10
Sve
n
Verdoolaege
check_poly: fi
x
memory leak
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaege
Remove
u
nused v
a
riables
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoola
e
ge
b
arvin
o
k_
c
ount:
f
act
o
r polyhedron
i
n
t
o
i
ndependent
.
.
.
commit
|
commitdiff
|
tree
2005-08-08
Sven
Verdoolaege
b
a
r
v
inok_count: postpone comp
u
tation of dual if
a
llowe
d
.
.
.
commit
|
commitdiff
|
tree
2005-08-08
Sv
e
n
Verdoolaege
Polyhedron_Reduce
:
compute reduct
u
sing Constraints2P
o
lyh
e
dron
commit
|
commitdiff
|
tree
next