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
remove a few duplicate definitions of MAXRAYS
2006-10-28
S
v
en V
e
rdoola
e
ge
remove a few
dupl
i
c
ate defi
n
i
tions of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
u
t
il
.
c: move duplicate
Polyhe
d
ro
n
_R
e
ad
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolae
g
e
b
arvinok
.
cc: add _with_opti
o
ns version
of barvinok_enumera
t
e_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
evalue
.
c
:
remove include of con
f
i
g
.
h
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoolaege
version
.
c: show use of Omeg
a
,
G
LPK and G
i
NaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
olaege
ve
r
s
ion
.
c: m
o
ve b
a
rvinok_version from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoo
l
aege
doc: document Polyhedron_Reduc
e
d_Basis and Polyhed
r
on_
S
a
mple
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doolaege
expo
r
t Poly
h
edron_
S
ample and
Polyhedron_Reduced_Ba
s
is
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
oolaege
doc: rename
"
us
a
ge" section to "appli
c
ations"
s
ecti
o
n
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doolaege
barvinok
_
options: rename
e
mptine
s
s_ch
e
c
k
t
o
lex
m
in_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
d
o
olae
g
e
doc: docume
n
t barvinok_options
commit
|
commitdiff
|
tree
2006-10-27
S
v
en V
e
rdoolae
g
e
scarf
.
cc: export fu
n
ctions to library
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolae
g
e
scarf
.
cc: use
barvinok_options instead of M
a
xRays
commit
|
commitdiff
|
tree
2006-10-27
S
v
en
Verdo
o
laege
bar
v
inok
/
barvinok
.
h: export _with_o
p
tions versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
v
en
Ve
r
doo
l
aeg
e
b
a
rvinok_enum
e
rate_
e
: remove
d
irect i
n
cl
u
de of polyli
b
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erdoolaege
bernstei
n
:
minimal documentation
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Ve
r
doolaege
R
EADME: bernstein requires Gi
N
a
C
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Verdoolae
g
e
doc: a
d
d
referen
c
e to
bernstein
t
e
c
h
report
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Verdool
a
ege
Merge branch 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolaege
bernstein/src/TODO: rem
o
ve; everything
has
b
een do
n
e
commit
|
commitdiff
|
tree
2006-10-10
Sven Verd
o
olae
g
e
doc
:
add another publ
i
c
ation that r
e
fers to
barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
LL
L
: u
s
e
r
ed
u
ction para
m
ete
r
1 b
y
default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verd
o
olae
g
e
decomposer
.
cc:
s
ho
r
t_
v
e
c
tor: allow specif
i
ca
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sve
n
V
erdo
o
laege
doc: add
s
ome
more p
u
blications t
h
at
r
efer to barv
i
nok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaeg
e
evalue
.
c: eval
u
e
_denom: decla
r
e variab
l
e
at st
a
rt of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdoolae
g
e
e
value
.
c: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdoolaege
scar
f
.
cc: handle case wher
e
four constraints lead
t
o
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoola
e
ge
util
.
c: compress_var
i
a
b
les: declare variabl
e
at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdool
a
e
g
e
e
v
alue
.
c
: cop
y
(an
d
adapt) copy
r
ight
statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdo
o
l
aege
doc: add
s
ome
references to pu
b
lications
commit
|
commitdiff
|
tree
2006-09-26
Sven
Verdoolaege
le
x
min
.
cc:
r
e
enable o
p
t
imization
o
f ch
e
ck
i
ng domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdool
a
ege
e
value
.
c:
c
lea
n
up in_domai
n
commit
|
commitdiff
|
tree
2006-09-25
S
v
en Ver
d
oolaeg
e
e
d
o
m
a
i
n
.
cc: add EDo
m
ain::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
l
e
xmin
.
cc: max_term::pr
i
n
t
:
pri
n
t floors explic
i
tly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven V
e
rdool
a
ege
lexmin
.
cc: disable pos
s
ibly
o
ver
z
ealo
u
s
optimization
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Ve
r
doolaege
edomain
.
cc: rememb
e
r "constraint" represe
n
tation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
reduc
e
d
_basis: re
s
e
t
"negativ
e
widths" to
zero
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n Verdoolaege
lexmin
.
cc: m
o
ve
m
ore c
o
de t
o
edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verd
o
olaege
edo
m
ain
.
h: ad
d
EDomain_floor
abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Verdoolaege
lexmin
.
cc: define max_te
r
m
over an EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
r
doolaege
reduc
e
r
.
h: add v
i
rtua
l
destructor to np_base to
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verd
o
olaege
lexmin
.
cc: extract out some code to eva
l
u
e
_
util a
n
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
options
.
c: pick up definition of POL_INTEG
E
R from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Verd
o
ol
a
ege
optionc
.
c: move choice of whic
h
spe
c
ialization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoola
e
ge
omega/parser
.
l: let flex define
y
ylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
ege
lexmin
.
cc: op
t
ionally skip check for empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven
Verdoolaege
evalue
.
c:
red
u
ce
_
evalue_i
n
_do
m
ain: re
d
uce to z
e
ro e
v
a
lue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
r
d
o
o
laege
l
exmin
.
cc: us
e
b
a
rv
i
nok_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
introduce b
a
rvin
o
k_options structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
la
e
ge
lexmin
.
cc: compute generati
n
g fu
n
ctions of vertex
c
ones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
dool
a
ege
lexm
i
n
.
cc: move
s
o
me code ar
o
un
d
to prepare
f
or new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven V
e
rdoolaege
evalue
:
declare argument of eadd and evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdoolaege
lexmin
.
cc: perform s
u
bst
i
t
u
ti
o
n
i
mmediately on
each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdool
a
ege
REA
D
ME
:
add
a
warning o
n
(not)
u
sing shared libra
r
ies
commit
|
commitdiff
|
tree
2006-09-06
Sven Verd
o
o
l
aeg
e
piecewise_lst: dro
p
t
h
e _s suffix in the clas
s
n
a
me
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
rdoo
l
aeg
e
bernstein/pi
e
c
e
wise_lst
.
cp
p
: add
a
d
d
(e
x
) method
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaeg
e
b
e
rnstein
.
cc: export eva
l
ue
2
ex
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n
V
e
rdoola
e
g
e
omega
/
polyfunc
.
cc: avoid warnin
g
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoolaege
barvin
o
k/evalue
.
h: make
more self
-
cont
a
ined
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Ve
r
doolaege
Me
r
ge branch 'master' into be
r
nstein
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoo
l
a
e
ge
eval
u
e
.
h: c
h
ange name of
h
e
ader defi
n
e
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoolaege
eva
l
ue
.
h:
make mor
e
sel
f
-c
o
ntai
n
ed
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
bfcounter
.
h: undefi
n
e divide
f
rom polylib
'
s arithmetiq
u
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoo
l
aege
configure
.
in: no lo
n
ger comp
i
le
s
hared
libraries
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoola
e
ge
REA
D
ME: reflect tha
t
-
-
enable-fraction
a
l
i
s now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en
Verdoo
l
aege
lexmin: r
e
m
o
ve duplic
a
te u
n
f
ringe
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytop
e
_scan: optionally skip
basis re
d
uctio
n
commit
|
commitdiff
|
tree
2006-08-16
S
v
e
n Verd
o
olaege
polytope_scan
:
scan in reduce
d
basi
s
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_s
c
a
n
: s
c
an
s
the integer points in a pol
y
tope
commit
|
commitdiff
|
tree
2006-08-14
Sv
e
n Verdoolaege
Merg
e
branch 'm
a
ste
r
'
i
nto
b
ernstein
commit
|
commitdiff
|
tree
2006-08-14
S
v
e
n
Verdool
a
ege
in
s
tall NTL_QQ
.
h hea
d
er
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoola
e
ge
basis_reduction
.
c
: clean up GL
P
K
m
e
m
ory
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaege
Merge branch 'master' into b
e
rnste
i
n
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoo
l
aege
lexmin
.
cc: don't bother transforming if compress_pa
r
ms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaeg
e
lexmi
n
.
cc: fix use of comp
r
ess_parms
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verd
o
olaege
sample
.
c: fix remove_ra
y
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Ve
r
doolaege
barvinok_count:
clean up
m
emory
a
fter simplif
y
ing co
n
st
r
a
i
nts
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
do
o
laege
READM
E
: update
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
rdoolae
g
e
om
e
ga/po
l
yfunc
.
cc:
ma
x
imi
z
e: s
i
mpli
f
y
domain be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
dool
a
ege
omega/pars
e
r
.
y: create
n
e
w
variableMa
p
for each p
o
lyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
omega/parse
r
.
y:
f
ree
m
alloc'ed memory
(
in
s
tead of
del
e
te
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdool
a
ege
Merge branch 'mast
e
r' i
n
t
o bernstein
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
laege
only
p
erform lexmin tests when
l
exmin has
b
e
e
n
c
ompiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
e
g
e
some more tests wi
t
h unbounded pol
y
h
edra
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdool
a
ege
add
s
ome s
m
a
l
l tests for le
x
min
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: bar
f
when p
o
lyhedron contains line
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n Ver
d
oo
l
aeg
e
lexmin: don't print
solu
t
ion
w
hen
verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verd
o
olaege
ver
i
fy_main
.
cc: clean
u
p memory
commit
|
commitdiff
|
tree
2006-08-11
Sven V
e
rdoolaege
Merge bran
c
h
'
master' into bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
barv
i
n
o
k_se
r
ies: handle fixed pol
y
top
e
s
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
V
erdoolae
g
e
gen_f
u
n: a
d
d constructor for generating
functi
o
n
with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoo
l
aege
barvin
o
k
.
c
c
: remove_more_equalitie
s
: handle
e
q
u
a
l
i
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
d
oola
e
ge
gen_fun::coefficient: reset
t
he number of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoolaege
lexm
i
n
.
c
c
: use remove_equ
a
lities consiste
n
tly
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
o
lae
g
e
util
.
c:
c
ompress_variables:
e
xtracted from
lex
m
in
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
Verdoolaege
lexmi
n
: do
n
't check anything if given range
l
ies outsid
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolae
g
e
le
x
min
.
cc:
r
em
o
v
e
_equalities; take pre
i
mage with re
t
urned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
le
x
min
.
cc:
remove_
e
qualities
:
extend returned matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
xmin
.
cc: in_doma
i
n
:
fix t
y
po
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaege
le
x
min
.
cc
:
remove some
d
ebugging residues
commit
|
commitdiff
|
tree
next