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
evalue.c: clean up emul and eadd
2008-03-10
Sven Verdool
a
e
g
e
eval
u
e
.
c
:
clean up emul and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
e
rdo
o
l
a
e
g
e
evalue_read: correctl
y
read v
a
riable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ver
d
oo
l
ae
g
e
e
value_read: accep
t
t
op level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sven
Verdoola
e
ge
evalue_ba
c
ks
u
bstitute: add r
e
qui
r
e
d
m
odulo
c
onstrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
S
v
en Verdool
a
ege
evalue
.
c
:
*_partition
s
:
simplify con
s
traints
b
efo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
d
o
c
:
m
o
re specific information on b
u
gg
y
c
d
dlib ver
s
ion
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
doolae
g
e
configure
.
i
n: require cddlib 0
.
94e by tes
t
i
n
g
f
or b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven Verdoo
l
aege
configure
.
in: only compile occ if code_gen
l
ibrar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
add some tests for implementat
i
on of projectio
n
theo
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
aege
doc: document
new opt
i
ons
a
nd n
e
w
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doola
e
ge
AUTHORS: update support
i
nformation
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
genfun
.
cc: short_r
a
t::
p
rint:
c
orrec
t
ly pr
i
n
t
polyn
o
mi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
E
xport seri
e
s as barvi
n
ok_e
n
umera
t
e
_
se
r
ie
s
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ve
r
doolaege
remove
_
p
a
rameter_equalit
i
es
:
stop "removing" equ
a
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
series: leave freeing of P
a
r
gu
m
ent to calling func
t
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
doc: doc
u
ment
im
p
lement
a
tion of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
add b
a
rvinok_enum
e
rate
_
e
_serie
s
implementing
t
he projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
V
e
r
do
o
laege
genf
u
n
.
cc: fix
a
n
d docu
m
en
t
p
a
r
a
l
l
e
l poly
t
opes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdool
a
ege
Only compile zso
l
ve if gcc 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
Move
G
i
NaC-indepen
d
ent part of lib
r
ary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
laege
doc
:
how t
o
co
u
n
t t
h
e number of
ele
m
e
nts in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
doc/
i
mplementation
.
tex: avoid
m
u
l
t
i
p
ly
defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
latt
i
ce_wid
t
h
.
c
:
try vertices of previo
u
s integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
do
c
: docum
e
nt integ
e
r h
u
ll computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
h
ull
.
c
: add all points found by
sam
p
ling dire
c
tly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoolaege
Possible optimizations for gener
a
lized ba
s
i
s
re
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
Sup
p
ort use of generalized basis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
add Polyhedron_I
n
t
ege
r
_Minimu
m
for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoo
l
a
e
g
e
doc: docu
m
ent gen
e
ralized ba
s
is re
d
uction
b
a
sed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
d
o
c/barvinok
.
bib: add
m
issing
s
tring
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Ver
d
oolaege
add mo
r
e missing
a
ssert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
S
v
en
V
erdo
o
la
e
ge
configure
.
in: only compile libbar
v
i
n
ok as
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
Polyh
e
d
ron_Reduced_
B
asis:
don't st
o
p
too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
compute
_
wid
t
h_directions: only ke
e
p
list
o
f distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Ve
r
d
oolaeg
e
zsol
v
e: don't
i
n
stall library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c: show u
s
e of T
O
PCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoola
e
ge
c
o
nfigure
.
i
n
: don't
s
e
t
w
ith_{poly,pip}lib_p
r
e
fix fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
V
erdoola
e
ge
Po
l
yh
e
dron_Sampl
e
: be satisfied with
a
reasonab
l
e choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
c
o
ne_int
e
ger_hull: optiona
l
ly
p
rint st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
S
ven
V
erd
o
olaeg
e
b
a
si
s
_re
d
uc
t
i
on: keep track of
number of
LPs s
o
lv
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
o
p
tions: move
-
-print
-
s
t
ats
t
o lib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
bernst
e
in: rework
t
esting
f
ram
e
work
to n
o
t
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdool
a
ege
b
ernstein:
a
dd piecewi
s
e_ls
t
::is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
ven
V
e
rdoolaege
support n
e
wer
v
ersions o
f
GiNaC (
>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoo
l
a
e
g
e
standard_c
o
nstraints
:
move from topcom
.
c to
p
o
lysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
ven
Verdoolaege
p
olys
i
gn
.
h
:
remove
de
p
enden
c
y
o
n lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoo
l
aege
zsolv
e
:
a
dd
b
a
nner
.
h to distr
i
bution
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdoolaege
Polyhe
d
ron_Lat
t
i
ce_Width_Directions: pr
i
nt pr
o
gre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ver
d
oolaege
basi
s
_reduction_pip: ab
o
rt on invalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
e
g
e
README: ex
p
lain
how t
o
get subm
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoola
e
ge
doc: document lat
t
ice width compu
t
at
i
on
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
som
e
lattice width tests fr
o
m
Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
Polyhedron_
L
attic
e
_Wid
t
h: de
c
ide on facets
to clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Pol
y
hedron_Lattice_W
i
d
th for co
m
pu
t
ing
l
attice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doolaege
hilbert
.
c: add Cone_Integ
e
r_
H
ull for computing ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
lysign
:
add pip-ba
c
ked
v
er
s
ion
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaeg
e
polysign: a
d
d
c
ons
t
raints_opt to compute op
t
imum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
polysign_cdd: switc
h
to use of Matrix re
p
res
e
n
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_glpk: swit
c
h to
use of
M
atrix
representat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
doc: document computatio
n
of Hi
l
bert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
ege
Con
e
_Hilbert_Basi
s
: use sta
n
d
a
rd_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
ge
Use zso
l
ve to
comp
u
te Hilbe
r
t basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laeg
e
compile
zsol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
ege
zsolve: don't
install
h
ead
e
rs and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoola
e
ge
zsol
v
e: i
n
itialize BackupTime i
n
Z
SolveContext
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Verdoolaege
zso
l
ve: zsolveS
y
stem: ad
d
missing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
oola
e
ge
zsolve: o
v
e
r
rid
e
LIBS fro
m
t
op level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti2-1
.
3
.
1+autoc
o
nf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Verdoola
e
ge
add zsolve from 4ti2-1
.
3
.
1+autoc
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ve
r
doolaeg
e
p
a
r
am
_
util
.
c: export
bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
topcom
.
c: ext
r
act part
of co
d
e for
s
etting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdoolaege
gen_
f
un::Hadamard_p
r
oduct: prin
t
progre
s
s
i
n
dicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sve
n
Verd
o
olaege
m
ove --verb
o
se option to library
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdo
o
laege
g
e
n_fun::summat
e
:
h
andl
e
full spe
c
i
a
liza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Replace incrementa
l
i
n
finite set counter
b
y "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
make counter::add_fal
l
ing_powers sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
merge (most o
f
) common part of counter and tcou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
ic
o
unter: h
a
ndle sp
e
cializ
a
t
io
n
of p
o
lynomial
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
er
d
oolaege
icoun
t
e
r
: don't bother "normalizing" the e
x
pon
e
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
export
ne
g
_
left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
sis_reduction_
c
dd: ch
e
ck f
o
r
possib
l
y
i
n
correct ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron
_
Sample: handle polyh
e
dron becoming emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
gen_fu
n
::
o
per
a
t
o
r
evalue *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun::operator evalue
*: remov
e
commen
t
ed
out debugg
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e
.
cc: handle v
e
rification of
p
roble
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
barvinok_enum
e
rate_e: optiona
l
ly pr
i
nt stats
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ve
r
doolaeg
e
b
a
r
vinok_en
u
merat
e
_e: support verifica
t
ion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enu
m
erate_e: supp
o
rt conversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
lattice_points: anot
h
er micro-opt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
lattice_po
i
nts_f
i
xed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_fu
n
::add: con
t
ext o
f
sum should be
u
nion of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enumerate: use
v
erif
y
infrastructure for
v
eri
f
ying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoo
l
a
e
ge
gen
f
u
n
.
cc:
print_power: drop spaces
around
"/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoola
e
ge
c
ou
n
t_points_e: fall ba
c
k to
c
ount_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
am: c
h
e
c
k
-
ev
a
lue: pri
n
t nam
e
of each
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaeg
e
verify: add ch
e
ck_poly_print
h
elper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
ge
n
_fun
:
make s
u
re co
n
text is always set
commit
|
commitdiff
|
tree
next