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
README: bernstein requires GiNaC
2006-10-25
S
v
en
Verdoolaege
READM
E
: ber
n
stein requir
e
s GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
do
o
l
a
ege
doc: add reference to bernstein techrepor
t
commit
|
commitdiff
|
tree
2006-10-25
S
v
en
Ve
r
doolaege
M
e
rge br
a
nch
'
bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verdoolaege
ber
n
st
e
in/src/TO
D
O: remove; everyth
i
ng
h
as been
d
one
commit
|
commitdiff
|
tree
2006-10-10
Sven
Verdoola
e
ge
doc: add anot
h
er publi
c
ati
o
n that re
f
ers to
b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdo
o
laege
LLL: use reduction parameter 1 b
y
de
f
aul
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Ve
r
doolae
g
e
decom
p
oser
.
cc: short_vect
o
r: all
o
w spe
c
ificat
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven V
e
rd
o
olaege
doc: add som
e
more p
u
bli
c
a
tions that refer to bar
v
in
o
k
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
V
erdoolaege
evalue
.
c: e
v
a
lue_deno
m
: declare va
r
ia
b
le at
s
tar
t
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
la
e
ge
ev
a
lue
.
c: e
x
port evalue_d
e
nom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verd
o
olaege
s
c
arf
.
cc: h
a
ndle case
w
he
r
e four
c
o
ns
t
rai
n
ts lead
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Ve
r
doolae
g
e
util
.
c:
compress_variabl
e
s: declare
v
ariable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sve
n
Verdoolaege
evalu
e
.
c: copy
(a
n
d
a
dap
t
) copy
r
ight sta
t
emen
t
from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven
V
er
d
oolaege
doc:
add some referenc
e
s to pub
l
icatio
n
s
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoola
e
ge
lexmin
.
cc: reenable optimizati
o
n o
f
checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
evalue
.
c: clean
up in_domain
commit
|
commitdiff
|
tree
2006-09-25
S
v
e
n
Verdoolaege
edoma
i
n
.
c
c
: add EDomain::con
t
ains
commit
|
commitdiff
|
tree
2006-09-24
Sve
n
Verdoolaege
l
exmin
.
cc: m
a
x_term
:
:
p
rint
:
pri
n
t floors e
x
plicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolae
g
e
lexmin
.
cc: disable possibl
y
overzealous op
t
i
miza
t
ion
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
edomain
.
c
c: rem
e
mber "constraint"
r
epresentatio
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
V
erdoolaege
r
e
duced_basis: r
e
set "negative widt
h
s" to zero
commit
|
commitdiff
|
tree
2006-09-23
S
ven Verdoolaege
lexmin
.
cc: mov
e
mor
e
code t
o
ed
o
main
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
doolaege
edom
a
i
n
.
h:
a
dd EDomain
_
floor a
b
stra
c
t
i
on
commit
|
commitdiff
|
tree
2006-09-22
Sven Ver
d
oola
e
ge
le
x
min
.
cc: de
f
ine
m
ax_term over an EDomain rather
t
han
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
ven V
e
rdoolaege
r
e
ducer
.
h: add vir
t
u
a
l
destructor to n
p
_
ba
s
e to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
Verdoolae
g
e
lexmin
.
cc:
e
xtract out som
e
code to evalue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en
Verdoola
e
g
e
options
.
c: pick up
d
e
fini
t
ion o
f
POL_IN
T
EGER f
r
om barvin
o
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sve
n
Verdo
o
la
e
ge
optionc
.
c: mo
v
e
choice
o
f
which specia
l
ization to
u
se
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdo
o
laege
omega/pa
r
ser
.
l: let flex define yyli
n
eno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoola
e
g
e
lexmin
.
cc: opt
i
o
n
ally skip check for e
m
pty do
m
ains
commit
|
commitdiff
|
tree
2006-09-20
S
v
en V
e
rdoolaeg
e
eval
u
e
.
c: reduce_evalue_in_d
o
m
a
in: redu
c
e to
z
ero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc
:
use barvi
n
ok_optio
n
s
commit
|
commitdiff
|
tree
2006-09-20
S
ven V
e
rdoolaege
introd
u
ce
barvinok_options
s
tr
u
cture
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
e
rdoolaege
lexmi
n
.
cc:
c
ompute
g
ener
a
ting f
u
n
c
t
ions of vertex
cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaege
l
exmin
.
cc
:
move some
code around t
o
pr
e
pare
f
o
r
new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sv
e
n Verdoolaeg
e
evalue:
d
e
clare argument o
f
eadd and evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoo
l
aege
lexmin
.
cc: perform s
u
bstit
u
tion immediately on eac
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Ve
r
doolaege
README:
add a warning on
(
not) us
i
n
g shared libraries
commit
|
commitdiff
|
tree
2006-09-06
S
ven Verdoolaege
p
iecewise_lst: drop th
e
_s suff
i
x in the
class name
commit
|
commitdiff
|
tree
2006-08-31
Sven Verd
o
olaege
bernstein/pi
e
cewise_
l
s
t
.
cpp: add add(ex)
method
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoo
l
aege
bernstein
.
cc: export e
v
a
l
ue2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoolaege
omega/polyfunc
.
cc
:
avoid warni
n
g
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
e
r
d
o
ola
e
ge
b
arv
i
nok/evalue
.
h: make
mo
r
e self-conta
i
ned
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaege
Merge branch 'ma
s
te
r
' i
n
to ber
n
stein
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
doola
e
g
e
evalu
e
.
h:
change name o
f
he
a
der define
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
d
o
olaege
evalue
.
h: make
more self-contained
commit
|
commitdiff
|
tree
2006-08-26
S
v
e
n
Verdoolaege
bf
c
ounter
.
h: undefin
e
di
v
ide from
p
ol
y
lib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
olaeg
e
configure
.
in: n
o
longer com
p
i
le
s
h
a
re
d
libraries b
y
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Ver
d
ool
a
ege
README:
r
ef
l
ect that
-
-enabl
e
-fractional
is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
lexmin: remov
e
duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sven
Verd
o
olaege
po
l
yt
o
pe_scan: optionall
y
ski
p
basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven
Verdool
a
eg
e
pol
y
tope_s
c
an: scan in red
u
ced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoola
e
ge
polytope
_
scan: sca
n
s the int
e
ger points in
a
pol
y
t
o
pe
commit
|
commitdiff
|
tree
2006-08-14
S
v
en Verdoolaege
Merge bra
n
ch
'
ma
s
t
er
'
into be
r
nstein
commit
|
commitdiff
|
tree
2006-08-14
S
v
en
Verdoolaege
install NTL_
Q
Q
.
h
h
e
a
der
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
d
o
olae
g
e
basis_r
e
ducti
o
n
.
c:
cl
e
an
u
p GLPK mem
o
r
y
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
V
erdoolaege
Merge
branch 'master' int
o
bernstein
commit
|
commitdiff
|
tree
2006-08-13
S
ven
V
erdoolaege
le
x
min
.
cc: do
n
't bother transfor
m
i
ng if compress_par
m
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
ven Ver
d
oolaege
lex
m
i
n
.
c
c
:
f
i
x use of
c
o
mpress_par
m
s
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n
V
e
r
doo
l
aege
sample
.
c: f
i
x remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
dool
a
ege
bar
v
inok_count:
clean u
p
memory afte
r
simplifyi
n
g constraint
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
omega/p
o
lyfunc
.
cc: maximize: si
m
plify domain befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
omega/parser
.
y:
c
reate n
e
w v
a
riableMap
f
or each p
o
lyfu
n
c
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
omega/
p
arser
.
y: fr
e
e
malloc'ed memory (instea
d
of del
e
te
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
Merge bra
n
ch 'master' in
t
o bernstein
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdo
o
laege
on
l
y perfo
r
m l
e
xmin tests when
lexmin has
been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
l
a
ege
s
ome
more tests with unbounded p
o
lyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
add some small test
s
for le
x
mi
n
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
lexmin: barf when polyhedron conta
i
ns line
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
r
dool
a
ege
l
exmin:
don't print so
l
u
tion when verifyin
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
v
erify
_
main
.
cc: clean up m
e
mory
commit
|
commitdiff
|
tree
2006-08-11
S
v
en Verdoolae
g
e
Me
r
ge branch 'mast
e
r' into b
e
rnstein
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
V
er
d
oola
e
g
e
barv
i
nok_series
:
h
andle fixed pol
y
t
o
pes
commit
|
commitdiff
|
tree
2006-08-10
Sven
Ve
r
dool
a
ege
g
e
n_fun: a
d
d construc
t
or for gen
e
rating fu
n
cti
o
n with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
b
a
rvinok
.
cc
:
re
m
ove_more_equalities: handl
e
equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdool
a
ege
gen_f
u
n::
c
oefficient: r
e
set th
e
number o
f
r
o
ws in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoolaege
l
e
xmin
.
cc:
use remove
_
equa
l
ities consi
s
tently
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
util
.
c:
c
ompress_variables:
ex
t
racted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: don't c
h
e
ck anything if
g
iven range l
i
e
s
outsi
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oo
l
aeg
e
lexmin
.
cc: remo
v
e
_
e
q
u
a
lit
i
es; t
a
ke preimage wit
h
returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolaege
le
x
min
.
cc: r
e
move_equali
t
i
es: extend retu
r
ne
d
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
le
x
min
.
c
c: in_domai
n
:
fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaege
lexmin
.
cc: re
m
ove some debu
g
ging
residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
r
educe_d
o
main: c
o
mpute convex union of d
o
main
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
ege
lex
m
i
n
.
cc: in
_
domai
n
: also check
other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Ve
r
doolaege
lexm
i
n
: in_do
m
ain: set values if con
s
traints d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
Ve
r
doolaege
lexmin: plug some mem
o
ry leaks
commit
|
commitdiff
|
tree
2006-08-08
S
v
en
V
erdool
a
ege
lexmin: an experimental
tool for computing th
e
parametri
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
add fdst
r
eam
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
e
value
.
c
: flo
o
r2frac_r: plug memory lea
k
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
bar
v
inok
.
cc: unfringe
:
work increme
n
tally
commit
|
commitdiff
|
tree
2006-08-06
S
ven Ver
d
oolaege
evalue
_
frac2f
l
oor_in_do
m
ain: plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
Polyhedron_Sample: allow eq
u
a
lities
i
n inpu
t
pol
y
h
ed
r
a
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n
Verdool
a
ege
Polyhedron_
S
ample: make
s
u
re vertices ar
e
ava
i
lable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
dool
a
e
ge
Polyhedron_Sample: si
m
pl
i
f
y co
n
strai
n
t
s
after
c
hoosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhe
d
r
o
n_Samp
l
e
: handle empty
and 0D po
l
yhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
sample
.
c: alte
r
native i
m
p
l
ementation of re
m
ove_
r
ay
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
sa
m
ple
.
c: Po
l
yhedr
o
n_RemoveFix
e
dC
o
lumns: handle p
r
e
s
ence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
barvino
k
_co
u
nt_f: check whe
t
her pol
y
hedron
i
s unbo
u
nded
.
.
.
commit
|
commitdiff
|
tree
next