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
Include empty .c file in libbarvinok if GiNaC was not found.
2008-07-22
Sven Ver
d
oo
l
aeg
e
Incl
u
de empty
.
c file in libbarvino
k
if GiNaC was n
o
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correctly reflect extra so
u
rces for li
b
barv
i
nok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
aege
fix typo in co
m
ment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
lib/string
.
in
.
h
: c
o
p
y
_
_r
e
strict handling f
r
om
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
ven Verdoolaege
update gnulib function to last p
r
e-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoo
l
aege
enumerator::han
d
le:
replace incorrect de
l
ete by
free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaeg
e
update piplib for correcte
d
Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
S
v
en
Verdoolaege
c
o
n
f
i
g
u
re: us
e
correct
h
eader files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doo
l
aege
con
f
igure
.
in
:
fix chec
k
for code
_
gen library
a
vailability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
om
e
ga/o
c
c:
o
nly op
e
n debug output file
i
f
there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/Makefile
.
am: a
v
o
id bison's -o
op
t
ion
as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdool
a
ege
range
.
c
c: add mis
s
ing i
n
clude of
alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
olaege
add editors t
o
ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven
Verdoolaege
use argp for a
r
gume
n
t parsing
i
n barv
i
nok_ehrhart
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven V
e
rdoolaege
pr
o
perly hand
l
e NTL CPP
F
LA
G
S
a
nd LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdo
o
l
a
ege
basis_reduction_templ
.
c
:
add
miss
i
ng include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ba
r
vino
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test
sets from i
t
sl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: a
d
d
late
s
t (accepted) publication
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
Mak
e
file
.
am: add
section_ar
r
ay
.
h to dist
r
i
b
ution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normalization
.
c:
c
om
p
ute_shifts: remove
redundant
r
eturn
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
oola
e
ge
move F
r
ee_ParamNa
m
es polylib an
d
m
ake par
a
m names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
o
c
c: ad
d
inter
f
ace
t
o barvinok
_
summ
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doola
e
ge
ex_conv
e
rt
.
cc: e
x
tract ex2evalue
f
rom range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
doc: doc
u
ment more --summation methods for barvinok_summ
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
op
t
i
o
ns
.
c
:
renam
e
"
b
arvinok" summ
a
tion
method to "box"
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaeg
e
Mak
e
f
i
le
.
am: check-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
s
um
m
ate
.
c: barv
i
nok_summ
a
te
:
handle products
o
f polyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
e
v
alue
.
c: export evalue_
r
eorder_term
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein: numeric2value: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdool
a
eg
e
util
.
c: Factor_Cont
e
x
t
:
extracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdo
o
laege
su
m
mate
.
c: bar
v
i
n
ok
_
summa
t
e: ignore flo
o
r
s indepen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
evalu
e
.
c
:
a
d
d evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
omega
/
occ: pri
n
t bar
v
inok ver
s
ion nu
m
be
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
o
laege
doc:
update some refe
r
enc
e
s
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
e
rdoolaege
Make laurent based s
u
m
mation the d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdo
o
l
aege
summate
.
c:
b
arvi
n
ok_summ
a
t
e
: handle quasi-p
o
lynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
r
e
duce_eval
u
e: ex
t
ract out evalue_r
e
duce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
eva
l
ue
.
c: eva
l
u
e_shift_variables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
s
ummate
.
c: handle
e
qualities
for all summation al
g
orithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
umm
a
te
.
c: b
a
rvinok_summate: move common parts of summati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
e
v
alue
.
c: evalue_sum: move sign han
d
lin
g
int
o
e
sum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
barvinok_e
.
cc:
e
numerate_sum: us
e
b
a
rvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
ege
summat
e
.
c: extract
b
arvinok_s
u
mmate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
d
oolaege
rename summ
a
te
.
cc to b
a
rvinok_summat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
eva
l
ue
.
c: redu
c
e_
e
va
l
ue: red
u
ce
fl
o
or
w
it
h
cons
t
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laurent expan
s
ion based summati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend
e
e
q
ual to handle doma
i
ns an
d
NaN
s
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
bin
o
mial
.
c: extr
a
ct binomia
l
a
n
d
f
actoria
l
from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
pow
e
r
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
introduce evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
lattice_point
.
cc: export
relat
i
ve_c
o
ordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
lat
t
i
c
e_poi
n
t
.
h: ma
k
e s
u
re
correct evalues are use
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaeg
e
lattice_
p
oint
.
c
c
:
add ceiling
f
unc
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verd
o
olaege
u
t
il
.
c:
i
nterna
l
ize ugly bv_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
la
t
tice_point
.
c
c
: multi_mon
o
m/latt
i
ce_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clean
up
"exp
o
nential sub
s
t
i
tution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc:
a
void loss of precision caused
b
y con
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdo
o
laege
bar
v
i
n
ok_bo
u
nd: optionally take maximal s
i
ze of
d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
barv
i
n
o
k
_bound: add --iterate options
f
or ev
a
lua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
e
ge
verify
.
c:
e
x
p
o
rt functions for set
t
ing
a
nd clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
verify
.
c:
e
value_optimum:
a
l
l
o
w co
m
putation
o
f optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ve
r
doolaege
bernstein
.
cc: evalue2ex:
d
o
n't assume all
p
eriodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
bou
n
d
.
cc: fix call to eval
u
e_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
{
a
d
d,mul}_periodics:
p
lug memory
l
eaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_berns
t
ein_coefficients: ha
n
dle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoola
e
ge
update p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
e
r
doolaege
lattice_width
.
c: s
k
ip dir
e
ctio
n
s that ar
e
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ve
r
doolaege
Makefile
.
am: add c
d
d94e-test to
dist
r
ibution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
ome
g
a/
o
cc: optionally use parker for co
m
puti
n
g ca
r
di
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: skew_to_positiv
e
_orthant: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
o
mega/convert
.
c
c:
r
e
l
ation2Domain
:
only
c
oll
e
ct se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoo
l
a
eg
e
occ:
add dump for dumping in barvinok_en
u
merate_
e
f
o
r
mat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_enu
m
erate_e: o
p
tionall
y
us
e
p
arker
'
s
m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoola
e
ge
standard_const
r
aints: take constraint
s
in
s
tead o
f
p
o
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoo
l
aege
normalization
.
c: extrac
t
standar
d
_c
o
nstra
i
nts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaege
pa
r
k
er/coun
t
_solu
t
ions
.
cc: fix
treatment of exist
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compil
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
euler
.
cc: ev
a
lu
e
_
derive: handle const
a
nt polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
add so
m
e test s
e
t
s
f
rom
c
a
s
es
2004
and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
rename
b
arvi
n
ok_m
a
ximize
t
o barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
ad
d
a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
oolaege
evalue_range_propagation: remove redundant polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaeg
e
test_bound: re
c
ord numb
e
r of polynomials as "size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
test_bound:
c
o
nvert quas
i
polynom
i
als
to po
l
ynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
tes
t
_bound:
compa
r
e
p
o
lynomial
b
o
u
n
d algo
r
it
h
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimu
m
: handle
i
nput eva
l
uating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdool
a
ege
veri
f
y
.
c: extract evalue_opt
i
mum from
m
aximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
verify
.
c: extract
common code for verif
y
ing operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
ol
a
ege
e
v
alue_range_prop
a
gat
i
on
:
add
m
o
noto
n
icity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
barvinok_maxi
m
i
z
e:
o
ptio
n
ally us
e
(basic
)
range pr
o
pagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Add
s
o
me support
for dea
l
in
g
wi
t
h
evalue
s
that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
bar
v
inok_en
u
merate: support use of
Eul
e
r-M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdo
o
laege
impl
e
m
en
t
Bernoulli_s
u
m as co
n
version fro
m
unweight
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
o
ulli_s
u
m_ev
a
lu
e
:
exploit integer b
o
un
d
s
to
r
ed
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
keep
tr
a
ck o
f
num
b
er of Bernoul
l
i
sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bernoulli
.
c
: p
r
o
tect sh
a
red evalue fro
m
mod
i
fica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
test Bern
o
ulli sums ba
s
ed
ex
a
ct enumeration
commit
|
commitdiff
|
tree
next