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: rename "usage" section to "applications" section
2006-10-27
Sv
e
n Verdoolaege
doc: rename
"
usage"
s
e
ction to "applica
t
i
o
ns" section
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoolaege
barvinok_
o
ptions: rename
e
mptiness_c
h
ec
k
t
o lexmin
_
emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc:
d
ocument barvi
n
ok_op
t
ions
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
olaege
scarf
.
cc: export
f
u
nctions to library
commit
|
commitdiff
|
tree
2006-10-27
S
v
en
V
er
d
o
o
laege
sca
r
f
.
cc: u
s
e barvinok_options in
s
tead of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verd
o
olaege
barvinok/barvinok
.
h: exp
o
rt _
w
it
h
_optio
n
s v
e
r
sions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
v
e
n
Ver
d
oolaege
bar
v
in
o
k_e
n
umerate
_
e: remove direct include of po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoo
l
ae
g
e
bernstein: minim
a
l
d
o
cumentation
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdoolaege
README: bernste
i
n
requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
doc: add reference to bernstei
n
t
e
chreport
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdool
a
ege
Merge
b
ranch 'bernstein
'
commit
|
commitdiff
|
tree
2006-10-25
S
v
en
V
erdoolaege
bernste
i
n/s
r
c/TODO: remove; everything
h
as
b
een done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
doc
:
add another pub
l
ication t
h
at ref
e
rs t
o
barv
i
nok
commit
|
commitdiff
|
tree
2006-10-10
S
v
e
n Ve
r
doolae
g
e
LLL: use
r
e
duc
t
i
on
p
ar
a
m
e
ter 1 b
y
default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verd
o
olaege
d
e
c
om
p
oser
.
cc:
short_vector: al
l
ow specification of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Ver
d
oolaege
doc: add some more publi
c
ati
o
n
s
that refer to barvinok
commit
|
commitdiff
|
tree
2006-10-02
S
v
e
n
Verdoolaege
evalue
.
c: ev
a
l
u
e
_
den
o
m: declare variable at star
t
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
e
v
alue
.
c: e
x
port evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
S
v
e
n
Verd
o
o
l
aege
s
carf
.
c
c: h
a
ndle
c
ase where
f
our constraint
s
lea
d
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
e
n Verdoolaege
util
.
c
:
co
m
press_va
r
iab
l
e
s: declare varia
b
le at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Ver
d
oolaege
e
v
alue
.
c
: cop
y
(and
adapt) copyrigh
t
statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verd
o
olaege
doc: add som
e
references to publications
commit
|
commitdiff
|
tree
2006-09-26
S
v
en Ver
d
ool
a
ege
lex
m
in
.
cc: reenable
o
p
t
imization of che
c
king domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven V
e
rdoolaege
eval
u
e
.
c: clean up
i
n
_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdool
a
ege
edomain
.
cc:
add
EDoma
i
n
::c
o
ntain
s
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexmin
.
cc: max_term::prin
t
: print flo
o
rs explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
ve
n
V
erdoo
l
aege
lexmin
.
c
c: disa
b
le
poss
i
b
l
y o
v
er
z
ealous op
t
imi
z
ati
o
n
commit
|
commitdiff
|
tree
2006-09-23
Sven Ver
d
oolaege
edomain
.
cc: remember "constraint" represe
n
tation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaeg
e
r
educed_basis
:
reset "neg
a
t
ive widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
lexmin
.
cc:
move more code
t
o edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
edomain
.
h: add E
D
omain_flo
o
r
abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Ver
d
oo
l
aege
lexmin
.
cc: define max_
t
erm over an EDoma
i
n ra
t
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Ver
d
o
o
laege
red
u
cer
.
h: add virtu
a
l
d
e
s
t
ructor to np_base
to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdo
o
laege
lex
m
in
.
cc: extr
a
ct out s
o
me
code to eva
l
ue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven V
e
r
d
o
olaege
o
ptions
.
c: pick
u
p
definition of POL_INTE
G
ER from b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Verd
o
olaege
o
ptionc
.
c:
m
ov
e
choice of which
specialization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaeg
e
o
m
ega/pars
e
r
.
l
: let flex define yyli
n
e
no
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
olaege
lex
m
in
.
c
c
: opt
i
onal
l
y s
k
ip check for empty domai
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoolaege
evalue
.
c
: reduce_evalu
e
_in_domain: reduc
e
to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
e
n Verdoolaege
lexmin
.
c
c
:
use
barv
i
nok_opti
o
ns
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolae
g
e
introduce barvinok_option
s
s
tr
u
cture
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
c
c: comp
u
te
gener
a
ting
functions of
verte
x
con
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verdoolaege
lexmin
.
cc:
m
o
v
e
some code around to prepa
r
e for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
ven Verdool
a
ege
e
v
a
lue: decl
a
re ar
g
umen
t
of eadd a
n
d evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
S
ven Verdoolaege
lexmin
.
cc: perform substit
u
tion immediat
e
ly
o
n ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
v
en
V
erdoo
l
aeg
e
README
:
ad
d
a warning on (not) us
i
ng s
h
ared libraries
commit
|
commitdiff
|
tree
2006-09-06
S
v
en
Verdoolae
g
e
piecewise_lst: drop the _s suffix in the class nam
e
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Ve
r
doolae
g
e
bern
s
tei
n
/
p
iecewise_lst
.
c
pp: a
d
d
ad
d
(ex
)
method
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdo
o
laege
bernstein
.
cc: exp
o
r
t eval
u
e2ex
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoolaeg
e
omega
/
polyfunc
.
cc: a
v
oid
warn
i
ng
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdo
o
lae
g
e
b
a
rvinok/evalue
.
h: make more s
e
lf-contained
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
Merge bra
n
c
h
'maste
r
' into
b
e
r
nstein
commit
|
commitdiff
|
tree
2006-08-31
Sven Verd
o
olaege
eval
u
e
.
h:
c
han
g
e name of hea
d
er define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
laege
evalue
.
h: make more self-cont
a
ined
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
V
e
rdoolaege
bfcou
n
ter
.
h
:
u
n
defi
n
e divide f
r
o
m
p
o
l
y
l
ib's arithmeti
q
ue
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
configure
.
i
n
: no longer compi
l
e shared libra
r
i
e
s by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
ve
n
V
erdoolae
g
e
README:
r
eflect that --enab
l
e
-fractio
n
al is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
e
rdo
o
laege
lexmin: rem
o
ve duplicate
u
nfringe
commit
|
commitdiff
|
tree
2006-08-21
S
ven Verdoolaege
gen_
f
un::Had
a
mard_prod
u
ct: use unoptimized
version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Ve
r
doola
e
ge
bar
v
ino
k
_series: perfor
m
backsu
b
stitution also
if
a
ll
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rdoolaege
barvinok_enu
m
erate_unio
n
_series: call co
r
e of barvinok_seri
e
s
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolaege
util
.
c: remove_equal
i
t
ies_p: correct check
f
o
r end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
ven
V
erdool
a
e
g
e
g
e
n
_
fun: set co
n
text in no variables constr
u
c
t
or
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
e
r
doolaege
gen_fu
n
::Hadamard_product: don'
t
a
s
sume
equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven V
e
rd
o
ol
a
eg
e
barvinok_union: tak
e
co
n
text into a
c
count
commit
|
commitdiff
|
tree
2006-08-16
Sven
Ve
r
d
oolaeg
e
polytope_sca
n
: optionally skip basis re
d
uction
commit
|
commitdiff
|
tree
2006-08-16
Sven Ver
d
oolaege
polytope_sc
a
n:
s
c
an in
reduced
b
asi
s
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
Verdoo
l
aege
polyt
o
pe_scan: sc
a
ns t
h
e integer
p
oints in a po
l
yto
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
Merge b
r
anch '
m
aster'
into bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven Ver
d
oolae
g
e
install N
T
L_Q
Q
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
basis_reduction
.
c: clean up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doo
l
ae
g
e
Merg
e
br
a
nch 'master
'
into be
r
nstein
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
lexmin
.
cc: don't
bother tran
s
form
i
n
g if
com
p
ress_p
a
rms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoolae
g
e
lexmin
.
cc: fix use
o
f compres
s
_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdool
a
ege
sa
m
ple
.
c:
f
ix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdool
a
ege
barvi
n
ok_count: cle
a
n up me
m
ory a
f
ter
s
i
mplifying cons
t
raints
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoo
l
aege
R
E
ADME:
u
pdate
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
omega/polyf
u
n
c
.
cc: ma
x
imize: sim
p
lify d
o
main before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
S
ve
n
Verdoolaege
omega/parser
.
y: cr
e
ate n
e
w var
i
ableMap for each polyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rdo
o
laege
omega/pa
r
s
er
.
y: free malloc'ed
memor
y
(i
n
s
t
ead of delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoola
e
ge
Merge branch 'm
a
s
t
e
r' into bern
s
tein
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
o
n
l
y perform lexmin tests wh
e
n lex
m
i
n
has be
e
n
comp
i
led
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
Verdool
a
ege
some
more
t
ests with unbounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
d
oolaege
add some
s
mall tests for lex
m
in
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin:
b
arf
w
hen polyhedron contains line
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoolaege
lexmin: don
'
t
p
rin
t
s
o
lution when
v
erifying
commit
|
commitdiff
|
tree
2006-08-11
Sve
n
Ve
r
do
o
lae
g
e
v
eri
f
y_ma
i
n
.
cc: clea
n
up m
e
mory
commit
|
commitdiff
|
tree
2006-08-11
Sven Ve
r
doolaege
Mer
g
e bra
n
ch 'maste
r
' into berns
t
ein
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvinok_serie
s
: handle fi
x
ed polyto
p
es
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
gen_fun: add constructo
r
for ge
n
erating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvinok
.
cc: re
m
o
ve_more_equalities: handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun::
c
oefficient:
r
eset t
h
e number of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolae
g
e
lexmin
.
cc: u
s
e
remove_equ
a
lities c
o
nsistently
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
uti
l
.
c: compress_variables: e
x
tracte
d
from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
a
e
ge
lexmin:
don'
t
check anything if given ran
g
e li
e
s outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdool
a
ege
lexmi
n
.
cc: remo
v
e_equ
a
lities; take preimage with r
e
turn
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
l
e
x
m
i
n
.
cc: remov
e
_eq
u
alit
i
es
:
extend
ret
u
r
n
e
d
m
a
tri
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c
: in
_
doma
i
n: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoo
l
aege
l
e
xmin
.
cc: remove some debugging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
reduce_doma
i
n: compute
c
onvex uni
o
n of
d
omain
commit
|
commitdiff
|
tree
next