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
export Polyhedron_Sample and Polyhedron_Reduced_Basis
2006-10-27
Sven Verdo
o
laege
e
xport Polyhedr
o
n
_
S
a
mp
l
e a
n
d Polyhe
d
ron_Red
u
ced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
e
rd
o
olaege
d
o
c
: rename
"
usage" section
t
o "applications"
secti
o
n
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
b
arvinok_o
p
tions: ren
a
me emptiness_check
t
o
le
x
min
_
emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoola
e
ge
doc:
d
oc
u
ment barvino
k
_
o
ptions
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdoolaege
scarf
.
cc: export functions to library
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoolaege
s
carf
.
c
c
:
use
barvinok_options i
n
stead
of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
barvinok/b
a
r
vin
o
k
.
h
: e
x
p
o
rt _with_options ver
s
ions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verd
o
olaege
barvino
k
_enumer
a
t
e
_e: remove direct include
of
polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
v
e
n
Verd
o
olaege
b
e
rnstein: minimal do
c
umentation
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
rdoolaege
README
:
bernstein req
u
i
res
G
iNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
er
d
oolaeg
e
doc: add
r
eference to
b
ernstei
n
techrepor
t
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoo
l
aege
Merge branch 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
S
ven Ver
d
ool
a
ege
be
r
nstein/src/TODO: re
m
ove; everything
has
b
een don
e
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
doc: add anot
h
er publication t
h
at refers to b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoo
l
aege
LLL
:
use
re
d
uction param
e
t
e
r 1
b
y
def
a
ult
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaeg
e
decomposer
.
c
c
: short_vec
t
or:
allow
s
pe
c
ification of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Ver
d
oolaege
d
o
c: a
d
d some more
p
ubli
c
ations that refer to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
erdoolaege
evalue
.
c: evalue_denom
:
declare variable at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
ven
V
e
rdoolae
g
e
evalue
.
c: export ev
a
l
ue_d
e
nom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verd
o
olaeg
e
s
carf
.
cc: h
a
n
d
le case where four constraints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
util
.
c: compress_var
i
ables: declare
v
ariable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaege
e
v
a
l
ue
.
c: cop
y
(an
d
adapt) cop
y
r
ig
h
t
s
tateme
n
t
from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaege
doc:
a
d
d
s
o
me
r
eferences to pu
b
lica
t
ions
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolae
g
e
lex
m
in
.
cc: r
e
enable optimization of checking domain
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
evalue
.
c:
c
lean
up
in_
d
oma
i
n
commit
|
commitdiff
|
tree
2006-09-25
Sven Ve
r
doolaege
edomain
.
cc:
add EDomain::co
n
tains
commit
|
commitdiff
|
tree
2006-09-24
S
v
e
n V
e
r
d
o
olaege
l
e
xm
i
n
.
cc: max_term::print: p
r
int
f
loors explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verd
o
olaege
lexmin
.
cc: disable possi
b
l
y
o
verzealous
optimiza
t
ion
commit
|
commitdiff
|
tree
2006-09-23
S
v
en
V
erd
o
olaege
edom
a
i
n
.
cc: remember
"
constraint" representation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verd
o
ol
a
ege
reduced_
b
asis
:
reset "nega
t
ive
w
idths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
l
e
x
m
in
.
c
c
: move more code to
e
domain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
v
e
n
V
e
rdoolaege
e
do
m
ain
.
h: add EDom
a
i
n_floor abs
t
raction
commit
|
commitdiff
|
tree
2006-09-22
S
v
en Verdo
o
l
a
ege
lexmi
n
.
cc:
define max_
t
erm
ov
e
r an EDomain
r
ather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
V
erd
o
olaege
reducer
.
h: add virtual destructor to np_base
t
o avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Verdoolaege
lexm
i
n
.
cc: extract out some code
to e
v
alue_util
and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoola
e
ge
o
p
tions
.
c: pick up defini
t
ion of POL_I
N
T
E
GER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
optionc
.
c: move
c
hoice of whic
h
specia
l
izati
o
n to u
s
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdo
o
laege
omega
/
p
a
rser
.
l
:
l
et flex d
e
fi
n
e yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n V
e
rdoolaege
le
x
min
.
cc: op
t
ional
l
y
skip
c
heck for empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven
Verdoolaege
evalue
.
c
: reduce_evalue_in_domain
:
reduce t
o
zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
V
erd
o
ola
e
ge
lexmin
.
cc: use barvinok_o
p
tions
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oolaege
i
n
t
roduce
bar
v
i
nok_options struc
t
ure
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaege
le
x
min
.
cc: compute
g
enerating functions of vertex
cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoola
e
ge
lexmin
.
cc: move some code a
r
oun
d
to p
r
e
pare f
o
r new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Ver
d
oo
l
a
e
ge
evalue: decl
a
re argument of eadd and eva
l
ue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven
Verdo
o
laege
lexmin
.
cc: perf
o
rm s
u
bstitution immediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
ve
n
V
e
rdoo
l
aege
README: add a warn
i
n
g o
n
(n
o
t)
using
sh
a
re
d
libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven V
e
rdoolaege
piecewi
s
e_lst: dr
o
p
the
_
s suffix in the clas
s
nam
e
commit
|
commitdiff
|
tree
2006-08-31
Sven Ver
d
oolaege
berns
t
ein/piecewise_
l
st
.
cpp: add add(e
x
)
meth
o
d
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
bernstein
.
c
c:
export
evalue2e
x
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
omega/polyfunc
.
cc: avoid warning
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Ve
r
doolae
g
e
barvinok/e
v
alue
.
h
: make
more self-con
t
ai
n
ed
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
l
aege
Merge b
r
an
c
h 'mast
e
r' into
b
ernstein
commit
|
commitdiff
|
tree
2006-08-31
Sven Ver
d
oolaege
eva
l
u
e
.
h: c
h
ange name of header d
e
fine
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalue
.
h: make more self-contained
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verd
o
o
l
ae
g
e
bfcounter
.
h:
undef
i
ne divide from po
l
ylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
ven
V
er
d
oolaege
config
u
re
.
in: no
longer c
o
mpil
e
sh
a
red
l
ibraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n V
e
rdoolaege
README: reflect that --
e
n
a
ble-fractional is
n
ow the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Ver
d
oola
e
g
e
le
x
mi
n
: remove du
p
lica
t
e
u
nfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Verd
o
olaege
gen_f
u
n:
:
H
adam
a
rd_product: use unoptimized version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
V
erdoolaege
barvinok_ser
i
es: per
f
o
rm backsubstitution also if al
l
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdo
o
laege
b
arvinok_enumerate_u
n
ion_series: cal
l
core of barvi
n
ok_seri
e
s
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaeg
e
util
.
c: remove_equ
a
lities_p
:
cor
r
ect che
c
k for
e
nd
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ver
d
oolaege
gen_fun: set context
i
n
no v
a
riables constructor
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen_
f
un::Hadamard
_
p
r
oduct: don't assume equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
S
v
en Verdoolae
g
e
barvin
o
k
_
union:
t
ake context
in
t
o ac
c
ount
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n
Verdoolaege
p
olyto
p
e_scan: opt
i
onall
y
skip
b
asis r
e
d
uction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_scan: scan i
n
reduced basis
commit
|
commitdiff
|
tree
2006-08-16
S
v
en Verdoolaege
polytope_sca
n
:
scan
s
th
e
integ
e
r
point
s
in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sve
n
Verdo
o
laege
Merge br
a
nch 'ma
s
ter' int
o
be
r
ns
t
ein
commit
|
commitdiff
|
tree
2006-08-14
Sve
n
Verdoolaege
install NTL_Q
Q
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verd
o
olaege
b
a
sis_reduction
.
c: clean up GLPK
m
emo
r
y
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
er
d
oolaeg
e
M
erge bra
n
ch '
m
a
s
t
e
r' int
o
b
ernstein
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
le
x
min
.
cc:
d
on'
t
bo
t
h
er transform
i
ng i
f
compress_pa
r
ms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n
Verd
o
olaeg
e
lexmin
.
c
c
: fix use of
com
p
ress_
p
arms
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoolaege
sample
.
c:
f
i
x remov
e
_ra
y
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaeg
e
b
arvi
n
o
k_count: c
l
ean up memory after simplif
y
ing
constra
i
n
ts
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
README: u
p
da
t
e
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verdoolaege
o
m
ega
/
polyfunc
.
cc: maximize: simpli
f
y doma
i
n before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven
Ve
r
doolaege
omega/parser
.
y: cr
e
a
t
e
new
v
ariable
M
a
p for each poly
f
u
nc
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
omega
/
pa
r
se
r
.
y:
free malloc'ed memory
(
instead
o
f delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
M
er
g
e branc
h
'maste
r
' into berns
t
e
in
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
V
e
rdoolaege
only perform l
e
xmin tests when
lexmin has
been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
some
mo
r
e tests with
u
nbounded pol
y
hedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
ege
ad
d
s
ome small tests f
o
r le
x
min
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
o
o
l
aege
lexmin: bar
f
when polyhedro
n
con
t
ains line
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolae
g
e
lexmin: don't print solution
w
hen verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
verify_main
.
cc
:
c
lean up memo
r
y
commit
|
commitdiff
|
tree
2006-08-11
S
v
e
n
V
erdo
o
laege
M
erg
e
b
ranch 'master' into bern
s
te
i
n
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
Ve
r
doolaege
barvin
o
k
_se
r
ies:
h
a
ndle
f
ixed
p
olytope
s
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdo
o
laege
gen_fun
:
add c
o
n
stru
c
tor f
o
r g
e
neratin
g
function
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
a
e
g
e
barvinok
.
cc: remove_
m
ore_equalit
i
es: handle equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
ge
n
_f
u
n::c
o
effic
i
ent: reset the number of rows
in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaege
lexmin
.
cc: use
r
emove_equal
i
ties
c
onsis
t
ent
l
y
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
util
.
c: compress_variables:
extrac
t
ed from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Ve
r
d
oola
e
ge
lexmin
:
don't c
h
ec
k
anything i
f
given r
a
nge lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
lexmin
.
cc:
r
em
o
ve_equ
a
li
t
ies;
t
ake preima
g
e wit
h
re
t
urned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
lex
m
in
.
cc: remo
v
e_e
q
ualities:
extend returned ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolaege
l
exmin
.
cc: in_d
o
main: fi
x
t
ypo
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdo
o
lae
g
e
le
x
m
i
n
.
cc: remove some deb
u
ggi
n
g res
i
d
u
es
commit
|
commitdiff
|
tree
next