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
S
ven Verdool
a
ege
barvinok 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verdoolaeg
e
doc
:
add
e
xperimental
comparison between old and
n
ew
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lex
m
i
n
.
cc: remove
"anach
r
o
nism
"
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
doc: add som
e
less
c
ommon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoola
e
ge
add "clever" Laurent expansi
o
n bas
e
d
s
u
mmation
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
move Last_Non_Zer
o
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
extract out param_polynomial from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaege
ext
r
a
ct
v
ertex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sv
e
n
Ver
d
oolaege
update polylib for speed
improvement in
in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
rdoo
l
aege
upda
t
e pipli
b
for
d
istributio
n
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven V
e
rdoolaege
Polyhedron
_
Fact
o
r: fix
m
erging
o
f groups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaeg
e
(t)count
e
r:
move counter
:
:reset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefi
l
e
.
am: keep bett
e
r trac
k
of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdool
a
ege
Li
n
e_Length
:
han
d
le 0D p
o
lytope in 1D s
p
ac
e
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdool
a
e
ge
Po
l
y
h
edron_Factor: handl
e
polyhedr
a
w
i
t
h
a non-t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Verdoolaege
u
p
dat
e
piplib for chan
g
e
i
n configure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
cc: remov
e
unused nonor
t
h
og
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Ver
d
oolaege
u
pdate piplib
f
or MinGW
c
o
mpatib
i
l
ity
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoolaege
up
d
ate polylib for
M
i
nGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: in_doma
i
n: special-case
0
D d
o
mains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaeg
e
Avoid use of sys/times
.
h header whe
n
not available
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verd
o
olaeg
e
ad
d
g
nulib
g
etsu
b
op
t
module for Mi
n
GW
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verd
o
olaege
READM
E
: mention th
a
t
GiNaC is also needed
f
or the
O
m
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Ver
d
oolaege
Allow build of o
c
c when usi
n
g b
u
ndled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolae
g
e
doc: ad
d
a reference to
a master thesis ac
t
ual
l
y using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
lae
g
e
b
arvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
d
o
olaeg
e
README: fix
up
inst
a
llation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
erdoolaege
A
d
d
f
i
l
es generated by bison and flex to the
d
istr
i
b
ut
i
on
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdool
a
ege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verd
o
olaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Verdoolaege
evalue
.
c
:
affine2evalue
:
reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
eval
u
e
.
c: evalue
_
le
v
el_cmp: produce m
o
re con
s
istent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add
a
nother pape
r
referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolae
g
e
piecewise_lst
.
h
:
avoid duplicate parameter n
a
me
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoo
l
aege
e
v
alue_re
a
d
.
c: fix minor b
u
g
s
i
n tokeniz
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoolaege
updat
e
o
mega for mi
s
s
ing files i
n
distrib
u
tion
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdo
o
lae
g
e
barvi
n
ok_e
n
um
e
rate_e: avoi
d
infinit
e
loop when present
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
move omega
subdi
r
to omega_
i
n
t
e
r
fac
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL
_
QQ
.
cc: add
stdlib includ
e
for abor
t
hidden
i
n
N
T
L_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
remove gnulib l
i
nk-warning module completely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update polylib with
e
xtra
fi
e
ld i
n
P
a
ram_Pol
y
hed
r
on
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoo
l
ae
g
e
update gnu
l
ib functio
n
to last pre-GPLv3
v
ersion
commit
|
commitdiff
|
tree
2008-07-02
Sven
Verdoo
l
aege
enu
m
erator::hand
l
e: replace incorrect delete
by free
commit
|
commitdiff
|
tree
2008-06-17
Sven V
e
rdool
a
ege
update piplib for
c
orrected Urs_pa
r
ms han
d
ling
commit
|
commitdiff
|
tree
2008-06-12
Sven
V
erdo
o
lae
g
e
co
n
figure: use c
o
rrect header
f
iles i
n
case
o
f
bu
n
d
le
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/oc
c
: only
o
pen deb
u
g out
p
ut file i
f
t
here is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
add e
d
itors to ITSL pap
e
rs
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdool
a
ege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdo
o
laege
a
dd some test sets
f
rom itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
olae
g
e
doc: add
lat
e
st (acce
p
ted)
public
a
tions
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
M
akefile
.
a
m
:
a
dd
s
ection_array
.
h
t
o di
s
tribu
t
io
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normalizatio
n
.
c: c
o
mpute_shifts:
r
emov
e
redundant r
e
t
urn
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ver
d
oolaege
move F
r
ee
_
Pa
r
amN
a
mes p
o
l
ylib
an
d
make para
m
nam
e
s const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
occ: add interfa
c
e to barvinok_su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaeg
e
ex_c
o
nvert
.
cc: ext
r
a
ct ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verd
o
ol
a
eg
e
doc: docu
m
ent
more --s
u
m
m
ation methods
f
o
r barvinok
_
su
m
m
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
a
eg
e
options
.
c: renam
e
"
barvinok" summat
i
o
n
m
e
thod
t
o
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
do
o
lae
g
e
Makefile
.
am:
c
hec
k
-eule
r
: also
check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
o
laege
s
u
m
ma
t
e
.
c: ba
r
vinok_summate: handle pr
o
ducts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doolaege
evalue
.
c: expor
t
eva
l
ue_reo
r
der_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoo
l
a
ege
bernst
e
in: numeric2value: fix
t
ypo to allo
w
corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c: Fac
t
or_Context:
extract
e
d from barvino
k
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaege
summate
.
c: barvinok
_
su
m
ma
t
e: ignore fl
o
ors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolae
g
e
eval
u
e
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
o
m
ega/occ: print
b
arvi
n
o
k
versio
n
n
umber
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: update some re
f
e
r
e
n
ces
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
ool
a
e
ge
Make la
u
rent b
a
sed summation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laeg
e
s
u
m
m
a
t
e
.
c:
b
a
rv
i
n
o
k_su
m
mate: handle
quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_eval
u
e:
extract out eva
l
u
e
_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
evalue
.
c: evalue_shift_v
a
riab
l
es: al
l
ow
s
h
ifting
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
r
d
oolaege
summate
.
c: handle equalities
for all summatio
n
algorith
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvi
n
ok_summ
a
t
e:
m
o
ve c
o
mmon parts of summat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c: eval
u
e_sum: move s
i
g
n
handling into esum_ov
e
r_dom
a
in
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoolaege
b
a
r
vinok_e
.
cc:
e
n
u
mer
a
t
e
_sum
:
use bar
v
inok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
summate
.
c
: extract barvinok_s
u
mmate fr
o
m ba
r
vinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rena
m
e summate
.
cc to bar
v
inok_summa
t
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoolaege
evalue
.
c: r
e
duce_evalue: red
u
ce floor with
c
onsta
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
Ad
d
Laurent
expansion based summ
a
t
i
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erd
o
o
l
a
ege
evalu
e
.
c: ext
e
nd eequal to
h
andle domains a
n
d Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
bin
o
mial
.
c: ext
r
act
binom
i
al and factorial f
r
om
eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en
V
erd
o
olaege
p
ower
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
intro
d
uce eva
l
ue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaeg
e
lattice_
p
oint
.
cc: export relati
v
e_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
h:
m
ake sure corr
e
ct evalue
s
are u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
rdoo
l
aege
la
t
t
ice_point
.
cc: a
d
d c
e
ili
n
g
f
uncti
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
l
attice
_
point
.
c
c
:
multi_monom/la
t
ti
c
e_points: r
e
tu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rd
o
olaege
doc: clean
u
p "e
x
po
n
en
t
i
a
l substitution" s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olae
g
e
test_bound
.
cc: a
v
oid loss of pr
e
c
ision
caused by conversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
oolaege
barvino
k
_
b
ound: op
t
io
n
a
l
ly take maximal s
i
ze
o
f
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdo
o
la
e
ge
b
a
r
vinok
_
bound: add --iterate
o
ptio
n
s for eva
l
u
a
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven V
e
rdoolaege
verif
y
.
c: export functions
f
or settin
g
and clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: evalue_optimum
:
a
l
low co
m
putation of o
p
timu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
aege
b
e
rnstein
.
cc: eva
l
ue2
e
x: don't assume all pe
r
i
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc: fix call to ev
a
lue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doola
e
ge
e{ad
d
,mul}_periodic
s
:
p
lug memory l
e
a
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oo
l
aege
evalue_bernst
e
in_c
o
efficien
t
s: handle problems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
oolaeg
e
u
pdate polylib
commit
|
commitdiff
|
tree
next