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: add some more publications that refer to barvinok
2006-10-07
Sven Verdo
o
la
e
ge
doc: add som
e
more publications that refe
r
to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven Ve
r
d
oolaege
evalu
e
.
c: evalue_deno
m
: declar
e
varia
b
l
e at
s
tart
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verd
o
olaege
e
v
alue
.
c: expor
t
evalue_deno
m
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
scarf
.
cc
:
h
a
ndle case
where four con
s
tr
a
i
nts lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n V
e
r
d
oo
l
aege
util
.
c: compress_variab
l
es: declar
e
variabl
e
at st
a
r
t
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven V
e
rdoolaege
evalue
.
c
: copy (and
a
dapt)
copy
r
ight s
t
a
tement f
r
om
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolae
g
e
d
o
c
: add some references to
p
ublication
s
commit
|
commitdiff
|
tree
2006-09-26
Sve
n
Verdoolaege
lexmin
.
cc:
r
eenable o
p
timiza
t
ion of che
c
king dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoo
l
ae
g
e
e
v
alue
.
c: clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verd
o
olaege
edom
a
in
.
cc: a
d
d
EDo
m
ain::contains
commit
|
commitdiff
|
tree
2006-09-24
S
v
en Ver
d
oolaege
lexmin
.
cc: max_term
:
:print: print floors
e
x
p
licitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven V
e
r
d
o
olaege
le
x
min
.
cc: disable possib
l
y over
z
ealous
o
ptimiz
a
tion
commit
|
commitdiff
|
tree
2006-09-23
Sven Ver
d
oola
e
g
e
e
d
omain
.
cc:
r
em
e
m
b
er "cons
t
r
a
int" rep
r
esentation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven
Verdoolaege
reduc
e
d_basis: reset
"
negative width
s
" to zer
o
commit
|
commitdiff
|
tree
2006-09-23
Sven
V
e
rdool
a
ege
le
x
mi
n
.
cc: move more c
o
de to
edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
edomain
.
h: add EDomai
n
_floor
a
bstraction
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Verdoolaege
lexmi
n
.
cc: d
e
fine max_term over an
EDomain rath
e
r
than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoolaeg
e
reducer
.
h: a
d
d v
i
r
t
ua
l
d
es
t
ructo
r
t
o
np_
b
ase to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
cc:
e
xtr
a
ct out some
c
o
de to evalue_util
a
nd
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdoo
l
ae
g
e
options
.
c: pick up definition of POL_INTE
G
ER
f
rom bar
v
inok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Verdoolaege
optionc
.
c
:
mo
v
e c
h
o
ice of which
specializa
t
ion to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdo
o
laege
om
e
ga/par
s
er
.
l
:
let flex
d
efine
yyli
n
e
n
o
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolae
g
e
le
x
mi
n
.
cc: optionally
s
kip check for emp
t
y domains
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoolaege
evalu
e
.
c: reduce_ev
a
lue_in_d
o
main
:
re
d
u
c
e to zero eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
en
V
er
d
oolaege
lexmin
.
cc
:
u
s
e barvin
o
k_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
introduc
e
barvinok_options s
t
ructure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: compute gene
r
a
ting
f
u
nctions of v
e
r
tex
cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoo
l
aege
lexmin
.
cc:
m
o
ve some
code aro
u
nd t
o
pre
p
a
r
e for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven V
e
rdoolaeg
e
eval
u
e: de
c
lare argument of
eadd and evalue_co
p
y
const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdool
a
ege
lexmin
.
c
c
: perform substit
u
tion immed
i
a
tely on e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
Ver
d
oolaeg
e
READ
M
E: ad
d
a war
n
i
n
g on (not)
u
sing shared l
i
braries
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdoolaege
evalue
.
h: chang
e
name of
hea
d
er define
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n
V
erdoolaege
ev
a
lue
.
h
:
ma
k
e
more
s
elf-contained
commit
|
commitdiff
|
tree
2006-08-26
S
v
en
V
erdool
a
ege
bfcount
e
r
.
h: undefine d
i
vide
f
rom poly
l
ib's arithm
e
tiq
u
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
erdoo
l
aege
c
o
nfigure
.
i
n
:
no longe
r
c
ompi
l
e s
h
are
d
l
i
b
raries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
ven Verdoolaege
REA
D
ME: reflect that --enable-fractional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
e
n Verdoola
e
ge
lexmin:
re
m
o
ve du
p
li
c
ate unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sven Ver
d
oolaege
polytope
_
s
c
an: op
t
i
o
nall
y
skip basi
s
r
ed
u
cti
o
n
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
erdo
o
l
a
ege
p
olytope_sc
a
n
: scan in r
e
duced basis
commit
|
commitdiff
|
tree
2006-08-16
S
ven Verdoolaege
polytope_scan: sc
a
ns t
h
e intege
r
p
oints
in
a
po
l
ytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdo
o
laege
ins
t
a
l
l NTL_
Q
Q
.
h he
a
d
e
r
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolae
g
e
basis_
r
eduction
.
c: clean
u
p GLPK
m
emory
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n
Ve
r
do
o
laege
lexmi
n
.
cc: do
n
't bo
t
h
er transforming
i
f compr
e
ss_
p
arms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
Ver
d
oolaege
l
exm
i
n
.
cc: f
i
x u
s
e of comp
r
e
s
s_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
samp
l
e
.
c:
f
ix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
barv
i
nok_co
u
nt
:
clean up me
m
ory after simplifying c
o
nstrai
n
ts
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaeg
e
README
:
update
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
only perfo
r
m lexmi
n
tests when l
e
xmin has b
e
en comp
i
l
e
d
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoolaeg
e
some mo
r
e tests with
unbounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
a
ege
add some small tests for
l
exmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oo
l
ae
g
e
lexmi
n
: bar
f
when polyhedron c
o
n
t
a
i
ns l
i
ne
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
lexmin: don't print solution wh
e
n verifying
commit
|
commitdiff
|
tree
2006-08-11
S
v
e
n Verdoolaege
verify
_
main
.
c
c
: clean u
p
m
e
mo
r
y
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoo
l
ae
g
e
b
a
rvinok_series: handle
fixed polyto
p
es
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolaeg
e
g
en_fun:
a
d
d const
r
uctor for ge
n
erating f
u
nc
t
ion with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Ve
r
doolaege
barvinok
.
cc: remove_more
_
equali
t
ies:
h
a
n
dle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdool
a
e
g
e
g
en_fun::coe
f
f
i
cient: reset the
nu
m
ber of rows in t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdool
a
ege
l
e
x
min
.
cc: use remove_
e
qualities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
util
.
c: co
m
press_variables: extracted from lexm
i
n
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
lexmi
n
: don't
c
h
e
ck
a
nything if given ra
n
ge lies ou
t
side
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdool
a
ege
l
e
xm
i
n
.
cc: remove_equalitie
s
; take
p
reimage w
i
th returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin
.
cc: remov
e
_
equalities: ext
e
nd returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lexmin
.
cc: in_domain:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
l
aege
lexmin
.
cc: remo
v
e so
m
e debugg
i
ng
r
esidues
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaeg
e
reduce_
d
oma
i
n: c
o
m
p
ute convex union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmi
n
.
cc: in_domain:
a
lso chec
k
other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdo
o
l
aege
lexmin: in_domain: set values
if constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
:
plug some
m
em
o
ry lea
k
s
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
lexmin
:
a
n expe
r
imental to
o
l for computing the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
ad
d
fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Ver
d
o
olaege
evalue
.
c: floor2frac_r:
plug memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Verdoolaege
barvinok
.
cc: unfringe: work incremental
l
y
commit
|
commitdiff
|
tree
2006-08-06
Sv
e
n Verdoola
e
ge
evalue_fr
a
c2f
l
o
or_in_d
o
main: plug m
e
mory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Poly
h
e
d
ron_S
a
mple: allow equalities in input
polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedro
n
_S
a
m
p
l
e
:
m
ake sure
ver
t
i
c
es a
r
e ava
i
la
b
le
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolaege
Polyhe
d
ron_
S
ample: sim
p
lif
y
constraints
a
fte
r
choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n
V
e
rdool
a
ege
Poly
h
e
d
ron_Sample: handle
empty and
0D
p
olyhedr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
s
a
mple
.
c: altern
a
tive implement
a
tion of rem
o
v
e
_ray
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoo
l
aege
s
ample
.
c: Poly
h
edron_RemoveFix
e
dC
o
l
umns: handle
p
resence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdo
o
la
e
ge
barvinok_count_f: check whether polyhe
d
ron i
s
unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
bar
v
in
o
k_count: simplify
c
onstraints after removi
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_basi
s
: suppor
t
1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Ver
d
oolaege
reduced_
b
asis: ensure
a
ll LP
solu
t
ions are non-ne
g
ative
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
Verdo
o
laege
occ: print
p
a
rametric
v
ertices of s
e
t usi
n
g Pol
y
Lib
commit
|
commitdiff
|
tree
2006-08-01
S
v
en Verdoolaege
o
cc: add interface to barvinok_lex
s
m
aller
_
ev
commit
|
commitdiff
|
tree
2006-08-01
Sven
Verdoolae
g
e
util
.
c:
provide dummy barvinok_lexsmaller_ev wh
e
n
Lex
S
maller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
o
ol
a
ege
4coins: comp
u
tes gene
r
ating f
u
nction for 4 coin
F
r
obenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven
V
erdoolaege
gen_fun::Hada
m
ard_
p
r
oduct: apply parameter compres
s
ion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
g
en_f
u
n::substitute
:
only pass in transforma
t
io
n
matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdo
o
laege
scarf
.
cc: support mor
e
cases of 3
(
independent) cons
t
r
aints
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verdoolaege
scarf
.
cc: support m
o
r
e cases of 4
c
onstraints
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdoolaege
genfun
.
c
c: add ge
n
_fu
n
:
:divide m
e
tho
d
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
genfun
.
cc: ano
t
her gen_fun::summate meth
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n
Ver
d
oolaege
infinite_icounter:
a
n
incremental counter for pos
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdoolaege
ic
o
un
t
er:
move from ba
r
vino
k
.
c
c
to red
u
cer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
f
enumerator::set_factor:
plug sm
a
ll memory
l
e
ak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
g
e
barvinok_enumerate_u
n
ion_series: use gen_fun:
:
summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
ge
n
fun
.
c
c: add gen_fun::su
m
m
at
e
method
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
ge
n
_fun::Hadamard_product: optimi
z
e computation
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_f
u
n:
:
Hadamard_product: make first argum
e
n
t
const
commit
|
commitdiff
|
tree
next