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
scarf.cc: export functions to library
2006-10-27
Sven
Ve
r
doolaege
scarf
.
cc:
e
xpor
t
function
s
to library
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erd
o
olaege
s
c
arf
.
c
c
: use bar
v
in
o
k
_
optio
n
s i
n
stead of
M
axRays
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolae
g
e
barvi
n
ok/b
a
rvinok
.
h:
expo
r
t _with_
o
p
t
ions
versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdoola
e
ge
b
a
rvinok_enu
m
erate_e:
r
e
move direct include
o
f polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdool
a
ege
bernstein:
m
inimal documentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaeg
e
REA
D
ME
:
b
ernstein
requires Gi
N
aC
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
e
rdoolaege
doc: add
r
efere
n
c
e to bernstein
t
ech
r
eport
commit
|
commitdiff
|
tree
2006-10-25
S
ve
n
Verdoolae
g
e
Merge
b
ranch 'be
r
nstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoolaege
bernstein/sr
c
/
TODO: remove; everything ha
s
been do
n
e
commit
|
commitdiff
|
tree
2006-10-10
Sv
e
n Verdoolaeg
e
doc: add ano
t
he
r
p
u
b
l
ication that refers to
b
arvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven V
e
rdoo
l
aege
LLL: us
e
reductio
n
parameter 1
by defau
l
t
commit
|
commitdiff
|
tree
2006-10-07
Sve
n
Verdoolaege
decompose
r
.
cc: short_vector:
a
llow specific
a
tion of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
S
v
e
n Verdoolae
g
e
d
o
c
: add some
mor
e
p
u
blications that ref
e
r
t
o
b
arvinok
commit
|
commitdiff
|
tree
2006-10-02
S
ven
Verdoolaege
evalue
.
c: evalue_den
o
m:
declare variable at start
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
Verdoolaege
e
valu
e
.
c: ex
p
o
r
t ev
a
lue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven V
e
r
d
oolae
g
e
s
c
a
rf
.
cc:
h
a
ndle
case wher
e
four constr
a
i
nts lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdoo
l
aege
util
.
c: compr
e
ss_var
i
ables: declare var
i
able at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sv
e
n Verdoolaege
evalue
.
c
:
copy (and adapt) copyright statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verd
o
olaege
doc: add s
o
me
ref
e
rences
to pub
l
i
c
a
tio
n
s
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolaege
le
x
min
.
cc: reenable o
p
ti
m
izat
i
on of checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
evalue
.
c:
c
lea
n
up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
e
doma
i
n
.
cc: add EDomain::co
n
ta
i
ns
commit
|
commitdiff
|
tree
2006-09-24
S
ven Verd
o
olaege
lexmin
.
cc
:
max_
t
erm
:
:print: pri
n
t floors e
x
pli
c
itly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven V
e
rdoola
e
ge
l
e
xmin
.
c
c: d
i
sab
l
e possibly overzealous o
p
t
i
miz
a
tion
commit
|
commitdiff
|
tree
2006-09-23
Sven
Verd
o
ol
a
ege
edomain
.
c
c: remember "constraint" representat
i
on
of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Ve
r
dool
a
ege
re
d
uced_bas
i
s: res
e
t "negative widths" t
o
z
er
o
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoo
l
aege
lex
m
in
.
c
c
: move
mo
r
e code to
e
doma
i
n
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Ver
d
o
olaege
edomain
.
h
: add EDomain_f
l
oor abs
t
raction
commit
|
commitdiff
|
tree
2006-09-22
S
ven Verdo
o
laege
lexmin
.
cc
:
de
f
i
ne ma
x
_term ov
e
r an EDoma
i
n rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verd
o
olaege
r
educer
.
h: ad
d
virtual des
t
ruct
o
r to np_b
a
s
e
to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdo
o
la
e
ge
lexmi
n
.
c
c: extract out
s
o
me code to evalue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Ver
d
oolaege
options
.
c:
p
i
ck up definition of POL_INTEGER from barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven V
e
r
d
oolaeg
e
opt
i
onc
.
c:
move
choice
of w
h
ich specialization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ve
r
doolaege
o
mega/parser
.
l: let flex
d
efine yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
lexm
i
n
.
cc: optio
n
ally sk
i
p check for
empty domain
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
ev
a
lue
.
c: red
u
ce_evalue_in_domai
n
:
reduc
e
to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
laege
lexmin
.
c
c
: use barvi
n
ok_
o
ption
s
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n V
e
rdoo
l
ae
g
e
introduce barvinok_options s
t
r
u
cture
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdo
o
l
aege
lexmin
.
cc: compute generating functions of vertex cone
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
doolaege
lexmin
.
cc
:
move
s
ome code around to prep
a
re for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaege
e
v
a
l
ue:
d
e
clare argum
e
nt
o
f eadd an
d
e
v
alu
e
_co
p
y
c
onst
commit
|
commitdiff
|
tree
2006-09-06
S
ven Verdoolaege
l
e
x
m
in
.
cc:
perform subst
i
tution immediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
erdoolaege
README: add a warn
i
ng
o
n (not) usi
n
g
s
hared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven V
e
rdoolaege
piecew
i
s
e
_
lst: drop the
_
s
su
f
fix in the class name
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
b
ern
s
tein/piecewise_l
s
t
.
cpp: add add(ex) meth
o
d
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
b
e
r
n
s
tein
.
cc: export evalue2
e
x
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
ge
omega/po
l
yfunc
.
cc: avoid
w
arning
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
barvinok
/
evalue
.
h: ma
k
e more
s
e
lf-co
n
tained
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
M
erge br
a
nc
h
'master' into berns
t
ein
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoo
l
aege
e
v
al
u
e
.
h: change
n
ame of header de
f
ine
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n Verdoolaege
evalue
.
h
:
make more self-contai
n
ed
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
bfcounter
.
h: undef
i
ne divide from
poly
l
ib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolae
g
e
config
u
re
.
in: no
l
onger com
p
ile
s
hare
d
l
ibr
a
ries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Ver
d
oo
l
aege
REA
D
ME:
r
e
flect that --enable-fractional i
s
no
w
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
Verdo
o
la
e
g
e
lexmi
n
: remove
d
upli
c
ate u
n
fring
e
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Ve
r
dool
a
ege
p
o
lytope_s
c
an: optionally skip basis red
u
cti
o
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Ve
r
doolaege
polytope_scan: s
c
an in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven V
e
rdoolaege
po
l
yt
o
pe_scan
:
sc
a
ns the
i
nte
g
er poin
t
s in a
p
olytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Ver
d
oola
e
ge
Mer
g
e
bra
n
ch 'master
'
into be
r
nstei
n
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolae
g
e
install NTL_
Q
Q
.
h head
e
r
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
olaege
b
asis_reduction
.
c: cl
e
a
n
up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
olaege
Me
r
ge branch 'master' into be
r
n
stein
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: don't bothe
r
transfor
m
ing if compress_pa
r
ms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaeg
e
lexmi
n
.
c
c
: f
i
x use of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
V
e
r
doolaege
sample
.
c: fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoo
l
aege
bar
v
inok
_
count: clean up me
m
ory
afte
r
s
impli
f
ying con
s
traints
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoolaege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolaege
omega/polyfunc
.
cc: m
a
ximize:
s
implif
y
domain before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
omega/
p
a
rser
.
y:
create n
e
w variableM
a
p
f
or each
poly
f
u
nc
commit
|
commitdiff
|
tree
2006-08-12
S
ven Ve
r
doolaeg
e
omega/parser
.
y: free mallo
c
'e
d
m
emory (
i
nstead of delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olae
g
e
M
erge
branch '
m
a
s
ter' into ber
n
stein
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only perform lexmin te
s
t
s
when le
x
min has been compil
e
d
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaeg
e
some more tests with unbound
e
d polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rdoolae
g
e
add some small tests for lexm
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n V
e
rdo
o
laege
lexmin: barf when poly
h
edron contains
l
ine
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
lexm
i
n
:
don't
p
r
int s
o
lution when verify
i
ng
commit
|
commitdiff
|
tree
2006-08-11
S
ven
V
erdoolaege
verify_main
.
c
c
:
clean up mem
o
ry
commit
|
commitdiff
|
tree
2006-08-11
Sv
e
n
V
er
d
oolaege
Merge branc
h
'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdo
o
lae
g
e
b
a
rvinok_series: h
a
ndle fixed polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoola
e
ge
ge
n
_fun: a
d
d construct
o
r for generating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
barvinok
.
cc: rem
o
v
e
_mor
e
_equalities: handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
gen_fun::c
o
e
f
f
i
cient: reset
the number of rows
in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolae
g
e
le
x
m
i
n
.
cc: use
remov
e
_equalities
c
onsiste
n
tly
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdo
o
laege
util
.
c: compres
s
_
variables: extra
c
t
e
d
f
rom lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
ve
n
Verdoolaege
lexmin:
d
on'
t
chec
k
anything if
giv
e
n
range lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdo
o
lae
g
e
lexmin
.
c
c
:
r
emove_equalities; t
a
ke preim
a
ge with re
t
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaeg
e
lexmin
.
cc: re
m
ove_e
q
ua
l
i
t
ies:
extend retu
r
ned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaeg
e
lexmin
.
c
c
: in_domain: fix typ
o
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
l
e
xmin
.
cc: remo
v
e some debugging resi
d
ue
s
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
reduce
_
d
o
main: com
p
ute convex union o
f
d
o
mai
n
commit
|
commitdiff
|
tree
2006-08-09
S
ve
n
Verdool
a
ege
le
x
min
.
cc: in_domain
:
als
o
che
c
k other parts of u
n
ion
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
rdoo
l
a
ege
lexmin: in_do
m
ain: set values
if co
n
st
r
aints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
r
d
o
olaege
l
e
xmin: plu
g
some memory lea
k
s
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdo
o
l
a
ege
lexmin: a
n
e
xperimental tool f
o
r computi
n
g t
h
e parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
olaege
add
f
dstr
e
am
commit
|
commitdiff
|
tree
2006-08-08
S
v
en V
e
rdool
a
ege
evalue
.
c: f
l
oor2fra
c
_r:
p
l
ug memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
barvi
n
o
k
.
cc: unfringe: work incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven
Verdoolaege
e
v
alue
_
frac2floor_in_
d
o
m
ain: plug
m
emory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
Polyhedron_Sample: allow equalities in
input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhed
r
on_Samp
l
e:
make sure vertices are avail
a
b
le
.
.
.
commit
|
commitdiff
|
tree
next