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
lattice_width.c: skip directions that are identical up to sign
2007-11-17
S
v
e
n Verdo
o
laege
evalue
.
c
:
a
d
d
missing inc
l
ude o
f
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
confi
g
ure
.
in: pass path of GM
P
installat
i
o
n
t
o PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configu
r
e
.
in: only
comp
i
l
e
libbarvin
o
k
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
e
ge
P
olyhedr
o
n_Reduced_Basis: don't stop too early wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
compute_w
i
d
th_
d
irections: only keep list
o
f
d
i
stinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: don't i
n
s
t
all
library
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoo
l
a
e
ge
v
ersion
.
c: show u
s
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
o
o
l
a
e
ge
co
n
f
igure
.
in: do
n
't set wi
t
h_{poly,pip}lib_pref
i
x
f
rom
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
P
ol
y
hedron_Sample: be satisfi
e
d w
i
t
h
a
r
easonable ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaeg
e
cone_in
t
eger_hul
l
: option
a
lly print sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
S
ven V
e
rdoolaeg
e
ba
s
is_reduction: kee
p
track of number of LPs
s
olved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
opti
o
n
s
: move --print-s
t
a
ts
t
o
library
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
bern
s
te
i
n: rework testing fr
a
mework to
not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
b
e
rn
s
tein: add piecewise_ls
t
::i
s
_equal
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verd
o
o
l
a
ege
support newer versions of Gi
N
aC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
t
a
ndard_cons
t
raints: move from topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoo
l
aege
polysign
.
h: remo
v
e dependen
c
y on
l
exmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
z
solve: add banner
.
h to distribut
i
on
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoolaege
P
o
lyhedron_Lattice
_
W
idth_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erd
o
olaege
basis_reduction_pip: abort on i
n
valid
(
em
p
ty
)
i
n
put
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
REA
D
ME: e
x
pla
i
n
how to get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
doc: document
la
t
tice
w
idth computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
eg
e
s
o
me latti
c
e width tests fro
m
Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoolaege
Polyhedron_Lattic
e
_W
i
dt
h
: d
e
cide
o
n fac
e
ts t
o
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
add
P
o
l
yh
e
dron
_
Lattice_Widt
h
f
or comp
u
ting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
e
r
doolaege
h
ilbert
.
c: add Cone_
I
nte
g
e
r
_
Hull for
computing ve
r
t
ic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolae
g
e
po
l
y
s
ign: add pi
p
-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oo
l
a
ege
polysig
n
: add constraints_opt t
o
c
o
mpute optimum
o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
p
olysign_cdd: switch to use
o
f Matrix r
e
p
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
p
o
ly
s
ign_glpk: switch to u
s
e of Matrix repr
e
sentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
d
oc: docume
n
t computation
o
f Hi
l
bert ba
s
is of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdoo
l
aege
Cone_Hilbert_Basis:
u
se s
t
and
a
rd_cons
t
raints to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven
Verdoolaege
Use zsolve to
c
ompute Hil
b
e
rt basis
o
f
a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
do
o
laege
zsolve: don't install headers an
d
executable
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsolve: init
i
a
l
iz
e
BackupTim
e
in ZS
o
lv
e
Contex
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolve
:
zs
o
lveSy
s
tem: ad
d
missing verbo
s
ity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolve: ove
r
ri
d
e L
I
BS
from top l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoo
l
aege
add 4ti2
-
1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
g
e
add
zso
l
ve fro
m
4ti2-1
.
3
.
1+au
t
oco
n
f-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolae
g
e
param_ut
i
l
.
c: export bit_vector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
e
rdoolaege
top
c
om
.
c:
e
xtr
a
ct part of code for set
t
ing up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaeg
e
ge
n
_fun
:
:H
a
dam
a
rd_product: print progr
e
ss indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verd
o
ola
e
g
e
move --verbose
o
ption to
library
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
r
doo
l
aege
gen_fun::summ
a
te: handle f
u
ll specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace increment
a
l
infinite
s
et counter
by "
r
e
g
ul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
make co
u
nter::add_falling_powers
static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
m
e
rge (most of) co
m
mon
p
art of cou
n
ter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erdoo
l
aege
i
c
o
u
nte
r
:
handle
sp
e
ci
a
lization of
p
o
lyn
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
i
counte
r
: do
n
't
bother "norm
a
lizing" th
e
e
x
ponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_left_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
b
a
sis_r
e
duction_
c
d
d
: chec
k
for
p
ossibl
y
incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
P
o
l
yhedron_Sample: handle polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
gen_f
u
n
::op
e
r
a
t
or evalu
e
*: always r
e
turn a
v
a
lid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::op
e
ra
t
o
r
e
va
l
ue
*: re
m
o
v
e commented o
u
t debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok
_
enu
m
e
r
ate_e
.
cc
:
handle verification
of
problem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
ae
g
e
barv
i
nok_e
n
umerate_e: o
p
tionall
y
p
rint s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
bar
v
i
nok_enumerate_e: s
u
pport v
e
rification of
generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_enu
m
era
t
e_e:
sup
p
ort
c
onversion
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
lattice_po
i
n
t
s: another micro-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
lattice_points_fixed: nano-opt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun
:
:add: cont
e
xt of
s
um should be
u
nion of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
ol
a
e
ge
barvi
n
ok_enu
m
erate: u
s
e verify infr
a
s
tructu
r
e
f
or verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
g
e
nfu
n
.
cc:
print_power: drop space
s
around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oola
e
ge
c
ount_points_e
:
fa
l
l bac
k
to
count_poin
t
s if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doola
e
ge
Ma
k
efile
.
am: che
c
k
-
e
v
alue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
verify: add check_
p
oly_print helper
function
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen
_
fun: m
a
k
e
sur
e
context is
a
lways se
t
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer
:
:r
e
duce: ca
n
onicalize coeffic
i
e
nts in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaeg
e
sh
o
rt_
r
at::print: correctly print out terms
w
ith a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok_series: rechec
k
for equalities after comp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
exp
o
rt
M
atrix_Read
f
o
r reading Matrix
f
ro
m
a str
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_u
t
i
l
.
c: add Param_Vertex_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ut
i
l
.
c: supporting_co
n
straints
:
retu
r
n
bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
olyli
b
: update
for Matri
x
_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: use Polyhedron_Sample for counting infini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
keep trac
k
of
a
n
d u
s
e saturating constraints in P
a
ram_Poly
h
edro
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
mov
e
va
l
u
e
_gcd and
v
alue_lcm t
o
po
l
ylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
B
e
r
n
oulli_sum_evalue
:
only compute exact sum i
f
approxima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum
_
e
v
al
u
e
:
sum o
v
er variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ev
a
lue
.
c: exp
o
rt evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
lyhedron_Ex
c
hange
C
olumns: n
o
rmalize constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
export Polyhe
d
ron_
E
xch
a
ngeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
laeg
e
e
v
alue_polynomial: op
t
imize e
v
a
l
uatio
n
in z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: emul: handle an
o
the
r
s
pecial ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c
: eadd: ha
n
dle som
e
special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
n
tro
d
u
c
e and
use ev
a
l
ue
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
g
e
e
v
al
u
e
.
c
:
eadd: micro-op
t
imi
z
e
addition of two rationals
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
setting an approximation
m
ethod now i
m
plies polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
ge
barvinok
_
summate: optionally use Bernoull
i
/
Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Bernoulli_sum_evalue:
u
se evalue_from_
s
ect
i
o
n_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok/po
l
yl
i
b
.
h: rem
o
ve c
o
m
p
atib
i
lity with old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
mov
e
Vector_Oppose to PolyL
i
b
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
poly
t
ope_scan: reen
a
ble --d
i
rect
o
ption
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
ol
a
ege
remov
e
_all_equalities: ke
e
p r
e
movi
n
g equa
l
ities
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n V
e
rdoolaege
remove_all_equalit
i
es: handle em
p
ty
polyhedr
o
n dete
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
V
er
d
oolaeg
e
remo
v
e_all_
e
qualities: minor code clea
n
-u
p
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
ex
p
ort
P
o
lyhedron_Matrix_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
S
v
e
n
V
e
rdoo
l
a
ege
polar_
s
igned_
c
one
_
consumer: clean
up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_Inne
r
_Product:
f
ix use of value
_
lcm
commit
|
commitdiff
|
tree
next