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
Sven Verdoolaege
Mak
e
file
.
am: make
sure c
o
rrect files are incl
u
ded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: mention
r
estr
i
ction of b
a
rvin
o
k_enumerate_
s
c
arf_series
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
d
o
c:
min
i
mal documentation for the lexm
i
n a
p
pli
c
ation
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolae
g
e
bernstei
n
/
c
o
n
figure
.
in: set AC_CONFIG_A
U
X
_DIR t
o
bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
ven
V
erdoolaege
d
o
c: document polytope_sample
commit
|
commitdiff
|
tree
2006-10-31
S
v
en
Verdool
a
ege
doc: document po
l
y
h
e
d
ron_
s
a
m
ple
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
doc: include
b
arvinok libr
a
ry ver
s
i
o
n in titl
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
configure
.
in: fix
t
ypo
commit
|
commitdiff
|
tree
2006-10-31
S
ven Ve
r
doolae
g
e
d
oc: bib:
n
ame
K
evin M
.
Woods consist
e
ntly
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
o
o
laege
doc: document ext
r
a
o
cc
o
perations
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
do
c
: upd
a
te gen
_
fu
n
document
a
tion
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: reflect change of
a
rgument
t
y
p
e
of
e
a
dd
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoo
l
aege
doc: document barvinok_e
n
ume
r
ate_scarf
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdool
a
ege
doc: add a
n
ot
h
er p
a
per refering to ba
r
vi
n
o
k
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Ve
r
dool
a
ege
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
ege
doc: documen
t
bernstein data structures and functi
o
ns
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
rdool
a
ege
ber
n
stei
n
:
piecewise_l
s
t::sim
p
l
i
f
y
_
domains: add Max
R
ays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
bernste
i
n: make poly
a
rgume
n
t
of bernsteinExpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdo
o
l
aege
reducer
.
h:
o
nly
use
i
n
f
inite_ic
o
u
n
ter
when dim==
1
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
doc: f
i
x t
y
po
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verdoolaege
remove a few du
p
lica
t
e defini
t
ions of
M
AXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
util
.
c: move duplicate Polyh
e
d
r
o
n
_Re
a
d
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
olae
g
e
barvinok
.
cc: add _w
i
th_option
s
version of barvinok_enum
e
rate_e
commit
|
commitdiff
|
tree
2006-10-28
S
v
e
n Verd
o
o
laege
evalue
.
c
:
remov
e
include of co
n
fig
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven
Ve
r
d
oolaege
version
.
c: show use of Omega, GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
doolaege
version
.
c: mov
e
b
a
rvi
n
ok_version
from uti
l
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
olaege
doc: d
o
cument Polyhedron_Redu
c
e
d
_Basis and Polyhedron
_
Sample
commit
|
commitdiff
|
tree
2006-10-27
S
ven
V
erdoolae
g
e
e
x
port Po
l
yhedr
o
n
_
Sample a
n
d Polyhedron
_
Reduce
d
_Basis
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Ve
r
d
oolaege
doc
:
re
n
ame
"usage" sec
t
ion to "applic
a
tions" sect
i
o
n
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoolaeg
e
bar
v
inok_options:
r
ename
e
m
ptines
s
_check to
l
exmin_e
m
ptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
o
l
a
e
ge
doc: doc
u
ment
barvinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoolaege
scar
f
.
cc: export functions to library
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
laege
scarf
.
cc:
use barvinok_options instead of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoolaege
barvinok/barvinok
.
h:
e
xport _wi
t
h_options
version
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
barvinok_enumerate_e: rem
o
ve direct include
of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
er
d
oolaege
b
ernstein:
m
inimal do
c
umentation
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
rdoolaege
R
E
ADME: bernstei
n
r
e
q
uires
G
iN
a
C
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
doc: add referenc
e
to b
e
rnstein te
c
hreport
commit
|
commitdiff
|
tree
2006-10-25
S
ven
V
erdoolaege
M
erge branch 'bernstei
n
'
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
rdoola
e
ge
b
e
rnstein/src/TO
D
O: remove; ev
e
rything
has been done
commit
|
commitdiff
|
tree
2006-10-10
Sven Ve
r
d
o
olaege
doc
:
a
dd another publication that refe
r
s to barvin
o
k
commit
|
commitdiff
|
tree
2006-10-10
Sven Verd
o
olaege
LLL: use reductio
n
parameter 1 by
d
efa
u
l
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
decomposer
.
cc: short_ve
c
tor:
a
llow sp
e
cif
i
cation
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven
Verdoolae
g
e
d
oc: add some mo
r
e publicati
o
ns that ref
e
r to
b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven
Ver
d
oolaege
evalue
.
c
:
e
value
_
d
e
n
om: dec
l
ar
e
variable at s
t
a
r
t
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
Verdoolaege
evalue
.
c: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
laeg
e
scarf
.
cc: h
a
ndle case
where f
o
u
r
con
s
traints le
a
d to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdoolaeg
e
util
.
c
: compress_var
i
ables: declare
vari
a
ble at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sv
e
n Ve
r
doolaege
e
v
alue
.
c: copy
(
and adapt
)
co
p
y
right statement
from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
S
v
en Verdoolaege
do
c
:
a
dd some r
e
f
e
renc
e
s to publication
s
commit
|
commitdiff
|
tree
2006-09-26
Sve
n
Verdo
o
laege
l
e
x
mi
n
.
c
c
: reenable optimization of ch
e
cking
d
omains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
evalue
.
c
: clean up
in_dom
a
i
n
commit
|
commitdiff
|
tree
2006-09-25
Sven
Ver
d
oolaege
edomain
.
cc: ad
d
EDomain::conta
i
ns
commit
|
commitdiff
|
tree
2006-09-24
Sven
V
erdoolaege
lexmi
n
.
cc:
max_
t
er
m
::
p
rint: print flo
o
r
s
e
x
pl
i
ci
t
ly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
l
exm
i
n
.
c
c
:
disable po
s
sibly ov
e
rzealous optimizatio
n
commit
|
commitdiff
|
tree
2006-09-23
Sven
Verdoolaege
e
domain
.
c
c
: re
m
ember "constraint" re
p
re
s
entat
i
o
n o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdo
o
laege
reduced_ba
s
is
:
res
e
t "negat
i
ve widths" to
z
e
ro
commit
|
commitdiff
|
tree
2006-09-23
Sven Ve
r
doola
e
ge
lexmin
.
c
c: move
more
co
d
e
t
o edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
v
en
Ve
r
doolaeg
e
edomain
.
h: add
EDomain_floor
a
bs
t
raction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
cc: define max_t
e
rm over an E
D
omain
rath
e
r th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
Ver
d
oolaege
reducer
.
h: add vir
t
ual de
s
tructo
r
t
o
np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaeg
e
l
e
x
min
.
c
c
:
extract out s
o
me code to
e
value_u
t
i
l and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoola
e
ge
o
p
tions
.
c:
p
ic
k
up defi
n
ition of POL_INTEGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven V
e
rdoolaege
op
t
ionc
.
c: move
c
ho
i
c
e
of which specialization
t
o use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Ver
d
oo
l
aege
ome
g
a/par
s
er
.
l
:
let flex define y
y
li
n
eno
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oolaege
lexmin
.
cc: opti
o
n
a
lly
s
kip chec
k
for empty domains
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verdoo
l
a
e
ge
ev
a
l
ue
.
c: r
e
duce_e
v
alue_
i
n_do
m
ain: reduce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: use barv
i
nok_options
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n
V
e
rdoolaege
introduc
e
barvinok_options structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoola
e
ge
lexmin
.
cc: compu
t
e generat
i
ng functions
o
f vert
e
x c
o
ne
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n
V
e
rdo
o
laege
lexmin
.
cc: m
o
v
e
some
c
ode around to prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven
Verdool
a
ege
e
v
a
l
ue: declare argument of eadd and
evalue_copy
c
o
n
st
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
lexmin
.
cc: perform substitution immed
i
a
t
ely on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
Verdoolaege
README: add
a
wa
r
n
ing
o
n
(
n
ot) usin
g
shar
e
d libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven Ver
d
o
olae
g
e
piece
w
i
s
e
_lst: d
r
o
p the
_
s suf
f
ix in the class n
a
me
commit
|
commitdiff
|
tree
2006-08-31
S
ve
n
Verdoo
l
aege
ber
n
stein/piecewis
e
_ls
t
.
cp
p
: add add(ex) met
h
od
commit
|
commitdiff
|
tree
2006-08-31
Sven Ver
d
ool
a
ege
bernstei
n
.
c
c:
export e
v
alue2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Ver
d
oolaege
omega/polyfunc
.
cc: avoid
w
arn
i
ng
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
barvinok
/
evalue
.
h: mak
e
m
ore
s
el
f
-contained
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaege
Mer
g
e branc
h
'master
'
into b
e
rnstein
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoolaege
evalue
.
h:
c
hange name of heade
r
define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
eva
l
ue
.
h
: make mo
r
e self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
bfcounter
.
h: undefine divide
f
rom po
l
ylib's
a
rithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
ven
V
erd
o
olaege
co
n
figu
r
e
.
in
:
n
o
longe
r
compil
e
s
h
ared libr
a
ries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en
Verdoolaege
RE
A
DME
:
r
e
flec
t
t
h
at --enable-f
r
actional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
ven
V
erdoolaege
l
exmin: remove duplicate
u
nfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
g
e
n_fun::Hada
m
ard_produ
c
t: use
unoptimize
d
versi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
ven Verdoolaege
b
arvi
n
ok_series: perform backsubstitution also if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rdo
o
laege
b
a
rvinok_enumerate_unio
n
_seri
e
s: cal
l
co
r
e of
b
arvinok_
s
eries
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
u
til
.
c: rem
o
v
e_equalities_p: co
r
rect che
c
k for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolae
g
e
ge
n
_fun: set contex
t
in no variables con
s
tructor
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoola
e
ge
g
e
n
_
fun::Hadama
r
d_product: don't assume
equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
S
ven Ver
d
oolaege
barvinok_uni
o
n
: ta
k
e cont
e
xt
i
nto account
commit
|
commitdiff
|
tree
2006-08-16
S
ven V
e
rdoo
l
aege
p
o
lytope_sc
a
n:
optionally s
k
ip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
S
ven V
e
rd
o
olaege
poly
t
o
pe_scan: scan in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
o
l
ytop
e
_sca
n
: scans the integer points in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven
Verdoolaege
Me
r
ge br
a
nc
h
'
m
as
t
e
r
' into bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sv
e
n Verdoola
e
ge
in
s
tall NTL_QQ
.
h h
e
ader
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
basis_reduction
.
c: clean up GL
P
K
memory
commit
|
commitdiff
|
tree
next