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
version.c: move barvinok_version from util.c
2006-10-28
Sven Verdo
o
laege
version
.
c:
m
ove
b
ar
v
i
n
ok
_
version from uti
l
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Ver
d
oolaege
d
o
c: docum
e
nt
Polyhe
d
ron_Re
d
uced_Ba
s
i
s and Polyhedron_
S
a
m
ple
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdool
a
ege
export Po
l
yhedron_Sample a
n
d Polyhedr
o
n_R
e
duced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoolaege
doc:
rename "
u
sage" section to "appl
i
cat
i
ons" section
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
ba
r
vinok_opt
i
o
ns:
rename empt
i
ness_check to lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
o
laege
doc: document barvinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoolaege
sca
r
f
.
cc
:
e
x
p
o
r
t
function
s
to l
i
brary
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
d
oolaeg
e
scarf
.
cc
:
u
s
e barvinok_options
i
n
s
te
a
d o
f
MaxRa
y
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
d
oolaege
barvinok/barvinok
.
h: expor
t
_w
i
t
h_options versio
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n
Verdoolaeg
e
b
arv
i
nok_enumerate_e: remove d
i
rect
i
nclude of
polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
rd
o
olaege
bernstein: m
i
nim
a
l
documentat
i
on
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaeg
e
README: be
r
nstein requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
do
c
:
a
dd referen
c
e to bernst
e
in techreport
commit
|
commitdiff
|
tree
2006-10-25
S
v
en
V
e
r
doolaeg
e
Merge branc
h
'b
e
rnstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
berns
t
ein
/
src/
T
OD
O
: remove; everything has been d
o
ne
commit
|
commitdiff
|
tree
2006-10-10
Sv
e
n Verdool
a
ege
doc: add another publi
c
ation
t
hat refe
r
s to
b
ar
v
inok
commit
|
commitdiff
|
tree
2006-10-10
S
ve
n
Ver
d
o
olaege
LLL: u
s
e r
e
d
u
c
t
i
on
p
aramete
r
1 by
d
efau
l
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Verd
o
olaege
de
c
omposer
.
cc: short_vec
t
or: allow
s
pecification of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sv
e
n Verdoolaeg
e
d
oc:
a
dd
s
ome more publications that re
f
er to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoo
l
ae
g
e
ev
a
lue
.
c: evalue_denom: declar
e
variable a
t
start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
Verdoolaege
eva
l
ue
.
c:
e
xpor
t
evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdoolaege
scarf
.
c
c
:
handle case where four con
s
traints
l
ead
t
o
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
ven Verdoolaege
util
.
c:
c
ompress_variables: declare variable
at sta
r
t
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaege
evalue
.
c: copy (an
d
adapt) copyright
state
m
e
nt
from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verd
o
olaege
doc: add s
o
m
e re
f
erences to publicatio
n
s
commit
|
commitdiff
|
tree
2006-09-26
Sven Ve
r
doo
l
ae
g
e
lexmin
.
cc
:
r
e
en
a
ble op
t
i
m
i
z
ation o
f
checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven V
e
rdoolaege
eva
l
ue
.
c: clean up in_d
o
ma
i
n
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
edomain
.
cc: add EDomai
n
::con
t
ains
commit
|
commitdiff
|
tree
2006-09-24
Sv
e
n Ve
r
doola
e
ge
lexmin
.
cc: max_
t
e
r
m::
p
rint: pri
n
t
floors explicitl
y
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven
Verdoolaege
lex
m
in
.
cc: disable possibly ove
r
zealous opti
m
izati
o
n
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdool
a
ege
e
d
omain
.
cc:
remember "const
r
aint" re
p
resentat
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
v
en
V
erdoola
e
ge
reduced_basis:
rese
t
"negative wi
d
ths"
to zer
o
commit
|
commitdiff
|
tree
2006-09-23
Sven Verd
o
olaege
lexmin
.
c
c: move more cod
e
to edo
m
ain
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdo
o
laege
e
d
o
m
a
in
.
h
: ad
d
E
D
omain_floor a
b
str
a
ction
commit
|
commitdiff
|
tree
2006-09-22
S
v
e
n
Verdoolaege
lexmi
n
.
cc: defi
n
e max_term o
v
er an EDomain ra
t
her than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verd
o
ol
a
ege
reduc
e
r
.
h: add virtual des
t
ructor to
n
p_base
t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaeg
e
l
e
xmi
n
.
cc:
extr
a
ct out some code
t
o
evalue_
u
til and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdo
o
laege
option
s
.
c
:
pick up definition of POL_INTEGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdoolaege
option
c
.
c: mo
v
e choice of which specializ
a
t
ion to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoo
l
aeg
e
omega/parser
.
l: le
t
f
l
ex define y
y
lin
e
n
o
commit
|
commitdiff
|
tree
2006-09-20
Sven
Ver
d
oolaeg
e
lexmin
.
cc: optionall
y
ski
p
chec
k
fo
r
empty domai
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoolae
g
e
e
value
.
c:
r
educe_ev
a
lue_
i
n_domai
n
: reduce
to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: use barvinok_op
t
ions
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Ver
d
oolaege
introd
u
ce bar
v
inok_options structure
commit
|
commitdiff
|
tree
2006-09-20
S
v
e
n
V
e
rdool
a
ege
lexmin
.
cc: compute generating fu
n
ctions of ver
t
ex
cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdo
o
laege
lexmin
.
cc: move some code around to prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven
Verdoolaege
eva
l
ue: declare argument of
e
add and eval
u
e_co
p
y const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdool
a
ege
lexm
i
n
.
cc: p
e
rfor
m
s
ubst
i
tution immediately on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
er
d
o
o
laeg
e
README: ad
d
a wa
r
ning on (no
t
)
using shared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdo
o
laege
piecewi
s
e_lst: dr
o
p
the _s
s
uffix in the class name
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaeg
e
b
e
rnste
i
n/
p
iecewise_lst
.
c
p
p
:
a
d
d ad
d
(e
x
) method
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoo
l
aege
bernstein
.
c
c: expo
r
t eva
l
ue
2
ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
doolaege
omega/polyfunc
.
cc: avoid warning
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoolaege
barvinok/eva
l
u
e
.
h
: make more
s
e
l
f
-
c
ontaine
d
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Ve
r
dool
a
ege
Merge branc
h
'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
laege
evalue
.
h: change name of header define
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
rdoolae
g
e
e
value
.
h: make more sel
f
-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoo
l
aege
bfc
o
unt
e
r
.
h: undef
i
ne divide from polylib'
s
ar
i
thmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n
V
e
rdoolaege
c
o
nfigure
.
in: no longer com
p
ile shared lib
r
ari
e
s
b
y
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
Verdoolaege
README:
r
e
f
lect
that --enable-fractional
i
s now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
lex
m
in: rem
o
ve du
p
li
c
a
t
e
unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
po
l
y
t
o
pe_s
c
an:
optio
n
ally s
k
ip bas
i
s red
u
c
t
io
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
poly
t
ope_scan: sc
a
n
i
n re
d
uc
e
d
basis
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
erdoolaege
p
o
lytope_
s
can: scans
the integer points in a
polytope
commit
|
commitdiff
|
tree
2006-08-14
S
v
en Verd
o
olaege
Merge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdool
a
ege
i
nstall NTL_QQ
.
h
header
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n
Verdoolaeg
e
basis
_
r
eduction
.
c: clean up GLPK
memory
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n Verdoolaeg
e
Merge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoolaege
lexmin
.
cc: do
n
't bother t
r
ans
f
ormi
n
g if c
o
mpress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
laege
lexmin
.
cc: fix us
e
of c
o
mpress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
olaege
s
amp
l
e
.
c: fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Ver
d
oola
e
ge
barvinok_count
:
clea
n
up memory after si
m
plifying
con
s
trai
n
ts
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
README
:
update
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolaege
o
m
e
ga/polyfunc
.
cc:
m
axim
i
ze: s
i
mplify domain before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoo
l
aege
omega/parser
.
y: create new variable
M
ap
for each polyf
u
nc
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
er
d
oolaege
omega/
p
arser
.
y: free malloc'ed
memory (ins
t
ead of delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
Merge bran
c
h
'master' into bernst
e
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
only perform l
e
xmin tests when le
x
min has
been compile
d
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n Verdoolaege
s
o
m
e more tests with unboun
d
e
d
polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
add s
o
m
e
small tests for lex
m
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
d
oola
e
ge
lexmin:
ba
r
f
when
p
olyhedr
o
n contains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
la
e
ge
lexmi
n
: don't p
r
int solution
w
h
en verifyi
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Ve
r
doolaege
verify_ma
i
n
.
c
c
: clean up memory
commit
|
commitdiff
|
tree
2006-08-11
S
v
e
n Verdoolaege
Merg
e
b
ranch 'm
a
ste
r
' in
t
o bern
s
te
i
n
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdool
a
e
g
e
bar
v
i
n
ok_serie
s
: handle fixed
p
ol
y
t
o
pes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_
f
u
n
: add con
s
tructo
r
fo
r
generat
i
n
g function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolaege
barvinok
.
cc: remove_more_equ
a
lities:
hand
l
e equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoola
e
ge
g
en_fun::coefficient: reset the number of r
o
ws
i
n t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
lex
m
i
n
.
cc: use remove_e
q
ualities con
s
i
stently
commit
|
commitdiff
|
tree
2006-08-10
S
ven
Verd
o
olae
g
e
util
.
c: comp
r
ess_variables: extracted
f
rom le
x
min
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Ver
d
ool
a
e
g
e
lexmin: don
'
t
ch
e
ck anything
i
f given r
a
nge lies out
s
ide
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
d
ool
a
ege
lexmin
.
cc: remove_equalities; ta
k
e preimage
w
ith
r
eturned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
ege
lexmin
.
cc: remove
_
e
q
ualities: extend returned
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
V
erdool
a
eg
e
l
exmin
.
cc: in_
d
o
m
a
i
n: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Ve
r
doolaege
lex
m
in
.
cc: rem
o
v
e some
d
e
bugging res
i
dues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
reduce_domain: c
o
mpute convex
u
ni
o
n of doma
i
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin
.
c
c: in_domain: also
c
h
eck
o
t
her
p
ar
t
s
o
f
union
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Ver
d
o
ola
e
ge
lexmin: in_domain: set values if constraints
d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: plug s
o
m
e memor
y
leaks
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Verdoolaege
lex
m
in: an
e
x
periment
a
l tool
f
or computing
t
h
e par
a
me
t
ric
.
.
.
commit
|
commitdiff
|
tree
next