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
Sve
n
V
e
rdoolaege
expor
t
Polyhedron
_
Sample and P
o
lyhedr
o
n_R
e
duced
_
B
a
s
is
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdo
o
laege
doc: rename "u
s
ag
e
" section to
"
applications" secti
o
n
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdo
o
laege
barvinok_options: r
e
n
ame
emptiness_check to le
x
min_e
m
p
tines
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doolaege
doc: document bar
v
i
n
ok_option
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdool
a
ege
scarf
.
cc: export f
u
nctions to library
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verd
o
olaege
scarf
.
c
c: us
e
ba
r
vinok_options instead of Max
R
ays
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoolaege
bar
v
inok/barvino
k
.
h:
export _
w
ith
_
options versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
doolaeg
e
bar
v
inok_enumerate_e: re
m
ove direct
i
nclude
o
f poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoolaege
bernstein
:
minimal documentatio
n
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
README:
b
ernst
e
in
r
equires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoolaeg
e
d
oc
:
a
d
d re
f
erence
to
be
r
nstein t
e
ch
r
ep
o
r
t
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Verd
o
olaege
Merge br
a
nch '
b
ernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
rdoolaege
b
e
rnstein/src/
T
O
D
O:
remove; everything ha
s
been d
o
ne
commit
|
commitdiff
|
tree
2006-10-10
Sven
Verdoolaege
d
oc: add another
publication
t
hat r
e
fers to
b
a
r
v
i
n
o
k
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoola
e
ge
LLL: us
e
reducti
o
n
p
aramete
r
1 b
y
default
commit
|
commitdiff
|
tree
2006-10-07
Sven
V
erdoolaege
decomposer
.
c
c
:
short_
v
e
c
t
or:
a
llow
s
pec
i
f
ic
a
tion of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
d
oc: add some
more publications tha
t
refer to bar
v
inok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
e
value
.
c: eva
l
ue_denom: d
e
clare variabl
e
at star
t
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
evalue
.
c: expor
t
eva
l
ue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
erdoola
e
ge
scarf
.
cc
:
hand
l
e
c
ase w
h
e
re
f
o
ur const
r
ai
n
t
s lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
util
.
c
: co
m
pres
s
_va
r
iables: declare variable
at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
S
v
en V
e
r
d
ool
a
ege
eval
u
e
.
c:
c
o
py (
a
nd
adapt
)
co
p
yright state
m
e
nt fro
m
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaege
doc: add some referenc
e
s to publi
c
ations
commit
|
commitdiff
|
tree
2006-09-26
Sv
e
n Ve
r
doola
e
g
e
lexmin
.
cc: reen
a
ble optimiz
a
tion of checking d
o
m
a
i
ns
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sve
n
V
e
rdoolaege
evalue
.
c: clean up i
n
_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven V
e
rd
o
olaege
e
domain
.
cc: ad
d
EDomain
:
:
c
ontains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoo
l
aege
lexmin
.
cc: ma
x
_term::print: print floors expli
c
itly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Ver
d
o
olaege
l
exmin
.
c
c
: disa
b
le poss
i
bly
o
ve
r
zealo
u
s o
p
timization
commit
|
commitdiff
|
tree
2006-09-23
S
ven Verdo
o
l
aege
e
doma
i
n
.
c
c: remember "constrain
t
" rep
r
esent
a
tion of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdool
a
ege
r
e
duced_b
a
s
i
s: reset
"
nega
t
ive widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verdoolaege
lexmi
n
.
cc: move more co
d
e t
o
e
d
omain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolae
g
e
edomai
n
.
h: a
d
d EDoma
i
n
_floor
a
bstract
i
on
commit
|
commitdiff
|
tree
2006-09-22
S
ven V
e
rdoolaege
lexm
i
n
.
cc: de
f
ine max_term over
an
E
Domain r
a
ther t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdo
o
laege
reduce
r
.
h: add virtual destructor
to np_ba
s
e to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Ver
d
oolaege
lexmin
.
cc:
extract out
s
o
me cod
e
to
evalue
_
util an
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sve
n
Verdool
a
e
g
e
o
p
tions
.
c: pick up d
e
finition of POL_I
N
TEGER from barvino
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaeg
e
optio
n
c
.
c: mov
e
choice of which s
p
e
c
ialization to
use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ve
r
doolaege
om
e
ga/pa
r
ser
.
l:
l
et flex defi
n
e
yy
l
ineno
commit
|
commitdiff
|
tree
2006-09-20
S
v
en
V
e
rdoola
e
ge
lexmi
n
.
cc: opt
i
onally skip check f
o
r empty domains
commit
|
commitdiff
|
tree
2006-09-20
S
v
e
n
Verdoolaege
evalue
.
c: reduce_e
v
alu
e
_in_domain: reduce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
do
o
laege
l
exmin
.
cc: use ba
r
vino
k
_options
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n
V
erdoolaege
introdu
c
e bar
v
i
nok_optio
n
s structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
doolaege
lexmin
.
cc: compute generating fun
c
tions o
f
v
e
rtex co
n
es
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdo
o
laege
lex
m
in
.
cc: mo
v
e some code around to prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven
Verdoolaege
evalue:
d
eclare a
r
gument
o
f eadd and evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdo
o
l
aege
lexmin
.
cc: perform substitution im
m
ediate
l
y
on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
ven Ve
r
doolaege
README: add a
war
n
ing on (not) using shared libra
r
ies
commit
|
commitdiff
|
tree
2006-09-06
Sven Verd
o
olae
g
e
piecewise_lst: dr
o
p the _s suffix i
n
the
cl
a
ss name
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
bernste
i
n/p
i
ecewise_lst
.
cpp
:
add add(ex) method
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
bernstei
n
.
cc: expo
r
t eva
l
u
e2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
r
doolaege
omeg
a
/polyfunc
.
cc: avoid warning
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Ve
r
doola
e
g
e
barvinok/e
v
a
l
ue
.
h: make more
s
elf-contain
e
d
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
ge
Merge branch 'maste
r
' into be
r
nst
e
in
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
eva
l
ue
.
h:
c
h
ang
e
name of h
e
ader def
i
ne
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoolaege
e
v
alue
.
h: make more self-contained
commit
|
commitdiff
|
tree
2006-08-26
S
v
e
n
Verdoolaege
b
fcounter
.
h
: undefine di
v
i
d
e from p
o
l
y
lib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
e
r
doolaege
config
u
re
.
in: no longe
r
compile shared
l
i
b
ra
r
ies by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdo
o
lae
g
e
R
EADME:
r
e
flect that --enable-f
r
actional
is n
o
w the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
lexmin: re
m
ov
e
duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen
_
fun::Hadamard_product: use un
o
pt
i
mized version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoo
l
aege
barvinok_se
r
ie
s
:
p
erform backsubstituti
o
n al
s
o if
all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoola
e
ge
b
a
r
v
i
nok_enume
r
ate_
u
nion_series: ca
l
l core of ba
r
vin
o
k_series
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
util
.
c: remov
e
_e
q
ualitie
s
_
p
:
c
o
rrect che
c
k
for en
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verdoolaege
gen_fun: s
e
t context i
n
no variables constructor
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
e
r
d
oolaege
gen_fun:
:
Ha
d
amar
d
_product: d
o
n't a
s
su
m
e
equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven
V
erdoolaege
ba
r
vinok_union: take conte
x
t into account
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
V
e
rdoolae
g
e
polyt
o
pe_scan: optionall
y
s
kip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdool
a
e
g
e
polyt
o
pe_scan
:
scan in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n
Verdoolae
g
e
polytope_scan: sca
n
s the integer point
s
i
n a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sv
e
n Verdoolaege
Me
r
ge branch 'ma
s
t
e
r' into
bernst
e
in
commit
|
commitdiff
|
tree
2006-08-14
Sv
e
n
Verdoola
e
ge
in
s
t
a
ll N
T
L_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolaege
basis_reducti
o
n
.
c: clean
u
p GLPK me
m
ory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
Mer
g
e
bran
c
h
'maste
r
' into bernste
i
n
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oola
e
ge
lexmin
.
cc: do
n
't b
o
t
he
r
transformin
g
if compress_parm
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
ven V
e
rdoolaege
lexmi
n
.
c
c
:
fix use
of
c
omp
r
ess_parms
commit
|
commitdiff
|
tree
2006-08-13
S
v
en
V
erdo
o
laege
sample
.
c:
f
i
x remo
v
e_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoo
l
aege
barvin
o
k_count: cl
e
an up memory after simplifying
constrain
t
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdo
o
laege
omega
/
p
olyfunc
.
cc: maximize:
s
i
mpli
f
y
d
omain before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
S
v
en
V
e
rdoolaege
omega/parser
.
y:
c
r
eate new varia
b
leMap
for each polyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
omega/parser
.
y: free
m
alloc'ed me
m
ory (
i
nstead
o
f del
e
te
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
ege
Merge
b
r
anch 'm
a
st
e
r'
into bernstein
commit
|
commitdiff
|
tree
2006-08-12
Sven
Ver
d
oolaeg
e
only perform lexmin tests when
l
exmin has been co
m
piled
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n
Verdoo
l
aege
som
e
more tests wit
h
unbounded pol
y
hedra
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoo
l
aege
ad
d
s
ome small tests for l
e
x
m
in
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
lex
m
in: barf when polyhedron contains line
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoola
e
ge
lex
m
i
n
: don't print sol
u
tion when
v
e
rifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
v
erify_main
.
cc: clean up
m
emory
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
M
e
rge branch '
m
aster'
i
nto ber
n
ste
i
n
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
b
arvinok_seri
e
s
:
handle
f
ix
e
d polyt
o
pe
s
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaeg
e
g
e
n_fun: add
co
n
stru
c
tor
fo
r
g
enera
t
i
ng function
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaeg
e
barvin
o
k
.
cc: remove_more_equalities
:
handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en
Verdoolaege
gen_fun::c
o
effi
c
ien
t
:
r
es
e
t the number of
rows in
t
he
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoolaege
lexmin
.
cc: use r
e
m
ove_eq
u
alities consis
t
e
n
tl
y
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolaege
ut
i
l
.
c: compress_variab
l
es: ex
t
racted from
lex
m
in
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
l
e
x
m
in: don't check an
y
t
hing if given rang
e
lies ou
t
side
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verd
o
olaege
lex
m
in
.
cc: remove
_
e
qualities; tak
e
p
r
eimage with re
t
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
lex
m
in
.
cc: rem
o
ve_equalities: ext
e
nd
r
eturned ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
a
e
g
e
l
exmin
.
cc:
i
n_d
o
main: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
lex
m
in
.
c
c: re
m
ove s
o
me de
b
uggi
n
g
resid
u
es
commit
|
commitdiff
|
tree
next