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 V
e
rdoolaege
barvinok_enumerat
e
_
e
: avoid infinite
l
oop when p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
i
n
clude omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
o
o
l
aege
move ome
g
a subdir to omega_inte
r
fa
c
e
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
NTL_QQ
.
cc: a
d
d stdlib include for abor
t
h
idden in NTL_vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
o
o
l
ae
g
e
remove gn
u
lib link-
w
arning mo
d
ule completely
commit
|
commitdiff
|
tree
2008-08-28
S
v
en V
e
r
d
oolaege
lex
m
in
.
cc
:
fin
d
and s
o
rt are in s
t
d:: namespac
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc
:
a
v
o
id u
s
e
of ty
p
eof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ola
e
ge
4coins
.
cc: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verd
o
o
laege
testlib
.
cc: add
m
issing retur
n
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
workaround s
i
lly sun compiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
Avoid use
o
f the ma
k
e -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
su
m
mat
e
.
c: add missing inc
l
ude
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
su
m
mate
.
c:
a
dd missin
g
return va
l
ues
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoolae
g
e
M
a
kefile
.
am: in
c
lude li
b
include
d
ir in build dir
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
erd
o
olaege
lauren
t
.
cc: do
n
't us
e
c
onst
vectors
as map keys
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdool
a
ege
v
aria
b
le length
arra
y
s
a
re not stand
a
rd
C
++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaeg
e
genf
u
n
.
c
c: argu
m
ent o
f
m
p
_get_memo
r
y_functions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolae
g
e
upd
a
te pi
p
lib for compati
b
ility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Ver
d
oolaege
upda
t
e polylib with ext
r
a field in
P
ara
m
_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc:
f
ix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
add miss
i
ng
algorithm include for
fin
d
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
F
i
x out-
o
f-bound
s
e
r
ror
in Lau
r
ent expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoo
l
a
ege
Include empty
.
c
file in
libbarvinok if GiNaC was
no
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n Verdoolaege
cor
r
ectly reflect extra sour
c
es for libbar
v
i
nok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolae
g
e
f
i
x typo in co
m
ment
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaege
l
i
b/stri
n
g
.
in
.
h:
cop
y
__restrict handl
i
ng
f
rom lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven
Verdool
a
e
g
e
u
pd
a
t
e gnulib
f
unction to la
s
t pre-G
P
L
v
3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven
V
erdoolaege
enumerato
r
::handle: re
p
lac
e
inc
o
r
rect d
e
lete b
y
f
ree
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoo
l
aege
update
p
iplib for corrected Urs_parms
handling
commit
|
commitdiff
|
tree
2008-06-12
S
v
e
n Ver
d
oolaege
co
n
figure: use correct h
e
ader files i
n
c
a
se of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
confi
g
ur
e
.
in: fix check
f
or code_
g
en library ava
i
lability
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
omega/occ: only open
d
ebug outpu
t
file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/Make
f
ile
.
a
m
: avo
i
d bison
'
s -o op
t
ion as na
m
ing
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoolaege
range
.
cc: add
missing i
n
c
lude of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoola
e
ge
doc
:
fix
typo
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Ver
d
o
o
la
e
g
e
a
dd editors to ITS
L
p
a
per
s
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n V
e
rdoolaege
use
a
rgp for argu
m
ent parsing in barvi
n
ok_e
h
rhar
t
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
S
v
e
n Verdoolaege
p
r
operly ha
n
dle N
T
L CPPFLAGS and
LD
F
LAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verd
o
olaege
basis_reducti
o
n_templ
.
c: add
m
is
s
ing
include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
barvin
o
k 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
add so
m
e test sets
fr
o
m itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
doc: add latest (ac
c
epted
)
publ
i
cations
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verd
o
olae
g
e
Makefile
.
am: add section_a
r
ray
.
h to distri
b
ution
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Ver
d
oolaege
normalization
.
c
: compute
_
shifts: remove r
e
d
unda
n
t re
t
urn
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolae
g
e
m
ove Free_ParamNames polyli
b
and make param
n
ames const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ:
add i
n
terface to ba
r
vinok
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
ex_convert
.
cc: extra
c
t e
x
2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verd
o
olaeg
e
doc: doc
u
ment more
--su
m
mat
i
o
n
methods for bar
v
inok_su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c: renam
e
"barvinok" summa
t
ion method
t
o "box"
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ver
d
oolaege
M
a
kefile
.
a
m
:
chec
k
-euler: also check laur
e
nt
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
summate
.
c: barvinok_summate: hand
l
e products of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
erdo
o
laege
evalue
.
c: export
e
v
a
lu
e
_re
o
rder_
t
er
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
rdoolae
g
e
b
e
r
ns
t
ein: n
u
meric
2
value: fix
typo
t
o allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
util
.
c: Factor_C
o
ntext: extracted fr
o
m barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oo
l
aeg
e
summa
t
e
.
c: b
a
rvinok_summate: ignore
floors
i
ndep
e
ndent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
evalue
.
c: add evalue_floor2f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doolae
g
e
ome
g
a/occ:
print
barvinok
v
ersion number
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erd
o
o
l
aege
d
oc: up
d
a
t
e some refer
e
n
c
es
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
Make laurent b
a
sed summation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summat
e
.
c: ba
r
v
i
nok_s
u
mm
a
te:
handle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce
_
evalue
:
e
xtr
a
ct out
e
v
alue_re
d
uce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
evalue
.
c: evalue_shift_v
a
r
iables: all
o
w
s
h
ifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: handl
e
equalities
for all su
m
mat
i
on algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolaege
summate
.
c: barvino
k
_
s
ummate:
move comm
o
n par
t
s of
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
aege
evalue
.
c: eva
l
ue_
s
um: move sign h
a
n
d
ling i
n
to esum_o
v
e
r
_
domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
barvinok_e
.
cc: enume
r
a
t
e
_sum:
use barvi
n
ok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
sum
m
ate
.
c: ex
t
ract b
a
r
vinok_
s
ummate
f
r
o
m barv
i
no
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
rena
m
e summate
.
cc
to barv
i
nok_summat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
evalue
.
c: reduce_ev
a
lue: red
u
c
e
f
loor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
Add Laurent expansion based s
u
mmation
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoo
l
aege
evalue
.
c: extend ee
q
ual to han
d
le domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolae
g
e
binomial
.
c: ext
r
act binomial
and fa
c
torial
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolae
g
e
pow
e
r
.
h: ex
t
ract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
introduce e
v
alue_shif
t
_variables
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
l
a
ttic
e
_p
o
i
n
t
.
cc
:
export relative_coordina
t
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_poi
n
t
.
h
:
ma
k
e su
r
e corr
e
ct evalue
s
are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
l
a
ttice_point
.
cc:
add ceiling fu
n
c
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
util
.
c:
inter
n
alize ugly bv
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
l
a
t
tice_point
.
cc: multi_monom/latti
c
e_
p
oint
s
: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
en Ver
d
o
olaege
do
c
: cl
e
an up "exponential sub
s
t
i
t
ution" section
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
test_bound
.
cc: avo
i
d lo
s
s of
p
r
ecision caused by conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bou
n
d: op
t
i
o
nally take max
i
mal size of domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound:
a
dd -
-
iterate options
f
or evaluatin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Ve
r
doola
e
ge
ver
i
fy
.
c: export functi
o
ns for setting and
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoola
e
g
e
verify
.
c: eva
l
ue_optimu
m
: a
l
l
o
w
computation of
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ber
n
s
t
e
in
.
cc: ev
a
lue2ex: don
'
t
a
ssume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
boun
d
.
cc: fi
x
c
all to evalue
_
convert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoola
e
ge
e
{
add,mul}_periodics: pl
u
g memory
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdool
a
ege
evalue_
b
ern
s
tei
n
_
c
oefficients:
handle prob
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdoolaege
upd
a
te polyl
i
b
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Verd
o
olaege
l
attice
_
widt
h
.
c: skip
dir
e
ctions
t
hat
are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ver
d
oo
l
aege
M
a
kefil
e
.
am: a
d
d cdd94e-test
t
o dis
t
rib
u
t
i
on
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
omega/
o
cc: optio
n
ally use p
a
rker for computing cardina
l
ity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: skew
_
to_positive_ort
h
ant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoola
e
ge
ome
g
a/convert
.
cc: relat
i
on2
D
o
m
a
in:
on
l
y col
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ:
a
dd dump for dum
p
ing
i
n b
a
rvinok
_
enu
m
erat
e
_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_enumerate_e: optional
l
y use parker's
m
ethod
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
st
a
ndard_constraints: take co
n
str
a
ints instead of polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Ver
d
oolaeg
e
n
o
rma
l
i
zation
.
c: ex
t
r
a
ct standard_
c
on
s
train
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoo
l
aege
p
arker/count_s
o
lut
i
ons
.
cc
:
fi
x
treatment of existential
l
y
.
.
.
commit
|
commitdiff
|
tree
next