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: include barvinok library version in title
2006-10-31
Sven Verd
o
ol
a
ege
d
oc: include barvi
n
ok
l
ibrary ve
r
sion
in
t
itle
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
configure
.
i
n
: fix
t
ypo
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
doc: bib: name
K
evin M
.
Woods co
n
sistently
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
d
oc: docum
e
nt extra occ operations
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verd
o
olaege
doc:
update gen_fun d
o
cum
e
ntat
i
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
doc: reflect chan
g
e
of arg
u
men
t
type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: documen
t
barvinok_enumerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
V
e
rd
o
olaege
doc
:
add another
p
a
p
er re
f
e
ring to
b
arvinok
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoola
e
ge
d
o
c:
typ
o
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
doc: docum
e
nt bernstei
n
da
t
a structu
r
e
s
an
d
fu
n
c
tion
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
e
g
e
ber
n
stein: piecewise_lst::simplify_d
o
m
a
ins:
a
dd
M
axRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
v
e
n
V
e
rdoolaege
bernstein: make poly a
r
gument
of bernst
e
inEx
p
ans
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n Verdoolae
g
e
r
e
d
ucer
.
h: o
n
ly use in
f
init
e
_icounter when di
m
==1
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdoolae
g
e
r
e
move a
fe
w
d
u
plicate
d
efinitions
of
M
AXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
util
.
c: move dup
l
ica
t
e Polyhe
d
ron_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
barvinok
.
cc: add _with_op
t
ion
s
version of
b
arv
i
nok_enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdo
o
laeg
e
eval
u
e
.
c
: remove includ
e
of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
ve
r
s
ion
.
c: show
u
se of O
m
e
ga
,
G
L
PK and Gi
N
aC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c: move barvinok_version from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
S
ven Ve
r
do
o
laege
d
o
c: doc
u
men
t
P
ol
y
hedron
_
Red
u
ced_Basis and Polyhedron_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
r
doolaege
e
x
po
r
t
Polyhedron_Sam
p
le and Po
l
yhed
r
on
_
Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoo
l
aege
d
o
c
:
ren
a
m
e
"usage" se
c
tion to "app
l
ications" se
c
t
i
on
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
laege
ba
r
vinok_o
p
tions: rename
e
mptiness_check to lexmin_emptine
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
oolaege
doc
:
d
ocument barvinok_option
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
olaege
scarf
.
cc: export fun
c
tio
n
s
to library
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdool
a
ege
s
c
a
r
f
.
cc
:
use barvinok
_
options in
s
tead of MaxRa
y
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
ba
r
v
inok/barvinok
.
h
:
export _with_op
t
io
n
s versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
doolaege
barv
i
nok
_
e
n
umer
a
t
e
_e: rem
o
ve direct include of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoolaege
b
e
rns
t
e
in: m
i
nimal doc
u
mentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdool
a
ege
README: bernstein requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n
Verdool
a
e
ge
doc: add r
e
fere
n
ce to ber
n
stein
t
echrepo
r
t
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
Me
r
ge branch 'be
r
nstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
o
o
laeg
e
b
ernstein/sr
c
/T
O
DO: remove; everythin
g
has been done
commit
|
commitdiff
|
tree
2006-10-10
Sven V
e
r
doolaeg
e
doc: add another publ
i
cat
i
on th
a
t refers to
barvino
k
commit
|
commitdiff
|
tree
2006-10-10
Sven V
e
rdoolaege
LLL:
use reduction parameter
1
b
y defau
l
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoo
l
a
e
g
e
de
c
ompo
s
er
.
cc: short_vector
:
a
llow spec
i
ficat
i
o
n
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoola
e
ge
do
c
: ad
d
some more publicati
o
ns that
refer to b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdool
a
ege
evalue
.
c
: evalue_denom:
d
eclare
v
a
r
iable at start
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
evalue
.
c: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
S
v
en Verd
o
olae
g
e
scarf
.
cc: handle ca
s
e where four constraint
s
l
e
ad t
o
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdo
o
laege
util
.
c: compress_va
r
iables:
declar
e
v
a
riable a
t
start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven
Verdoolaege
e
value
.
c: copy (an
d
a
d
apt) copyrig
h
t statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaeg
e
doc: ad
d
s
o
me re
f
e
r
ence
s
t
o publication
s
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolae
g
e
lexmin
.
cc: r
e
enable opti
m
ization of checkin
g
d
omai
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven
V
erdoola
e
g
e
evalu
e
.
c: c
l
ean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
edomain
.
c
c
: add EDomain:
:
co
n
t
ains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoola
e
ge
lexmi
n
.
c
c
: m
a
x_ter
m
::
p
rint
:
pr
i
nt
flo
o
rs expl
i
citly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
v
en
V
e
rdoolaege
lexmin
.
cc: d
i
sable possibly over
z
ealo
u
s optimization
commit
|
commitdiff
|
tree
2006-09-23
Sven
Verdoolaege
edomain
.
cc: remember "
c
on
s
tr
a
in
t
"
r
epres
e
n
t
ati
o
n of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven V
e
rdoolaeg
e
redu
c
ed_basi
s
: reset
"
n
egative widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
S
ven Verdoo
l
aege
lexmin
.
c
c
:
m
ove more code to edoma
i
n
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoo
l
aege
edoma
i
n
.
h:
a
d
d
EDomain_floor abstractio
n
commit
|
commitdiff
|
tree
2006-09-22
Sven Ver
d
oolaege
lex
m
in
.
cc: define max_term
o
ver an EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
v
en Verdoolaege
reducer
.
h: add
vir
t
ual destructor
t
o
np_b
a
se t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
v
e
n
V
e
rdoolaege
lexmin
.
cc: extract out some cod
e
t
o
e
value_uti
l
and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sve
n
Verdoolaege
opti
o
ns
.
c: p
i
ck
u
p definitio
n
o
f
POL_INTEGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verd
o
olaege
optionc
.
c: mov
e
choice of which speci
a
l
i
zation to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
e
n Verdoo
l
aege
omega/
p
arser
.
l
: let flex
def
i
ne yylineno
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolaege
lex
m
in
.
cc: optionally skip check for empt
y
do
m
ains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
ev
a
lue
.
c: reduce_evalu
e
_in_domain: red
u
ce to zero
evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: use barvinok_opti
o
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
in
t
r
o
duce ba
r
vinok_opti
o
ns s
t
ruc
t
ure
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolaege
lexmin
.
cc
:
compute generati
n
g functions of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
ool
a
e
g
e
lexmin
.
cc: move
s
ome
c
ode arou
n
d to pre
p
are f
o
r new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Ver
d
o
o
laege
e
v
alue: declare argument of eadd a
n
d eval
u
e_copy const
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdool
a
ege
lexm
i
n
.
cc: p
e
rform substit
u
tion immediately
o
n
each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdoolaege
RE
A
DME:
add a w
a
rni
n
g on (
n
ot) using share
d
librari
e
s
commit
|
commitdiff
|
tree
2006-09-06
Sven Ver
d
oola
e
g
e
p
iecewise_lst: dr
o
p the _s
s
uffix in
t
he
c
l
as
s
name
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolae
g
e
b
e
rn
s
tein/piecewi
s
e_lst
.
cpp: add add(ex) me
t
hod
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdool
a
ege
bernstein
.
cc: expo
r
t evalue2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
l
a
ege
omega/polyfunc
.
c
c:
a
void warni
n
g
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
rdoolaege
barvi
n
ok/eval
u
e
.
h: make more s
e
l
f
-
con
t
ai
n
ed
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
g
e
M
e
rge branch 'm
a
ste
r
'
into
b
ernstein
commit
|
commitdiff
|
tree
2006-08-31
Sven Ver
d
oolaege
evalue
.
h:
c
h
ange name of header define
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoo
l
a
ege
e
va
l
ue
.
h: make mo
r
e self-
c
ont
a
in
e
d
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdoolaege
b
f
count
e
r
.
h: undefine divide from polylib's arithmet
i
que
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
r
d
oolae
g
e
configure
.
in: no long
e
r compile share
d
libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Ver
d
oolaege
README: re
f
lect that --enable-fractio
n
al
is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rdoolaege
lexmin
:
remove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Ver
d
oolae
g
e
gen_f
u
n::Had
a
mard_
p
r
oduct: use unoptim
i
zed
versi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verd
o
ola
e
ge
barvinok
_
s
erie
s
: perform backsu
b
stitution also i
f
al
l
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolaege
barvin
o
k
_
enumera
t
e_un
i
on_series: call core o
f
bar
v
inok_series
commit
|
commitdiff
|
tree
2006-08-21
Sven
Ver
d
oolae
g
e
u
til
.
c
: remov
e
_
e
qua
l
ities_p: correct check f
o
r end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen_fun:
s
et context
in
no
vari
a
ble
s
con
s
tructo
r
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rdoolaege
gen
_
fun::
H
adamard_
p
r
o
duct:
d
on
'
t assume equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verd
o
ol
a
ege
b
a
r
vin
o
k_union: tak
e
context
i
n
t
o
acc
o
unt
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Verdoolaege
polytope_sca
n
: optionally s
k
ip basis
reduction
commit
|
commitdiff
|
tree
2006-08-16
S
ven Verdool
a
ege
polytope_scan: scan in r
e
du
c
e
d
basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
o
ly
t
op
e
_s
c
an: scans
the integer points
i
n a po
l
yto
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven
Verd
o
olaege
Merge bra
n
ch '
m
ast
e
r' i
n
to ber
n
stein
commit
|
commitdiff
|
tree
2006-08-14
Sve
n
Ve
r
do
o
l
aege
install NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n
Verdoolaege
ba
s
is_reduction
.
c
:
cl
e
an up GLPK mem
o
ry
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
Me
r
ge branch '
m
aster' int
o
b
e
rnstein
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoolaege
lexmin
.
c
c: don't bother tra
n
sforming if comp
r
e
s
s_par
m
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
g
e
lex
m
in
.
cc: f
i
x use of compr
e
ss_parms
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Ve
r
do
o
laeg
e
sample
.
c: fix
re
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
laege
barvinok
_
count: clean up m
e
mory after sim
p
lifying constraint
s
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n V
e
rdoo
l
ae
g
e
R
E
A
DME
:
update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
omega/polyfun
c
.
cc: ma
x
imize: s
i
mplify do
m
a
i
n
b
e
for
e
.
.
.
commit
|
commitdiff
|
tree
next