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
barvinok_enumerate_e: avoid infinite loop when presented with incorrect input
2008-08-28
Sven Verdoolaege
barvino
k
_enumer
a
te_e: avoi
d
i
nfinite
loo
p
whe
n
presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
inc
l
ude omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdoolaege
move o
m
ega subdir t
o
omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verd
o
ol
a
eg
e
NTL_Q
Q
.
cc: add stdlib inc
l
ude for a
b
ort
h
idd
e
n in
N
TL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verdoolae
g
e
re
m
ove gnulib
link-warning modu
l
e
comp
l
etely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
l
exm
i
n
.
cc: find
a
nd s
o
r
t are in
s
td:: namespace
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdo
o
la
e
ge
lexmi
n
.
c
c
: a
v
oid use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coins
.
cc: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
t
e
stlib
.
cc: add
missing returns
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ve
r
d
oolaege
w
o
rkaround si
l
ly sun compiler
e
rrors
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaeg
e
Av
o
id use of the
make -C option
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoola
e
ge
summate
.
c: add missing include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
summate
.
c: add missing return v
a
lues
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
M
akefile
.
a
m: include
lib include dir in build di
r
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaeg
e
laure
n
t
.
cc: don't
use c
o
nst
vec
t
ors a
s
map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
variable length
a
rrays a
r
e not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
eg
e
genfun
.
cc
:
a
r
g
u
ment of
m
p
_get_memor
y
_fun
c
tions
s
hould
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdoolaege
updat
e
piplib for comp
a
tibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update polylib with
e
xtra fie
l
d
i
n
Pa
r
am_Pol
y
he
d
ron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolae
g
e
doc: fi
x
t
ypos
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdo
o
lae
g
e
add
m
i
ssing algorit
h
m
include
f
or f
i
nd
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
Fix out-of-bounds err
o
r in L
a
ur
e
nt
expansion ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
Include empty
.
c
f
ile in libbarvi
n
ok if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoola
e
ge
corre
c
tly
r
e
f
lec
t
extra sources for libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
e
r
doola
e
g
e
fix
t
yp
o
in co
m
ment
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdo
o
laege
lib/string
.
in
.
h: copy
__restrict handling from
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven
V
erd
o
ola
e
ge
update gnulib function
t
o last pre-GP
L
v3 versio
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoo
l
a
ege
enumerator:
:
handle
:
replace i
n
correct delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Ver
d
oolaege
upda
t
e pip
l
ib for co
r
rected
U
rs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaeg
e
c
o
nfigure:
u
s
e
corre
c
t
header
f
iles
in ca
s
e
o
f b
u
ndled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaege
omega/occ:
o
nly open d
e
b
u
g o
u
tput file if
t
here is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
rd
o
olae
g
e
doc
:
fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
olaege
ad
d
edit
o
rs to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
add s
o
me test
s
e
t
s
f
rom itsl200
8
paper
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
e
r
doolaege
doc: add latest (acc
e
pted) publication
s
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
d
oolaege
Mak
e
file
.
a
m: add
s
ecti
o
n_array
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normalization
.
c: compu
t
e_sh
i
fts:
r
emove redundant retur
n
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
e
r
d
oolae
g
e
move Free_Pa
r
a
m
Names polylib
a
n
d
ma
k
e param names
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaeg
e
occ: add interface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
lae
g
e
ex_conver
t
.
cc
:
e
x
tract ex2e
v
al
u
e
fro
m
r
ange
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
d
oc:
d
o
cu
m
ent more --summation
m
ethods for
b
ar
v
i
n
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
g
e
options
.
c: rena
m
e "bar
v
inok"
summation method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdool
a
ege
Makefil
e
.
am: che
c
k-
e
uler:
a
l
so
c
h
eck
l
aurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
s
u
mm
a
te
.
c
:
barvino
k
_summate: handle prod
u
cts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Verdoola
e
ge
e
val
u
e
.
c: export ev
a
l
ue_reorder_te
r
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernst
e
in:
numeric2value: fix
typo to
a
llow cor
r
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ver
d
ool
a
eg
e
util
.
c:
F
ac
t
or_Context: extracted from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
su
m
ma
t
e
.
c: barvin
o
k_summate:
ignore floor
s
ind
e
pende
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
e
value
.
c
: add
e
valu
e
_
floor
2
frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
ege
omega/oc
c
: print bar
v
i
n
o
k
version
number
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdo
o
laeg
e
doc: update
some reference
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laurent b
a
sed sum
m
ation the
defau
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
summat
e
.
c
:
b
arvinok_summate:
h
andle quasi
-
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verdoolaege
redu
c
e_evalue:
e
xt
r
act out
e
value_re
d
u
ce_size
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
ol
a
ege
evalue
.
c: evalue_shift_
v
ariables: allow
shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolaege
summate
.
c
: handle equali
t
i
es for al
l
summation alg
o
rit
h
ms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
summate
.
c
:
barvinok_summat
e
: move common p
a
rt
s
o
f su
m
mation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ve
r
doo
l
a
e
ge
evalue
.
c
: evalue_sum: mo
v
e sign
h
andling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolae
g
e
barvinok_e
.
cc: en
u
mera
t
e_sum: use
barvinok_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoo
l
aege
su
m
mate
.
c: ex
t
r
a
ct
b
arvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
r
doolaege
rename
s
u
mmate
.
c
c
t
o
ba
r
vinok
_
summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ver
d
oolaege
evalue
.
c:
redu
c
e
_evalue: re
d
uce flo
o
r with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
er
d
oola
e
ge
Add Lau
r
ent e
x
pansi
o
n based
s
umma
t
ion
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdool
a
e
g
e
evalue
.
c
:
extend eequal to handle
d
o
m
ains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
b
i
n
om
i
a
l
.
c: extrac
t
binomial
a
nd fact
o
r
i
al fro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ve
r
doolaege
power
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
int
r
oduce
e
val
u
e
_
shift_variab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
l
attice_point
.
cc: ex
p
o
rt rel
a
ti
v
e_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
latti
c
e_poi
n
t
.
h: make sure
c
orrect evalues are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
attice_po
i
nt
.
cc: add ceiling
f
u
n
c
t
i
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olaege
u
t
il
.
c: internalize ugl
y
b
v_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ve
r
doolaege
la
t
tice_point
.
cc:
m
ulti_mono
m
/lat
t
ice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ver
d
oo
l
aege
doc: cl
e
an
up "
e
xponential substitution" sectio
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
test_bo
u
nd
.
cc: avoid lo
s
s of precision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdo
o
la
e
ge
barvinok_bound: optiona
l
ly take maximal s
i
ze o
f
d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
barvin
o
k_boun
d
:
ad
d
-
-
itera
t
e options for evaluatin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
veri
f
y
.
c: export functions for se
t
ting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
v
e
rify
.
c
:
eval
u
e_optimum: allow computation
o
f
opti
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
bernstein
.
cc: eva
l
ue2ex: don
'
t assume a
l
l period
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdoolaege
bou
n
d
.
cc
:
fix c
a
ll to evalue_conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
e{add,mul}_periodi
c
s:
plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ver
d
o
ola
e
ge
eval
u
e
_
bernstein_
c
oefficients: handle prob
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
erdoolaege
up
d
ate
p
ol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Verdo
o
l
a
e
g
e
lat
t
ice_wid
t
h
.
c
: skip direc
t
ions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven V
e
rdoola
e
ge
Ma
k
ef
i
le
.
am: add
cdd94e-tes
t
to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
d
oolaege
o
m
e
g
a/occ: optionally
u
s
e
parker fo
r
computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
norma
l
ization
.
c: s
k
ew
_
to_posi
t
ive_or
t
h
a
n
t
: properl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verd
o
olaeg
e
omega/convert
.
c
c
:
relation2Do
m
ain:
o
n
ly
collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
occ
:
ad
d
dum
p
for
du
m
p
i
ng in barvinok_enumerate_e
f
ormat
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ver
d
oo
l
aege
barvi
n
ok_enumerate_e: opti
o
n
a
lly use park
e
r's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
Verd
o
olaege
standard_
c
onstrai
n
t
s
:
ta
k
e
c
onstraint
s
instead
o
f
p
olyh
e
dro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
norm
a
liz
a
tion
.
c:
e
x
tract stan
d
ard_cons
t
raints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoo
l
ae
g
e
parke
r
/count_soluti
o
ns
.
cc:
f
ix
t
reatment of ex
i
st
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Add
pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolae
g
e
euler
.
cc: eva
l
ue_derive: handle co
n
stant poly
n
omia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some te
s
t se
t
s
f
rom cases 2004 a
n
d cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
r
e
name barvino
k
_maximize
t
o
barvinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ad
d
a test for tes
t
_
b
o
und
commit
|
commitdiff
|
tree
next