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
bump version
2006-10-31
Sven Verdoolaege
bump v
e
rsion
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
M
akefile
.
a
m: make sure cor
r
ect
f
iles are included i
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Ve
r
doola
e
ge
do
c
: menti
o
n
r
estriction of ba
r
vinok
_
enumerate_s
c
ar
f
_series
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoo
l
ae
g
e
doc:
m
inimal doc
u
ment
a
tio
n
for the lexm
i
n appl
i
cation
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoo
l
ae
g
e
be
r
nst
e
in/conf
i
gure
.
i
n
: se
t
AC_CO
N
FIG_AUX_DIR to
bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oola
e
ge
d
oc
:
d
o
cument
polytope_
s
ample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
d
o
c
ume
n
t
polyhedron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n
V
erdoo
l
aege
doc: i
n
cl
u
de bar
v
inok li
b
ra
r
y version in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
confi
g
ure
.
in
:
fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoo
l
a
e
g
e
doc: bib: name Kevin M
.
Woods
c
onsistently
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
d
o
c: d
o
c
ument
extra occ operations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
doc:
u
p
d
ate
g
e
n_fun
documentation
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Ver
d
oolaege
doc: ref
l
ect change of argument type
of
e
add
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaeg
e
d
o
c
: d
o
cu
m
ent
b
arvinok_
e
nu
m
erate_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
doc: add a
n
other p
a
per refe
r
ing to
b
arvin
o
k
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
doc: typ
o
s
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: docum
e
nt b
e
rnstein
d
a
t
a structure
s
and functions
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n
Verdoo
l
aege
bernstein: piecewi
s
e_lst::
s
implify_domains: add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven V
e
rdoolaege
bernstein:
make poly
argument
of be
r
ns
t
ein
E
xpansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven
Verdoolaege
reduc
e
r
.
h: o
n
ly
use in
f
ini
t
e
_
i
counter when dim==1
commit
|
commitdiff
|
tree
2006-10-28
S
ve
n
Ve
r
doola
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Ve
r
doolaege
r
e
move a
few d
u
plicate d
e
finitions of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
u
t
il
.
c
:
move duplicat
e
Polyhedron_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Ver
d
oolaege
barv
i
no
k
.
cc: add _with_options version of barvino
k
_enu
m
era
t
e_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdo
o
laege
e
val
u
e
.
c
:
remove incl
u
de
of
config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoola
e
ge
version
.
c: show
u
se of
O
mega, GLP
K
and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdoola
e
ge
version
.
c: move
barvinok_version fr
o
m util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaeg
e
doc: docume
n
t
Pol
y
hedron
_
Redu
c
ed_Basis and Polyhedron_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
export Polyhe
d
ron_
S
ample and Polyhedron_R
e
d
u
ced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven
Ve
r
d
oolaege
doc
:
r
e
name "usage
"
se
c
tion
t
o
"
applicatio
n
s" section
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoo
l
a
e
ge
b
a
rvi
n
ok_options: re
n
ame
e
m
ptiness_che
c
k to
lexmi
n
_
emptin
e
ss
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolae
g
e
doc: document barvinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdoolaege
scarf
.
cc:
e
xport func
t
ions to library
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoolaege
scarf
.
cc:
u
se
barv
i
nok_op
t
ions instea
d
of MaxRa
y
s
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
er
d
oolaeg
e
barvinok
/
barvinok
.
h: expo
r
t
_wit
h
_
o
p
t
ions versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
o
olaege
b
a
rvinok_en
u
m
e
rate
_
e: remove direct include of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaeg
e
bernstein: minim
a
l docu
m
entation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
R
EADME: bernstein r
e
quires Gi
N
aC
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdo
o
laeg
e
d
oc: add r
e
ference to bernstein t
e
chreport
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
d
oo
l
aege
Merge br
a
nch 'b
e
rnstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoolaege
bern
s
tein/src/TODO
:
rem
o
ve; everyt
h
i
ng has been done
commit
|
commitdiff
|
tree
2006-10-10
Sven
Verdoolaege
d
oc
:
add
ano
t
her publication that refers to
b
arvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
L
L
L
: use redu
c
tion parame
t
er
1
by default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoo
l
a
ege
d
ecomposer
.
cc: sh
o
rt
_
vector: allow specificat
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven
Verdoolaege
d
oc: add so
m
e
more publicatio
n
s tha
t
r
e
fer to
b
arvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verd
o
o
l
aege
e
v
a
l
u
e
.
c:
e
v
alue_d
e
nom: declare variabl
e
at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolae
g
e
e
v
alue
.
c: expor
t
evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
S
v
en Verdoolaege
s
c
ar
f
.
cc: h
a
n
d
l
e case w
h
ere f
o
ur con
s
traints le
a
d
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdoolaege
u
t
i
l
.
c: com
p
res
s
_variable
s
: decl
a
re variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sve
n
Ver
d
oolaege
evalue
.
c
:
copy (and adapt)
copyright
statement
f
rom
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verd
o
o
l
aege
doc
:
add so
m
e references to public
a
tions
commit
|
commitdiff
|
tree
2006-09-26
Sven
Verdo
o
la
e
ge
l
exmin
.
c
c
:
reenable
o
pti
m
ization o
f
checking
domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sv
e
n Verd
o
olaege
evalue
.
c:
c
lean
u
p in_d
o
main
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoo
l
ae
g
e
edom
a
in
.
cc: add
EDoma
i
n::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven V
e
rdoolaege
lexmin
.
cc: max_term:
:
print: print floors e
x
p
l
icitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoo
l
aege
lexmin
.
c
c: disable poss
i
bly overzealous opti
m
ization
commit
|
commitdiff
|
tree
2006-09-23
S
v
en Verdoolaege
edo
m
ain
.
cc: reme
m
ber "co
n
straint" represe
n
t
at
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
v
en Verdoolaeg
e
reduc
e
d
_basis: reset "
n
e
g
a
tive
widths" to
z
ero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
lexmin
.
c
c: mov
e
m
o
re code to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
r
d
oolae
g
e
edo
m
ain
.
h: add EDoma
i
n_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmi
n
.
cc
:
d
efine
m
ax_term over an EDomain rather
t
han
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Ver
d
oo
l
a
e
g
e
reducer
.
h: add virt
u
al
d
e
structor
to np_base
t
o avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Ve
r
doola
e
ge
lexmin
.
cc
:
e
xtract out
s
ome code to evalue_
u
til and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
options
.
c: pick u
p
definition o
f
POL_
I
N
TEGE
R
from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
optionc
.
c:
move choi
c
e of whic
h
sp
e
cial
i
zation to us
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
om
e
ga/par
s
e
r
.
l
:
l
et flex define yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolae
g
e
lexmin
.
cc: op
t
i
o
nally ski
p
check for e
m
pt
y
domains
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Ve
r
doolaege
evalue
.
c
:
r
e
duce_evalue_in_domain: reduce to zer
o
evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aeg
e
lex
m
in
.
cc:
u
se barv
i
nok_options
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoolae
g
e
i
n
t
roduce b
a
rvi
n
ok_options structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
lexmin
.
c
c: co
m
pute g
e
nerati
n
g fun
c
tions of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: move s
o
m
e code
a
r
o
un
d
to
p
r
epare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven V
e
rdoolae
g
e
evalue: dec
l
ar
e
argument o
f
ead
d
and eval
u
e_cop
y
const
commit
|
commitdiff
|
tree
2006-09-06
S
ven Verdoolaege
lexmin
.
cc: perform sub
s
tit
u
t
i
on imm
e
diatel
y
on
each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Ver
d
oola
e
ge
README: add a
w
arning on (not) using
shared
l
ibraries
commit
|
commitdiff
|
tree
2006-09-06
S
ven Ve
r
doola
e
g
e
p
i
ecewise_lst: dr
o
p
t
he _s suffi
x
in the class name
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaeg
e
be
r
nstein/piece
w
ise_lst
.
cpp: add add(
e
x
)
m
etho
d
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoolae
g
e
bernstein
.
cc:
export evalue2e
x
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoolaege
ome
g
a/
p
o
lyfunc
.
cc: avoi
d
warning
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
barvin
o
k/ev
a
lue
.
h: make
more se
l
f
-c
o
ntained
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
Merge bra
n
ch 'master' i
n
t
o
bernstein
commit
|
commitdiff
|
tree
2006-08-31
Sven Verd
o
olaege
e
v
alue
.
h: change nam
e
o
f he
a
der
define
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdool
a
ege
evalue
.
h: mak
e
m
o
re self-co
n
tained
commit
|
commitdiff
|
tree
2006-08-26
Sven Ve
r
doolaege
bf
c
o
u
nter
.
h
:
undefine divide
f
rom p
o
lylib's
a
rithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdool
a
ege
c
o
n
figure
.
in: no longer compile
shared lib
r
arie
s
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
R
E
A
D
ME:
r
efle
c
t t
h
at --en
a
b
l
e-fraction
a
l
is
now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
ven Verdoolaege
lexmin: remove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n V
e
rdool
a
ege
gen_fun::Hadamard_product: use unoptim
i
zed version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
doolaeg
e
barvinok_series: perform backsubstitution also
i
f all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoola
e
ge
barv
i
n
ok_e
n
umerate_union_se
r
ies: call c
o
re
of barvinok
_
series
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n Verdo
o
laege
util
.
c: r
e
m
o
ve_equaliti
e
s_p: cor
r
ect c
h
eck fo
r
end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaeg
e
gen
_
fun: set c
o
nte
x
t i
n
no variab
l
es construc
t
or
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Ver
d
o
olaege
g
en_fun
:
:Hadamard_produc
t
: don'
t
assume eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoolae
g
e
barvi
n
ok_union: take context into account
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
erdoo
l
a
e
ge
polytope_scan: option
a
lly skip basis r
e
duction
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
V
e
r
doolaege
polytope_
s
can
:
scan in reduce
d
basis
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Verdoolaege
polytope_scan:
scans the
int
e
g
e
r
poi
n
ts in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoo
l
aege
M
e
rge branch 'mas
t
er
'
int
o
ber
n
s
t
ein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolae
g
e
ins
t
all NTL_QQ
.
h h
e
ade
r
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdool
a
ege
basis
_
r
eduction
.
c: clean up GLPK me
m
ory
commit
|
commitdiff
|
tree
next