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.29
2009-07-22
Sven Verdo
o
laege
barvinok 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
l
aege
doc: add experimenta
l
c
o
mp
a
r
i
son between o
l
d and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdool
a
ege
l
exmin
.
cc: remove "anachroni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdo
o
laege
doc: add some less commo
n
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoolae
g
e
add "
c
lever" Lau
r
ent expansion
b
a
s
ed
sum
m
ation
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verd
o
ola
e
g
e
move Last_
N
on_Zer
o
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolaege
extract out pa
r
am_p
o
l
y
nomial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olae
g
e
ex
t
ract vertex_c
o
ne
from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
S
v
en Verdoolaege
update pol
y
lib for speed improvement in in_d
o
m
ain
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdoolaege
update
p
i
plib for distr
i
bution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdo
o
laeg
e
Polyhedron_
F
actor: f
i
x m
e
r
ging of groups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)counter: mo
v
e counter::reset() u
p
to c
o
un
t
er_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefile
.
am: keep b
e
t
ter
t
rack
o
f
failed tests
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
Line_Leng
t
h: hand
l
e 0D polytope
i
n 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Verdool
a
e
g
e
Polyh
e
dron_Factor: handle poly
h
e
d
r
a with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoolaege
up
d
ate pip
l
ib for change
in c
o
nfigure ar
g
umen
t
s
commit
|
commitdiff
|
tree
2008-12-27
Sve
n
Verdoolaege
barv
i
nok
.
c
c
: remove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
updat
e
piplib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
u
pdate polylib for Mi
n
GW
c
ompatibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolaege
eva
l
ue
.
c: in_domain: spe
c
ia
l
-
c
ase 0D
d
omain
s
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoolaege
A
vo
i
d use of
s
ys
/
tim
e
s
.
h
header when not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gn
u
lib g
e
tsubopt m
o
dule for
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README: mention that Gi
N
aC is al
s
o nee
d
ed for
t
he Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow buil
d
of occ whe
n
using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n
V
erd
o
olaege
doc: add a re
f
ere
n
ce to a mas
t
er thes
i
s act
u
ally using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
barvinok
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ve
r
doola
e
ge
R
E
ADME:
fix
u
p inst
a
llation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add fi
l
e
s
generat
e
d by bison and
f
lex to the distribut
i
o
n
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Ve
r
doolaege
u
pdate polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
up
d
ate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verd
o
ol
a
ege
evalue
.
c: affin
e
2evalue: reduce coe
f
ficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdool
a
e
g
e
ev
a
lue
.
c: evalue_level_cmp: produc
e
m
o
re consisten
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
d
oc: add another pape
r
refe
r
ri
n
g to t
h
e library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
piecewise_lst
.
h: av
o
id duplic
a
te
parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
evalue_read
.
c: fix minor bugs in tokeni
z
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoo
l
aege
update omega for missing file
s
in
distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ola
e
ge
barvinok_enumerat
e
_e:
a
v
oid infini
t
e loop
w
hen pr
e
sented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaeg
e
move
omega sub
d
ir to omega_inte
r
face
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
NTL
_
Q
Q
.
cc:
a
dd
stdlib include for abor
t
hidden in NT
L
_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven
Verdool
a
ege
remove gnulib lin
k
-
w
arning module c
o
m
pletely
commit
|
commitdiff
|
tree
2008-08-24
S
ven Ve
r
d
o
ol
a
ege
update p
o
ly
l
i
b
w
i
th extra field in Param_Polyhedr
o
n
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdool
a
ege
do
c
: fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update
gnu
l
ib
f
u
n
ctio
n
to last
p
r
e
-GPLv3
versio
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumer
a
t
or::hand
l
e: repla
c
e
i
ncorrect delete by
free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update piplib for
c
orrected U
r
s
_parm
s
handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
co
n
figure: use correct header fil
e
s in case of bun
d
led
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/occ
:
o
n
l
y ope
n
debug outp
u
t file i
f
there i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaeg
e
d
o
c:
fix
t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoolaeg
e
add
e
d
i
t
ors
t
o ITSL
p
a
pers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ba
r
vinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laeg
e
add
some test sets from itsl2008 pap
e
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: add la
t
est
(accepted) pu
b
l
ications
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
Makefile
.
am: add section_array
.
h
to d
i
stributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdool
a
ege
n
ormalization
.
c: compute_s
h
ifts: rem
o
ve redundant
r
eturn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
mo
v
e
Free
_
P
a
ra
m
Names polylib and
m
ake p
a
ram na
m
es const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
o
laege
occ: add
interface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verd
o
ola
e
ge
e
x
_c
o
nvert
.
c
c
: ex
t
ra
c
t ex2evalu
e
from ra
n
ge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
doc: do
c
ument more --sum
m
ation metho
d
s for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
opti
o
ns
.
c: rename "barvinok
"
sum
m
a
t
ion method to "box
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: che
c
k-euler:
als
o
check
l
aurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
g
e
summa
t
e
.
c
:
ba
r
vino
k
_summate:
h
a
ndle products of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalu
e
.
c:
export
eva
l
ue
_
reorder
_
terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein: n
u
meric2value: fix
typo to allow
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdoolaeg
e
u
t
il
.
c:
F
actor_Context:
extracted from barvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summat
e
.
c: barvinok_su
m
m
a
te:
igno
r
e flo
o
rs indep
e
n
de
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ev
a
lue
.
c: add
e
value
_
floor2fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoo
l
aege
omega/occ:
print barvinok
v
ers
i
on number
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdo
o
l
ae
g
e
doc
:
u
pdate s
o
me references
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oola
e
ge
Ma
k
e laurent ba
s
e
d
summation
t
he default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
summate
.
c: barvi
n
ok_su
m
mat
e
: handle quasi
-
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
reduce
_
evalue: ext
r
act out evalue_red
u
ce_size
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
evalue
.
c: evalue_shift_variables:
a
llow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoolae
g
e
summate
.
c: handle equalities for all s
u
mm
a
ti
o
n algor
i
thms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summa
t
e
.
c: barvinok_su
m
mat
e
:
m
ove common
p
arts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
d
o
olae
g
e
e
value
.
c: evalue_sum: move sign handling in
t
o
esum_
o
v
er_d
o
main
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
b
a
rvin
o
k_e
.
cc:
e
nu
m
erate_sum: use b
a
rv
i
no
k
_
s
ummate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
s
u
mmate
.
c: ext
r
a
c
t barvinok_summate from barvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename summ
a
te
.
c
c to barvi
n
ok_s
u
mmate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
reduce_e
v
alue
:
red
u
ce floor wit
h
constan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laurent expansi
o
n based summation
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
e
value
.
c:
e
xten
d
eequal t
o
ha
n
d
le domains and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
eg
e
b
inom
i
al
.
c: extract binom
i
al and fa
c
tori
a
l from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
power
.
h: e
x
tr
a
c
t from
eule
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
i
n
troduce evalue_shift
_
va
r
iables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_point
.
c
c
:
expo
r
t
relat
i
v
e
_coo
r
dinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doola
e
g
e
l
a
t
tice_point
.
h: make
s
ure correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
lattice
_
po
i
n
t
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
util
.
c
:
internalize u
g
ly
b
v_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
l
a
ttice_poin
t
.
cc: multi_monom/lat
t
ice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erdo
o
lae
g
e
do
c
: clean up "exponential
s
ubstitution
"
sectio
n
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
t
e
st_bou
n
d
.
cc
:
a
v
oid loss
o
f preci
s
ion c
a
used by
conversio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
ba
r
vinok_bound: o
p
t
ionall
y
take ma
x
imal size o
f
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
b
a
rvinok_
b
ound: add --
i
terate opti
o
ns
f
o
r
e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdo
o
la
e
ge
verify
.
c: expor
t
functio
n
s for s
e
ttin
g
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ve
r
ify
.
c: eval
u
e_optimum: allo
w
computation of
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoola
e
ge
b
e
r
nstein
.
cc: ev
a
lue2ex
:
don't
assum
e
a
l
l periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
bound
.
cc:
f
i
x call to e
v
alue_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoola
e
ge
e{
a
dd,mul}_periodics
:
plug
m
emory
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
v
alue_be
r
nst
e
in_coeffi
c
ient
s
: hand
l
e prob
l
ems w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
next