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
Line_Length: handle 0D polytope in 1D space
2009-05-07
Sven Verdoolaege
Line_Le
n
g
th: h
a
ndle
0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoo
l
ae
g
e
Polyhedr
o
n_Factor
:
hand
l
e polyhe
d
r
a
with a
n
on-tr
i
vial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoolaege
upda
t
e piplib f
o
r change in configure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
cc: remove
u
n
u
sed nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
upda
t
e piplib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
l
aege
update polylib for MinGW compa
t
i
b
il
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: in_d
o
m
a
in: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
Avoid use of sys/ti
m
es
.
h head
e
r when not availab
l
e
commit
|
commitdiff
|
tree
2008-12-25
Sven
Verdoolaege
add gnulib getsubo
p
t m
o
dule f
o
r Mi
n
GW
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdoolaege
R
E
ADME
:
men
t
i
on that
G
iNaC
i
s
a
l
s
o needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
e
n
Verdoolaege
Allow buil
d
of o
c
c w
h
en
u
sing bu
n
dled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
e
rdoolaege
doc: add a reference to a ma
s
ter thes
i
s act
u
ally using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdool
a
e
ge
ba
r
v
i
nok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
S
v
en V
e
rdo
o
laege
README: fi
x
up instal
l
ation ins
t
ructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
do
o
lae
g
e
Add files generated by bison
a
nd fle
x
to t
h
e distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven
Ver
d
o
olaege
update poly
l
ib
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n Verd
o
olaege
u
p
date pi
p
lib
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
do
o
l
a
ege
e
value
.
c:
affi
n
e2evalue: reduce c
o
e
f
ficients
commit
|
commitdiff
|
tree
2008-10-10
S
v
en Verdo
o
lae
g
e
eval
u
e
.
c
:
evalue
_
level_
c
mp: produce more
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add anothe
r
paper r
e
ferring
t
o
th
e
library
commit
|
commitdiff
|
tree
2008-09-16
Sven V
e
r
d
oola
e
ge
piece
w
i
s
e
_
l
s
t
.
h:
a
vo
i
d dup
l
i
c
a
te p
a
rame
t
e
r
name
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
er
d
oolaege
evalue_re
a
d
.
c:
fix
m
inor
b
ugs
i
n tokenizer
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdool
a
ege
up
d
a
te omega for missin
g
files i
n
d
istributio
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
barvin
o
k_enumerate_e: avoid infinite loop when present
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
m
o
ve
om
e
ga subd
i
r to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
N
T
L
_
QQ
.
cc: add stdlib inclu
d
e for a
b
o
r
t hid
d
en in NTL_ve
c
to
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
V
er
d
oolae
g
e
remove gnulib link-warning module co
m
pletely
commit
|
commitdiff
|
tree
2008-08-24
Sve
n
Verdoolaege
u
p
date polylib
with
extra field
i
n
P
aram
_
Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
V
erdoolaege
doc
:
fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Ver
d
oolaeg
e
u
p
date gn
u
lib functi
o
n to la
s
t pre-GPLv3 versio
n
commit
|
commitdiff
|
tree
2008-07-02
Sve
n
Verdool
a
ege
e
numerato
r
::handle:
r
e
place incor
r
ect delet
e
by
fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Ve
r
doolaeg
e
update piplib
f
o
r
corrected
U
rs_p
a
rms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdo
o
laege
configure: use correct hea
d
er
files in case
o
f bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aege
o
m
e
ga/occ: only open deb
u
g output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
add editors to IT
S
L
papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doo
l
aege
barv
i
nok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
olaege
a
dd some
t
e
st set
s
from it
s
l2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: a
d
d latest (accepted
)
public
a
tions
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
M
a
k
e
file
.
am: add s
e
ction_arra
y
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
norma
l
i
z
ation
.
c: compute
_
shifts: remove redu
n
da
n
t
r
e
turn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
move Fr
e
e_ParamNames polyli
b
and make param
nam
e
s const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
occ: add interface to
b
a
rvino
k
_s
u
mm
a
te
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdo
o
lae
g
e
ex_conver
t
.
cc: e
x
tract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ver
d
oolaege
d
oc
:
document mo
r
e
--summation m
e
th
o
ds fo
r
barvino
k
_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
option
s
.
c: rename "b
a
r
v
inok" summation m
e
thod to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
M
akefil
e
.
am:
check-e
u
ler: also che
c
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
su
m
mate
.
c: barv
i
nok_summate
:
handle pro
d
u
cts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verd
o
olaege
evalu
e
.
c: export eva
l
ue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolae
g
e
be
r
nstein: nume
r
ic2value: f
i
x ty
p
o to all
o
w co
r
re
c
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoola
e
ge
u
t
i
l
.
c
:
Factor_Context: extracted
f
r
om barvi
n
ok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ver
d
o
olaege
s
u
mmate
.
c: barvinok_summate: ignor
e
floors in
d
ependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
eva
l
ue
.
c: add e
v
a
l
ue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoola
e
ge
o
mega/occ
:
print
b
arvinok version number
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
doc: upd
a
te some references
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
M
a
k
e
la
u
rent b
a
sed s
u
mmation the defau
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
s
u
mmate
.
c:
b
arvinok_summ
a
te: hand
l
e quasi-
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
redu
c
e_
e
value: extra
c
t out evalue_re
d
uce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
evalue
.
c: ev
a
lue_shift_v
a
riables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
summate
.
c: handle
equ
a
liti
e
s
for all s
u
mma
t
ion a
l
gorithms
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summate
.
c: barvinok_summate:
m
ove common
p
a
rts of summat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaeg
e
evalue
.
c: ev
a
l
u
e_sum: mo
v
e si
g
n handl
i
ng in
t
o esum_o
v
e
r
_dom
a
in
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
ba
r
v
i
nok_e
.
cc: enume
r
ate_sum
:
use barvi
n
o
k_s
u
m
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoola
e
ge
su
m
m
a
te
.
c:
e
xtr
a
c
t
barvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
r
e
n
ame summate
.
cc to barvino
k
_
summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alu
e
.
c
:
r
e
duce
_
evalue: redu
c
e
f
l
oor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
doolaege
Add Laurent
expansion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoo
l
aege
ev
a
lue
.
c: extend e
e
qual
t
o
han
d
le dom
a
ins a
n
d
N
a
Ns
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
bin
o
mial
.
c: e
x
tract bin
o
mial and
f
actoria
l
from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
power
.
h: extra
c
t fro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoo
l
a
ege
introduce evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
lattice_
p
oint
.
cc: export relative
_
coordi
n
at
e
s
commit
|
commitdiff
|
tree
2008-04-24
S
ven
V
erdoolaege
lattice_point
.
h: make sure corre
c
t evalues ar
e
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
ol
a
eg
e
lattice_p
o
in
t
.
cc: add cei
l
ing
function
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
V
er
d
o
olaege
util
.
c: int
e
rnalize ugly bv
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
ven Verd
o
olaege
lattic
e
_point
.
cc
:
mult
i
_m
o
no
m
/
l
a
t
tice_p
o
ints:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ve
r
doolaege
doc:
cl
e
a
n u
p
"exponential substitution
"
section
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
t
est_b
o
u
n
d
.
cc:
a
void
l
oss of precisi
o
n
ca
u
s
ed by co
n
v
ersio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
b
a
rvinok_bound
:
optionally take maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoolae
g
e
barvinok_bound: add --iterate options for eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
er
d
oolaege
v
e
rify
.
c: e
x
port fu
n
ctions for settin
g
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: evalue_optimum:
a
llow c
o
mput
a
tion of op
t
i
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
e
rdo
o
laege
ber
n
ste
i
n
.
cc: evalue2ex:
don't assume all
pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
bound
.
cc: fix ca
l
l
t
o
evalue_conver
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
{
add,
m
ul}_period
i
cs:
p
lug
m
emory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
a
e
ge
evalue_bernstein_coeffic
i
ents:
h
a
n
dle pr
o
blems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verd
o
o
l
ae
g
e
la
t
tice_wid
t
h
.
c: skip directions that are ide
n
t
ic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verd
o
olaege
Makef
i
l
e
.
am: add
cdd94e-test to di
s
tribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
g
e
omega/occ:
o
p
t
ionally
u
se parker for
com
p
uting c
a
r
d
inality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ve
r
d
o
olaege
normalization
.
c: skew_to_po
s
itive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oo
l
a
e
ge
omega/convert
.
cc: re
l
ati
o
n2Dom
a
i
n: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
occ:
add
d
u
m
p fo
r
d
umping in barvino
k
_enume
r
ate_e
forma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
o
l
aeg
e
barvinok_enumerate_e:
option
a
lly use parke
r
's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
V
er
d
oo
l
aege
standard_
c
onstraints:
t
a
ke
c
on
s
traints instead of
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
ormalizati
o
n
.
c: ext
r
act standard_const
r
aints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ver
d
o
olaege
parker
/
count_so
l
utions
.
cc: fi
x
trea
t
m
e
nt of
existenti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolae
g
e
co
m
pi
l
e parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laeg
e
Add p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
eu
l
er
.
cc: e
v
a
l
ue_derive: handle
c
onstant polynomials
commit
|
commitdiff
|
tree
next