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
remove a few duplicate definitions of MAXRAYS
2006-10-28
Sven Verdoolae
g
e
remove a few dup
l
ica
t
e definitions of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Ver
d
oolaege
u
t
il
.
c: m
o
ve duplicate Polyhe
d
ron_Rea
d
commit
|
commitdiff
|
tree
2006-10-28
S
v
en V
e
rdoolaege
b
arvinok
.
cc: add _
w
ith_options ver
s
i
o
n of b
a
r
v
i
n
o
k_
e
nume
r
ate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Ver
d
oo
l
aege
evalu
e
.
c
: remove include of
c
onfig
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
olaege
vers
i
on
.
c: sh
o
w
use of Omega, GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
ve
r
si
o
n
.
c: move barvinok_v
e
rsion f
r
om u
t
il
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolaege
d
o
c
:
docum
e
n
t P
o
lyhedron_Reduced_Ba
s
is and Polyhedron_Sam
p
le
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoolaege
export P
o
l
y
hedron_Sample
and Polyhedro
n
_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
S
ven
V
erd
o
olaege
do
c
:
rename "
u
sage" section to "applicati
o
ns" s
e
ction
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
d
oolaege
barvinok_options: rename e
m
p
t
ines
s
_check to le
x
min
_
emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoola
e
ge
doc: document barvinok
_
o
p
tions
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doolaege
s
c
arf
.
cc: export functions to library
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n
V
erdoolaege
sc
a
r
f
.
cc:
u
se barv
i
nok_opti
o
ns ins
t
e
a
d
of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
S
v
e
n Verdoolaege
b
a
rvinok/ba
r
v
i
nok
.
h
: export _with_opti
o
ns versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n
V
e
r
doolaege
barvinok_enumerate_e:
r
em
o
v
e direct i
n
clude of po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Verdoo
l
aeg
e
b
e
rnst
e
in
:
m
i
nim
a
l documentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolaege
R
EA
D
ME
:
bernstein requires GiNa
C
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolaege
doc: add reference to ber
n
st
e
in t
e
chr
e
p
o
r
t
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erdool
a
ege
Merge branch 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erdoolaege
bernst
e
in/src/TODO: remove; everything ha
s
been
d
one
commit
|
commitdiff
|
tree
2006-10-10
Sven V
e
rdoolaege
doc:
a
dd
a
n
oth
e
r publication that
r
efers to b
a
rvi
n
ok
commit
|
commitdiff
|
tree
2006-10-10
Sv
e
n Verdoola
e
ge
LLL: use reduction p
a
ram
e
ter 1
by defau
l
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
decompo
s
er
.
cc: short_vector: allo
w
specif
i
cation of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sve
n
Verdo
o
lae
g
e
d
oc:
add some
m
o
r
e publica
t
ions t
h
at ref
e
r
to barvino
k
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verd
o
o
laege
eval
u
e
.
c:
e
v
a
lue_deno
m
: dec
l
ar
e
vari
a
ble at s
t
art of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
ven V
e
rdoolaeg
e
e
value
.
c: export eva
l
u
e_deno
m
commit
|
commitdiff
|
tree
2006-10-02
Sven Verd
o
olaege
scarf
.
cc: hand
l
e c
a
se
where four co
n
s
traints lea
d
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n
Verdoolaeg
e
util
.
c: compress_vari
a
bles: declare variable
at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sve
n
V
erdoolaege
evalue
.
c: copy (and ad
a
pt) co
p
y
right statement
f
rom
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
S
v
e
n Ve
r
doolaege
d
oc:
a
dd som
e
references to publicatio
n
s
commit
|
commitdiff
|
tree
2006-09-26
Sven Ver
d
oolaege
lexmin
.
cc: reenable optimization of check
i
ng domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sve
n
V
er
d
oo
l
aege
evalue
.
c: clean
up in_d
o
main
commit
|
commitdiff
|
tree
2006-09-25
Sven Ve
r
d
oolaege
edomain
.
c
c
:
ad
d
E
D
o
m
ain::
c
onta
i
n
s
commit
|
commitdiff
|
tree
2006-09-24
Sven Ve
r
do
o
l
a
ege
lexmin
.
c
c
: max_te
r
m::print: pr
i
nt floors explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
l
exmin
.
cc
:
disable
p
ossi
b
ly overz
e
alous
opti
m
i
z
ation
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdool
a
ege
e
d
omain
.
cc:
remember "constraint"
r
e
presentati
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
v
en Verdoolaege
r
educed_basis: rese
t
"ne
g
ative
w
idths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n Verdool
a
ege
lexmin
.
cc: m
o
ve more code
t
o edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
v
en Verdoolaege
edomain
.
h:
add
EDomain_flo
o
r abstract
i
on
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
do
o
lae
g
e
lexmin
.
c
c: define max_term
ov
e
r an ED
o
main rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdool
a
ege
red
u
cer
.
h: add virtual destructor to
n
p_
b
ase to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolae
g
e
l
ex
m
in
.
cc: ex
t
ract out
some cod
e
t
o
evalue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
rdoola
e
ge
opt
i
ons
.
c: pick up definition of POL_INTE
G
ER
f
rom barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
rdoola
e
g
e
optionc
.
c: move ch
o
ice
o
f whic
h
s
p
e
cial
i
za
t
ion to
use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
omega/pars
e
r
.
l: let flex de
f
ine yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaege
lexmin
.
cc: optionally skip check for empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
evalue
.
c: reduce_evalue_in_d
o
mai
n
:
reduce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaege
le
x
min
.
c
c: use barvinok_options
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoolaege
int
r
oduce
b
arvinok_o
p
tions stru
c
ture
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: comput
e
gene
r
at
i
ng f
u
nction
s
of v
e
r
tex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaege
lexmin
.
cc: move some code around
to prep
a
re for ne
w
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sve
n
Verd
o
o
la
e
ge
evalue: declare argumen
t
o
f
eadd and evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoola
e
g
e
lexmin
.
c
c: perform
substitut
i
on
immediately on e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
RE
A
D
M
E: add a wa
r
ning o
n
(not) u
s
ing shared l
i
braries
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
Verdoolaege
p
iece
w
ise_lst: drop the _s suffix in t
h
e cl
a
ss name
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoola
e
ge
bernstein/pi
e
cewi
s
e_lst
.
cpp: ad
d
add(e
x
)
m
ethod
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
r
d
o
o
laege
bern
s
tein
.
cc: export
evalue2ex
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoolaege
o
mega/polyfunc
.
cc:
avoid warning
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoolaege
bar
v
inok/e
v
al
u
e
.
h: make
more
s
e
lf-
c
ontained
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Ve
r
doolaege
M
e
rge
branch 'master'
i
nto berns
t
ein
commit
|
commitdiff
|
tree
2006-08-31
Sven Verd
o
olaege
evalue
.
h
:
change name of heade
r
d
e
fi
n
e
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
ge
eva
l
ue
.
h:
m
ake
m
ore s
e
lf-contained
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdoolae
g
e
bfcounter
.
h: undefi
n
e div
i
de from polylib's
a
rithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
configu
r
e
.
i
n
:
n
o longer com
p
ile shar
e
d
libra
r
ies
b
y
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verd
o
o
l
aege
README: re
f
l
e
ct that
-
-en
a
ble-fr
a
ctional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
olaege
lexmin
:
remove dupli
c
ate unfringe
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verdoolaege
g
e
n_f
u
n:
:
Hadamard_pro
d
uct: use unop
t
imiz
e
d version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
e
rdoola
e
ge
barvinok
_
series: perf
o
rm backsub
s
t
i
t
ut
i
on also if a
l
l
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verd
o
o
laege
barvinok_e
n
umerate_union_series: call
c
o
re of
b
ar
v
ino
k
_series
commit
|
commitdiff
|
tree
2006-08-21
S
ven
V
e
rdoola
e
ge
util
.
c: remove
_
equaliti
e
s_p: correc
t
check
for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolaege
gen_fun: set
context in no
v
a
riables
c
o
n
s
t
ructor
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoola
e
ge
gen_fun::
H
a
damard_pro
d
uct: don
'
t
assume equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sve
n
Verdo
o
la
e
g
e
barv
i
n
o
k_union: take context
i
nto account
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaeg
e
polytope_
s
can: optionally skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
S
v
en Verdoolaege
p
o
lyto
p
e_scan: scan in reduced
basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_s
c
an: sca
n
s
the integer points in a
p
o
lytop
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Ver
d
oolaege
M
e
rge br
a
nch '
m
a
s
te
r
'
into ber
n
stein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdool
a
ege
install
N
TL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
e
r
doolaege
b
a
sis_reduction
.
c
:
clean up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
Merge
b
r
a
nch 'master'
into ber
n
s
t
e
i
n
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoo
l
ae
g
e
lexmin
.
cc:
don't bo
t
he
r
transform
i
ng if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdool
a
ege
lexm
i
n
.
cc: fix use of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolae
g
e
sample
.
c: fix rem
o
ve_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
barvinok_count: clea
n
up memor
y
after simp
l
i
f
ying con
s
traint
s
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoo
l
aeg
e
README: upd
a
t
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
o
m
ega/po
l
yfunc
.
c
c
: m
a
ximiz
e
: simplify do
m
ain
b
efor
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oo
l
aege
omega/parser
.
y: c
r
e
a
te new variab
l
eMap for
e
ach pol
y
fu
n
c
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
omega
/
p
a
rser
.
y: f
r
ee malloc'ed m
e
mory (instead of delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
er
d
oolae
g
e
Merge branch 'master' into
bern
s
tein
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
on
l
y perf
o
rm lex
m
i
n
tests
w
hen l
e
xmin
has
been compiled
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdo
o
laege
s
ome more tests with unboun
d
ed p
o
lyhedra
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaeg
e
add
some s
m
all tests for lex
m
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verd
o
olaege
lexmin:
barf when pol
y
he
d
ron contain
s
l
i
ne
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
lexmi
n
: don't print
soluti
o
n when ve
r
ifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
verify_
m
a
i
n
.
cc: clean
up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Ver
d
oo
l
aege
Merg
e
branch 'master' into bernst
e
in
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvinok_series: h
a
ndle fixed poly
t
o
p
es
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoo
l
aege
gen
_
fun: add constr
u
ct
o
r
f
o
r generating f
u
nction with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Ve
r
doolaeg
e
b
a
rvinok
.
cc: re
m
ove_m
o
r
e_equalities: handl
e
equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoolaege
gen_f
u
n:
:
c
o
e
f
f
icie
n
t: res
e
t
the
n
umber of rows in
t
he
.
.
.
commit
|
commitdiff
|
tree
next