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
version
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdool
a
ege
Make
f
i
l
e
.
am: make su
r
e corr
e
ct fi
l
es a
r
e included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
doc: mention restr
i
c
t
i
on of barvinok_en
u
me
r
ate_s
c
arf
_
s
e
r
ies
commit
|
commitdiff
|
tree
2006-10-31
Sven
Ver
d
oolaege
doc: minimal documentation for
th
e
lexmi
n
ap
p
licati
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
b
ernste
i
n/configure
.
in: set A
C
_CONFIG_AUX_DIR to bernst
e
in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
do
c
: document polytope_s
a
mple
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
doc: docu
m
ent polyhedron_s
a
m
p
l
e
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
doc: in
c
lude barvino
k
library versio
n
in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
co
n
figure
.
i
n: fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolae
g
e
doc: bi
b
: n
a
m
e
K
ev
i
n M
.
W
o
o
d
s
consistently
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
doc: docu
m
ent extra o
c
c
o
perations
commit
|
commitdiff
|
tree
2006-10-31
S
ve
n
Verdoo
l
aege
doc:
u
pdate gen
_
fun documentatio
n
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaeg
e
d
o
c: reflect cha
n
g
e of argum
e
nt type
o
f eadd
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
d
o
c: document b
a
rvinok_enumera
t
e_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
do
c
: add another paper
refering t
o
bar
v
inok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: typo
s
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolae
g
e
doc
:
doc
u
ment bernstei
n
d
ata struc
t
ure
s
and functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
berns
t
ei
n
:
p
iecewise_lst::simplify_do
m
ains:
a
dd MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven V
e
rdoola
e
ge
bernstein: make poly argu
m
ent of be
r
nsteinExpansio
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolae
g
e
r
e
ducer
.
h: on
l
y use infinite
_
icounte
r
wh
e
n d
i
m==1
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoolaege
d
oc:
f
i
x t
y
po
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdoolaege
rem
o
v
e
a
f
e
w dup
l
icate definitions of MAXRAY
S
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
olaege
util
.
c: move duplicate
Polyhedron_Read
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdoolaege
barvinok
.
cc: add _wi
t
h_
o
ptions
v
e
rsion of b
a
rvi
n
o
k_enumera
t
e
_e
commit
|
commitdiff
|
tree
2006-10-28
S
v
e
n Verdoo
l
aege
e
v
alue
.
c:
r
e
move incl
u
de
of conf
i
g
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdoolaege
version
.
c
: sho
w
use of Ome
g
a
,
G
LPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoola
e
g
e
v
ersion
.
c: mov
e
barvi
n
o
k
_version from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoolaeg
e
d
o
c: docu
m
ent Pol
y
hedron_Reduced_Basis and Polyhedro
n
_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoo
l
ae
g
e
exp
o
rt Polyhedron_Sample
and Polyhed
r
on_Red
u
ced_Ba
s
i
s
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
V
e
rdool
a
ege
doc: renam
e
"
usage" s
e
ction to "applications" sec
t
ion
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
laeg
e
barvinok_opt
i
o
ns: rename e
m
pt
i
ness_check to
l
exmi
n
_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc:
d
ocument barvinok
_
option
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
laege
scarf
.
c
c: e
x
port functions to library
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoo
l
aege
sc
a
rf
.
cc:
u
se barvinok_opti
o
ns inste
a
d of MaxR
a
ys
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdool
a
ege
barvinok/barv
i
nok
.
h: e
x
port _w
i
th_optio
n
s versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
barvinok_enumerate_e: remove direct include of poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Verdoolaege
bernst
e
in: minim
a
l
docum
e
ntation
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n
V
e
r
d
oolaege
READ
M
E: bernstein requ
i
r
es GiNa
C
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
V
erd
o
olaeg
e
doc: add reference to bernste
i
n tech
r
epor
t
commit
|
commitdiff
|
tree
2006-10-25
S
ven
Verdoolaege
Merge br
a
n
ch 'ber
n
stein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
bernstein/src/T
O
DO: rem
o
ve; everyt
h
ing has bee
n
done
commit
|
commitdiff
|
tree
2006-10-10
Sven V
e
rdool
a
ege
do
c
: add another publi
c
ation
t
hat
refers to ba
r
vinok
commit
|
commitdiff
|
tree
2006-10-10
S
v
en
V
e
rdoo
l
aege
LLL: use reduction parameter 1
b
y defau
l
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
decomposer
.
cc:
s
hort_vector:
a
llow specification of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
S
ven Verdoolaege
do
c
: add
s
ome more
p
u
blicati
o
ns that re
f
er to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdoolaege
ev
a
lue
.
c
:
evalu
e
_denom: declare variable at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n
V
e
r
doolaege
evalue
.
c:
e
xport eva
l
ue
_
denom
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
erdo
o
laeg
e
scarf
.
cc: handle case where fo
u
r
constra
i
nts l
e
ad t
o
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdoolae
g
e
uti
l
.
c: com
p
ress_varia
b
l
es: declare variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
S
v
en Verdo
o
laege
e
value
.
c: copy (and adapt) copyrigh
t
st
a
tement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
S
ve
n
Verdoo
l
aege
doc: add some referen
c
es
t
o publicat
i
ons
commit
|
commitdiff
|
tree
2006-09-26
Sven
V
erd
o
olaege
lexmin
.
cc: ree
n
able optimi
z
a
tion of checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
ev
a
lue
.
c: clean up i
n
_domain
commit
|
commitdiff
|
tree
2006-09-25
S
ven
V
e
r
doolaeg
e
edomain
.
cc: add EDomain::contai
n
s
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdo
o
laege
le
x
m
in
.
cc: max_
t
e
r
m::
p
r
int: print
floors
e
x
plicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexmin
.
cc:
d
i
sabl
e
possibly overzea
l
ous optimization
commit
|
commitdiff
|
tree
2006-09-23
Sven Ve
r
do
o
la
e
ge
edomain
.
c
c: rem
e
mber "
c
onstraint" representation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n Ve
r
doolaege
reduced_basis: reset "negative
w
idth
s
"
t
o z
e
ro
commit
|
commitdiff
|
tree
2006-09-23
Sven Ve
r
d
o
o
l
aege
l
exmi
n
.
cc: move more code to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoolaege
edomain
.
h: add EDomain_floor abstrac
t
ion
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
cc: define max_term
over an
EDomain
rather t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
red
u
cer
.
h: a
d
d
v
ir
t
u
al des
t
ructor t
o
np_b
a
s
e
to
a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Ver
d
o
o
laege
l
e
x
min
.
cc: extract
out som
e
c
o
de t
o
eva
l
ue_ut
i
l
and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdo
o
laege
options
.
c: pick up definiti
o
n
o
f POL_INTEGER from ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
opt
i
onc
.
c: move
choice of
w
hich specializati
o
n to
u
se
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Ve
r
do
o
laege
o
m
ega/parser
.
l: let flex
d
ef
i
n
e yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
l
e
xmin
.
c
c
: optionally s
k
i
p check fo
r
empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoolaege
evalue
.
c: reduce_e
v
alue_in_dom
a
in: reduce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaege
le
x
min
.
cc: use barv
i
nok_optio
n
s
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Ver
d
oolaege
i
ntroduce barvinok_opt
i
ons structu
r
e
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoolaege
lexmin
.
cc
:
compute g
e
n
erating function
s
of
ver
t
ex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
ege
l
ex
m
in
.
cc: move som
e
code a
r
ound to
p
rep
a
re for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sv
e
n
Verd
o
olaege
eval
u
e
: declare a
r
gumen
t
of ead
d
and e
v
alue_c
o
py c
o
nst
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
lexmi
n
.
cc: perform
s
ub
s
t
i
tut
i
on immedi
a
tely on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven
Verdoola
e
ge
README: ad
d
a warni
n
g on (
n
ot) u
s
i
n
g
s
hared
libra
r
ies
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
piecewise_lst: drop the
_
s suffix in the cla
s
s na
m
e
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdool
a
ege
bernstein
/
piecewise_
l
s
t
.
cp
p
: add
add(ex) method
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoolaege
bernstein
.
c
c: export evalue2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaeg
e
omega/poly
f
unc
.
cc:
a
v
o
id warn
i
n
g
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
ge
barvinok/evalue
.
h: make mor
e
self-contained
commit
|
commitdiff
|
tree
2006-08-31
Sven Verd
o
olaege
Merge branch 'master' into
bernstein
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdool
a
e
g
e
eva
l
ue
.
h: change name
of header d
e
fine
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
e
v
alue
.
h: make more s
e
lf-con
t
ained
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Verdoolaege
bfcounter
.
h
: undefine
d
i
v
i
d
e from po
l
y
l
ib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Verdoolae
g
e
configure
.
in:
n
o
longer compile sh
a
red librar
i
es
b
y
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolae
g
e
README: reflect that --enable-fraction
a
l is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolaeg
e
lexmin: rem
o
v
e
duplicate
unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Ver
d
oolaege
gen
_
fu
n
::Hadama
r
d
_
product:
use unoptim
i
zed version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolae
g
e
b
a
r
v
inok_series: perf
o
rm
b
a
ck
s
ubs
t
itution
a
lso if
a
ll
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
erdoolaege
barvinok_enumerate_u
n
ion_series: call c
o
re of
b
arvi
n
ok_series
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
util
.
c
: remove
_
equalit
i
es_p: correct che
c
k
f
or en
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rdoolaege
gen_fun: se
t
context in
n
o
vari
a
bles construc
t
or
commit
|
commitdiff
|
tree
2006-08-21
S
ven Verdool
a
ege
gen_fun::Had
a
m
a
rd_product: do
n
't
a
ssume equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoolaege
b
arv
i
nok_uni
o
n: take
co
n
text into account
commit
|
commitdiff
|
tree
2006-08-16
Sven Ver
d
oolaege
pol
y
top
e
_scan: optionally sk
i
p
basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdool
a
ege
p
olytope_
s
c
a
n: scan in reduced ba
s
is
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoola
e
ge
polytope_scan: scans the
int
e
ger po
i
nts
i
n
a polytop
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaeg
e
M
erge br
a
nch 'maste
r
' in
t
o bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven V
e
rd
o
o
l
a
ege
install NTL_QQ
.
h heade
r
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
e
r
doolaege
b
a
s
i
s_re
d
uction
.
c: clean up GLPK me
m
ory
commit
|
commitdiff
|
tree
next