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
Sven Verdoolaeg
e
e
xport Poly
h
edron_Sa
m
ple and
Polyhedron_Reduce
d
_Ba
s
is
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdo
o
laege
doc: rename
"
us
a
ge" sec
t
io
n
to "a
p
plications" section
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
barvinok_options
:
rename emptiness_c
h
eck
t
o
lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolae
g
e
doc:
d
ocument barvinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
s
carf
.
cc: ex
p
ort functions
t
o
library
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoola
e
g
e
s
carf
.
cc: use barvi
n
ok_o
p
ti
o
ns instead of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
laege
barvinok/barvinok
.
h:
export _wit
h
_
opt
i
ons ver
s
ions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n
V
e
rd
o
olaege
barvinok_enumer
a
te_e: re
m
ove direct inclu
d
e of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolaege
bernstein: mi
n
imal documentation
commit
|
commitdiff
|
tree
2006-10-25
S
ven
V
erdoolaeg
e
README: bernstein requ
i
res GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
rdool
a
eg
e
doc: add reference to bernstein techreport
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verd
o
olaege
Mer
g
e
br
a
nch
'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verdo
o
l
ae
g
e
berns
t
ein/
s
rc/TO
D
O: remove; everyth
i
ng has been d
o
ne
commit
|
commitdiff
|
tree
2006-10-10
Sven
V
er
d
oolaege
doc: ad
d
another pub
l
ic
a
t
ion
t
hat r
e
fers to bar
v
i
n
ok
commit
|
commitdiff
|
tree
2006-10-10
Sven
Verdoolaege
LLL: use reduction parameter 1 by default
commit
|
commitdiff
|
tree
2006-10-07
Sve
n
Ve
r
doola
e
ge
d
e
composer
.
cc: short_v
e
ctor: allow
s
pe
c
ification
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
doc: add some more p
u
blicat
i
ons t
h
at
r
efer to barvinok
commit
|
commitdiff
|
tree
2006-10-02
S
v
en V
e
rdool
a
ege
evalu
e
.
c
: evalue_denom:
d
e
c
lare variabl
e
at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
erdoo
l
a
eg
e
evalue
.
c: ex
p
ort e
v
alue_den
o
m
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaeg
e
scarf
.
cc: handle case where four constraint
s
l
ea
d
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
er
d
oo
l
a
e
ge
util
.
c: co
m
p
ress_variables: declare
vari
a
ble at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven V
e
rdoolaege
evalue
.
c
:
c
op
y
(and adapt)
c
o
pyri
g
ht s
t
ate
m
ent
f
rom
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Ver
d
oolae
g
e
d
o
c: a
d
d so
m
e refer
e
nces to publ
i
c
a
t
ions
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolaege
lexmin
.
cc: reenable o
p
tim
i
zati
o
n of checking do
m
ain
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
evalue
.
c: clea
n
up in_domain
commit
|
commitdiff
|
tree
2006-09-25
S
v
en Verdoolaege
edomain
.
cc:
ad
d
EDomain::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven V
e
r
doolaege
l
exmin
.
cc:
m
a
x
_term::pr
i
nt: print
floors explici
t
ly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sv
e
n Verdoolaege
lexm
i
n
.
cc: disable
p
ossibly overzealous opti
m
iz
a
tion
commit
|
commitdiff
|
tree
2006-09-23
Sven Ve
r
doolaege
edom
a
in
.
cc:
remembe
r
"
c
onst
r
aint" repre
s
entation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
reduced_basis: reset "
n
egat
i
ve widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Ver
d
oolaege
lexmin
.
c
c: move
more code to
edomain
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n
V
erdoolaege
edomain
.
h
:
a
dd EDomain_floor abstractio
n
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoolaege
lexmin
.
cc: define max_ter
m
over
a
n ED
o
main rat
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
r
educer
.
h: add virtua
l
destructor to np_ba
s
e
t
o avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Verdoolaege
lexmin
.
c
c: e
x
t
r
act ou
t
some code to ev
a
lue_
u
t
il and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Verdool
a
ege
o
p
tions
.
c: pic
k
up
defi
n
ition of
PO
L
_INTEGER from
barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
o
p
t
i
o
nc
.
c:
mo
v
e
choice of w
h
ich specializatio
n
to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoo
l
aege
om
e
ga/par
s
e
r
.
l: let flex define yylinen
o
commit
|
commitdiff
|
tree
2006-09-20
S
ven Ve
r
doolae
g
e
le
x
min
.
cc:
option
a
l
l
y
skip ch
e
ck for
e
mpty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaege
evalue
.
c: reduce_
e
v
al
u
e_i
n
_domain: reduce
t
o
z
ero ev
a
l
u
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
laege
le
x
min
.
cc
:
use barv
i
nok_options
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n
V
e
rdoolaeg
e
introduc
e
barvi
n
o
k
_options
s
truct
u
re
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdo
o
laege
lexm
i
n
.
cc: compute g
e
nerating functions o
f
vertex c
o
nes
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
e
n
Verdoolaege
lexmin
.
cc: mo
v
e so
m
e
code arou
n
d to prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sv
e
n Verdoolaege
evalue: declare argument of eadd and ev
a
lue
_
copy
c
onst
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
erdoolaege
lexmi
n
.
cc: p
e
rf
o
rm substi
t
u
t
ion immedia
t
e
l
y on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven
Verdoola
e
ge
README: add a war
n
in
g
on (not) using shared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven Verd
o
o
l
aeg
e
piecewise_lst: dro
p
the _s
suffix in
the
cl
a
ss name
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdo
o
laeg
e
bernstei
n
/piecewi
s
e
_
lst
.
cpp: add add(ex) method
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Ver
d
oola
e
ge
b
ernstein
.
cc: exp
o
rt evalue2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
doolaege
omega/poly
f
unc
.
cc
:
av
o
i
d
warning
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoo
l
aege
barvin
o
k/evalue
.
h: mak
e
m
o
re self-contained
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
Merge branch 'master' into bernst
e
in
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verd
o
o
l
aege
evalue
.
h:
cha
n
ge name
of hea
d
er defin
e
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalue
.
h: make more
s
elf-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
bf
c
ounter
.
h: undefine divide from
pol
y
l
ib's
a
rith
m
eti
q
ue
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
ven Verdool
a
eg
e
configure
.
i
n
:
no lo
n
ger compil
e
shared
l
ibraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rdoola
e
ge
READ
M
E: refl
e
ct th
a
t
--enable-
f
ractional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en V
e
r
d
ool
a
ege
lexmin: remove d
u
p
licate unfring
e
commit
|
commitdiff
|
tree
2006-08-16
Sven Ve
r
doolaege
po
l
ytope_scan: option
a
lly
s
k
ip b
a
si
s
reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven
Verdoolaege
polytop
e
_s
c
an:
s
can in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
olaege
p
o
l
yt
o
pe_scan: scans
t
he
i
n
teger
points in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sve
n
Verdo
o
laege
Merge branch 'maste
r
' into
bernstei
n
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoola
e
ge
ins
t
al
l
NTL_QQ
.
h
h
eader
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
dool
a
ege
basis_reduction
.
c: clean up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
Merge
b
ranch '
m
aster
'
into bernstein
commit
|
commitdiff
|
tree
2006-08-13
Sven
Ve
r
doolaege
lexmin
.
cc: don't bother trans
f
orming if
c
ompress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
lexmin
.
c
c: fix
use o
f
compress_
p
a
rms
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoola
e
ge
sample
.
c: fix re
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoolaege
barv
i
nok_count: cl
e
a
n up memory after simplifyin
g
cons
t
raints
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
RE
A
DME: up
d
ate
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolaege
omeg
a
/polyfun
c
.
cc: maximize: si
m
plify domain
b
ef
o
re
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
omega/parser
.
y: create new variableMap for
e
a
c
h
p
o
l
yfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
rdoolae
g
e
omega/pa
r
ser
.
y: f
r
ee m
a
l
loc'ed memory (in
s
tead
o
f delet
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
M
erge branch 'master' into bern
s
t
ein
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oola
e
ge
onl
y
pe
r
form l
e
xmin tests when lex
m
in has been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
so
m
e more
tes
t
s
with un
b
ounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
add some small tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolaege
l
exmi
n
:
b
arf
w
hen polyhe
d
r
on conta
i
ns line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olae
g
e
lexm
i
n: don't prin
t
solution when v
e
rifying
commit
|
commitdiff
|
tree
2006-08-11
Sven
Verdoolaeg
e
verify_main
.
cc: cl
e
an up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolae
g
e
Me
r
ge
bra
n
ch
'
master' into bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdool
a
ege
ba
r
vinok_se
r
ie
s
: handle fixed polyt
o
pes
commit
|
commitdiff
|
tree
2006-08-10
S
v
e
n
Ve
r
doolaege
gen_f
u
n
:
add constru
c
tor for
g
enera
t
in
g
function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
barvin
o
k
.
cc
:
r
e
move_more_equalities
:
ha
n
dle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdool
a
e
ge
ge
n
_
fun::c
o
e
f
f
i
cient: r
e
set
t
he
number of rows
i
n the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaege
l
e
x
min
.
cc
:
use remove_equa
l
ities consistently
commit
|
commitdiff
|
tree
2006-08-10
S
v
en
V
erdoo
l
aege
uti
l
.
c
:
compress_variab
l
es: e
x
tracte
d
from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdo
o
laege
lexmin: don't che
c
k
a
n
ything if given range
l
ies outs
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doola
e
ge
l
e
x
m
in
.
cc: remove_equalit
i
e
s
;
take preimage with returne
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Ve
r
d
o
olaege
lexm
i
n
.
cc: rem
o
ve_e
q
ualities:
e
xtend returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Verdoolaege
le
x
m
i
n
.
cc: in_
d
o
m
a
i
n: fix
typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remove
s
ome d
e
b
u
gging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaege
reduce_domain: compute convex union of
doma
i
n
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolaeg
e
lexmin
.
cc: in_domain: also c
h
eck oth
e
r p
a
rts
of un
i
on
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
lexmin: in_domain:
s
et values if c
o
nstr
a
ints
d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
lexmin
:
plug
s
o
m
e memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolae
g
e
lexmin: a
n
exper
i
m
e
ntal tool
for computing the parametr
i
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdool
a
ege
ad
d
f
dst
r
e
a
m
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoolaege
evalue
.
c
: floor2frac_r: plug memory le
a
k
commit
|
commitdiff
|
tree
next