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
doc: document extra occ operations
2006-10-31
Sven V
e
rdoo
l
aege
doc: document extra occ operatio
n
s
commit
|
commitdiff
|
tree
2006-10-31
S
ven V
e
rdo
o
la
e
ge
doc: update gen_fun
d
o
c
umentat
i
on
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
ege
doc: r
e
f
lect cha
n
ge o
f
arg
u
ment type of ea
d
d
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c: d
o
c
u
m
ent bar
v
in
o
k_enumera
t
e_
s
carf
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Ve
r
doola
e
ge
doc: add another pa
p
e
r
refering to barv
i
nok
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
do
c
: d
o
cume
n
t bernste
i
n data structures a
n
d
f
unctions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
ola
e
g
e
bernstein: piecewi
s
e
_
lst::simplify_domains: ad
d
MaxR
a
y
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n V
e
r
d
o
olaege
be
r
nst
e
in: ma
k
e poly
argument o
f
bernsteinExp
a
nsion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n
V
er
d
oo
l
aege
r
ed
u
cer
.
h: o
n
ly
u
se infinite
_
icounter w
h
e
n
dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n
V
e
rdoolaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2006-10-28
Sven Ver
d
oolaege
r
e
move a
few duplicat
e
defin
i
tions
of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolaege
util
.
c
:
mo
v
e du
p
licate Polyhedron_R
e
ad
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
barvinok
.
cc: add _with_options versi
o
n o
f
barvinok_enumer
a
te_e
commit
|
commitdiff
|
tree
2006-10-28
S
ven
V
e
rdoolaege
evalue
.
c: remove include of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
S
v
e
n Verdoo
l
aege
vers
i
on
.
c
:
show use of Ome
g
a, GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdo
o
laege
version
.
c: m
o
ve bar
v
inok_ver
s
ion f
r
om uti
l
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
olaege
doc: document Polyhe
d
ron_
R
e
d
u
ced_
B
asis
a
n
d Po
l
yhedron
_
Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doolaege
ex
p
ort Poly
h
edron_Sample a
n
d Polyhedro
n
_
R
educe
d
_
Basis
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoola
e
ge
d
o
c: rename
"
usage" section
t
o "applications" secti
o
n
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
o
o
lae
g
e
barvi
n
ok_opt
i
o
ns
:
rename empt
i
ness_chec
k
to l
e
xmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc: document barvinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdoola
e
g
e
scarf
.
cc: export fu
n
ct
i
ons to lib
r
ary
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
o
o
laege
s
carf
.
cc: use
b
arvinok_options instead of
MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n
Verdool
a
ege
barvinok/barvi
n
ok
.
h: expo
r
t _with_op
t
ions v
e
rs
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdool
a
ege
barvin
o
k_
e
numerate
_
e: rem
o
ve
d
i
r
ect include of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
b
e
rnstei
n
:
m
inimal documentatio
n
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
README
:
bernstein
r
equire
s
G
i
N
a
C
commit
|
commitdiff
|
tree
2006-10-25
Sven Verd
o
olae
g
e
doc:
ad
d
refere
n
ce to bernst
e
in tech
r
epo
r
t
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
doolaege
M
e
rge b
r
anch 'bern
s
tein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
bernstein/src/TODO: remov
e
; everythin
g
has been
don
e
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdool
a
e
g
e
doc: add an
o
ther publication tha
t
r
efers
to barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sve
n
V
e
r
d
o
o
laeg
e
LLL
:
use reduction pa
r
amet
e
r 1
by de
f
au
l
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
decompos
e
r
.
cc: short_vect
o
r: allow
speci
f
ication of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sve
n
Verdoolaege
do
c
:
a
dd
some
m
ore
publications that refer to
barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdoo
l
a
e
ge
evalue
.
c: eva
l
ue_den
o
m: declare v
a
r
i
abl
e
at star
t
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verd
o
olaege
ev
a
lue
.
c: exp
o
rt e
v
alue_d
e
nom
commit
|
commitdiff
|
tree
2006-10-02
S
ven V
e
rdoolaege
s
c
arf
.
cc: handle case
w
here four constraints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdoola
e
g
e
ut
i
l
.
c: compress_variabl
e
s: declare variable
at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoo
l
aege
evalue
.
c: copy (and a
d
apt) copyrig
h
t state
m
e
n
t from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
S
v
en
V
er
d
o
o
laege
doc: add
s
ome references to pub
l
i
cations
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolaeg
e
lexmi
n
.
cc: reenabl
e
optimi
z
ation
of checking do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
ev
a
l
u
e
.
c: clean up
i
n
_
d
omai
n
commit
|
commitdiff
|
tree
2006-09-25
Sv
e
n Verdoolaeg
e
edomain
.
cc:
add EDomain::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven
V
erdoolaeg
e
lex
m
i
n
.
cc: max
_
term::print: print floors
e
x
p
licitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdo
o
laege
lexmin
.
cc
:
disable possib
l
y overz
e
alous optimizati
o
n
commit
|
commitdiff
|
tree
2006-09-23
Sven Ve
r
dool
a
e
g
e
edomain
.
cc:
rememb
e
r "constraint"
repre
s
enta
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdo
o
laege
reduced_basis: re
s
e
t "negati
v
e
widths
"
to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdo
o
la
e
ge
lexmin
.
cc: m
o
ve more cod
e
to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
edomain
.
h: add E
D
om
a
i
n
_floor abstracti
o
n
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdo
o
la
e
ge
l
ex
m
in
.
cc: define max_term over an EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
Verdo
o
laege
reducer
.
h: add
v
irt
u
a
l
destruc
t
or to np_ba
s
e to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolae
g
e
lexmin
.
cc:
e
xtract ou
t
som
e
c
ode t
o
eva
l
ue_uti
l
a
nd
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoo
l
aeg
e
options
.
c: pick
u
p
defin
i
tion of POL_INTEGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
V
e
r
doolaege
optionc
.
c:
move choi
c
e of w
h
ich specialization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Ver
d
o
o
laege
o
meg
a
/parser
.
l:
l
et flex define
y
yline
n
o
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: optiona
l
ly skip ch
e
ck
f
or em
p
ty domains
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verdoolaege
evalue
.
c: reduce_evalue_
i
n_domain: reduce
t
o zero ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Ver
d
o
o
laege
lexmin
.
cc:
use
b
arv
i
nok_op
t
ions
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
introduce ba
r
vinok_options
stru
c
ture
commit
|
commitdiff
|
tree
2006-09-20
S
v
e
n
Verdoolaeg
e
lexmin
.
cc:
com
p
u
te generating fun
c
tions of vertex cone
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
c
c: move some code
around to prepare f
o
r
new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Ve
r
doolaeg
e
eva
l
ue
:
declare argument o
f
eadd an
d
e
value_
c
opy cons
t
commit
|
commitdiff
|
tree
2006-09-06
S
v
en
V
erdo
o
laeg
e
lexmin
.
cc: perfor
m
substitution immediately
o
n ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n Verdoolaege
README: a
d
d a w
a
rnin
g
on (not) using
s
hared
l
ibra
r
ies
commit
|
commitdiff
|
tree
2006-09-06
Sven Ver
d
o
o
laege
piecewise_
l
st
:
d
r
op the _s suffi
x
in
the class na
m
e
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
bernstein/piecewise_lst
.
cpp: ad
d
add(ex
)
me
t
hod
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n
V
erdoolaege
bernst
e
in
.
cc
:
exp
o
rt
e
value2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
omega/polyfunc
.
cc: avoid warning
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verd
o
ola
e
ge
b
arvi
n
ok/eval
u
e
.
h: make
m
o
re se
l
f-
c
on
t
ained
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
e
r
doolaege
Merg
e
b
ranc
h
'master' into berns
t
ein
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalue
.
h: change na
m
e of head
e
r defin
e
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdoolae
g
e
evalue
.
h: make more
s
e
l
f
-cont
a
ined
commit
|
commitdiff
|
tree
2006-08-26
S
ve
n
Ve
r
d
o
olaege
bfcounter
.
h:
u
ndefine divide
f
r
om po
l
ylib's arithmetiqu
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdo
o
laege
configu
r
e
.
in: no longer compile shared
l
ibra
r
ie
s
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
Verdoolaege
R
E
ADME
:
reflect that --
e
nable-fractional i
s
now
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
ven
Verd
o
olaege
lexm
i
n: remove dupl
i
ca
t
e unfrin
g
e
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verdoola
e
ge
gen_f
u
n::Hadamard_product: use unoptimized version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rdoolae
g
e
barvinok_series: perform backsubstitution al
s
o
i
f all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
do
o
laeg
e
b
arvinok_enumerate_union_serie
s
: ca
l
l
co
r
e o
f
barvin
o
k
_ser
i
es
commit
|
commitdiff
|
tree
2006-08-21
Sven
Verdool
a
ege
u
ti
l
.
c: re
m
ove_equalities_p: correct check
for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
ven Verdoolaege
gen_fun: set context in
no variab
l
es constructor
commit
|
commitdiff
|
tree
2006-08-21
Sven
Verdo
o
laege
g
en_fu
n
::Hadamard_p
r
oduct: don't as
s
ume equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoo
l
aeg
e
barvinok_uni
o
n: take
con
t
e
xt into accou
n
t
commit
|
commitdiff
|
tree
2006-08-16
S
ve
n
Verdoolaege
polytope_s
c
an
:
opt
i
onally skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
S
v
en V
e
rdoo
l
aege
polytope
_
scan: scan in
reduced basis
commit
|
commitdiff
|
tree
2006-08-16
S
ven Verdo
o
l
a
ege
poly
t
ope_scan
:
sca
n
s the integer points
in a
poly
t
o
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
Merge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven
Verdool
a
ege
i
n
s
tal
l
NTL_Q
Q
.
h head
e
r
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
ba
s
is_reduction
.
c: clean up
G
LP
K
memory
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoolaege
Merge branch
'
master' into
bernstein
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaege
lexmin
.
cc: do
n
't bother
t
ra
n
sforming if c
o
mpress_pa
r
ms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolaege
lexmi
n
.
c
c
:
fix use of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
sa
m
p
l
e
.
c: fix rem
o
v
e
_ray
commit
|
commitdiff
|
tree
2006-08-13
S
ven
Ve
r
doo
l
aege
barvinok_count: cl
e
an up
m
e
mory after sim
p
li
f
ying constrain
t
s
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verd
o
ol
a
ege
R
E
A
D
ME
:
update
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolae
g
e
omega/po
l
y
func
.
cc: max
i
mi
z
e
:
simplify domain before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
o
mega/parser
.
y:
create new var
i
ableMap for each polyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
do
o
laege
omega/p
a
rser
.
y
: free ma
l
loc'ed memory (in
s
te
a
d
o
f delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doolaege
Merg
e
branch 'master' into bern
s
tei
n
commit
|
commitdiff
|
tree
next