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 0.27
2008-03-31
S
v
en Verdool
a
e
ge
evalue_split_
d
omains_into_orthants
:
d
o
n
'
t reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
o
o
l
a
ege
evalue
_
re
a
d: onl
y
allow terms
to cr
o
ss newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only accept implicit multiplication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaeg
e
evalue_read: accept c
o
n
straint
s
c
o
ntaining "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
o
l
aege
evalue_be
r
nstein_coeffic
i
e
n
ts:
e
nsure result parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdool
a
e
ge
bernstein: piecewi
s
e_lst
:
correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaeg
e
remove_
a
ll_
e
q
u
alities: kee
p
r
emoving parameter equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ver
d
ool
a
e
g
e
update polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoo
l
ae
g
e
d
o
c:
c
o
nsistent u
s
e
o
f Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
rdoolaege
doc: up
d
ate
n
o
w
published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
for_e
a
ch_lower_upper_bound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
olaege
Revert
"eadd_part
i
tions: try to c
o
m
b
in
e
m
u
l
tiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdool
a
ege
ev
a
lue_read_parti
t
ion: put
p
arti
t
ions back in
the s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdo
o
l
a
ege
eval
u
e: re
d
uce_evalue
:
a
d
d note on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
berns
t
e
i
n
.
c
c
:
handle inpu
t
with
unions + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
maximize
.
c
c
: deal
w
it
h
unions in input during
v
erific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue_substitute: properly handle r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: c
l
ean up emul and ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdoolae
g
e
evalue_read: c
o
rrectly read v
a
r
i
able names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
evalu
e
_read: accept
t
op level "rela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
rdoolae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven V
e
rdoolaege
evalue_backsub
s
titute: a
d
d r
e
qu
i
r
e
d
modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
S
ven Verdool
a
ege
e
v
alue
.
c: *_partit
i
ons: simpli
f
y co
n
straints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoola
e
ge
doc:
more specific informatio
n
on bug
g
y cddli
b
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
c
o
nfigure
.
i
n
:
r
e
quire cddlib 0
.
94e
by testing
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
e
n
Verdoolaege
conf
i
gure
.
in: only compi
l
e
occ
if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
aege
add
s
o
me tests for implementation of
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
la
e
ge
d
oc: docu
m
e
n
t new opt
i
ons an
d
new ap
p
lications
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdoolaege
AUTHORS: update support informatio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
g
e
nf
u
n
.
cc: short_r
a
t
:
:print:
c
orrectly print
p
olynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdoolaege
Export series as ba
r
vinok_enumerate_s
e
ries and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
ege
remove_parameter_equalities: stop "r
e
movin
g
" equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
o
olaeg
e
series: leave freeing o
f
P
a
r
g
u
me
n
t
t
o callin
g
functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
doc: document impleme
n
tation o
f
th
e
projecti
o
n t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laeg
e
a
d
d
barvinok_enu
m
er
a
t
e_
e
_series implementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
ge
n
fun
.
cc: fix
a
nd documen
t
parallel polytop
e
s class
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
Onl
y
compile zsolve if gcc
3
.
4
o
r lat
e
r is avail
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move Gi
N
aC-
i
ndependent part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib: u
p
date
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
V
e
r
d
oolaege
do
c
: how to c
o
unt the number of e
l
ements in
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
doc/imp
l
ementation
.
t
ex
:
avoid mul
t
iply defined la
b
el
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n V
e
rdoolaege
lat
t
ice_width
.
c:
t
ry ve
r
tices of previous i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: docume
n
t integer
hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c:
add al
l
point
s
found
b
y
sa
m
pling d
i
rectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Possible optimizations
for generalized basis r
e
du
c
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
S
u
pport use of general
i
z
ed b
a
s
i
s r
e
duc
t
ion
t
o co
m
put
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
add Polyhedron_Int
e
g
e
r_Min
i
mum for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc:
do
c
um
e
nt gen
e
ralized basis r
e
duction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvin
o
k
.
b
i
b: ad
d
missing string
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaege
add
mor
e
missing
assert
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
o
olaege
eva
l
ue
.
c
: add missin
g
includ
e
of a
l
loca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verdoolaege
configure
.
in: pas
s
path of GMP installation to P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
config
u
re
.
in: on
l
y
compi
l
e libbarvino
k
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
Polyhedron_Redu
c
ed_Basis: don't s
t
op too
e
arly whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
om
p
ute_width_directions: o
n
ly ke
e
p list
o
f
dist
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
zsolve:
d
on't instal
l
library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ve
r
sion
.
c: sh
o
w use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaeg
e
configure
.
in: don't set wi
t
h_{poly,pi
p
}
lib
_
pre
f
ix fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
d
ool
a
e
ge
Polyhedr
o
n
_
S
a
mple: be satisfied with a reasonable c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_
i
n
t
eger
_
hull: opti
o
nally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_
r
ed
u
c
t
ion: kee
p
track of number of LPs
s
olved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
op
t
ions: mo
v
e --p
r
i
nt-
s
tat
s
to library
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
b
ernstein
:
rework te
s
t
ing framewo
r
k to not
depe
n
d on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
ven
V
erdoolaege
bernste
i
n: add
pi
e
cewise_lst:
:
is_
e
q
u
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoola
e
ge
suppor
t
newer
versions of GiN
a
C (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
lae
g
e
s
tandard_constraints
:
mo
v
e from topco
m
.
c to po
l
ysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
p
olys
i
g
n
.
h:
remove
d
ependency on lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n V
e
rdoolaege
z
s
olve: add ba
n
n
er
.
h to dis
t
ribu
t
ion
commit
|
commitdiff
|
tree
2007-11-06
S
v
e
n Verd
o
ola
e
ge
P
olyhedron_Lattic
e
_Width_Directions:
p
r
int
p
rogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verd
o
ola
e
ge
basis_reduction_pip: a
b
o
rt on
invali
d
(empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
README:
e
x
plain how to
get submodules
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoolaege
doc: docu
m
e
n
t lattic
e
w
idth c
o
mputation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
some la
t
tice w
i
dth
tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoolaege
P
olyhe
d
r
o
n_Lattice_Width: de
c
i
de on facets to
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Polyhedron_Lattice_Width for computi
n
g
la
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolae
g
e
hilbert
.
c: ad
d
Cone_Integer_Hull
for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oola
e
ge
p
olysign: add
pip
-
b
a
c
ked v
e
rs
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
olysign
:
add c
o
n
s
traints_opt
to com
p
ute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
l
ysign_cd
d
: switch to use of Ma
t
rix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdo
o
laege
po
l
ysign_glpk: switch to use of Matrix r
e
prese
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
doc: docum
e
n
t c
o
mputa
t
ion of
H
ilbert basis
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
Cone_Hilbert_Basis: use standa
r
d_constr
a
ints
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
U
s
e zsolve to co
m
pute Hilbert basis of a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
co
m
pil
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don'
t
install hea
d
e
rs and exe
c
utable
s
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
zsolve: i
n
itialize BackupTime in ZSolveConte
x
t
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaeg
e
zsolve: zsolveSys
t
em: ad
d
m
i
ssing v
e
rbos
i
ty check
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdoolaeg
e
zsolve: override L
I
B
S
f
rom top l
e
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
g
e
add
4ti2-1
.
3
.
1
+
autocon
f
-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add
zsolv
e
from 4ti2-1
.
3
.
1+autoc
o
n
f
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_
u
til
.
c: expo
r
t
bit_v
e
ctor_count
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
top
c
om
.
c: ex
t
ract
part
of co
d
e for setti
n
g up standa
r
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
er
d
o
o
laege
gen_fun::Hada
m
ard_product: print progr
e
ss ind
i
cator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven
Verdoo
l
aege
move --verbose op
t
ion to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n
_
fun::su
m
mate: handle ful
l
specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
Replace incre
m
ental infinite
s
et co
u
nter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
make counter
:
:
a
dd_falli
n
g
_
p
o
wers static
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
e
g
e
merge (most of) common p
a
rt of counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
icounter: handle speciali
z
ation of poly
n
o
m
ials
commit
|
commitdiff
|
tree
next