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
bernstein: piecewise_lst::evaluate: fix typo
2006-12-06
Sve
n
Verdoolaege
be
r
nstein: pie
c
ewise_lst::eval
u
ate: f
i
x typo
commit
|
commitdiff
|
tree
2006-12-06
S
ven Ve
r
doo
l
a
e
ge
configure
.
in:
o
nly add
-
lbe
r
n
s
t
ein
t
o
barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdo
o
laege
configure
.
in:
r
ename --wi
t
h-
g
inac to --wi
t
ho
u
t
-be
r
nste
i
n
commit
|
commitdiff
|
tree
2006-11-10
Sven
V
erdoolaege
co
n
figure
.
in
:
al
l
o
w
build without Gi
N
a
C
(an
d
therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
S
v
e
n
Verd
o
olaege
con
f
i
gure
.
in: add -lbernstein to barvinok
.
p
c if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
util
.
c: co
m
p
r
ess_
v
ariables: correc
t
check
f
or scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
util
.
c: som
e
documentation f
o
r compress_variables
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n Verdoolaege
verif_e
h
rhart: add --p
r
int-
a
l
l
optio
n
to
repl
a
ce PRINT_
A
L
L
_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
ma
t
_
util: make arguments of lex_cmp const
commit
|
commitdiff
|
tree
2006-11-09
Sven V
e
rdoolaege
add AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
V
e
r
doolaege
bump ve
r
s
i
on
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolae
g
e
Mak
e
file
.
am: make
sur
e
correct files are include
d
in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
v
en V
e
rdoolaege
d
oc:
m
en
t
ion restr
i
ct
i
on of barvino
k
_
e
n
umerat
e
_scarf_s
e
ries
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
d
o
c
:
m
inimal documentation for the lexmin
a
pplication
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
ege
bern
s
tein/configur
e
.
in:
set AC_CONFIG
_
AUX_DIR to ber
n
stei
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
la
e
ge
doc:
d
ocum
e
nt polyto
p
e_s
a
mple
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: docum
e
nt
poly
h
edron_s
a
mple
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
doc: include
bar
v
inok library version
i
n title
commit
|
commitdiff
|
tree
2006-10-31
S
ven Ver
d
o
olaege
co
n
f
i
gu
r
e
.
in: fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolae
g
e
do
c
: bi
b
: name Kevin
M
.
Woods con
s
istently
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
o
laege
doc: document e
x
t
ra oc
c
o
perations
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: up
d
ate gen_fun documenta
t
i
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
l
aeg
e
d
o
c: ref
l
ect change of argument t
y
pe
o
f
eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
doc: document
barvinok_
e
n
umerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: add another
p
aper refering to barvin
o
k
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
V
e
rdoolaeg
e
doc
:
ty
p
os
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Ver
d
oolaege
doc: docu
m
ent bernstein
data structures and functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bernstein: p
i
ec
e
wise_l
s
t::s
i
mplify_d
o
mains:
add M
a
xRa
y
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n
V
e
r
d
oolae
g
e
bernste
i
n
: mak
e
poly
argument
o
f bern
s
tei
n
Expansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
ven Verdoola
e
ge
reducer
.
h: only use inf
i
nite_icounter
w
hen di
m
==1
commit
|
commitdiff
|
tree
2006-10-28
S
ven
V
erdo
o
laege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoola
e
ge
remove a few d
u
plicate d
e
fi
n
i
t
i
o
ns of M
A
XRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolaege
uti
l
.
c
: move
d
uplicate Pol
y
hedr
o
n_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
r
d
oolaege
b
arv
i
nok
.
cc: add
_wi
t
h_o
p
tions
v
ers
i
o
n
o
f bar
v
i
n
ok_enum
e
rate
_
e
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolaege
evalue
.
c: r
e
move inc
l
ude
o
f config
.
h
commit
|
commitdiff
|
tree
2006-10-28
S
v
en
V
e
rd
o
olaege
v
ers
i
on
.
c: show
u
s
e
o
f
Omega, GLPK an
d
GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n V
e
rdoolaege
version
.
c
:
mov
e
barvinok
_
version
f
rom util
.
c
commit
|
commitdiff
|
tree
2006-10-28
S
v
en
V
erdoolae
g
e
doc:
d
o
cument
Polyhedr
o
n_Reduced_Basis and Po
l
yhe
d
ron
_
S
ample
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
exp
o
rt Po
l
yhedron_Sam
p
le and P
o
lyhedron_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Ver
d
oo
l
aege
d
o
c
:
rename "u
s
age" sec
t
io
n
to "a
p
plicati
o
ns"
s
ection
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
laege
barvin
o
k_
o
p
t
ions: ren
a
me emptiness_ch
e
ck to lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
S
v
en
Ve
r
doo
l
a
ege
doc: document barvinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
laege
scarf
.
c
c
:
e
xport functions to library
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
olaege
scarf
.
cc:
u
se
b
a
r
vinok_opti
o
ns
i
n
stead of MaxR
a
ys
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoolaege
barvinok/barvinok
.
h
:
export _with_options versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
v
en
V
e
rdoolaege
b
a
rvinok_
e
n
u
m
e
rate_
e
:
r
emove direct inc
l
ude
of
p
olylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoola
e
g
e
b
ernstein:
m
i
nimal documenta
t
ion
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n V
e
rdoolaege
R
E
A
D
ME: be
r
nstein requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
S
v
e
n Verdoolaege
doc: add re
f
erence t
o
be
r
nstein techr
e
port
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoo
l
aege
Merge bran
c
h 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verdoo
l
aege
b
e
rns
t
ein/src
/
T
O
DO: re
m
ove; ev
e
rythin
g
has been
d
o
n
e
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolae
g
e
doc: add another pu
b
lic
a
t
ion
th
a
t ref
e
rs
to barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven
Verdoolaeg
e
LLL:
use reductio
n
parameter 1 by default
commit
|
commitdiff
|
tree
2006-10-07
Sv
e
n
Verdoolaege
d
e
compos
e
r
.
cc:
short_vect
o
r: allow specification of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sve
n
Verdoolaeg
e
doc: add
some
m
o
re
publications that refer
to
b
arvin
o
k
commit
|
commitdiff
|
tree
2006-10-02
Sven Verd
o
o
l
a
e
ge
ev
a
lue
.
c: evalue_denom: dec
l
are va
r
i
a
ble at s
t
art of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
e
r
doola
e
ge
evalue
.
c: e
x
p
o
rt evalu
e
_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
scarf
.
cc: ha
n
dle case whe
r
e four co
n
stra
i
nts lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n
V
e
rdoolaege
ut
i
l
.
c: compress_variables: d
e
clar
e
variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaege
e
v
alue
.
c: copy (and adapt) copyright
s
t
a
temen
t
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaege
doc: ad
d
some references to publications
commit
|
commitdiff
|
tree
2006-09-26
Sv
e
n
V
erdoolaege
lexm
i
n
.
cc: re
e
na
b
l
e optimization of chec
k
i
n
g dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
ven Verd
o
olaege
evalue
.
c: clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
e
d
omain
.
cc:
a
dd EDom
a
in::contains
commit
|
commitdiff
|
tree
2006-09-24
Sv
e
n
V
erdoolaege
le
x
min
.
cc: max_term::
p
r
int: print floors
e
xpl
i
citly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
ven Verdoolaege
lexmin
.
c
c:
disable possibly ov
e
r
z
ealous optimization
commit
|
commitdiff
|
tree
2006-09-23
Sven
Verdoolaege
e
domain
.
c
c:
remember
"c
o
n
s
tra
i
nt" representation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
reduced_bas
i
s: reset "negative widths"
to zero
commit
|
commitdiff
|
tree
2006-09-23
S
v
e
n Verdoolaege
l
exmin
.
c
c:
m
ove more code to edo
m
ain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
e
r
doolaege
edoma
i
n
.
h:
add
EDomain_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolae
g
e
lexmin
.
cc: define max_term ove
r
an
EDomai
n
r
ather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
r
doolaege
r
educ
e
r
.
h
:
add virtual destructor to
n
p_base
to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdool
a
ege
l
e
xmin
.
cc: e
x
t
ract out some
code to
eval
u
e_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
o
p
tion
s
.
c: pick up
d
efinition of POL_INTEGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdool
a
ege
optionc
.
c: move choi
c
e
o
f
which spe
c
i
a
lization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sve
n
Verdool
a
ege
omega/pars
e
r
.
l: let flex
d
efine yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven
Verdoolaege
le
x
min
.
cc: o
p
tiona
l
ly skip
c
heck for em
p
ty domai
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
evalue
.
c: r
e
duce_evalue_in_dom
a
in: reduce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaeg
e
l
e
xm
i
n
.
c
c
: use barvinok_options
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
e
rdoola
e
ge
introduce
barvinok_options s
t
ructu
r
e
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
r
do
o
laege
lexmin
.
cc:
c
ompute generati
n
g functions of
vertex c
o
nes
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoola
e
ge
l
e
xmin
.
cc
:
m
ove some code
a
r
o
und
t
o
prep
a
re for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sv
e
n Verdoolae
g
e
evalue: declare argum
e
nt of ead
d
and evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdo
o
laege
le
x
min
.
cc: perform sub
s
titution imm
e
dia
t
ely on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdoolaege
READ
M
E: add
a warning on (
n
ot) u
s
ing shared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
e
r
d
oolaege
piecewise
_
lst: drop the _s suff
i
x in the cl
a
ss name
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdool
a
ege
berns
t
e
in/pie
c
ewise_lst
.
cpp: add add(ex) method
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
doolaege
b
ernstein
.
cc: expor
t
evalue
2
ex
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoolaege
omega/polyfunc
.
cc: a
v
oid warning
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolae
g
e
barvino
k
/e
v
alue
.
h
: make more self-contain
e
d
commit
|
commitdiff
|
tree
2006-08-31
S
ve
n
Verdoolaege
Merge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-31
S
ve
n
Verdoola
e
ge
eval
u
e
.
h: chan
g
e name of header de
f
ine
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erd
o
olaege
e
v
alu
e
.
h: make
more sel
f
-co
n
tained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaeg
e
bfcounte
r
.
h: und
e
f
i
n
e div
i
d
e from
p
o
lyl
i
b
'
s arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
olaeg
e
configure
.
in:
n
o l
o
nger com
p
ile shared libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdool
a
ege
README: refle
c
t that
-
-enable-f
r
actio
n
a
l
is n
o
w the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolae
g
e
l
e
xmin: r
e
move dupli
c
ate unf
r
inge
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdool
a
ege
p
oly
t
ope
_
scan: optionall
y
sk
i
p bas
i
s reductio
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
poly
t
ope_scan: scan in
reduce
d
basi
s
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoola
e
ge
poly
t
ope_sca
n
:
s
c
ans t
h
e
integer point
s
i
n
a poly
t
ope
commit
|
commitdiff
|
tree
next