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
piecewise_lst.h: avoid duplicate parameter name
2008-09-16
Sven Verdoolaege
piece
w
ise_lst
.
h
:
avoid duplicate pa
r
amete
r
name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdool
a
ege
ev
a
lue_read
.
c: fix mi
n
or bu
g
s i
n
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdool
a
ege
update ome
g
a fo
r
missing f
i
les in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
b
a
rvinok_enu
m
erate_e: avoid infini
t
e loop
whe
n
p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
in
c
lude ome
g
a
submodule
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
V
e
rdoo
l
aege
move
o
m
ega sub
d
ir to omega_in
t
e
rfac
e
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
N
T
L_QQ
.
cc: ad
d
s
t
dlib inc
l
ud
e
for abort hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
remove gn
u
l
i
b
link-
w
arn
i
ng module completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmi
n
.
cc
:
find and sort are in std:
:
names
p
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
lexmin
.
cc:
a
void use of
t
y
peof
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
4coins
.
cc: remove
dea
d
code
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
aege
testl
i
b
.
cc: add mi
s
sing retur
n
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ola
e
ge
workaround
s
illy
sun
c
ompiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Avo
i
d u
s
e
o
f the make -
C
option
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ve
r
doolae
g
e
s
ummate
.
c: a
d
d missing inc
l
ude
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c:
add missing return valu
e
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ola
e
ge
Makefile
.
am: in
c
lude lib
i
ncl
u
de dir
i
n build di
r
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdo
o
l
aege
lau
r
e
nt
.
c
c:
d
o
n't use const vectors as
m
a
p keys
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Ve
r
doola
e
ge
va
r
iab
l
e length arrays a
r
e not stan
d
ard
C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
genf
u
n
.
cc: argument of mp_get_memory_fu
n
ctions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
ae
g
e
upd
a
te pip
l
i
b
for comp
a
tibility c
h
anges
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoo
l
aege
update p
o
lyli
b
with extra
f
ield in Par
a
m
_
Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
Verdoo
l
aege
doc: fix typo
s
commit
|
commitdiff
|
tree
2008-07-22
S
v
en
Verdoolaege
add mis
s
ing algorit
h
m include for find
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolaege
Fix
o
ut-
o
f-bounds error in L
a
u
r
en
t
expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
aege
Inc
l
ude empty
.
c f
i
le in libb
a
rvinok if
GiNaC
was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
c
orr
e
ctly
reflect
e
xtra sour
c
e
s f
o
r l
i
bbarvinok an
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
r
d
oolaeg
e
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
lib/string
.
in
.
h
:
copy __
r
estri
c
t ha
n
dl
i
n
g
from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoo
l
aege
upda
t
e
gnulib fun
c
tio
n
t
o last pre-G
P
Lv3 ve
r
s
ion
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n
V
erdoolaeg
e
enumerator
:
:handle: r
e
place incorrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven
V
erdoolae
g
e
update piplib for cor
r
ecte
d
Urs_parms han
d
ling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoola
e
ge
configur
e
: use
correct header
fil
e
s
in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaege
c
onfigure
.
in: fi
x
ch
e
c
k
for code
_
g
e
n
l
i
brary avail
a
bility
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdool
a
ege
om
e
g
a
/occ: only open debug output
f
ile if t
h
ere
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaeg
e
ome
g
a/Makefile
.
am: a
v
oid
b
ison's -o opt
i
on as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdo
o
laege
range
.
c
c: add miss
i
ng incl
u
de of
a
lloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdo
o
l
a
e
g
e
add editors to ITSL paper
s
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaeg
e
use argp for argume
n
t
p
arsing in ba
r
vinok_e
h
rhart
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoo
l
a
e
ge
p
r
operly han
d
le NTL C
P
PF
L
AGS
a
nd
LDF
L
AGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verd
o
olaege
basis_reduction_
t
em
p
l
.
c:
add mis
s
ing inc
l
ude
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
b
a
rv
i
nok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test se
t
s fro
m
i
ts
l
2008
p
a
per
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
doc:
a
dd lat
e
st (accept
e
d) p
u
b
lications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
Makefile
.
am: add section_
a
rray
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
n
o
rmalization
.
c: compute_shifts:
r
emove red
u
ndant return
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ve
r
doolaege
mo
v
e
F
ree_
P
aramNames
polylib and
m
ake para
m
names con
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
rdoolaege
occ: a
d
d int
e
rface t
o
barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
erd
o
ol
a
ege
ex_c
o
nvert
.
c
c: extract ex2ev
a
lue fro
m
r
a
nge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: document more --summatio
n
methods for barv
i
nok_su
m
m
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdool
a
ege
options
.
c
:
rename "barvinok" summation m
e
t
ho
d
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
M
a
ke
f
ile
.
am: check-euler:
a
l
s
o
che
c
k l
a
urent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
summate
.
c: barvinok_
s
umm
a
t
e
: handle
prod
u
cts
of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
eva
l
ue
.
c
:
export evalue_reor
d
er_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaeg
e
ber
n
stein:
n
u
m
eric2va
l
u
e
:
fix
typ
o
t
o
a
llow correc
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaeg
e
util
.
c: Factor
_
Con
t
ex
t
:
extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
aege
summate
.
c: barvinok_summate: ig
n
ore flo
o
rs independe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdool
a
e
ge
evalue
.
c:
a
dd eva
l
ue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Ver
d
o
o
laege
omega/occ: pri
n
t
b
a
rvin
o
k
ver
s
ion
n
um
b
er
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoolaege
doc: update
some re
f
e
r
ences
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Mak
e
laurent
b
a
s
e
d
su
m
mation
the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summa
t
e
.
c: barvi
n
ok_sum
m
ate: hand
l
e
qu
a
si-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
reduce_e
v
a
l
ue: extract
out evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verd
o
olaege
evalue
.
c:
e
value_shift_v
a
riables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
summate
.
c: ha
n
dle eq
u
alities for all
s
ummation a
l
gorit
h
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
eg
e
summate
.
c: barv
i
nok_summat
e
:
mov
e
c
ommon pa
r
ts o
f
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
evalue
.
c: evalue
_
su
m
: move
sign handling into
esum_over_
d
omai
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
b
a
rvinok
_
e
.
cc: enu
m
erate_su
m
:
use
b
ar
v
inok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erd
o
o
l
aege
summate
.
c: extract barvinok
_
summa
t
e
f
ro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olae
g
e
rename summate
.
c
c
t
o ba
r
vinok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
e
rd
o
o
laege
evalue
.
c: reduce
_
eval
u
e: reduce
fl
o
or w
i
th constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
Add Laurent e
x
pansion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
a
e
ge
eval
u
e
.
c:
extend eequal to handle domains an
d
NaN
s
commit
|
commitdiff
|
tree
2008-04-25
S
ven Ver
d
oolaege
b
inomial
.
c: ex
t
r
act
binomial
and fa
c
toria
l
from
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Ver
d
oolaege
po
w
er
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
int
r
oduce evalu
e
_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
lattice_poin
t
.
cc: export relative_
c
oordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
l
a
t
tice
_
p
o
in
t
.
h
: make sure correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
S
ven
V
erdoolaege
l
a
t
tice_poin
t
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verd
o
olaege
ut
i
l
.
c:
i
nt
e
rnalize
u
g
l
y
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoo
l
aege
lattice_
p
oint
.
c
c
: multi_
m
onom
/
lattice_
p
oints: r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rdoola
e
ge
doc:
c
l
ean up "ex
p
one
n
tial
substituti
o
n" section
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
d
o
o
laeg
e
tes
t
_b
o
und
.
cc: a
v
oid loss of precision caused by c
o
nv
e
r
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bou
n
d: op
t
ionally take
m
ax
i
m
a
l size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
V
e
r
d
oolaege
bar
v
i
n
ok_bound: add --it
e
rat
e
options for e
v
a
l
uati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
erify
.
c: expo
r
t
functions for setting and c
l
ear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
verify
.
c: e
v
a
l
ue_
o
ptimum: allow
c
o
m
putation of opti
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
bernstein
.
cc: evalue2ex: don't assu
m
e a
l
l periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bound
.
cc: fix call
to evalue
_
conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
e{
a
d
d
,mul}_periodics: pl
u
g memor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
aege
evalue_
b
e
rnstein_coefficients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doo
l
a
e
ge
update po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
Verdool
a
ege
lattice_width
.
c: skip d
i
r
e
ctions
t
h
a
t
are identic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ve
n
Verdoolaege
Ma
k
efile
.
am:
add
c
d
d94e-test to d
i
s
t
ribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ver
d
o
olae
g
e
om
e
ga/
o
c
c:
optionally
u
s
e parke
r
f
or comput
i
ng cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaeg
e
normalization
.
c: ske
w
_to
_
posit
i
ve_orth
a
nt
:
prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoo
l
a
e
ge
omeg
a
/c
o
nvert
.
cc: relatio
n
2
D
omain: o
n
ly collec
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
occ: add dump for d
u
m
pi
n
g
i
n
barvino
k
_e
n
umerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
ae
g
e
barvin
o
k_enumer
a
te_e
:
opt
i
o
n
all
y
use parker
'
s
m
ethod
commit
|
commitdiff
|
tree
next