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
reducer::reduce: take a list of numerators as input
2006-12-09
Sven Verdoolaege
r
e
move_
e
qualit
i
es
.
c: extrac
t
ed from barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
genfun: add short_r
a
t::normalize
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Ver
d
o
olaege
g
e
n
f
un
:
a
d
d s
h
ort_rat const
r
uctors
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doola
e
ge
evalue
.
c: evalue_denom: improve comment
commit
|
commitdiff
|
tree
2006-12-09
S
ven Ve
r
doolaege
lexmin:
Po
l
yhedron_
n
ot_em
p
ty: check re
s
ult r
e
turned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verdoo
l
a
ege
barvinok
.
cc: series: remove equ
a
litie
s
u
s
ing Pre
i
mage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
erdool
a
eg
e
barvinok_count
:
collect stats o
n
number of unimo
d
ular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Ve
r
doolae
g
e
util
.
c: triangulate
_
c
one: use big
g
er
ra
n
dom
v
alues
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Verdool
a
ege
sample
.
c: Polyhedron
_
RemoveFi
x
e
d
Colu
m
ns: co
p
y co
n
s
t
an
t
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdool
a
ege
bernstei
n
: piecewise_lst::ev
a
luate: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verd
o
o
l
a
e
ge
co
n
figure
.
in
:
on
l
y add -lbernstein to
b
arvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
S
v
en Ve
r
doolae
g
e
configure
.
in: rename --w
i
th-ginac to --witho
u
t-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdo
o
l
a
ege
con
f
igure
.
in: allow build without GiN
a
C (and therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Ve
r
d
oolaege
configure
.
in: add -lbernstein to ba
r
vinok
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n
Verdo
o
laege
util
.
c: compre
s
s_variables: cor
r
ect check f
o
r scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
ut
i
l
.
c: so
m
e
d
ocu
m
e
n
tatio
n
for comp
r
ess_variables
commit
|
commitdiff
|
tree
2006-11-09
Sven Verd
o
olaege
verif_ehrhart: a
d
d --pr
i
nt-a
l
l option to replace PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
ma
t
_ut
i
l: mak
e
arg
u
men
t
s
o
f le
x
_cmp
co
n
st
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoola
e
g
e
a
dd A
U
THORS
f
i
l
e
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdo
o
l
aeg
e
bu
m
p version
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
Makefile
.
am: mak
e
sure
c
orrec
t
files are
i
ncluded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: menti
o
n restriction of barv
i
nok_enu
m
e
rate_s
c
arf_ser
i
e
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
ae
g
e
doc
:
minimal doc
u
menta
t
ion
for the
lexmin applic
a
tion
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bernstein/configur
e
.
i
n:
s
e
t
AC_CON
F
IG_AUX_DIR to
bernst
e
i
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
d
ocument pol
y
to
p
e_sample
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc:
d
o
c
ument polyhedron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoo
l
a
e
g
e
doc: i
n
c
l
u
d
e
b
arvinok
l
ibrary version in title
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
confi
g
ure
.
in: fi
x
typo
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc: bib: name Kevin M
.
W
oo
d
s consistently
commit
|
commitdiff
|
tree
2006-10-31
S
ve
n
Verdoolaege
d
o
c: d
o
cument extra occ opera
t
ions
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Verdo
o
laege
doc: update gen_fun docum
e
ntation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
doc: ref
l
ec
t
change
of argume
n
t type of
eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
doc: doc
u
m
e
n
t b
a
rvinok_enumerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc:
add another pape
r
r
efering to
b
arvino
k
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaeg
e
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
doc: docum
e
nt bernste
i
n da
t
a structures and functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolae
g
e
ber
n
s
t
ein
:
piecewise_lst::
s
impl
i
fy_d
o
mains: add M
a
xRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Ver
d
oolaege
bernstein: ma
k
e
poly
a
r
g
ument o
f
bernsteinExp
a
nsion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoola
e
g
e
reduc
e
r
.
h
: only use i
n
finite_icounter wh
e
n
d
im==1
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdo
o
l
aege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
remove
a few
d
u
plicate definitions of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoo
l
aege
util
.
c
: move duplicate Polyhedron_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolaege
barvinok
.
cc: add _with_options
v
e
rsion of barv
i
nok_enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
olaege
evalue
.
c: remove inclu
d
e o
f
config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
doola
e
ge
version
.
c: show use
of Omega
,
GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n
Verdoolaege
vers
i
on
.
c: m
o
v
e barvinok_version from u
t
il
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
e
rdo
o
lae
g
e
doc: docu
m
ent P
o
lyhedro
n
_Reduced_Basis
and Polyhedron_Samp
l
e
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdoolaege
e
xpo
r
t
P
olyhedr
o
n_Sample and Polyhedr
o
n_Reduc
e
d_Bas
i
s
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
r
d
ool
a
ege
doc
:
rename "usage" section t
o
"applicati
o
ns" section
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoolaege
barvinok_o
p
t
ions: rename
e
mptin
e
ss_check to lexmin_empt
i
n
es
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
r
dool
a
ege
doc: docume
n
t bar
v
ino
k
_options
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoolaege
s
car
f
.
cc
:
export
func
t
i
o
ns to li
b
r
ary
commit
|
commitdiff
|
tree
2006-10-27
S
v
e
n Ver
d
oolaege
scarf
.
cc
:
use barvino
k
_
options in
s
t
e
ad of Ma
x
R
ays
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
olaege
bar
v
ino
k
/barvinok
.
h: export _with_options v
e
rsions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erd
o
olaege
barvinok_enumerate_e
:
remove direc
t
i
n
clude
of po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Verdoolaege
bernstein: m
i
nim
a
l
documentation
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Verdoolaege
README: bernstein
r
eq
u
ires
G
iNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
d
o
olaege
do
c
: add
refe
r
en
c
e to bern
s
t
ein techrep
o
rt
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolaege
M
erg
e
branch 'bernstei
n
'
commit
|
commitdiff
|
tree
2006-10-25
Sven
Ve
r
doolaege
bern
s
t
ein/
s
r
c
/
TO
D
O: remove; everything has be
e
n
done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
do
c
: add an
o
ther pub
l
ic
a
tion tha
t
refers to
b
arvinok
commit
|
commitdiff
|
tree
2006-10-10
Sv
e
n
Verdoolaege
LLL:
use
r
e
d
u
c
ti
o
n
p
a
r
am
e
ter 1 by
default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaeg
e
decomposer
.
cc: short_vecto
r
:
a
ll
o
w speci
f
icati
o
n of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven
V
erdoolaege
doc: a
d
d some more
p
ublication
s
t
hat
refer
t
o barvino
k
commit
|
commitdiff
|
tree
2006-10-02
S
v
e
n
V
erdoolaeg
e
evalue
.
c
: evalue_
d
eno
m
:
d
eclar
e
variable at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Ve
r
doolaege
evalue
.
c:
export evalue
_
denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
scarf
.
cc: han
d
l
e
case where fo
u
r constraint
s
lea
d
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolae
g
e
util
.
c:
compress_
v
a
r
i
ables: declare variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verd
o
olae
g
e
e
v
alue
.
c: copy (and adapt)
copyright sta
t
eme
n
t from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
S
v
en Verd
o
olaege
doc: add some refere
n
ce
s
to publications
commit
|
commitdiff
|
tree
2006-09-26
Sve
n
Verdoolaeg
e
l
e
xmin
.
cc:
re
e
nable optimizati
o
n of c
h
e
c
k
i
n
g domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
ven Ver
d
oo
l
aeg
e
evalue
.
c: clea
n
up
i
n_dom
a
in
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
edomain
.
cc: add EDom
a
in::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaeg
e
lexmi
n
.
cc: m
a
x_term::p
r
i
nt
:
prin
t
floors expli
c
itly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven V
e
rd
o
olaege
lexmin
.
cc: disable p
o
ssibly overzealous optimization
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n V
e
rdoolaeg
e
edomain
.
cc:
remember "co
n
s
t
raint" representation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
reduced
_
ba
s
is: reset "ne
g
a
tive widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoo
l
aege
lexmin
.
cc:
move more
code
t
o
ed
o
m
a
in
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
ed
o
m
a
in
.
h:
a
dd EDomain_flo
o
r abstra
c
tion
commit
|
commitdiff
|
tree
2006-09-22
Sven
Ver
d
oo
l
a
ege
lexmin
.
cc:
d
ef
i
ne max_
t
erm over an ED
o
main
rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
v
en Verdoo
l
aege
reducer
.
h
:
add virtual destru
c
tor
to n
p
_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdool
a
ege
lex
m
in
.
c
c:
e
xtract o
u
t some code to eva
l
u
e
_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
op
t
io
n
s
.
c: pick
u
p defin
i
tion o
f
PO
L
_I
N
TEGER from ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Verdoolaege
optionc
.
c
:
move choice o
f
which
special
i
zation to u
s
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdool
a
ege
o
m
ega/parser
.
l: le
t
flex de
f
ine yyline
n
o
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
l
exmin
.
c
c
: o
p
t
ionally skip che
c
k for
e
mpty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoola
e
ge
evalue
.
c: reduce_e
v
alue_in_domain: r
e
du
c
e to z
e
ro
e
value
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdool
a
ege
lexmin
.
cc: use barvinok_
o
p
t
i
ons
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
laege
introduce barvinok
_
o
ptions structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lex
m
in
.
cc: compute gene
r
ating f
u
n
ctio
n
s of v
e
rtex
c
o
n
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaege
lexmin
.
cc: move some code around t
o
pr
e
pa
r
e for
n
ew
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven V
e
rdo
o
l
a
e
ge
eval
u
e
: declare argume
n
t of eadd a
n
d e
v
al
u
e_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdo
o
laege
lexmin
.
cc
:
p
erfo
r
m substi
t
u
t
i
o
n immediatel
y
on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
erdoolaege
README: add a warning
o
n (not)
using shared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
Verdoolaege
pie
c
ewise_ls
t
: drop the _
s
suffix i
n
t
he class name
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoo
l
a
e
ge
bernstein/piecewise_
l
st
.
cpp: a
d
d
a
dd(ex) method
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
e
rdoolaege
bernste
i
n
.
c
c: export eval
u
e2e
x
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdool
a
ege
omega
/
polyfunc
.
cc: avoid warni
n
g
commit
|
commitdiff
|
tree
2006-08-31
Sven Verd
o
olaege
bar
v
i
nok
/
ev
a
lu
e
.
h
:
m
ake
more self
-
cont
a
ined
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
ge
Merge branch 'master' into be
r
nstein
commit
|
commitdiff
|
tree
next