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: use barvinok_options instead of MaxRays
2006-10-27
Sven Verdoolaege
scarf
.
cc
:
use barvinok_options
instead of MaxR
a
ys
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdo
o
laege
b
a
rvinok/barvinok
.
h: exp
o
rt _with_opt
i
ons versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n
Verdoolaege
barvinok_
e
n
u
merate_e: re
m
o
ve d
i
rect inc
l
ude
o
f polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
e
r
d
oola
e
ge
bernstein: minimal d
o
cumen
t
ation
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Ver
d
oolaege
README:
bernst
e
in require
s
GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
rdoolaege
doc:
a
dd
reference
t
o bernstei
n
techreport
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdoolaege
Mer
g
e
branch 'bernste
i
n
'
commit
|
commitdiff
|
tree
2006-10-25
S
ven
Verdo
o
la
e
ge
bernstein/src
/
TODO: re
m
ove;
e
verything ha
s
been don
e
commit
|
commitdiff
|
tree
2006-10-10
S
v
e
n
Verdoolaege
do
c
: add another publi
c
ation that refers to barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Ver
d
oolaege
LL
L
: use red
u
ction parameter 1 b
y
default
commit
|
commitdiff
|
tree
2006-10-07
Sven
V
erdoo
l
aege
decomposer
.
cc: shor
t
_vect
o
r
:
allow spec
i
fication of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
doc:
add some
m
or
e
publications that
re
f
er to barvi
n
ok
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdoolaege
evalue
.
c: evalue_denom: d
e
c
lare variable at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Ver
d
ool
a
ege
evalue
.
c: ex
p
ort
evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdoolaege
sca
r
f
.
cc: handle case where four
c
onstrain
t
s le
a
d to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
util
.
c
: compress_variabl
e
s
:
de
c
lare variable a
t
star
t
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
S
v
en
Verdoolaege
evalue
.
c: co
p
y (and adapt) copyri
g
ht
s
tate
m
ent from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sve
n
V
erdoo
l
aege
doc: ad
d
some references to
publications
commit
|
commitdiff
|
tree
2006-09-26
Sven Ve
r
doolaege
lexmin
.
cc:
reenable optimization of
checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdo
o
lae
g
e
e
v
a
lue
.
c: clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven V
e
r
d
oolaege
edomain
.
cc:
add
E
Dom
a
in::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolae
g
e
lexmin
.
cc: max_term
:
:print: pri
n
t floors explicit
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Ver
d
oolaege
lexmin
.
cc:
d
isab
l
e possibl
y
overzealous
optimi
z
ation
commit
|
commitdiff
|
tree
2006-09-23
S
v
en Verdoolaege
edomain
.
cc: remember "constraint" rep
r
e
se
n
t
at
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdool
a
ege
reduced_
b
asis:
re
s
et "negative width
s
" t
o
zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdool
a
e
g
e
l
e
xmin
.
cc: mov
e
more code to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Ver
d
oolaeg
e
edoma
i
n
.
h: add E
D
omain_f
l
oor
a
b
s
tracti
o
n
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n
Verd
o
olaege
lex
m
i
n
.
cc: defin
e
m
a
x_term
o
v
er an EDo
m
ain rath
e
r than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Verdool
a
ege
reducer
.
h: a
d
d virtua
l
d
e
str
u
ct
o
r
to
np_ba
s
e
to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdo
o
laege
l
e
xm
i
n
.
cc: extract out some code
t
o evalue_u
t
il and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
option
s
.
c
:
pick up definition
of POL_INTEGE
R
from bar
v
ino
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ver
d
oolaege
optionc
.
c
:
move choi
c
e of
w
hich s
p
ecialization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Verdoolaege
omega/parser
.
l
: let
f
lex define yylineno
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verdo
o
l
aege
lexmin
.
cc: op
t
ionally skip c
h
eck
f
or e
m
pty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaeg
e
evalue
.
c
:
reduce_evalue_in_domain: reduce to zero
evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
l
ex
m
in
.
cc: use barvinok_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oolaege
i
n
t
r
o
d
u
ce barvinok_options structu
r
e
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolaege
lexm
i
n
.
cc: c
o
mp
u
te generatin
g
functions of vertex cone
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verd
o
o
la
e
ge
l
e
xmi
n
.
cc:
m
ove some code
a
r
o
und
t
o pr
e
pare for
n
ew
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Ver
d
oo
l
aege
evalue: de
c
l
a
re argument of
e
add a
n
d
eval
u
e_copy
co
n
st
commit
|
commitdiff
|
tree
2006-09-06
Sven Ver
d
oolaeg
e
l
e
xmin
.
cc: per
f
orm substitu
t
ion
immed
i
a
te
l
y
on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
README:
a
d
d a warning on (no
t
) using share
d
l
i
braries
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoola
e
g
e
piecewise_lst: d
r
op t
h
e _s suffix in
the class name
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
b
erns
t
e
in/piecewise_lst
.
cpp: add add(ex) met
h
od
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoolaege
ber
n
s
t
ein
.
cc: export
e
va
l
ue2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoo
l
a
e
g
e
o
mega/polyfunc
.
cc
:
avo
i
d w
a
rning
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
e
rdoolaege
barvi
n
o
k
/evalue
.
h: make more sel
f
-
c
o
ntained
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
Merge branch 'master' into be
r
nstein
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoolaege
evalu
e
.
h: ch
a
nge name of header define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdool
a
ege
evalu
e
.
h:
m
ake more self-containe
d
commit
|
commitdiff
|
tree
2006-08-26
Sven
Ver
d
o
o
laeg
e
bfc
o
unter
.
h: undefine divid
e
from polylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n
V
e
rdoolae
g
e
configure
.
in: no longe
r
compile shared li
b
r
a
ries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
README: reflect that --
e
nable-
f
ract
i
onal is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolaege
lexm
i
n
: remo
v
e duplicate un
f
ringe
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolaege
g
en_fun::
H
adam
a
rd_product:
u
se unoptim
i
zed version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n Verdoolaege
barvinok_series
:
p
e
rform
backsubs
t
itution also
i
f all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rdoolaege
barv
i
nok_enumer
a
te_union_series: c
a
ll c
o
re of barvinok_series
commit
|
commitdiff
|
tree
2006-08-21
S
v
e
n Verdoolaege
ut
i
l
.
c: remove_eq
u
alities_
p
: correct check for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdool
a
eg
e
gen_
f
un: s
e
t
co
n
te
x
t
in no va
r
iables constructor
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n Verdoolaege
ge
n
_fun::Hadam
a
rd_product:
don't as
s
ume equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoolaege
barvi
n
ok_union: t
a
ke con
t
ext in
t
o ac
c
ount
commit
|
commitdiff
|
tree
2006-08-16
S
v
en Verdoolaege
polyt
o
pe_scan:
o
ptionally ski
p
b
asis reduc
t
ion
commit
|
commitdiff
|
tree
2006-08-16
S
v
en Verdoolaeg
e
polyto
p
e
_scan:
scan
in redu
c
ed basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
olaege
polytope_scan: scan
s
the
integer
p
oints in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoo
l
aege
Me
r
ge
b
ranc
h
'm
a
s
ter'
i
nto
be
r
n
stein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
install NTL_Q
Q
.
h
h
ea
d
er
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoo
l
a
e
g
e
b
asis_red
u
c
tion
.
c: cle
a
n up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaeg
e
Merge
branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoo
l
a
ege
lex
m
in
.
cc: do
n
't both
e
r trans
f
orming if
c
om
p
ress_pa
r
ms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
l
exmi
n
.
c
c
: fix use of compress_p
a
rms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
s
ampl
e
.
c:
f
i
x
remove_ray
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Ve
r
doolaege
barvin
o
k_count: clean up memory
after simplifying co
n
straint
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
REA
D
ME: update
commit
|
commitdiff
|
tree
2006-08-12
Sven
Ve
r
dool
a
e
ge
ome
g
a/polyfunc
.
cc: maximize: simplify domain
befor
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoo
l
a
eg
e
omega/parser
.
y: create new vari
a
b
l
eMap for each
p
olyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoolaege
omega/parser
.
y: free malloc'ed memor
y
(i
n
stead
o
f delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
Merge branch 'master'
i
nto bern
s
tein
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdool
a
ege
only pe
r
form lexmin tests when lex
m
i
n has been comp
i
led
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
som
e
mo
r
e tests with unbounde
d
polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
add some small te
s
t
s for lex
m
in
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n Verdoolaeg
e
lex
m
in:
b
arf when
polyhedr
o
n con
t
a
i
ns line
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
lex
m
i
n: don't
p
rint solution whe
n
v
erifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
verify_mai
n
.
c
c
:
clean up memo
r
y
commit
|
commitdiff
|
tree
2006-08-11
Sven Ver
d
oolaeg
e
M
e
rge
b
ranc
h
'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
ba
r
vinok_s
e
ries: hand
l
e
f
ixed polytopes
commit
|
commitdiff
|
tree
2006-08-10
S
ven Ver
d
oo
l
aege
g
en_fun: add constru
c
tor for g
e
ner
a
tin
g
f
un
c
t
i
on with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoolae
g
e
bar
v
inok
.
cc: remove_
m
ore_eq
u
a
lities: h
a
ndle equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
g
en
_
fun::coeffici
e
nt: reset the
number of rows in
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
lexmin
.
cc: use rem
o
v
e_e
q
u
aliti
e
s
consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoo
l
aege
util
.
c: compress_variables: ex
t
racted
fr
o
m
lexm
i
n
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
lex
m
in
:
don't c
h
eck anythin
g
if given ra
n
ge lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
Ve
r
doolae
g
e
lexmin
.
c
c:
r
e
move_equalities;
t
ake preimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaege
lexmin
.
cc: remove
_
equaliti
e
s: extend
r
eturned
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
lexm
i
n
.
cc: i
n
_domai
n
: fix t
y
po
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verd
o
olaege
lexm
i
n
.
cc: remove some debug
g
i
ng residues
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolaege
reduc
e
_domain: com
p
ute c
o
n
v
ex union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_domain:
also check other parts o
f
union
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
rdoolaege
lex
m
in:
in_domain: s
e
t values if con
s
traint
s
do
n
'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoo
l
aege
l
e
xmin: p
l
u
g
some
memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdo
o
l
a
eg
e
lexmin:
an experimental tool for computing the
parametric
.
.
.
commit
|
commitdiff
|
tree
next