repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
README: fix up installation instructions
2008-10-16
Sven Verdoolaege
R
E
ADME: fix up installation instruct
i
ons
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
Add files gen
e
rated b
y
bison
a
n
d flex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
u
p
date piplib
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Ver
d
o
o
laege
evalue
.
c: affine2evalue:
r
educe
c
oefficient
s
commit
|
commitdiff
|
tree
2008-10-10
Sven V
e
rdoo
l
ae
g
e
ev
a
l
ue
.
c: eval
u
e_
l
e
v
el_cmp: produce more
c
onsis
t
en
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sve
n
Ve
r
d
o
olaeg
e
doc:
add anot
h
er pape
r
referring t
o
the
library
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Verdoola
e
ge
piecewise_lst
.
h
: avoid duplicate
paramet
e
r name
commit
|
commitdiff
|
tree
2008-09-02
S
v
en V
e
r
d
oolaege
evalue_read
.
c:
fix minor b
u
gs in
tokeni
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
r
d
oolaege
update o
m
ega for missin
g
files i
n
distribu
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdool
a
ege
b
a
rvinok_e
n
umerate_e
:
a
v
o
i
d
infi
n
i
t
e
loop
w
h
en presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdoolaege
i
nclude omega submo
d
ule
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
e
rdool
a
ege
move ome
g
a s
u
bdir to omega_
i
nterface
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdo
o
la
e
ge
NTL_QQ
.
c
c: add
s
tdlib incl
u
d
e
for
a
bort hidden in
N
TL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
remo
v
e gnulib
li
n
k-warning module comp
l
etel
y
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
aege
l
e
xmin
.
cc: find
a
nd
sort are in std
:
: namespac
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
eg
e
le
x
min
.
cc: a
v
oid use o
f
typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4c
o
ins
.
cc: rem
o
ve
d
ead
c
ode
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaeg
e
testlib
.
cc:
add missing return
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
work
a
round s
i
lly su
n
compi
l
er error
s
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdo
o
laeg
e
A
v
o
id us
e
of the make -
C
op
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
s
u
mmate
.
c: add
m
issi
n
g include
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
s
u
mmate
.
c
:
add missing return v
a
l
u
e
s
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
Makefile
.
am: in
c
lude lib i
n
c
lude dir in build di
r
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lau
r
ent
.
cc: don't u
s
e const
v
e
c
tors as map k
e
ys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
variable lengt
h
a
r
rays are no
t
stand
a
rd C++ (yet
)
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verdoola
e
ge
g
en
f
un
.
cc
:
argument
o
f mp_get_memory_f
u
nction
s
sh
o
uld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
update piplib for compatibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoo
l
aege
up
d
ate p
o
lylib with extra field in Param_Polyh
e
dron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoo
l
aege
doc: fi
x
t
y
po
s
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
add missin
g
alg
o
rithm include for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
F
i
x out-o
f
-
bounds
e
r
r
o
r in Laurent expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Includ
e
empty
.
c
f
ile in libbarvinok if
GiN
a
C was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Ve
r
d
o
ol
a
e
ge
c
o
rre
c
tly refl
e
ct extra so
u
rces fo
r
libbar
v
inok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
o
l
aege
f
ix ty
p
o
i
n comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
lib
/
string
.
in
.
h: copy __restric
t
handling
from
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verd
o
olaege
u
p
date gnulib functio
n
to last pre-GPLv3 versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sven
V
erdoolaege
enumerat
o
r::handle:
r
e
p
lace incorrect delete b
y
fre
e
commit
|
commitdiff
|
tree
2008-06-17
S
v
e
n
Verdoolaege
update pi
p
lib
for corre
c
ted Urs_parms
h
andlin
g
commit
|
commitdiff
|
tree
2008-06-12
Sv
e
n Verdool
a
ege
conf
i
g
u
re
:
use corre
c
t
header
files
in
case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
configu
r
e
.
in: fix check for code_ge
n
library avail
a
bil
i
t
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
olaege
omega/occ: only
o
pe
n
d
ebug output
file if th
e
re is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdoolaege
omeg
a
/Makefile
.
am: avoid bison's -o option
a
s nam
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
d
o
o
laege
range
.
cc: add missing in
c
lude of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verd
o
olaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
a
ege
add e
d
itors to ITSL pape
r
s
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaeg
e
us
e
argp for a
r
gument
parsing in barvinok_ehrhart a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sve
n
V
e
rdoolaege
pr
o
perly han
d
le
NTL
CPPFLA
G
S and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
S
ven Ver
d
oola
e
ge
basis_reduction_templ
.
c:
a
d
d missing include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
d
oc: add l
a
test (
a
ccepted) pu
b
licati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: add section_ar
r
ay
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
n
o
r
m
alization
.
c: com
p
ute_s
h
ifts: remove redundant return
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
V
erdoolaege
move Free_ParamNames po
l
ylib
a
nd make pa
r
am nam
e
s const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaeg
e
occ: a
d
d interface to
ba
r
vinok_summat
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
ex_convert
.
c
c: e
x
tract ex2eval
u
e from ra
n
ge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
d
o
c: docu
m
en
t
more --summation
methods for bar
v
in
o
k
_su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
d
oola
e
g
e
options
.
c: rename
"
b
arvinok
"
summation m
e
thod to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am:
c
heck-euler
:
also ch
e
ck la
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolae
g
e
summate
.
c: barvinok_
s
um
m
a
te: handle products of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
evalue
.
c: e
x
port evalue_reorder_ter
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
ol
a
ege
bernstein: numer
i
c2value: fix
typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c: Fac
t
or_Conte
x
t: ext
r
acted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoo
l
aege
s
u
mma
t
e
.
c
: ba
r
vinok_summate: ignore floors independ
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
e
value
.
c: ad
d
eva
l
ue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/occ: p
r
int barvinok version
n
umber
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
dool
a
ege
doc: upda
t
e
some
r
eferences
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
Make la
u
rent based
s
u
mm
a
tion the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
ummate
.
c
: barvinok_
s
ummat
e
:
h
andle quas
i
-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoola
e
ge
reduce
_
evalue
:
e
xtract out
ev
a
lue_r
e
duce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: evalue_shift_
v
a
riables:
allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoo
l
aege
su
m
ma
t
e
.
c:
handle equ
a
lities for all summation a
l
gorith
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
summate
.
c: barv
i
nok_summate: move
c
ommon parts of
summatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalu
e
.
c: evalue_sum: mov
e
sign handli
n
g
into e
s
um
_
over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
barvinok
_
e
.
cc: enume
r
ate_sum
:
use barv
i
nok
_
summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summ
a
te
.
c: extract bar
v
inok_summa
t
e fro
m
barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
rename summate
.
cc to barvin
o
k_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erdoolaege
evalue
.
c: reduc
e
_evalu
e
: re
d
uce floor w
i
th constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolae
g
e
Add
Laurent expansion based sum
m
at
i
on
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdool
a
ege
e
v
alue
.
c:
extend e
e
qual to handle
domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomial
.
c: e
x
tract
b
inomial and
f
actorial fro
m
eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolae
g
e
power
.
h: ext
r
a
c
t
f
rom
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce evalue_shift_var
i
a
b
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
lat
t
ice_poin
t
.
cc: e
x
port relative
_
c
o
o
r
dinates
commit
|
commitdiff
|
tree
2008-04-24
S
ven V
e
rdoolaege
lattice
_
p
oint
.
h: make sure cor
r
ect evalues
are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lat
t
ice_p
o
int
.
cc:
a
d
d
cei
l
ing functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
util
.
c: internalize ugly
b
v
_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n
V
erdoolaege
lattic
e
_point
.
cc: multi_monom/lattice_poin
t
s
:
re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
Verdoolaege
doc: clean up
"expo
n
en
t
i
a
l
s
u
b
stitution" sec
t
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoo
l
aege
test_bound
.
c
c
:
a
void
l
oss
o
f
p
r
e
cision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
barvinok_bound: optionally take maximal size
o
f domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doolaege
barv
i
nok_bound: add
--iterate options fo
r
e
valuating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoolaege
verify
.
c:
exp
o
rt functions for sett
i
ng
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
g
e
v
erify
.
c: eval
u
e_optimum: allow computation of
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
ber
n
stein
.
cc: evalue
2
ex:
don't assum
e
all per
i
od
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
bound
.
c
c:
fix call to evalue_
c
onv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
e{add
,
m
u
l}_peri
o
dics: plug
memor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
evalue_bernstein_coefficients: hand
l
e prob
l
e
m
s with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdoolaege
update
p
olylib
commit
|
commitdiff
|
tree
next