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
doc: warn that the output may look different
2006-06-21
Sven Ve
r
do
o
laege
d
o
c
: warn tha
t
the ou
t
put may loo
k
different
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdool
a
eg
e
doc: barvinok_count n
o
longer
p
e
r
forms manua
l
counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
l
a
e
g
e
doc: replace "
A
ppe
n
d
ix" by "Secti
o
n
"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
ola
e
ge
doc: re
f
l
ect rename of cdd2polyli
b
.
pl to lat
t
e2polyli
b
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
doc: resolve undefine
d
ref
e
ren
c
es through my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
la
e
ge
d
oc:
add title page
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdo
o
laeg
e
d
oc: user guide
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
rename cdd2poly
l
i
b
.
pl to
l
atte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdoolaege
polymake/h_star_vector
.
cc:
c
lien
t
to compute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sve
n
Verdoolaege
po
l
ymake
/
convert
.
cc: extract p
o
lym
a
ke
_
constraints2p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Ve
r
d
o
olaege
ut
i
l
.
c:
e
xport
C
on
e
_over_
P
ol
y
hedr
o
n
commit
|
commitdiff
|
tree
2006-06-18
Sven
Verdoo
l
aeg
e
barvinok_ehrha
r
t
: c
o
mpute eh
r
ha
r
t (quasi-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven Verdoo
l
aege
barvinok_count:
allow polyt
o
p
e to
b
e spe
c
ified
b
y its
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
er
d
oolae
g
e
barvinok
_
count: handle in
f
inite polyhedra with
no in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaeg
e
barvino
k
_coun
t
: st
o
p counting if one of the f
a
ct
o
rs
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
e
rdoolaege
ev
a
lu
e
_frac2f
l
oor_in_domain: allow argument of
r
esult
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
o
o
laege
util
.
c: specifically indica
t
e empty sets
in Polyhedron_p
p
rint
commit
|
commitdiff
|
tree
2006-06-02
Sven Verd
o
olaege
util
.
c: move
a
l
ign_
m
a
trix from barvino
k
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
mat_
u
til
.
cc: some usef
u
l function
s
extracted
f
rom genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
v
en
Ve
r
d
oolaege
evalue
.
c
:
export reduce_evalue
_
in_domain
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erd
o
olaege
evalue
.
c: renam
e
redu
c
e
_in_domain
to evalue_range_reduction
_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
b
a
rvin
o
k
.
cc: remo
v
e a
n
cient debugging code
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaege
evalue
.
c: export eva
l
ue_fr
a
c2f
l
oor_in_domain
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoola
e
ge
gen_fun::subs
t
itute: add mor
e
det
a
i
l
e
d explanation
commit
|
commitdiff
|
tree
2006-05-24
S
v
en Verdo
o
laege
reduce_do
m
ai
n
: handl
e
N
UL
L
CEq
commit
|
commitdiff
|
tree
2006-05-24
S
ven Verdoolae
g
e
b
a
rvinok
.
cc: move reduce
_
domain into s
e
pa
r
ate file
commit
|
commitdiff
|
tree
2006-05-24
Sve
n
Ver
d
oolaege
u
t
il
.
c: add Polyhedron_pprint
commit
|
commitdiff
|
tree
2006-05-18
Sv
e
n V
e
r
doolaege
lattice_point
.
cc: lattice poin
t
s comp
u
tation
e
x
t
r
act
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Ve
r
doolaege
conversio
n
.
cc
:
ad
d
values2zz and rays2 f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Verdoolaeg
e
evalu
e
.
c: a
d
d eva
l
u
e_zer
o
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Ver
d
oolaege
decomposer: extract out vertex_dec
o
mp
o
se
r
from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Ve
r
doola
e
g
e
barvinok
.
cc: extract
o
ut some functionality into decom
p
oser
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven
Verdoolaege
util
.
c: document E
u
clid fu
n
c
tion
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoolaege
o
c
c: pl
u
g som
e
more (potential) m
e
mory l
e
ak
s
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoolaege
occ: don't use fre
e
d variable in error messa
g
e
commit
|
commitdiff
|
tree
2006-04-10
S
v
e
n
V
e
rdoolaege
b
arvi
n
ok
.
c
c:
a
dd some documentati
o
n t
o
lattice point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoola
e
ge
barvin
o
k_e
n
umer
a
te_union:
c
all gen_fu
n
::add_u
n
ion
commit
|
commitdiff
|
tree
2006-04-05
Sve
n
Verdoolaege
g
en_fun:
add add_uni
o
n method
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoolaege
barv
i
nok
.
c
c
: do
c
ument SplitOnVar
a
nd remove some r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoolaege
r
e
move ina
p
propriate uses of Polyhed
r
on2Param_
S
implif
i
e
d
Do
m
a
i
n
commit
|
commitdiff
|
tree
2006-02-22
Sven
V
e
rdoolaege
vers
i
on 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
create correct GIT_HEAD_ID in distribution
commit
|
commitdiff
|
tree
2006-02-22
S
v
en V
e
rdoolaege
barvinok_uni
o
n
: document
i
npu
t
f
o
rmat
commit
|
commitdiff
|
tree
2006-02-21
Sve
n
Verd
o
olaege
Merge branch
'
new_piplib'
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
onl
y
run tests that
r
e
quire pipli
b
wh
e
n
p
iplib is
available
commit
|
commitdiff
|
tree
2006-02-16
Sven
Verdoolaege
barvinok_enume
r
at
e
_
e: only
link in omega
l
ibraries
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven V
e
r
d
oo
l
aege
chec
k
f
o
r pipli
b
1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sven Verd
o
olaege
s
o
me exam
p
les
from
Ra
c
hid to
test barvino
k
_en
u
m
e
r
ate_e
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Verd
o
o
l
aege
add ba
r
vinok_uni
o
n
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdo
o
laege
a
d
d
ba
r
vinok_en
u
m
e
rate_union
func
t
ion
commit
|
commitdiff
|
tree
2006-02-15
Sven Ver
d
oolaege
gen_fun: a
d
d Had
a
mard_product me
t
hod
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
gen_fun::operator
ev
a
lue
*
(): fix memor
y
leaks
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Ve
r
doo
l
aege
ge
n
fun
.
cc:print
_
power
:
remov
e
s
p
a
c
es aro
u
nd "*" in
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
ba
r
vinok_ser
i
e
s: return emp
t
y gen_fu
n
for empty polytop
e
.
commit
|
commitdiff
|
tree
2006-02-14
S
ven Verdool
a
ege
barvinok_se
r
ie
s
: remove unu
s
ed variables
.
commit
|
commitdiff
|
tree
2006-02-14
Sv
e
n Verdoolaeg
e
barvinok
.
cc: e
x
tract ou
t
s
o
me code common to g
e
nerati
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sve
n
Verd
o
ol
a
ege
barvinok
.
cc: in
t
roduce
n
p_base, a bas
e
class for non
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Ver
d
oolaege
barvino
k
.
cc: do virtual polar_deco
m
poser i
n
heritance
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Verdoolaege
barv
i
nok_
s
eries: remove some
more
e
qualities fr
o
m the
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
S
ven
V
e
rd
o
olaege
check
f
or
compress_parms functi
o
n
commit
|
commitdiff
|
tree
2006-02-10
Sven Ve
r
do
o
laege
gen
_
fun:
a
dd subst
i
tute meth
o
d
.
commit
|
commitdiff
|
tree
2006-02-09
Sv
e
n Verdoolaege
bar
v
inok/genf
u
n
.
h
:
a bi
t
more documentation
.
commit
|
commitdiff
|
tree
2006-02-09
Sve
n
Verdo
o
laege
adap
t
determination of
g
i
t HEA
D
t
o
recent git versions
commit
|
commitdiff
|
tree
2006-02-08
Sve
n
Verdoolaege
verify_main
.
cc: fix typo that w
o
uld let chec
k
_ser
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-02-08
Sven
Verdoolaege
v
erify_main
.
cc: also print expli
c
i
t function when
v
erbos
e
commit
|
commitdiff
|
tree
2006-02-08
Sven
Verdoo
l
aege
gen_fun::add
:
nor
m
alize coeffi
c
i
e
nts
commit
|
commitdiff
|
tree
2006-01-29
Sven Verdoolaege
test b
a
rvinok_enumerate_e
--omega
commit
|
commitdiff
|
tree
2006-01-29
Sve
n
Verdool
a
ege
barvino
k
_
e
nume
r
a
t
e_e: only
p
rovide --
p
ip opti
o
n if
.
.
.
commit
|
commitdiff
|
tree
2006-01-29
Sve
n
Verdoolaege
ba
r
vinok_enumerat
e
_e
.
cc:
m
emory clean
up
.
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolaege
inte
g
rat
e
verif_ehrh
a
rt_e in
t
o bar
v
inok_enumerate_e
commit
|
commitdiff
|
tree
2006-01-28
Sven Ve
r
dool
a
ege
b
a
rvinok
_
enumera
t
e_e: re
n
ame --range option to --range
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sve
n
V
e
r
doolaeg
e
barvinok_enum
e
rate
_
e: opti
o
na
l
ly use o
m
e
ga to s
i
mplify
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sve
n
Verdoolaege
ome
g
a/convert
.
cc:
add
c
onvers
i
on from P
o
lyLib to Omega
commit
|
commitdiff
|
tree
2006-01-28
Sven Ver
d
oolaege
omega/convert
.
cc:
e
xtract out
c
onversion from
Om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolae
g
e
b
a
rvino
k
/
util
.
h: include gmp
.
h
commit
|
commitdiff
|
tree
2006-01-28
Sven V
e
rdoo
l
a
e
g
e
let OMEGA_ vars contain o
m
ega related
f
l
ags exclusively
commit
|
commitdiff
|
tree
2006-01-28
Sven
Verdoolaege
r
educe_in_domain:
f
ix som
e
me
m
or
y
leaks
commit
|
commitdiff
|
tree
2006-01-28
Sve
n
Verdoolaege
scan
_
qua
s
t: combine quast parts if we are projecting
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven V
e
rdoolaege
barvinok_enumerate_pi
p
:
no need to remove negative
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
S
v
en Verdoolaeg
e
pip
_
projectout
:
a
llow
u
nkno
w
s and para
m
eters t
o
b
e
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven
Verdool
a
e
ge
pip_pro
j
ecto
u
t: let piplib simplify solution
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdoolaeg
e
barvinok_enumerate_e:
p
r
i
n
t current problem in form
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Ver
d
oolaeg
e
o
c
c: reduce evalue b
e
fore
printing
commit
|
commitdiff
|
tree
2006-01-20
Sven Verd
o
olaege
version 0
.
19
commit
|
commitdiff
|
tree
2006-01-20
Sven
V
erdoolaege
a
dd some re
q
ui
r
ed fil
e
s to distribution
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdoolaege
Use corre
c
t include dir
f
or
o
mega
h
eade
r
s
.
commit
|
commitdiff
|
tree
2006-01-18
Sv
e
n
Verdoola
e
ge
piptes
t
: declare variable at start o
f
c
od
e
block
.
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdool
a
ege
occ: correct calcu
l
ation of di
m
ension
.
commit
|
commitdiff
|
tree
2006-01-13
Sven Verdool
a
ege
e
x
port
E
VALU
E
_I
S
_
ON
E
mac
r
o
commit
|
commitdiff
|
tree
2006-01-11
Sven Verd
o
olaege
evalue/
p
rin
t
_
e
node
:
create n
a
mes if non
e
are provided
.
commit
|
commitdiff
|
tree
2006-01-07
Sven V
e
rdoo
l
aege
occ: add
"
rankin
g
" operation
.
commit
|
commitdiff
|
tree
2006-01-07
S
v
en Verdoolaege
occ/card: fix memory leak
.
commit
|
commitdiff
|
tree
2006-01-07
S
v
e
n
V
e
rdoola
e
ge
oc
c
: compute number of
e
x
i
s
tent
i
al var
i
ables correct
l
y
.
commit
|
commitdiff
|
tree
2006-01-04
Sve
n
Verdoolaege
is_zero_
o
n:
fix invalid read
.
commit
|
commitdiff
|
tree
2006-01-04
Sv
e
n V
e
rdo
o
laege
Polyhe
d
ron_
i
s_infinite:
s
implif
y
and w
a
rn
t
hat it m
a
y
.
.
.
commit
|
commitdiff
|
tree
2006-01-04
Sven Ve
r
dool
a
ege
occ: rename
"count"
op
e
ration to "card"
.
commit
|
commitdiff
|
tree
2005-12-28
Sv
e
n Verdoolae
g
e
occ: ad
d
"count" op
e
ration
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Ve
r
d
oolaege
omega
/
pars
e
r
.
y: rename so
m
e co
n
stants
.
commit
|
commitdiff
|
tree
2005-12-28
Sven
V
erdoolaege
omega/parser
.
y: use fr
e
e to free malloc'ed memory
.
commit
|
commitdiff
|
tree
2005-12-28
Sven
Verdoola
e
ge
Compi
l
e
topdir before om
e
ga s
u
b
dir
.
commit
|
commitdiff
|
tree
next