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
for_each_lower_upper_bound: add another callback for initialization
2008-03-31
S
ven Verdoolaege
fo
r
_ea
c
h_lower_upper_bound: add anot
h
er c
a
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
verify
.
c
:
adjust
d
efault r
a
nge to c
o
n
t
e
x
t
i
f
needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erd
o
olaege
euler
.
c
c: summate
_
o
v
e
r_domain
:
o
n
ly consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
param_util
.
c:
export
P
a
ram_Vertex_Se
t
_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
Param_Polyhedron_Fa
c
et: pass fac
e
t
defining
c
on
s
trai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
genf
u
n
.
c
c
:
p
arallel_polyto
p
e
s: don
'
t
bot
h
er han
d
lin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eva
l
ue_
s
plit
_
domain
s
_
i
n
t
o
_orthants: d
o
n't reduce evalu
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
e
value_read: only allow terms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
d
o
o
l
a
ege
e
value
_
read: o
n
ly accept
i
mplicit
m
u
ltiplication o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
eva
l
ue_
r
ead: ac
c
e
p
t
constraints containing "'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_bernstein_c
o
e
f
f
i
cien
t
s:
ensure
res
u
l
t partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
o
laege
bernstein:
p
iec
e
wise_lst: correc
t
ly print
and
e
val
u
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
re
m
ove_all_equalities: keep
r
emoving par
a
meter
e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
d
o
c
:
consis
t
ent use of K
e
vin
'
s initials
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
doc: up
d
ate now publ
i
she
d
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
f
o
r_each_lowe
r
_upper_bound:
a
llo
w
ab
s
e
n
ce of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
Revert "eadd_parti
t
ions:
try to combine mu
l
ti
p
le domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ve
r
doolaege
e
v
alue_rea
d
_p
a
rtition: put
p
a
rtitions b
a
ck i
n
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoo
l
ae
g
e
evalue: reduce_evalue: add no
t
e
on som
e
mi
s
se
d
opport
u
nities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
b
e
rn
s
t
ein
.
cc
:
h
a
ndle input
w
i
t
h u
n
i
ons + r
e
lation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
maximiz
e
.
c
c
: deal with unions in input du
r
ing ver
i
fication
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
laege
evalue_substitute:
properly
handle rel
a
tions
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
l
aege
eva
l
ue
.
c: clean
u
p emul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ve
r
doola
e
ge
evalue_read: correctly re
a
d
v
ar
i
a
ble names
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verd
o
olae
g
e
eva
l
ue_read: accept top level "re
l
at
i
on
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
p
d
ate polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
erdo
o
laege
evalue_backsubstitute:
a
dd required modu
l
o constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c
:
*_partitions: si
m
pl
i
fy const
r
aints
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolaege
doc: more specific information on buggy cddl
i
b v
e
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
in: require cdd
l
ib
0
.
9
4e by te
s
t
i
ng for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n Verdoolaege
configure
.
in: onl
y
compile occ if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
ool
a
eg
e
b
a
rvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
add some t
e
sts for
i
mplemen
t
ation of projecti
o
n th
e
o
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: document new opti
o
ns an
d
new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdool
a
ege
AUT
H
O
RS
:
u
pdate
s
upport information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
genfun
.
cc: short_rat::print:
c
o
r
rectly p
r
int polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoo
l
a
ege
E
x
port series as barvi
n
ok_
e
numerate_s
e
r
i
e
s
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdool
a
ege
remo
v
e_parameter_e
q
u
a
lit
i
es:
stop "
r
emoving" eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdool
a
e
ge
serie
s
: leave freeing of P argument
t
o ca
l
li
n
g function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
do
c
: documen
t
im
p
lementation of th
e
pr
o
jection
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add barvinok_enumerate_e_series impl
e
menting
the pr
o
jectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: fi
x
and
do
c
ument parallel
polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
O
n
ly compile
z
so
l
v
e
if g
c
c 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verd
o
ol
a
ege
Move G
i
N
a
C-independent p
a
rt of libr
a
ry to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
polylib:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdoolaege
doc: ho
w
to c
o
unt
the
n
umber of eleme
n
ts i
n
poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c
/implementatio
n
.
tex
:
a
v
oid multiply
d
efi
n
ed label
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
la
t
tice_wid
t
h
.
c: try v
e
rtices of pre
v
ious integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc: documen
t
i
n
t
e
g
e
r hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verd
o
ola
e
ge
hu
l
l
.
c:
add a
l
l poin
t
s found
by sa
m
pling d
i
rectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verd
o
o
la
e
ge
Possible optim
i
zat
i
ons
for g
e
neralized
b
asis red
u
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verd
o
olae
g
e
S
upport
u
se
of genera
l
ized basis reduction to
c
omput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
a
dd Polyhedr
o
n
_
Integer_Minimum f
o
r computing the i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaeg
e
doc:
document
generalized
b
asis
r
educti
o
n
b
as
e
d intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoolaege
doc/barvinok
.
b
ib: add mi
s
s
i
ng string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolaege
a
d
d mo
r
e missing assert
.
h
#
i
nc
l
udes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
eva
l
ue
.
c
:
add missing
i
nclud
e
of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaeg
e
con
f
igur
e
.
in: pass pat
h
of GMP i
n
st
a
l
l
ation t
o
PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doola
e
ge
configure
.
in:
o
nly co
m
p
ile
l
ibb
a
rvi
n
ok
as a s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
Polyh
e
dron_R
e
duced_Basis
:
don't stop too earl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
Ver
d
oolaege
com
p
u
te_width_d
i
rect
i
ons: only
k
eep list of
d
is
t
inct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ve
r
doolaege
zsolve: don't insta
l
l
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
v
ers
i
on
.
c: s
h
ow us
e
o
f T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
config
u
re
.
i
n:
d
on't set with_{poly,pip}lib
_
prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoo
l
a
e
ge
Polyhedron_Sa
m
ple: be sati
s
fied
w
ith
a
reasonable ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
con
e
_in
t
e
ger_hull: o
p
tiona
l
ly prin
t
st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
basi
s
_reduction
:
keep t
r
ack
o
f nu
m
ber of
LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
Ve
r
doolaege
options: move --print-stats to
l
ibrary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: rework testing
framework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verd
o
olaege
bernstein: add piecew
i
se_ls
t
::is_
e
qual
commit
|
commitdiff
|
tree
2007-11-07
S
ven
Verdoolaege
s
u
pport new
e
r versions of G
i
NaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
s
t
anda
r
d_constraints
:
move from topcom
.
c
to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoo
l
a
e
ge
polysign
.
h: rem
o
v
e
dependen
c
y
on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
g
e
zsolve
:
a
d
d
b
anner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n
V
erdoolaege
Polyhedron_Lattice_Width_Dir
e
c
tion
s
:
p
r
int progres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Ver
d
oolaege
basis_
r
edu
c
tion_
p
ip: abort o
n
invalid (empty)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README
:
ex
p
l
a
i
n how
to
g
et submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
r
d
oolaeg
e
doc: do
c
u
ment la
t
tice
w
i
d
th computati
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoolaege
some lattice width tests
f
rom Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
o
laege
Polyhe
d
r
o
n_La
t
tice_Width:
decide on f
a
cets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoolaege
add Polyhe
d
ron_L
a
tti
c
e_Width for comp
u
ting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en
V
erdoolaege
hilbe
r
t
.
c: add Cone
_
Intege
r
_Hul
l
for computing
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
olys
i
gn: a
d
d p
i
p-backed versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Ver
d
o
ola
e
ge
p
olysign: add con
s
traints_opt to compute optimum
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
p
o
l
y
sign_cdd: switch to use of Matrix representat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
polysign_glpk: switch to use
o
f Matrix
r
epr
e
sentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: document computa
t
ion of Hilbert basi
s
o
f
a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
Cone_Hilbert_Basis
:
use stand
a
r
d
_con
s
tra
i
nts
to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaege
Use zs
o
lve to compute Hilb
e
r
t basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
c
ompile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsolve: don't inst
a
ll
headers and execut
a
ble
s
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
zsolve:
i
nitialize B
a
ckup
T
ime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zsolveSystem: add m
i
ssing ve
r
b
o
sit
y
c
heck
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaeg
e
zsolve
:
ove
r
ri
d
e LIBS fro
m
top level
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoo
l
a
ege
add 4ti2-
1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
dool
a
ege
add zsol
v
e fr
o
m 4ti2-1
.
3
.
1+
a
utoco
n
f-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laeg
e
p
a
ra
m
_util
.
c: e
x
port bit
_
vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
l
a
e
g
e
topco
m
.
c: extract part of code for setting
up
s
tandard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
ven
Ver
d
oolae
g
e
gen
_
fun::Hadam
a
rd_product: print
pro
g
ress
i
n
d
ic
a
tor
.
.
.
commit
|
commitdiff
|
tree
next