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
bump version
2006-10-31
Sven Verdo
o
l
aege
bump version
commit
|
commitdiff
|
tree
2006-10-31
S
ven V
e
rdoolaege
Makefile
.
am: make sure
co
r
rect
files
a
re include
d
i
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
oc:
mention restriction of barvinok_enume
r
ate_scarf_series
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
o
olaege
doc:
m
inimal d
o
cumentation f
o
r
t
he lex
m
in ap
p
l
i
cation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
b
ern
s
t
e
in/configure
.
in:
set AC_C
O
NFIG_A
U
X_DI
R
to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oo
l
aeg
e
doc: docume
n
t
p
o
l
ytop
e
_sample
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
d
oc:
d
ocument poly
h
edron_sam
p
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
oc: in
c
l
ude barvi
n
ok li
b
rary version in titl
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
o
o
laege
doc: bib: nam
e
Ke
v
in M
.
Woo
d
s consistently
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
d
oc: document extra
occ
o
p
e
rat
i
ons
commit
|
commitdiff
|
tree
2006-10-31
S
ven Ver
d
oo
l
aege
doc: update g
e
n_fun documentation
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdo
o
l
a
e
ge
doc: ref
l
ect
change of ar
g
u
m
e
nt type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven
Ve
r
doolaege
doc:
d
ocument ba
r
vinok_enumerat
e
_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verd
o
olaege
doc: add
another paper refering to barv
i
nok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
oc
:
typos
commit
|
commitdiff
|
tree
2006-10-31
S
ven Ver
d
oolaeg
e
doc: document bernstein data s
t
r
uctures a
n
d functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bernstein: p
i
e
c
ewise_lst::simpl
i
fy_domains:
a
d
d
MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
bernste
i
n: make pol
y
a
r
gument of
bernsteinExp
a
n
sio
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
ven Verdoola
e
ge
redu
c
er
.
h: only us
e
infinite_icou
n
ter when d
i
m
==
1
commit
|
commitdiff
|
tree
2006-10-28
S
v
en V
e
rdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
doolae
g
e
rem
o
ve a
f
ew duplicate definitions
o
f MAXRAY
S
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
e
rd
o
olaege
util
.
c: move duplic
a
t
e Po
l
yhe
d
ron_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdo
o
lae
g
e
b
a
rvinok
.
cc:
add _with_options version o
f
bar
v
in
o
k
_enumerate_
e
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolaege
eva
l
ue
.
c
:
remo
v
e include o
f
c
onfig
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
ve
r
s
ion
.
c
:
show use of Omeg
a
, GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaege
v
e
rsi
o
n
.
c
: mo
v
e bar
v
inok
_
version from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Ver
d
o
o
lae
g
e
doc: docum
e
nt Polyhedron_Reduced_Basis and
Polyhedron_S
a
mple
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoola
e
ge
export Polyhe
d
r
on_Sample and Polyhe
d
r
o
n_Reduced_B
a
si
s
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n
Verdoolaege
do
c
: rename "usage" sectio
n
t
o
"applications" sect
i
on
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n
Verdool
a
eg
e
barvinok
_
options: r
e
n
a
m
e
e
mptiness_c
h
eck
to lexmin_empt
i
ness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc: docume
n
t ba
r
vinok_options
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoolaege
scarf
.
cc:
export
f
u
nct
i
ons
to library
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
do
o
laege
scarf
.
cc: use barvi
n
ok_opti
o
ns in
s
tead
of Max
R
ays
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
laege
barvinok
/
barvinok
.
h
:
e
x
port _with_o
p
tions versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
rd
o
olaege
barvinok_enumerate_e: remov
e
dir
e
ct include
o
f polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
v
en V
e
rdoolaeg
e
ber
n
stein: minimal d
o
c
u
m
e
ntation
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdoolaege
R
E
ADME: bernstein requires Gi
N
aC
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erdoolaege
d
oc: add ref
e
rence to bernst
e
in tech
r
eport
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoolaege
Mer
g
e branch 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
b
e
rnstein/src/TODO: re
m
ove; eve
r
y
th
i
ng has been
d
one
commit
|
commitdiff
|
tree
2006-10-10
Sven
V
erdoolae
g
e
doc:
add another pu
b
li
c
ation that
refers to
b
arvino
k
commit
|
commitdiff
|
tree
2006-10-10
Sven
V
erdoola
e
g
e
LLL: use reduction pa
r
am
e
t
e
r 1 by defa
u
lt
commit
|
commitdiff
|
tree
2006-10-07
S
ven Verd
o
olaege
decomposer
.
cc: short_vecto
r
: allow specifica
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
doc: add
s
ome mo
r
e p
u
blic
a
t
i
o
ns that refer
t
o
b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven V
e
r
doolaege
evalue
.
c: evalue_
d
en
o
m: declar
e
variable at
s
tart of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven V
e
rdoolaege
e
v
alue
.
c: exp
o
rt
evalue_deno
m
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdool
a
ege
scarf
.
cc:
h
and
l
e
case where four constr
a
ints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
en Verdoolaege
util
.
c: comp
r
e
s
s
_variables: declare va
r
i
a
ble at
star
t
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaege
e
valu
e
.
c: copy (
a
nd adapt) cop
y
right
s
ta
t
ement
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaege
doc: add some references to
p
ublications
commit
|
commitdiff
|
tree
2006-09-26
Sve
n
Verdoolaege
lexmin
.
cc: r
e
enable optimi
z
at
i
on
of checking
d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdo
o
laege
evalue
.
c: clean up in
_
d
o
m
ai
n
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoo
l
a
e
g
e
edomain
.
c
c: add EDo
m
a
i
n::con
t
ain
s
commit
|
commitdiff
|
tree
2006-09-24
S
v
en
Verd
o
olaege
lexmin
.
cc: max_term::print:
p
ri
n
t flo
o
r
s
explic
i
t
ly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
ven Ve
r
doolaege
lexmin
.
c
c: disable possibly overzealous optimization
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoola
e
ge
e
d
omain
.
c
c: rem
e
mber "constraint" rep
r
esentation o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verd
o
olaege
reduced_ba
s
is: reset
"
negative widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n Verdool
a
e
g
e
l
e
xmin
.
cc:
m
ove mo
r
e code to e
d
omain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
e
r
doolaege
edom
a
in
.
h: add
E
Domain_f
l
oor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
cc: define ma
x
_
t
e
rm
over
a
n
EDomai
n
r
a
t
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
ven Ver
d
oolaege
reducer
.
h: add virtu
a
l destructor to np_b
a
se to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
v
en Verdoolaege
lexm
i
n
.
cc: ext
r
a
ct out some code to eval
u
e_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdo
o
laege
options
.
c: pick up
definition of P
O
L_INT
E
G
ER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdoolaege
optionc
.
c:
move choi
c
e of which s
p
e
c
ial
i
zation
to us
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
omega/parser
.
l: let flex
d
efine yylin
e
no
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
le
x
min
.
c
c: optiona
l
ly skip
check f
o
r
empty
d
omains
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oolaege
eval
u
e
.
c: reduce_eva
l
u
e
_in_domain:
r
ed
u
c
e to ze
r
o evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verd
o
olaeg
e
lexmin
.
c
c
:
u
se bar
v
ino
k
_
o
pt
i
o
ns
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oolaege
introduce
barvinok_options struct
u
re
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: comput
e
generating f
u
n
c
tions of
v
e
r
tex
c
ones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolae
g
e
lexmin
.
c
c
: move some code around
t
o prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven
V
erdo
o
laege
evalue: declare argument of eadd a
n
d evalue_
c
op
y
con
s
t
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n
Verdoo
l
a
e
ge
le
x
min
.
cc: perform
s
ubst
i
tution immedi
a
te
l
y on eac
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n Verdoolaege
README: add a warning on (not) using sha
r
ed libra
r
ies
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
V
e
r
do
o
lae
g
e
pie
c
ewise
_
l
st: drop the _s s
u
ffix in the c
l
ass n
a
m
e
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n Ve
r
doolaege
bernstein/piecewise_lst
.
cpp: add a
d
d(ex
)
meth
o
d
commit
|
commitdiff
|
tree
2006-08-31
S
ven Ve
r
doolaege
bernstein
.
cc: e
x
port evalue
2
ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
laeg
e
omega/polyfunc
.
cc: avoi
d
warn
i
ng
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoolae
g
e
barvinok
/
eva
l
u
e
.
h
:
make more self-co
n
tained
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Ver
d
oolaege
Merge b
r
anch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaege
eva
l
u
e
.
h: ch
a
nge n
a
me
of
h
e
ader define
commit
|
commitdiff
|
tree
2006-08-31
S
ven Ve
r
doolaege
eva
l
ue
.
h:
m
ake more
s
elf
-
contained
commit
|
commitdiff
|
tree
2006-08-26
S
v
e
n
Verdoolaege
b
f
coun
t
er
.
h: undefine divi
d
e from polylib's
a
rithme
t
ique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
configur
e
.
in: no lo
n
ger comp
i
le sha
r
ed libraries
b
y
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Ve
r
doolaege
README: reflect that --enable-fract
i
onal is no
w
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verd
o
olaege
l
exmin: remove duplicat
e
unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
d
oolaege
gen_fun::Hadamard_product: use unoptimi
z
ed version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
erdoolaege
b
a
rvinok
_
s
e
ries: per
f
orm ba
c
k
s
ubs
t
i
t
utio
n
also if a
l
l
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven
Verdoolaege
b
a
rvinok_enume
r
ate_union_series:
call core
of barvinok_
s
e
r
ies
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rd
o
ol
a
ege
util
.
c:
remove_equalities_p: correct c
h
eck
for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
doolaege
gen_fun:
s
et context in
no variables constructor
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
doo
l
aeg
e
gen_fun
:
:
Hadamard_pro
d
uc
t
: don't assum
e
equa
l
i
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Ve
r
do
o
laege
barvinok_union: tak
e
co
n
t
e
xt into ac
c
ount
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
o
lytope_sc
a
n: optionally sk
i
p ba
s
is r
e
d
u
c
tion
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
o
laege
polytope_scan: scan in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
Ve
r
doolaege
p
olytope_
s
can:
scans th
e
integer
p
oints in a polyto
p
e
commit
|
commitdiff
|
tree
2006-08-14
S
ven Verdoola
e
ge
Merge branch 'mas
t
er' into
ber
n
stein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
install NTL
_
QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
olaege
b
asis_reduction
.
c: clean up GLPK memory
commit
|
commitdiff
|
tree
next