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 Verdoolae
g
e
piec
e
w
i
se_lst
.
h
:
avo
i
d duplicate parameter n
a
me
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaeg
e
evalue_read
.
c: fix minor bugs in
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
update omeg
a
f
or
m
i
ssing fil
e
s
i
n distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
barvinok_en
u
me
r
ate_e: av
o
id
i
nfinite loo
p
when p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
laege
inclu
d
e omega sub
m
odule
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
m
o
ve o
m
ega s
u
bdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ver
d
o
o
laeg
e
NTL_
Q
Q
.
cc: add stdlib incl
u
de for abort hidden in NTL_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
remove gnulib lin
k
-warni
n
g m
o
dule completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc: find and
s
or
t
are in s
t
d::
na
m
e
s
pace
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
e
r
d
oolaege
lexmin
.
cc:
a
void use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
g
e
4coins
.
c
c: remo
v
e dead code
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
aege
t
est
l
ib
.
cc
:
ad
d
mis
s
ing returns
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolae
g
e
workaround silly sun com
p
i
ler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Avoi
d
use of the make
-
C option
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoola
e
ge
summate
.
c: add missing i
n
c
l
u
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ver
d
oolaege
s
u
mmate
.
c: add
m
issing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
Makefile
.
am: include li
b
in
c
l
ud
e
dir in build di
r
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdoolaege
l
a
u
r
ent
.
cc: don
'
t use
c
o
nst vector
s
as map
k
eys
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
variable
length arrays are not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdoolaeg
e
g
e
nfun
.
cc: argument of mp_get_memory_functions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
update
piplib for com
p
atib
i
lity changes
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n Ver
d
o
o
laege
up
d
at
e
polyl
i
b wit
h
extra f
i
eld in P
a
ram_Pol
y
hedron
commit
|
commitdiff
|
tree
2008-07-30
Sven V
e
rdoolaege
doc:
fix t
y
pos
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
a
dd missing al
g
ori
t
hm incl
u
d
e
f
o
r
find
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
F
i
x out-of-boun
d
s error in Laurent expansion
b
ased
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
Include e
m
pty
.
c file in
l
i
bbarvinok if
GiNaC was
n
ot
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
correctl
y
refl
e
ct e
x
tra s
o
urces for libbarvi
n
ok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Ver
d
oolaege
fix typo
in c
o
mment
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
lib
/
strin
g
.
in
.
h:
c
opy __restrict hand
l
ing fro
m
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Ve
r
doolae
g
e
update gnulib
f
u
n
ction t
o
la
s
t pre-G
P
Lv3
version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumerator::handle: replac
e
incorrec
t
del
e
te by
fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven V
e
rd
o
olaege
upda
t
e
piplib for correc
t
ed Ur
s
_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
V
erdoolaege
configure: use corr
e
c
t
h
eader files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
e
g
e
omeg
a
/occ
:
only open de
b
ug
output f
i
le
if t
h
er
e
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
d
oc: fix typ
o
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaege
add
editors to I
T
S
L
pa
p
e
rs
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolaege
b
arvino
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
add some t
e
st sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
doc: add latest
(
a
c
cepted) publ
i
cations
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
Makefil
e
.
am:
a
dd
section_array
.
h
to distribut
i
on
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normalization
.
c:
compute_
s
hifts: r
e
move redundan
t
return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
move Free_ParamNa
m
e
s polylib and make p
a
ra
m
names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaege
oc
c
:
a
dd interfa
c
e to barvinok_summat
e
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolae
g
e
ex
_
conver
t
.
cc: ext
r
act
e
x
2
evalue
f
rom range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: documen
t
m
o
re --
s
ummation met
h
od
s
for
b
arvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oola
e
ge
options
.
c: rename "barvinok" summ
a
tion method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
Makefile
.
am: che
c
k-euler: al
s
o check l
a
urent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c: barvin
o
k_summate: handle pro
d
ucts of pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaeg
e
evalue
.
c: e
x
port evalue_re
o
rd
e
r
_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
laege
bernstein: numeri
c
2value:
f
ix typo to all
o
w cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
util
.
c: Factor_Contex
t
: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoola
e
ge
summat
e
.
c: ba
r
vinok_summate
:
ignore floors
in
d
epende
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
evalue
.
c: add evalue_floor2f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
ome
g
a/occ: print barvi
n
ok versi
o
n number
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
doc: update
s
ome references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
Make
la
u
r
e
nt
b
ased summati
o
n the default
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doolaege
summate
.
c:
b
arvinok_summ
a
te: handle quasi-po
l
yn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
r
e
d
uce_evalue:
e
xtra
c
t ou
t
e
valu
e
_
r
edu
c
e
_
si
z
e
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
evalu
e
.
c:
e
value_shif
t
_variab
l
e
s
: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
laege
summate
.
c:
h
andle eq
u
alities fo
r
all summation
algo
r
i
t
hms
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
olaege
summa
t
e
.
c: barv
i
nok
_
summate: move common pa
r
t
s of s
u
mmation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
g
e
evalue
.
c: evalue
_
sum: move sign handling
into esum_over
_
domai
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
barvinok_e
.
cc: enumerate_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
summate
.
c: extr
a
ct
b
a
rvinok_summat
e
f
rom barv
i
no
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoola
e
ge
r
e
name summate
.
cc to barvin
o
k_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
ev
a
lue
.
c: reduce_evalue: reduce floor
with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ver
d
oolaege
A
dd Laurent expansion based
summation
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdo
o
laege
evalue
.
c: extend
e
e
qual to han
d
le doma
i
ns and Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
bi
n
omial
.
c: extract binomial a
n
d factorial from eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
power
.
h:
e
xtract from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Verdoolaege
introduce evalue_
s
hift_variables
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Ver
d
oolaege
l
a
ttice_p
o
i
nt
.
cc: ex
p
ort relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
lattice_poin
t
.
h: mak
e
su
r
e correct evalues
a
re
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc: add ceiling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
u
til
.
c: inter
n
alize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Verdoolaege
l
attice
_
p
o
int
.
cc: multi_mon
o
m/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ver
d
oolaeg
e
doc: clean up "exponen
t
ial substitution"
sectio
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doo
l
aege
test_bound
.
cc: avoid loss of p
r
ecision caused b
y
convers
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvin
o
k_bound: optiona
l
ly ta
k
e maximal size of
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound:
a
dd --itera
t
e options fo
r
evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
verify
.
c
:
e
xport f
u
nct
i
ons f
o
r se
t
ting and clea
r
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
laeg
e
ver
i
fy
.
c:
evalue_optimum: allow co
m
p
u
tation of
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoo
l
ae
g
e
bernstein
.
c
c: evalue
2
ex: don't assume
all
p
eriodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bound
.
cc: fix
c
al
l
to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
e{add,mu
l
}
_periodics: pl
u
g
m
e
mo
r
y leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
v
alue_bernst
e
in_coefficients: handle problems w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ver
d
o
olaege
lattice_width
.
c: skip directions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
M
a
kefile
.
am
:
add
cdd94e-test to distr
i
butio
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
ol
a
ege
o
mega/
o
cc: optionally
use parker for computi
n
g cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doo
l
a
ege
normal
i
za
t
ion
.
c: skew_to_p
o
sitive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
doolaege
o
m
e
ga/convert
.
cc: re
l
ation2Domain: o
n
ly col
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoo
l
aege
occ: add dump fo
r
du
m
ping i
n
b
arvinok_en
u
merate_e
f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
barvi
n
ok_enumerate_e:
op
t
i
o
nally use parker's m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoo
l
a
e
ge
s
t
andard_constraints
:
tak
e
constrai
n
ts instead of po
l
yh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
normalizati
o
n
.
c: extract
standard_co
n
straint
s
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
parker/count_solut
i
ons
.
cc: f
i
x
treatment of existentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaege
c
o
m
p
il
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc:
e
value_d
e
rive
:
handle co
n
stant poly
n
omials
commit
|
commitdiff
|
tree
next