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 Verdoolaege
summate
.
c: ad
d
missing re
t
urn values
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
e
r
doolaege
M
a
kefile
.
a
m: include
l
ib
i
n
clude di
r
in
build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
laure
n
t
.
cc:
don't use cons
t
vectors as map
k
eys
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoolaege
variable length arrays ar
e
not sta
n
dard C
+
+ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
genfun
.
c
c
: ar
g
ument of mp_g
e
t_memory_fu
n
ctions s
h
o
uld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verdoolaege
update piplib for compati
b
ility chang
e
s
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n
Verdoolaege
upda
t
e pol
y
li
b
with extra field
i
n Pa
r
am_Polyh
e
dron
commit
|
commitdiff
|
tree
2008-07-30
S
v
e
n
V
erd
o
olaege
d
oc: fix ty
p
os
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoolaege
a
d
d
missing algorithm include for find
commit
|
commitdiff
|
tree
2008-07-22
S
v
en V
e
rdoolaege
Fi
x
o
ut-of
-
bounds error
in Laurent expa
n
sion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Incl
u
d
e
e
m
pty
.
c
file in libba
r
vinok
i
f GiNaC
w
a
s not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
correctly
r
eflec
t
e
xt
r
a source
s
fo
r
libbarvinok a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
fix
typo in comment
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoola
e
ge
l
i
b/str
i
ng
.
in
.
h
: copy __restrict handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven V
e
rdoolae
g
e
u
p
d
ate gnulib
f
u
nction to last pre-GPLv3 v
e
r
sion
commit
|
commitdiff
|
tree
2008-07-02
Sven V
e
rdoo
l
aege
e
n
umerator::handle: r
e
p
lace incorrect delete by fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdo
o
l
ae
g
e
u
p
d
a
te piplib for co
r
rected
Ur
s
_parms h
a
ndling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
conf
i
gure: use
correct header
files i
n
case of
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaege
configure
.
in: fix
check
for
code_gen library availabil
i
ty
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/occ: only
o
pen debug outpu
t
file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
l
aege
omega/Mak
e
f
i
le
.
am: av
o
id bison'
s
-o option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
V
e
rdoolaege
rang
e
.
c
c
: add missing i
n
clu
d
e of all
o
ca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erd
o
o
la
e
ge
d
oc: fix
t
yp
o
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
add
e
dito
r
s to ITS
L
p
apers
commit
|
commitdiff
|
tree
2008-05-07
S
v
e
n
Ve
r
doolae
g
e
use argp
f
or argument par
s
ing in
b
arvinok_ehr
h
art and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
erdo
o
lae
g
e
prope
r
ly handl
e
N
TL CPPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
S
v
en Verdoolaege
basis_reduction_templ
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
lae
g
e
barvino
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
Verdoola
e
ge
add some test sets from itsl2008 pap
e
r
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
doolaege
doc: add latest
(
a
ccepted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ve
r
doolaege
M
a
k
e
file
.
am:
add section_array
.
h t
o
distribution
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdoo
l
aege
normali
z
ation
.
c:
c
omput
e
_shifts: remove redundant r
e
turn
commit
|
commitdiff
|
tree
2008-05-04
S
ven V
e
rdoolaege
move Free_Para
m
Names
polylib and make pa
r
am names
c
onst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
o
c
c:
a
dd interface t
o
b
a
rvi
n
ok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
ex_convert
.
c
c: ext
r
act e
x
2evalue
f
r
o
m range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: docume
n
t more --summation
methods for
barvinok_summat
e
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoo
l
aeg
e
o
p
t
ions
.
c: rena
m
e "barvinok" s
u
mmati
o
n m
e
t
hod to "box"
commit
|
commitdiff
|
tree
2008-05-04
S
ven
Verdo
o
laeg
e
Makefile
.
am:
c
h
e
ck-euler: also
ch
e
ck
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
summa
t
e
.
c:
b
arvinok_
s
ummate: handl
e
products o
f
p
olyt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
evalue
.
c: export evalue_r
e
order_
t
erms
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoola
e
ge
be
r
nstein: numeric2
v
alue:
fix t
y
po to allow correc
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
ege
util
.
c: Factor_Co
n
text: ex
t
r
acted fr
o
m barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mmat
e
.
c: barvino
k
_summate:
ignore floors
i
n
depe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
evalue
.
c: add
evalue_f
l
oor2fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/occ: print barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
doc: update
som
e
reference
s
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
rdoolaege
Ma
k
e lau
r
en
t
based summ
a
tion the default
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
su
m
mate
.
c
: barv
i
n
ok_summate: handle quasi-polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
o
laege
reduc
e
_evalue: ex
t
ract out
e
v
al
u
e_reduce
_
size
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
evalue
.
c: evalue_s
h
ift
_
v
ariables:
a
llow shifting
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c
: h
a
ndle equalities
for all s
u
mmation
a
lgori
t
hms
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
r
do
o
laege
summate
.
c: bar
v
inok_summat
e
: move com
m
o
n part
s
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ev
a
lue
.
c: e
v
alue_sum: move sign h
a
n
dling into esum_ov
e
r_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
b
a
r
vinok_e
.
cc:
enumerate
_
sum: use barvino
k
_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aeg
e
s
ummate
.
c: extract b
a
rvinok_sum
m
ate from barvin
o
k
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
rename summ
a
te
.
cc to b
a
rvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: reduce_evalue: reduce floor with c
o
nstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
olaege
Add Laurent exp
a
nsion based summa
t
ion
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
do
o
laege
e
va
l
ue
.
c: extend
eequal to handle domai
n
s and
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaege
bi
n
omial
.
c: e
x
tract binomial an
d
factoria
l
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
power
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoola
e
ge
in
t
roduce e
v
al
u
e_shift_va
r
iables
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoo
l
aege
l
attice_point
.
cc
:
export relative_
c
oor
d
inate
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
e
g
e
lattice_poin
t
.
h: make sure
corre
c
t evalues
a
re use
d
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verd
o
olaege
lattice_point
.
cc: ad
d
ceiling functio
n
commit
|
commitdiff
|
tree
2008-04-24
S
v
en
V
er
d
oolaege
util
.
c: inte
r
n
a
l
i
ze ugly bv_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
l
a
ttice_point
.
cc: multi_monom/lattice_p
o
ints: ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
V
e
r
doolaege
do
c
: cle
a
n up
"expo
n
en
t
ial subs
t
itution
"
s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
test_
b
ound
.
cc: a
v
oid loss of precisio
n
cau
s
ed by con
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
ba
r
vinok_bound: optionally
t
ake maximal s
i
z
e
of
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
barvinok_
b
ound: add --it
e
ra
t
e
options f
o
r evaluat
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verd
o
o
laeg
e
verify
.
c: e
x
port
functions
for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaeg
e
verify
.
c
:
eval
u
e
_
optimum: al
l
ow computation of optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
berns
t
ei
n
.
c
c
: evalue2ex:
d
on't ass
u
me all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoo
l
aege
bo
u
nd
.
cc: fix call to evalu
e
_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
oo
l
aege
e{add,mul}_periodics: plug memory
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
e
value_bernstein
_
coeff
i
cients: handl
e
problems
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
update po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verdoolaege
lattic
e
_wi
d
th
.
c
:
skip directions tha
t
are id
e
ntical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am:
a
d
d
cdd94e-test to distrib
u
tion
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
omega/occ: optionally use
p
arker
for
c
omputing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
normalization
.
c: skew_to
_
posit
i
v
e
_orthant: p
r
o
perly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolae
g
e
omega/convert
.
cc: r
e
la
t
io
n
2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdool
a
e
g
e
occ: add dump f
o
r dump
i
ng in barvino
k
_enumerate_e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
barv
i
nok_
e
nu
m
erate_e: opt
i
on
a
lly use parker's me
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
standar
d
_con
s
traints: take con
s
traints
i
n
s
tead of
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
norma
l
ization
.
c:
e
xtract stand
a
rd_constrain
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
parker/count_solutio
n
s
.
cc: fix tr
e
atment of existe
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
eul
e
r
.
cc: eval
u
e_deriv
e
:
ha
n
d
le constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
add some test sets from cases 2004
a
nd cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
re
n
ame barvinok_maximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ad
d
a test for test_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
e
value_range_propagation: remove re
d
undan
t
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
d
oola
e
ge
test_bound: record number of polynomials as "s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
te
s
t_bound: convert
quasipo
l
ynomials to
pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
d
oo
l
aege
test_bound: compare
p
olynomial bound a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
verify
.
c: optimum:
h
andle i
n
put evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
ve
r
ify
.
c: extr
a
ct e
v
alu
e
_op
t
imum from maximize
.
c
c
commit
|
commitdiff
|
tree
next