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
Sve
n
Ve
r
doolaeg
e
bump
v
ersion
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n V
e
r
d
oolaege
Makefile
.
am: mak
e
sure co
r
rect
files are
included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
d
o
c
: mention restriction of barvin
o
k_enumera
t
e_scarf_seri
e
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
doc: minim
a
l documentation for
t
he lexmin a
p
plication
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdool
a
ege
bernstein/co
n
fig
u
re
.
in:
s
et
A
C
_
CONFIG_AUX
_
DIR to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Verdoolaeg
e
doc
:
do
c
ument po
l
ytope_
s
ample
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc: document po
l
yhedron_
s
ample
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
r
do
o
laege
doc
:
includ
e
barvinok
library version in t
i
tle
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
configure
.
in:
fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verd
o
olaege
doc:
b
ib: n
a
m
e
Kevin M
.
Wo
o
ds
c
onsi
s
ten
t
ly
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdo
o
lae
g
e
doc: d
o
cument
e
x
tra occ o
p
erations
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verd
o
olaege
doc:
u
pdate g
e
n_fun documentation
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoo
l
aeg
e
doc: reflect change of argument type
of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n
Verdoola
e
ge
doc: do
c
u
m
ent ba
r
vin
o
k_enumerate_
s
carf
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
doc:
a
dd
a
n
oth
e
r paper re
f
ering to
barvinok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: document bernstein dat
a
structures and functions
commit
|
commitdiff
|
tree
2006-10-31
S
ven Ve
r
doo
l
aege
bernstein: piecewis
e
_lst::simpl
i
fy_d
o
ma
i
n
s
:
add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoola
e
ge
berns
t
ein: make pol
y
ar
g
ument
of bernsteinExpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
re
d
ucer
.
h: only use infinite_icounter
w
hen di
m
=
=
1
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
do
c
: f
i
x
typo
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoo
l
a
e
ge
remove a f
e
w
d
uplicate
definiti
o
ns of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Ver
d
oolaege
u
til
.
c: move dupl
i
ca
t
e
Polyhe
d
r
o
n_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoo
l
a
e
ge
barvin
o
k
.
cc: add _w
i
th_optio
n
s
ve
r
sion of
barvinok_enu
m
erate_e
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolae
g
e
evalue
.
c: remove include of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verd
o
olae
g
e
v
ersio
n
.
c
: show use o
f
Ome
g
a
,
G
L
PK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
S
v
e
n
V
erdoo
l
aege
ve
r
sion
.
c: move bar
v
inok_version from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n
Verdo
o
lae
g
e
doc: document Poly
h
edron_Reduced_Basis
and Polyh
e
d
ron_Sa
m
ple
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
r
d
oo
l
aege
expo
r
t
Polyhe
d
ron_Sample and Polyhedro
n
_Reduced_Bas
i
s
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdo
o
la
e
g
e
doc: rename "
u
sa
g
e" s
e
c
tion to "applications" sectio
n
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doo
l
ae
g
e
barvinok_options:
rename emptiness
_
c
hec
k
to lexmin_emp
t
iness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdoolaege
doc: document barvin
o
k_options
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoolae
g
e
s
c
a
r
f
.
c
c: export fu
n
ction
s
to library
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
scarf
.
cc: use barvinok_options instead of Ma
x
Rays
commit
|
commitdiff
|
tree
2006-10-27
S
v
e
n
Verdoolaege
barvin
o
k
/
b
arvinok
.
h: ex
p
ort _with_options vers
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
barv
i
nok_enumerate_e:
remove direct include of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verdoolaege
b
e
rnstein: mi
n
ima
l
do
c
umentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verd
o
o
la
e
ge
R
EADME: bernstein requires
GiNa
C
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
doc: add refe
r
ence to ber
n
stein t
e
c
hrepo
r
t
commit
|
commitdiff
|
tree
2006-10-25
S
v
e
n Verdoolaege
Merge branch 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
bernstein/src/
T
ODO: remove
;
every
t
hing h
a
s
been do
n
e
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolae
g
e
doc: add another publ
i
cation that
r
efers
t
o
barvino
k
commit
|
commitdiff
|
tree
2006-10-10
Sv
e
n Verdoolaege
LLL: use reduc
t
io
n
parameter
1
by default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoola
e
ge
d
e
com
p
oser
.
cc: short_vector: allow specificat
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
doc: add some more p
u
blicati
o
ns that ref
e
r to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
erdoolaege
eval
u
e
.
c: evalue_denom: declare
variab
l
e
at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verd
o
o
l
aege
e
value
.
c:
e
x
p
ort evalue
_
d
e
nom
commit
|
commitdiff
|
tree
2006-10-02
S
ven Verdo
o
laege
s
carf
.
cc:
handle
case
where four
c
onstraints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
e
n Verdoolaege
ut
i
l
.
c: compress_varia
b
le
s
:
d
eclare
vari
a
ble at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
S
v
en Verdo
o
l
ae
g
e
evalu
e
.
c: copy
(
a
n
d
adapt) copyrigh
t
s
tatement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven
Verd
o
olaege
doc: add s
o
me
refe
r
e
nces to publications
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolaege
lex
m
in
.
cc: reenable o
p
ti
m
izati
o
n of checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
evalue
.
c:
c
lean u
p
in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Ve
r
d
oolaege
e
d
omain
.
cc: add EDom
a
in::
c
o
ntai
n
s
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdo
o
laege
l
e
xmin
.
c
c: max
_
te
r
m:
:
print: print
fl
o
ors explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoola
e
ge
lexmin
.
cc: d
i
sable possibly overzealous o
p
timization
commit
|
commitdiff
|
tree
2006-09-23
S
v
e
n
Verdoolaege
edomain
.
cc: re
m
e
m
b
er "constraint" repres
e
ntati
o
n of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Ver
d
oolaege
red
u
ced_basis: re
s
et "negati
v
e widths" t
o
z
ero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdo
o
lae
g
e
lexmin
.
cc
:
move more code
t
o
e
domai
n
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
e
rdoolaege
e
d
om
a
i
n
.
h:
add EDomain_floor abstr
a
ction
commit
|
commitdiff
|
tree
2006-09-22
Sven
Verdo
o
l
a
ege
lexmin
.
cc
:
d
efine max_ter
m
over an
EDo
m
a
in
r
at
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Verdoo
l
aege
red
u
c
e
r
.
h:
add virtual des
t
ructor to np_base to
avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoola
e
g
e
lexmin
.
cc:
e
x
t
ra
c
t out some code to
eva
l
ue_ut
i
l and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdoolaege
options
.
c: pick up definition of POL_INTEGER
f
ro
m
barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
o
p
t
i
onc
.
c:
mo
v
e choice of w
h
ic
h
special
i
zation to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sve
n
Verdoolaege
omega/parser
.
l: let flex de
f
ine yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
doola
e
ge
lexmin
.
cc
:
optionally skip
c
heck for empty domains
commit
|
commitdiff
|
tree
2006-09-20
S
v
e
n
V
erdoolaege
e
v
alue
.
c: reduce_e
v
a
lue_i
n
_d
o
main: reduce to zero
evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoola
e
ge
lexmin
.
cc: use barvinok_option
s
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Ver
d
oolaege
introduce barvinok_options
s
tructure
commit
|
commitdiff
|
tree
2006-09-20
S
v
e
n V
e
rdoo
l
aege
lexmin
.
cc: compute gener
a
t
i
ng f
u
nc
t
ions of ver
t
ex
co
n
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolae
g
e
l
exmin
.
cc:
m
ove
s
ome code ar
o
und
t
o prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
v
en
Verdoolaege
e
value: declare argument of
e
add and evalue_
c
opy con
s
t
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaeg
e
lex
m
in
.
cc: perf
o
rm substitution
im
m
ediat
e
l
y
o
n
each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdoolaege
README: add a w
a
r
n
ing
on (not) using shared l
i
braries
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdool
a
ege
pie
c
e
w
ise_lst: dr
o
p
t
he _
s
suffix i
n
the
c
lass n
a
me
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdo
o
l
aeg
e
bernstein/p
i
ecew
i
se_lst
.
cpp: add add(ex
)
method
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
e
r
dool
a
e
ge
bernstein
.
c
c: export evalue2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
e
rdoolaege
omega/polyfunc
.
cc:
a
void wa
r
ning
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoolaege
barv
i
n
o
k/evalu
e
.
h:
make more se
l
f
-
conta
i
n
ed
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
e
r
doolaege
M
erge bra
n
c
h
'master'
into bernstein
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoo
l
a
ege
e
val
u
e
.
h: change name of heade
r
define
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoolaege
e
v
alue
.
h: m
a
ke more
s
elf-con
t
ained
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdo
o
laege
b
f
counter
.
h: undefi
n
e divide from polylib's arit
h
metique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
confi
g
ure
.
in: no long
e
r compile s
h
ared librari
e
s by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaeg
e
README: reflect that --enable-fr
a
ctional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdo
o
laege
lexmin: remove duplica
t
e unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen_fun::Hadamard_product: use
u
nop
t
imized version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rdool
a
ege
barvinok_s
e
ries: perform backsu
b
stitution
a
lso if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
ve
n
Verdoola
e
g
e
ba
r
vino
k
_e
n
ume
r
ate_union_series: call core of barvinok_series
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rdoolaege
util
.
c: remove_equali
t
ies_p
:
co
r
rec
t
c
heck f
o
r end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
V
e
r
do
o
la
e
ge
gen_fu
n
: set context
i
n no variable
s
cons
t
ructor
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
erdoo
l
ae
g
e
g
en_f
u
n::Had
a
mard_p
r
o
d
u
ct: don't
a
s
sume equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sve
n
Verdoolaege
barvin
o
k
_
union: ta
k
e cont
e
x
t
int
o
acc
o
u
nt
commit
|
commitdiff
|
tree
2006-08-16
Sven Ver
d
oolaege
p
o
lytope_scan: opt
i
ona
l
ly skip b
a
sis redu
c
t
i
on
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdo
o
l
aege
polytope
_
s
c
a
n
:
scan in reduced b
a
sis
commit
|
commitdiff
|
tree
2006-08-16
Sven Ve
r
dool
a
ege
polytope_scan: scans th
e
in
t
ege
r
points in
a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
Merge branc
h
'master
'
into be
r
n
s
t
e
in
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
insta
l
l NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolaege
basis_
r
e
d
uct
i
on
.
c
: clean up GLPK
m
e
mory
commit
|
commitdiff
|
tree
next