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: document polytope_sample
2006-10-31
Sve
n
Ver
d
oolaege
doc: document polyt
o
pe_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
d
o
cument polyhed
r
on_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
i
nclude
barvinok
l
ibrary version
in t
i
tl
e
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
c
o
nfigu
r
e
.
in:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verd
o
olaege
do
c
: bib: name
K
evin M
.
Wo
o
ds consistently
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoo
l
aege
doc: document extra occ oper
a
tio
n
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
la
e
g
e
doc: up
d
a
te gen_fun
d
ocument
a
tion
commit
|
commitdiff
|
tree
2006-10-31
S
ve
n
Verdoola
e
ge
doc: reflect change of argument type o
f
eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: do
c
ument barvinok_e
n
umerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n V
e
rdoolaege
d
o
c: a
d
d another p
a
per refering
to barvinok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
ege
doc: docu
m
e
n
t bernstein dat
a
st
r
uctures
a
n
d
f
unctio
n
s
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Verd
o
olaege
ber
n
stei
n
: piec
e
wise_l
s
t::simplify_do
m
a
ins: add Ma
x
R
a
ys
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdo
o
laege
bernstein:
m
ake poly argumen
t
of be
r
nst
e
i
n
Expan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n Verdoolaege
reducer
.
h:
o
nly use infinite_icou
n
ter when dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoola
e
g
e
doc: f
i
x typo
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
r
do
o
l
aege
remove a
few duplicate definitions of MAXR
A
YS
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdoolaege
util
.
c: move dupli
c
a
t
e Po
l
yhedr
o
n_Rea
d
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoolaege
barvinok
.
cc: a
d
d
_with_options version of
barvinok_enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
e
v
al
u
e
.
c:
remove i
n
clude of confi
g
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n
V
erdoolaege
version
.
c: s
h
ow u
s
e of Omega, GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Ve
r
doolaege
ve
r
sion
.
c
: move barv
i
nok_
v
ersion f
r
om uti
l
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
do
c
: document Polyhedron_Reduced_Basis
a
nd Polyhedron_
S
ample
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
e
x
port P
o
lyhedron_Sample and Po
l
yhedron_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc: re
n
ame
"
usage" section to
"appl
i
cation
s
"
section
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
ba
r
vino
k
_o
p
tions: rename emptine
s
s_ch
e
ck to lexmin_e
m
pti
n
ess
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdool
a
ege
doc: docume
n
t b
a
rvinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
oola
e
ge
s
c
a
rf
.
cc:
exp
o
rt function
s
t
o li
b
rary
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
s
carf
.
cc: use barvinok_options instead of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
S
v
en
Verdoolaege
ba
r
vin
o
k/barvi
n
ok
.
h: export _with
_
optio
n
s versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaeg
e
barv
i
nok_enumerate_e
:
r
emo
v
e direct i
n
clude of poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
r
doo
l
aege
bernst
e
in: minima
l
documentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolaege
R
E
A
DME: bernstein
r
equires GiN
a
C
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verd
o
olaege
doc: add ref
e
re
n
ce to bernstein tech
r
e
p
ort
commit
|
commitdiff
|
tree
2006-10-25
S
ve
n
Verdoolae
g
e
M
erge branch
'
ber
n
stein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
b
e
r
n
stein/sr
c
/
TODO: r
e
move; ev
e
ry
t
hing has been done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
doc:
a
dd
a
nother p
u
blicatio
n
t
h
at refers
t
o barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
LLL: use red
u
c
t
ion parameter 1 by d
e
f
a
u
lt
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdool
a
ege
deco
m
p
oser
.
cc: sh
o
rt_vec
t
or: allow specificat
i
on
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoo
l
aege
doc:
add
s
o
m
e more publ
i
cations that re
f
er to b
a
r
v
in
o
k
commit
|
commitdiff
|
tree
2006-10-02
Sven
Verdoolae
g
e
ev
a
lue
.
c: evalue_deno
m
: declare
variable at st
a
rt
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
Verdoolaege
evalue
.
c: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdo
o
l
a
ege
scarf
.
cc: handle case w
h
ere four constrain
t
s
lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
ven Verdoolaege
util
.
c: compress_variables
:
declare variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
S
ve
n
Verdoolaege
evalue
.
c: co
p
y
(and adap
t
) copyri
g
ht statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sv
e
n
Verd
o
olaege
do
c
: add some re
f
erences
t
o
p
u
blicat
i
o
n
s
commit
|
commitdiff
|
tree
2006-09-26
Sven
V
e
rdoolaege
lexm
i
n
.
cc: reenable optim
i
za
t
ion o
f
check
i
ng domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdool
a
eg
e
evalue
.
c: clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaeg
e
edomain
.
c
c: add
E
Domain:
:
contain
s
commit
|
commitdiff
|
tree
2006-09-24
S
ven Verd
o
olaege
le
x
m
in
.
cc:
m
ax_t
e
rm::print
:
pri
n
t fl
o
o
rs
expl
i
citly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoo
l
ae
g
e
lexmi
n
.
cc:
dis
a
ble possibl
y
ov
e
rzealous opt
i
m
izati
o
n
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n Ver
d
o
o
l
a
ege
edo
m
ain
.
cc:
r
emembe
r
"cons
t
raint" re
p
resen
t
a
tion of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven
V
e
rdoolaege
redu
c
ed_basis: reset "negative widt
h
s
"
to zer
o
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolae
g
e
lexmin
.
cc: move more cod
e
to
edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
doolaeg
e
edomain
.
h: a
d
d EDomain_flo
o
r abs
t
ractio
n
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
cc:
d
efine
m
a
x
_te
r
m
over an EDomain
rather tha
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoola
e
ge
reduc
e
r
.
h: add virtual destructor to np_b
a
se to
a
void
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdool
a
eg
e
l
exmin
.
cc: extract out some code to ev
a
lue_u
t
il and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verd
o
ol
a
e
ge
options
.
c: pi
c
k up definition of POL
_
INT
E
GER fro
m
barvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ve
r
dool
a
ege
optionc
.
c: mov
e
c
h
oice o
f
which
s
pecialization to
u
se
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ve
r
doolaege
omega/parser
.
l
: let
flex define yylineno
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Ver
d
o
ol
a
e
g
e
l
e
xmin
.
c
c: optionally s
k
ip ch
e
c
k for e
m
p
ty doma
i
ns
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Ver
d
oolaege
evalue
.
c: reduce_eval
u
e
_
i
n_doma
i
n: reduce
to zero
evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verdoola
e
g
e
lexmin
.
c
c:
u
se b
a
rvinok_optio
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolae
g
e
in
t
roduce barvinok_
o
ptions structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoola
e
ge
lexmin
.
cc: co
m
pute gener
a
tin
g
funct
i
ons of vert
e
x
c
o
nes
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Ver
d
oolaege
lexmi
n
.
cc: move some
c
o
d
e
a
r
ound to prepare
f
or new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaege
evalue: de
c
lare argument of ea
d
d and eval
u
e_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven
Verdoola
e
ge
lexmin
.
cc: perform su
b
stit
u
t
i
on immediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
REA
D
ME:
add a warning on (not) using sha
r
ed
l
i
br
a
ries
commit
|
commitdiff
|
tree
2006-09-06
S
v
e
n Verdoolaege
piecewise_lst: drop the _s s
u
ff
i
x
in the class name
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaege
b
e
rns
t
ein/piece
w
ise_lst
.
c
pp: a
d
d add(ex) method
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
be
r
nstei
n
.
cc: export
e
v
alue
2
ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
doolaege
omega
/
p
o
lyfunc
.
cc
:
avoid wa
r
ning
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
barvino
k
/evalue
.
h: make m
o
re sel
f
-cont
a
i
n
ed
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n
Verdoolaeg
e
Me
r
g
e br
a
n
ch 'maste
r
' into b
e
rnst
e
in
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
doolaege
evalue
.
h
:
c
hange
n
ame of head
e
r define
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdoolaege
e
value
.
h
:
ma
k
e more self-containe
d
commit
|
commitdiff
|
tree
2006-08-26
S
ven Verdo
o
laege
bf
c
ounter
.
h: u
n
define divide
f
r
o
m
poly
l
ib's arit
h
m
e
tique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
config
u
re
.
in: no
lo
n
ger compile shared libraries
b
y
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaeg
e
R
E
ADME: r
e
flect th
a
t
--ena
b
le-fractiona
l
is now
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaeg
e
lex
m
in: remo
v
e dupl
i
cate un
f
r
inge
commit
|
commitdiff
|
tree
2006-08-21
S
ven
V
erdoolaege
gen_
f
un::Hadamar
d
_product: use uno
p
timized
version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n
Ver
d
oola
e
g
e
barvinok
_
ser
i
es: perf
o
rm backsubstitution als
o
if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
bar
v
i
n
ok_enu
m
e
ra
t
e_un
i
on_series: call
core of
barvinok_series
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verdoolaege
util
.
c
:
remove_equalit
i
es_p:
c
o
rrect check
for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
doo
l
aege
g
en_f
u
n:
set context in no variabl
e
s c
o
nstructor
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen_f
u
n::
H
ada
m
ard_
p
roduct: don't
a
ssum
e
equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdo
o
laege
barvi
n
ok_u
n
i
o
n: take c
o
n
t
e
xt into
a
cc
o
u
nt
commit
|
commitdiff
|
tree
2006-08-16
Sven V
e
r
doolaege
pol
y
tope_scan: optionally skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven
Verdoolaege
pol
y
tope_s
c
an: scan in r
e
d
u
ced basis
commit
|
commitdiff
|
tree
2006-08-16
S
v
e
n Verdo
o
laege
polyt
o
pe_
s
can
:
scan
s
the integer points i
n
a polyto
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
Merge branch 'ma
s
ter' into bern
s
te
i
n
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
install
N
TL_QQ
.
h heade
r
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
g
e
basi
s
_reduc
t
ion
.
c
:
c
lean up G
L
PK mem
o
ry
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoolaeg
e
Merge branc
h
'master'
into
be
r
nstein
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoolaege
lexmin
.
cc:
d
on't bo
t
h
e
r transforming if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoolaege
lexm
i
n
.
c
c
:
f
ix use o
f
compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
sample
.
c: fix r
e
move
_
ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdool
a
ege
barvinok_co
u
n
t
:
clean up
m
emory after simpl
i
f
ying con
s
traints
commit
|
commitdiff
|
tree
next