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: us
e
barvinok
_
options inste
a
d
of Ma
x
Rays
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoola
e
ge
barvi
n
ok/
b
arvi
n
ok
.
h
:
export _with_options versio
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
r
d
o
o
laeg
e
barvin
o
k_en
u
m
erate_e: remov
e
d
irect include of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verdoolaege
be
r
nstein: min
i
mal documen
t
at
i
on
commit
|
commitdiff
|
tree
2006-10-25
Sven
Ver
d
oolaeg
e
R
EADME: b
e
r
n
stein
require
s
G
iNaC
commit
|
commitdiff
|
tree
2006-10-25
S
ve
n
Verdoolaege
d
o
c: add reference to b
e
rnst
e
in techreport
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdo
o
lae
g
e
M
e
rge
branch 'be
r
nstei
n
'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
bernstei
n
/s
r
c/TODO:
remove;
e
v
e
rything
has been
done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaeg
e
doc: add
another publication that refers to barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verd
o
olaege
LLL: use reduction p
a
rameter 1 by defaul
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdool
a
e
ge
decomp
o
ser
.
cc: short_vector: allow specification o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
S
v
e
n Verdoolaege
doc: add some more public
a
tions that
refer to
bar
v
inok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoo
l
a
e
ge
evalue
.
c: ev
a
lue_denom: decla
r
e variable at sta
r
t of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n V
e
rdoolaege
eva
l
u
e
.
c: expo
r
t e
v
al
u
e_denom
commit
|
commitdiff
|
tree
2006-10-02
S
v
en Ver
d
oolae
g
e
sc
a
r
f
.
cc:
h
andl
e
case where
f
o
u
r c
o
nstraints
l
e
a
d
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n
Verdoola
e
ge
u
t
i
l
.
c: compress_variables: declare variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven V
e
rdoola
e
ge
eva
l
ue
.
c: copy (and adapt) copyright statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaege
doc: ad
d
so
m
e
references to
p
u
bli
c
ations
commit
|
commitdiff
|
tree
2006-09-26
Sven
Ver
d
oolaeg
e
lexmin
.
cc:
r
e
enab
l
e
opt
i
mi
z
ation of checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
eval
u
e
.
c: clean u
p
in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sv
e
n
V
erdoolaege
ed
o
main
.
cc:
ad
d
EDomain
:
:
c
ontains
commit
|
commitdiff
|
tree
2006-09-24
Sve
n
Ver
d
oo
l
a
ege
l
e
xmin
.
cc: max_term::print: print floors e
x
plicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Ve
r
dool
a
ege
le
x
min
.
cc: di
s
able
possibl
y
overzealous optimization
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaeg
e
edomai
n
.
cc: remember
"constraint" r
e
presen
t
ation o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdool
a
e
ge
reduced_ba
s
is: rese
t
"negat
i
ve
w
i
d
ths" to
zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
lexmi
n
.
cc: move mo
r
e code to edoma
i
n
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoolaege
edomain
.
h: add EDomain_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
S
v
e
n
V
e
r
doo
l
a
ege
l
e
xmin
.
cc: define max_
t
erm over an
E
Do
m
ain rather t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
reducer
.
h
: add virtual
destructor to np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erd
o
olaege
l
e
x
m
i
n
.
c
c: extract o
u
t
some code to
ev
a
lue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdool
a
ege
options
.
c: pick up definition
of POL_INTEGER f
r
om b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verd
o
olaeg
e
o
ptio
n
c
.
c:
move choice of wh
i
c
h
s
pecializa
t
ion
to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
V
er
d
oolae
g
e
omega/pars
e
r
.
l: let flex define yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoo
l
aege
le
x
m
in
.
cc: op
t
ionally
skip che
c
k for e
m
p
t
y domain
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaeg
e
evalue
.
c
: reduc
e
_evalue_in_
d
o
m
a
in: reduce to zero e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
en
V
erdo
o
laege
lexmin
.
cc: use
b
arvin
o
k_option
s
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Ver
d
o
o
l
aege
i
ntroduce
b
ar
v
inok_option
s
structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmi
n
.
cc: compute generating
f
unction
s
of
ve
r
tex con
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rd
o
ola
e
ge
l
e
xmin
.
cc: move some cod
e
around
t
o pr
e
pare fo
r
new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
v
e
n Ver
d
oolaege
evalue: declare argument of eadd
a
nd
evalue
_
co
p
y con
s
t
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
l
e
xmin
.
cc: perfor
m
s
u
bsti
t
u
tion immedia
t
ely
o
n
each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n Verdoolaege
R
E
A
D
ME: add a war
n
ing on
(not) using shared librar
i
es
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
piec
e
wise_
l
st: d
r
op the _s suffix in the cl
a
s
s
name
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoo
l
aege
bernstein/
p
iecew
i
se_lst
.
cpp: a
d
d add(ex)
method
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaeg
e
bernstein
.
c
c
:
export
e
value
2
e
x
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Ve
r
doolaeg
e
o
m
ega/polyfunc
.
cc: avoid
w
a
r
n
i
n
g
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n
V
erd
o
o
l
aege
barvinok/
e
value
.
h: ma
k
e more self-
c
ontained
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
Me
r
ge
b
ra
n
ch
'master' i
n
t
o
bernstein
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoolae
g
e
evalue
.
h: ch
a
n
ge name of hea
d
er def
i
ne
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolae
g
e
e
v
alue
.
h: mak
e
more self-co
n
t
a
in
e
d
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdool
a
ege
bfcounter
.
h: und
e
fine divid
e
from
polylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
olaege
configure
.
in: no longer compile shared
libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
README: reflect that --enable-fract
i
onal
is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
Verdoolaege
lexmin: remove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-16
S
ven
V
erdoolaeg
e
polytope_scan: optionally skip basi
s
reductio
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
o
lytope
_
scan
:
s
c
an in reduced basi
s
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope
_
scan:
s
cans the integer
points in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven
V
er
d
oolaege
Merge b
r
an
c
h
'
master' into bernste
i
n
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolae
g
e
install NTL_QQ
.
h h
e
ader
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
basis_reduction
.
c: clea
n
up GLPK
m
em
o
ry
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
V
erdo
o
laeg
e
Merge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
lexmin
.
cc: do
n
'
t
bot
h
er trans
f
orming if c
o
mpress_parm
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: f
i
x us
e
of
co
m
press
_
parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
sample
.
c
:
fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
barvin
o
k
_
count: cle
a
n up memory
after simplifying cons
t
r
aints
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoolaege
READ
M
E:
u
pdat
e
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
rd
o
olae
g
e
o
m
e
g
a/polyfunc
.
cc: maxi
m
i
z
e: simpl
i
fy domain be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
omega/par
s
er
.
y:
create new var
i
abl
e
Map for e
a
c
h
p
o
lyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
omega/p
a
rser
.
y: free mal
l
oc'ed memory (i
n
stead
of delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doola
e
ge
Me
r
ge br
a
nch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-12
S
ven Ver
d
oolaege
o
nly perf
o
rm lexmin tests w
h
e
n lexmin has been co
m
p
i
l
ed
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
dool
a
ege
s
o
m
e more tests wit
h
u
nbo
u
n
ded
polyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
r
doola
e
g
e
add some small tests for lex
m
in
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
o
laege
lexmin: barf when
p
olyhe
d
ron contai
n
s
l
i
ne
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verd
o
olae
g
e
lexmin:
don't prin
t
solution when verifyin
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
verify_main
.
c
c
: cle
a
n u
p
memory
commit
|
commitdiff
|
tree
2006-08-11
Sv
e
n Verdoolaege
M
e
r
g
e
bra
n
ch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
barvin
o
k_ser
i
es: handle fixed pol
y
topes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun: ad
d
constructor
f
or gen
e
rating
f
unc
t
io
n
with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoolaege
b
ar
v
inok
.
cc: remove_
m
o
r
e_eq
u
a
lit
i
e
s
:
handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verd
o
olaege
g
en_fun::coeffic
i
en
t
: re
s
et the number of r
o
ws in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
lex
m
in
.
cc:
use remo
v
e_equ
a
lities consistent
l
y
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoolaege
util
.
c:
compress_va
r
iables: extracted
f
rom l
e
xmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lexmin:
do
n
't
c
heck anythin
g
if
g
i
v
en range lies out
s
ide
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verd
o
o
l
aege
lex
m
in
.
cc: remove_equali
t
ies;
take preimage with r
e
tu
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c
:
remove_equalities: extend re
t
urned
m
atri
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin
.
cc: in_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolaege
l
e
xmi
n
.
cc: remove some debugging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
re
d
uce_d
o
main: compute convex union of
d
omain
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
doolaege
lexmi
n
.
c
c
: in_d
o
main
:
al
s
o check o
t
her parts of
u
nion
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
ex
m
i
n
: in_doma
i
n: se
t
values if constr
a
ints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin:
p
lug so
m
e memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoola
e
g
e
lexmin: an
experimen
t
al
t
o
ol for c
o
mpu
t
ing the p
a
rametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdo
o
l
a
ege
add fdstrea
m
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolae
g
e
evalu
e
.
c: floor2frac_
r
: plug memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Verdoo
l
aege
barvinok
.
cc: u
n
fringe: work i
n
cremental
l
y
commit
|
commitdiff
|
tree
2006-08-06
Sv
e
n Ver
d
oolaege
evalue_f
r
ac2floo
r
_in_domain: p
l
u
g
memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
Po
l
yhedron_Sample: al
l
o
w equa
l
ities
i
n input pol
y
hed
r
a
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
Polyhed
r
on_Sample: ma
k
e sure ve
r
tices
a
re availabl
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erd
o
olaege
Polyhed
r
o
n_Sample: simpli
f
y
c
o
n
strain
t
s after choos
i
n
g
.
.
.
commit
|
commitdiff
|
tree
next