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
barvinok_options: rename emptiness_check to lexmin_emptiness_check
2006-10-27
Sven Verdoolaege
barvin
o
k_options: renam
e
emptiness_check to lexmin_e
m
ptine
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoo
l
aege
d
oc: docum
e
n
t
ba
r
vinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
s
carf
.
c
c
: export functi
o
ns to library
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoolaege
sca
r
f
.
cc:
u
se barvin
o
k_o
p
t
i
ons
inst
e
ad of M
a
x
Rays
commit
|
commitdiff
|
tree
2006-10-27
S
ven
V
erdo
o
laege
barvin
o
k/barvin
o
k
.
h: export _with_opt
i
ons
version
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdo
o
laeg
e
barvinok_enumerate_e
:
r
emove di
r
ec
t
include of pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
b
ernstein:
m
i
nimal documentation
commit
|
commitdiff
|
tree
2006-10-25
S
v
e
n V
e
rdo
o
laege
README
:
berns
t
ein
requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoolaege
d
o
c
: add ref
e
rence to bernstein techrep
o
rt
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
e
r
d
o
olae
g
e
Merge branch 'bern
s
t
e
in'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdo
o
laeg
e
bernst
e
in/s
r
c/TO
D
O: re
m
ove; ever
y
thi
n
g has
b
ee
n
done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoo
l
aege
d
oc: add
another
publication that refers to
b
arvin
o
k
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaeg
e
LLL: use re
d
uc
t
ion p
a
r
a
meter
1
b
y default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
decomposer
.
c
c
: short_
v
ector: allow speci
f
ication of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdo
o
l
a
ege
d
oc: add some mo
r
e
p
ub
l
icatio
n
s
t
hat refe
r
to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verd
o
olaeg
e
evalue
.
c:
e
valu
e
_denom: declare
v
aria
b
le at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
laeg
e
eva
l
ue
.
c: export evalue_d
e
n
o
m
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoo
l
aege
scarf
.
cc: handle
c
a
se wher
e
four const
r
aints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdo
o
laege
util
.
c: compress_variable
s
: declare variabl
e
at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaege
evalue
.
c: copy (an
d
adapt) c
o
p
yr
i
ght statement
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven V
e
rdool
a
ege
doc: a
d
d some references to pub
l
ications
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolaege
lexmin
.
cc: reenable o
p
ti
m
ization of checking
d
omains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
ev
a
l
u
e
.
c: clean up in
_
domain
commit
|
commitdiff
|
tree
2006-09-25
Sve
n
Verdoo
l
a
e
ge
edomain
.
cc: a
d
d E
D
o
main
:
:contains
commit
|
commitdiff
|
tree
2006-09-24
S
ven
V
erdoolaege
lexmin
.
cc:
max_
t
e
r
m
:
:
pri
n
t: print fl
o
ors
exp
l
icitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexmin
.
cc:
disable
p
ossib
l
y overzealous optimiz
a
tion
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
e
d
o
m
ain
.
cc
:
remember "co
n
straint" representati
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
reduced_b
a
sis:
reset "
n
egative widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
lex
m
in
.
c
c: move more code to
edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
ven Verdoo
l
a
eg
e
edomain
.
h: add EDomain_floo
r
abs
t
raction
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
dool
a
ege
lex
m
in
.
cc: define
m
a
x_term over an
EDomain
rather tha
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
reducer
.
h
:
ad
d
virtual des
t
ruct
o
r to np_ba
s
e to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
l
e
x
mi
n
.
cc: extract o
u
t some code to
evalue
_
util an
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
options
.
c
:
p
i
ck up
definition of POL_INTEGER
from
barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven
V
erdoolaege
optionc
.
c:
move choice of w
h
ich spe
c
ialization
to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
V
erdoolaeg
e
o
m
ega/parser
.
l: l
e
t
flex de
f
i
n
e
y
ylineno
commit
|
commitdiff
|
tree
2006-09-20
S
v
en V
e
rdoolaege
lexmin
.
cc: opt
i
o
n
al
l
y skip
c
heck
f
o
r
empt
y
do
m
a
i
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
l
a
eg
e
eval
u
e
.
c: reduce_evalue_i
n
_
d
o
main: reduce to z
e
ro
e
v
a
lue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n V
e
rdoolae
g
e
lexmin
.
cc: use b
a
rvinok_options
commit
|
commitdiff
|
tree
2006-09-20
Sven
Ve
r
doolaege
int
r
oduce b
a
rvinok_o
p
tions structure
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoolaeg
e
lexm
i
n
.
cc: compute g
e
n
erating func
t
i
o
n
s
of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdo
o
laege
l
e
x
m
i
n
.
cc: mov
e
some
code around to prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
ven Verdoolaege
eva
l
ue: declare argument o
f
e
a
dd and evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
S
ven Verdo
o
laege
lexmin
.
cc:
p
er
f
orm
s
ubstitu
t
ion immediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
erdoola
e
ge
README:
a
dd a war
n
ing o
n
(not
)
u
sing
share
d
libra
r
ies
commit
|
commitdiff
|
tree
2006-09-06
Sven Verd
o
olae
g
e
piecewise_ls
t
: d
r
o
p
the _s suff
i
x in the
class name
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verd
o
olaege
bern
s
tei
n
/pi
e
cewise_lst
.
c
pp: add add(e
x
) me
t
hod
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n
V
e
rdoo
l
aeg
e
bern
s
tein
.
c
c
:
e
xport ev
a
l
u
e
2
ex
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n Ve
r
doolaege
omega/po
l
yfunc
.
cc:
avo
i
d
warning
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n Verdoolaege
barvinok/evalu
e
.
h: ma
k
e
more self-contain
e
d
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
doo
l
a
ege
Merg
e
b
r
anch '
m
aste
r
' into
berns
t
ein
commit
|
commitdiff
|
tree
2006-08-31
Sven Ver
d
oolaege
evalue
.
h: chang
e
nam
e
of
h
eader
d
efin
e
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalu
e
.
h
:
make more self-con
t
ained
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdo
o
l
a
ege
bfcounter
.
h: undefi
n
e d
i
vi
d
e from polyli
b
's
a
rithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaeg
e
configure
.
in:
n
o
l
onger compile sh
a
red li
b
raries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoola
e
ge
READ
M
E: r
e
flect that -
-
enable-fractional is now
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoo
l
aege
lexmin: remov
e
duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Ve
r
doolaege
polyt
o
pe_scan:
o
ptionall
y
skip basis redu
c
tion
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
po
l
y
tope_sca
n
: scan in reduc
e
d basis
commit
|
commitdiff
|
tree
2006-08-16
Sven
Verdoolaege
polytope_
s
c
a
n
:
s
ca
n
s
t
h
e
i
n
teger
p
o
i
n
ts in
a
poly
t
ope
commit
|
commitdiff
|
tree
2006-08-14
Sven
V
erdoola
e
g
e
Merge branch
'
mas
t
er' into bernstei
n
commit
|
commitdiff
|
tree
2006-08-14
S
ven Verdoola
e
ge
i
n
stall NTL_QQ
.
h
header
commit
|
commitdiff
|
tree
2006-08-13
S
ven
V
erdoolaege
basis_reductio
n
.
c: clean up GL
P
K
m
emor
y
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
M
erge branch 'm
a
s
t
er' into
b
ernst
e
in
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc:
don't bother transf
o
rmin
g
if com
p
r
e
ss_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoo
l
aege
l
exmin
.
c
c
: fix
use of compress_
p
ar
m
s
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoolaege
sample
.
c:
f
ix
re
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
ba
r
vinok_coun
t
: clea
n
up memory
after simplifying constra
i
n
ts
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n
V
erdoolaege
R
E
ADME: update
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdo
o
laege
omega/polyfunc
.
cc: maxi
m
ize: simpli
f
y d
o
ma
i
n before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaeg
e
o
mega/parse
r
.
y: create new vari
a
bleMap
f
or eac
h
p
o
ly
f
unc
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
ool
a
eg
e
omega/p
a
rser
.
y: free mal
l
oc'ed memory
(
instead of
d
elet
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rdoolaege
M
er
g
e
b
ranch
'master' into be
r
nstein
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoo
l
aege
only per
f
or
m
lexmin test
s
w
hen le
x
min
h
as b
e
en compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
some more
tests
w
i
th unbounded p
o
l
y
hedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolaege
add some sm
a
ll
t
e
s
ts for l
e
xmin
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
V
e
r
doolaege
lexmin: barf when po
l
yhedron c
o
nt
a
ins li
n
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: don't print
s
o
lution whe
n
verifyi
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoola
e
g
e
verify_main
.
c
c
:
c
lean up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Ver
d
ool
a
ege
Merge branch
'
ma
s
t
e
r
'
into bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolaege
barv
i
nok_serie
s
: handle fixed pol
y
t
o
pes
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
Verdoolaege
gen_fun: add constructor for generating functi
o
n
with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaeg
e
barvinok
.
cc: remove_mo
r
e_equalities: handle
e
qualit
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun::coeffic
i
ent
:
reset t
h
e nu
m
ber of rows
i
n the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
lex
m
in
.
cc: use remov
e
_equ
a
lities consiste
n
tly
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
laege
util
.
c: co
m
pr
e
ss_va
r
iables
:
extra
c
ted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
a
e
ge
lexmin: don't che
c
k anything if given ra
n
ge lies ou
t
side
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
lexmin
.
cc: remove
_
equ
a
lities; take preimage
w
it
h
returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rd
o
olaege
lex
m
in
.
cc: remo
v
e_e
q
uali
t
ies: extend ret
u
rned m
a
t
r
ix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
lex
m
in
.
c
c
:
in_
d
o
main: fix typ
o
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoo
l
ae
g
e
lexmin
.
c
c: remove some debugg
i
ng residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
reduce_domain: compute con
v
ex uni
o
n of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
min
.
cc:
in_domain: also check other part
s
of union
commit
|
commitdiff
|
tree
2006-08-09
S
ve
n
Verdoolaege
lexmin: i
n
_domai
n
:
s
et values if constraints don
'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en V
e
rdoola
e
g
e
l
exmin: pl
u
g
some
m
emory
l
eaks
commit
|
commitdiff
|
tree
2006-08-08
S
v
e
n
Verdoolaege
lexmin: an
experimental
t
ool for computing the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven V
e
rdool
a
e
ge
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
ev
a
lue
.
c: floor2fra
c
_r:
p
l
ug memory
l
eak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
barvinok
.
cc: unfringe: w
o
rk incrementall
y
commit
|
commitdiff
|
tree
2006-08-06
S
ven
V
erdoolaege
evalue_frac2floor_in_domain: plug
m
emo
r
y leak
commit
|
commitdiff
|
tree
next