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 Verdoo
l
aege
bump version
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
Mak
e
fil
e
.
am: mak
e
sure correct files are
included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
do
c
: mention restriction of barvinok_e
n
ume
r
at
e
_sca
r
f
_
series
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
d
o
c
:
minimal
d
ocumentation for the lexmin
application
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
bernstein/configure
.
in: set AC_CONFIG_A
U
X_D
I
R
to
bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
v
en V
e
rdoolaege
doc: docum
e
nt
poly
t
ope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doo
l
ae
g
e
do
c
: do
c
u
m
e
n
t polyh
e
dron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
doc: in
c
lude barvino
k
libra
r
y
version
i
n
tit
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
configure
.
i
n
: fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: bib:
n
a
me Kevi
n
M
.
Woods consist
e
ntly
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: document ext
r
a occ operat
i
o
n
s
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc: update gen_fun doc
u
mentation
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
do
c
: reflect change o
f
arg
u
men
t
type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: d
o
cu
m
ent barvinok_enu
m
erate_s
c
arf
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: add anoth
e
r
p
a
per refering to barvinok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
o
l
aege
doc
:
typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
document
bernstein
data stru
c
tures and
functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
ege
be
r
nstein
:
piecewi
s
e_lst::simplif
y
_d
o
mains: ad
d
M
a
x
Ra
y
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
b
e
r
nstein: mak
e
po
l
y argument of bernstein
E
x
p
ansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Ve
r
d
oola
e
ge
re
d
uce
r
.
h: only use infinite_icounter when di
m
==1
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdo
o
laege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoo
l
a
e
g
e
r
emove a few
duplicate defini
t
i
o
ns of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rd
o
olaege
util
.
c: move duplicate Polyhedron_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoola
e
ge
barvin
o
k
.
cc: add _
w
ith_opt
i
ons version of barvi
n
ok_enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
d
o
olaege
evalue
.
c: remove include of con
f
i
g
.
h
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdo
o
laege
version
.
c: show use of
Omega,
G
LPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c: mov
e
barvinok_version from uti
l
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoo
l
aeg
e
doc: document Polyhedro
n
_Reduced_Basis and Polyhedron_Sample
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoola
e
ge
export Polyhedron_Sample and Po
l
yhedron_Reduced_
B
asis
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc: rename "usage" s
e
c
t
ion t
o
"application
s
" s
e
ction
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
V
e
r
do
o
laege
bar
v
ino
k
_options: rename emptiness_check to lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc: document barvino
k
_opti
o
ns
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaeg
e
scarf
.
cc: export functions to librar
y
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdoolae
g
e
s
carf
.
cc:
use
b
a
rvinok_options ins
t
ead of Max
R
a
y
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
b
arvinok/barvinok
.
h: expo
r
t _with_options versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
barvinok_enumera
t
e_e: remove
d
irect includ
e
of poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Verdoolaege
bern
s
tein: mini
m
al documentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
README:
ber
n
s
t
ein requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Verdool
a
ege
doc: add
re
f
erenc
e
to bernstein te
c
h
r
eport
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Verdoolaege
Merge
b
ranch 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
S
v
e
n Verdoolaege
bernstein/src
/
TODO: remov
e
;
everyt
h
ing has bee
n
done
commit
|
commitdiff
|
tree
2006-10-10
Sv
e
n Verdoolaege
doc: a
d
d anoth
e
r publication
that refe
r
s to
b
arvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoo
l
a
e
ge
LLL: use redu
c
tion parameter 1 by defau
l
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
decomp
o
ser
.
cc: short_vecto
r
: allo
w
specifica
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Ve
r
d
o
ol
a
ege
do
c
: ad
d
s
o
me more
p
ublications that refer
t
o barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
V
e
rdoolaege
eval
u
e
.
c: evalue_denom:
d
eclare variabl
e
a
t
s
tart o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
ven Verdoola
e
ge
evalue
.
c: expo
r
t eva
l
ue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
scarf
.
c
c
: h
a
n
dle
c
a
se where four
c
onst
r
aints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
util
.
c: compress
_
var
i
a
b
les: declare variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven
Verdoolae
g
e
evalue
.
c: copy (an
d
a
dapt)
copyright statement
from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven
V
erdoola
e
ge
doc: add some references to
publ
i
c
a
t
i
ons
commit
|
commitdiff
|
tree
2006-09-26
S
ven
V
erdool
a
e
ge
lexmin
.
cc:
reenable optimi
z
ation of checking dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Ve
r
dool
a
ege
evalue
.
c: clean up i
n
_d
o
main
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
edomain
.
cc: add
E
Doma
i
n::contai
n
s
commit
|
commitdiff
|
tree
2006-09-24
S
v
en
Verdoolaege
lex
m
i
n
.
cc: max_term::pr
i
nt: prin
t
floors
e
xplicit
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lex
m
i
n
.
cc: d
i
sable possibly over
z
ealous optimization
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdool
a
ege
edomain
.
cc:
r
emember
"cons
t
r
aint" representati
o
n of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Ver
d
oolae
g
e
reduce
d
_b
a
s
i
s: reset "negativ
e
widths
"
to
z
ero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolae
g
e
lexmin
.
c
c
: move
m
o
re cod
e
to
edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
v
e
n Verdoola
e
ge
edomain
.
h: add EDomain_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
S
v
en Verdoolaege
le
x
min
.
cc:
d
efine max_term o
v
er an EDomain rat
h
er th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
re
d
ucer
.
h:
a
dd virtu
a
l
d
es
t
ru
c
t
or to np
_
base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
doolaege
lexmin
.
cc: extract out
s
ome c
o
de to
e
value_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
rdoolaege
o
p
tions
.
c: pick up definition o
f
POL_INTEGER from barvin
o
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoo
l
a
ege
optionc
.
c:
move
c
hoice o
f
wh
i
ch s
p
ecialization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
omega/pa
r
ser
.
l: let f
l
ex define yylinen
o
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
l
aege
lexmin
.
c
c
: optionall
y
skip check for empty d
o
mains
commit
|
commitdiff
|
tree
2006-09-20
S
ve
n
Verdoolaege
evalue
.
c: re
d
u
c
e
_ev
a
lue_in_dom
a
i
n
: reduce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
lexmin
.
cc: u
s
e bar
v
i
n
o
k
_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
introduce barvinok_options str
u
cture
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoolaege
le
x
min
.
cc: compute generatin
g
functions of
v
ert
e
x cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
e
r
d
oolaege
lexmin
.
cc: move so
m
e code around
to prepa
r
e for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven
V
er
d
oolaege
e
v
a
lue: de
c
l
are argument of
e
a
dd and evalue_co
p
y const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
lexmin
.
cc: perform s
u
bstit
u
tion immediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdo
o
laege
R
E
ADM
E
: add a
warning
o
n
(no
t
) using
s
h
a
red libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven V
e
r
d
oolaege
p
i
ecewis
e
_lst: dro
p
the
_s suffix
in th
e
c
l
a
s
s na
m
e
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
rdoola
e
ge
bernstein/pi
e
cewise_lst
.
cpp: add add(e
x
) met
h
od
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
bernstein
.
cc: export evalu
e
2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
omega/po
l
yfunc
.
c
c: av
o
id
w
arn
i
ng
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoolaege
b
arvinok/
e
value
.
h: make mor
e
s
elf-conta
i
n
e
d
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdoolaege
Merge br
a
nch 'ma
s
ter' i
n
to bernstein
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Ve
r
dool
a
eg
e
evalue
.
h: change name
o
f
h
eader define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
laeg
e
evalue
.
h
:
make
m
o
re self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rdoolaege
b
f
counter
.
h
:
undefi
n
e div
i
d
e
f
rom polylib's
a
ri
t
h
m
e
tiqu
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
r
d
o
olaeg
e
configure
.
in: n
o
l
onger
compile shared
l
ib
r
aries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
V
erdoo
l
a
e
ge
README: r
e
flect that --e
n
abl
e
-
f
r
a
ctional
i
s
n
ow the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
Ve
r
doolaege
lexmin: rem
o
ve
duplicate u
n
fringe
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n
Verdoo
l
a
e
ge
polytope_scan: optiona
l
l
y skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Ve
r
doolaege
p
olytope_scan: sca
n
in
reduce
d
ba
s
i
s
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
o
ly
t
ope_scan: scans th
e
integer poi
n
ts in a polyto
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven V
e
rdoola
e
ge
Merg
e
branc
h
'ma
s
ter' int
o
bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven
V
erd
o
ola
e
ge
i
n
stal
l
N
T
L_QQ
.
h
he
a
der
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
b
a
sis_r
e
duction
.
c: clean up
G
LPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdo
o
laege
Merge br
a
nch 'mast
e
r' into bernst
e
in
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
e
rdoolaege
l
exmin
.
cc
:
don't bother t
r
a
n
sforming if compress_par
m
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
lexmin
.
cc: fix use
o
f compr
e
ss_par
m
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
s
a
mple
.
c: f
i
x re
m
ov
e
_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
barvinok_count: clean up
m
e
mory afte
r
simpli
f
ying
con
s
tra
i
nts
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolaege
READ
M
E
: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
a
ege
omega/polyfunc
.
c
c
: maxi
m
ize: simplify
domain be
f
o
re
.
.
.
commit
|
commitdiff
|
tree
next