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
summate.c: add missing return values
2008-08-28
Sven Verdoo
l
a
ege
summate
.
c:
a
dd missing retur
n
values
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
e
r
doolae
g
e
Make
f
ile
.
am:
inclu
d
e lib i
n
clude dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoo
l
aege
lau
r
ent
.
cc:
don't use const ve
c
tors as map k
e
ys
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ver
d
oolaeg
e
variable length arrays
are not standa
r
d C++ (y
e
t)
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
genfun
.
cc:
argument of
m
p
_get_
m
em
o
ry_functions sho
u
ld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoo
l
aege
updat
e
pi
p
lib for c
o
mpatib
i
lity changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaeg
e
update
p
olylib wit
h
extra
field in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
V
erdo
o
laege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n
Verdoo
l
aege
a
d
d missing al
g
or
i
thm include for fi
n
d
commit
|
commitdiff
|
tree
2008-07-22
S
ven Ve
r
d
o
olaege
F
i
x
out-of
-
bounds erro
r
in Laurent ex
p
ansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n Ver
d
oolaege
Includ
e
empty
.
c file
i
n
libbarvino
k
if GiNaC
w
a
s n
o
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolaege
correctly reflect e
x
tra so
u
rce
s
fo
r
l
i
bba
r
vinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix typo in comme
n
t
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
lib/
s
tring
.
in
.
h: copy _
_
r
e
stri
c
t
handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
upd
a
te gnulib function to last p
r
e-
G
PLv3 vers
i
on
commit
|
commitdiff
|
tree
2008-07-02
Sven
Verdoolaege
enu
m
erat
o
r::handle: rep
l
ace incorrect dele
t
e
by fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven
Verdool
a
ege
update piplib for corrected Urs_pa
r
ms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
Ve
r
doolaege
configure: use correct header files
i
n
case of b
u
ndl
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
laege
confi
g
u
re
.
in:
f
i
x
check for code_gen
librar
y
availabili
t
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/oc
c
: only open debug outp
u
t file if there i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
a
e
ge
omeg
a
/Mak
e
f
i
le
.
am: a
v
oi
d
b
i
son's -o o
p
tion as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
Ve
r
doola
e
ge
range
.
cc: add missing
i
nclude o
f
al
l
oca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
er
d
ool
a
e
ge
doc
:
f
ix typ
o
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
add editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdool
a
eg
e
use argp f
o
r argument pars
i
ng in bar
v
inok_ehrha
r
t and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verd
o
olae
g
e
prope
r
ly handle NTL CPP
F
L
A
GS and LDFL
A
GS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
basis_re
d
uction_templ
.
c: add missi
n
g incl
u
de
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doolaege
barv
i
nok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
ege
add
some test
sets from itsl200
8
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
doc: ad
d
latest (accepted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: add section_array
.
h
t
o distribut
i
on
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
normalization
.
c: compu
t
e
_shifts: remove redundant retur
n
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
d
o
o
la
e
g
e
m
o
ve Free_ParamNames poly
l
ib and make par
a
m names co
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaeg
e
occ: add
i
nterface to
b
ar
v
inok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoo
l
aege
ex_conve
r
t
.
c
c: ext
r
act ex2eva
l
ue from range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
doc:
d
ocument mo
r
e
--summation methods
for
b
arvinok_summat
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
e
ge
options
.
c: ren
a
me
"barvi
n
ok" summation method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
Mak
e
f
i
le
.
am: ch
e
c
k-euler
:
a
l
so
c
h
e
ck laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c: barvi
n
ok_summate
:
h
a
nd
l
e produ
c
t
s
of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
evalue
.
c:
e
xpor
t
evalue_re
o
rder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
bernstein:
nu
m
eric2valu
e
: fi
x
typo
t
o
allow c
o
rr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ol
a
ege
util
.
c: Factor_Conte
x
t:
extracted fr
o
m
barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
s
u
mmate
.
c: barvin
o
k
_summate: ignore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
e
v
a
l
ue
.
c
:
ad
d
evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolae
g
e
ome
g
a/occ: print barvinok versio
n
numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
doc: upd
a
t
e some references
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdo
o
la
e
g
e
Mak
e
laur
e
nt
b
ase
d
s
u
mmation the defaul
t
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolae
g
e
summat
e
.
c: bar
v
inok_summate: handle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
reduce_eval
u
e: ex
t
ract o
u
t
e
value_reduce
_
size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
e
value
.
c: eva
l
ue_shift_variables:
a
llow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdool
a
ege
summate
.
c: handle equalities for all
s
ummatio
n
algor
i
thms
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Ver
d
oolaege
summate
.
c: b
a
rvin
o
k_sum
m
ate: move common parts of su
m
mation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c:
e
value_su
m
: move si
g
n handl
i
n
g into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
b
arv
i
no
k
_
e
.
cc: enum
e
rate_sum
:
u
s
e barvinok_
s
ummat
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mma
t
e
.
c:
e
xtr
a
ct bar
v
inok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doolaege
rename summat
e
.
cc to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
e
rdoolae
g
e
ev
a
lue
.
c: reduce_ev
a
lue
:
reduce floor with con
s
tant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
A
d
d La
u
rent
expansion b
a
sed summati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
o
laege
e
v
alue
.
c: e
x
tend eequal to handle
do
m
ains and
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomial
.
c: extract binomial
and factor
i
al
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
power
.
h
:
extract fro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Ve
r
doolaege
introdu
c
e eval
u
e_shift_variab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
la
t
tice_point
.
cc: ex
p
ort relative_coordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lat
t
ice_poi
n
t
.
h: make su
r
e correct evalue
s
a
r
e
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_poi
n
t
.
cc:
a
dd ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
ut
i
l
.
c: in
t
ernalize ugly bv_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaeg
e
lattice_point
.
c
c: multi
_
monom/lattice_po
i
nts
:
r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ve
r
doolaeg
e
doc: clean up "expone
n
t
ial substitu
t
i
on" section
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
tes
t
_bound
.
c
c:
a
void loss o
f
precision caused by co
n
v
e
r
sio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
barvinok_bound: optionally take
maximal s
i
ze
o
f domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
ba
r
vinok
_
bound: add --
i
t
erate options for e
v
al
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
verify
.
c: expor
t
function
s
for
s
et
t
i
ng and c
l
earin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
veri
f
y
.
c
:
e
v
a
lue_op
t
i
m
um: allow co
m
putation of
o
p
tim
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Ver
d
o
olaege
b
ernstei
n
.
cc: evalue2ex: don't
assume al
l
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
bou
n
d
.
cc
:
fix ca
l
l to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
e{a
d
d,mul}_
p
eriodic
s
: plug m
e
mory l
e
aks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
d
o
olaege
e
v
alue_bernstein_coe
f
f
icients: handle
p
roblems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolae
g
e
u
pdate polylib
commit
|
commitdiff
|
tree
2008-04-05
S
ven
V
e
r
doolaege
lattice_width
.
c: s
k
ip directions t
h
at are i
d
entical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
a
m
: add cdd94e-test
t
o
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verd
o
olaege
omega/occ: o
p
t
i
onally use parker for computing ca
r
d
inal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
no
r
ma
l
izati
o
n
.
c: ske
w
_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
o
m
ega/convert
.
cc: relation2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
g
e
o
c
c: add d
u
mp for du
m
ping
in barvinok_enumerate_e for
m
at
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
erdoo
l
ae
g
e
barvi
n
ok_enumerate_e: optionally
u
s
e parker's
m
etho
d
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
V
erdoolaege
standard
_
co
n
straints:
t
a
ke c
o
ns
t
raints instead of polyhe
d
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoo
l
aege
normalization
.
c: extract sta
n
dard_c
o
n
straints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
park
e
r/
c
ount_s
o
lutions
.
cc: fix
t
r
eat
m
ent of existen
t
ially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoo
l
aege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add
p
arker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eu
l
er
.
cc: ev
a
l
ue_deriv
e
: handle
c
o
ns
t
a
n
t
p
o
l
ynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaeg
e
a
d
d some test
sets from cases 2004 and cc
2
005 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
rename barvino
k
_
maximize to barvi
n
o
k
_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
eg
e
add a t
e
st for t
e
st
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propa
g
a
t
ion: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_bou
n
d: rec
o
rd n
u
m
ber of polynom
i
als
as
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_bound: co
n
vert qu
a
s
ipoly
n
omials to
polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
test
_
boun
d
: compare polynomial
b
oun
d
al
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
verify
.
c: optimum: handle input evaluatin
g
to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract evalue_optim
u
m
f
rom maximi
z
e
.
cc
commit
|
commitdiff
|
tree
next