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
Avoid use of sys/times.h header when not available
2008-12-25
Sven Ve
r
doolaeg
e
A
voi
d
us
e
of sys/time
s
.
h he
a
de
r
when not availabl
e
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdool
a
ege
add gnulib ge
t
subopt module
f
or
M
i
nGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
doolaege
README: menti
o
n
that GiNaC is also nee
d
e
d
for the
Om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verdoolaege
Allow build
o
f occ w
h
e
n using bun
d
led omega
commit
|
commitdiff
|
tree
2008-10-28
S
v
en Verdoolaege
doc: add
a
reference to a master the
s
i
s actuall
y
u
s
ing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Ve
r
doolaeg
e
README: fi
x
up
i
nstall
a
tion
instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
A
d
d
files ge
n
e
rated by bison and flex to
t
he distributi
o
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
u
pdate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaeg
e
evalue
.
c: affine2evalue: reduce co
e
fficient
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: evalue
_
l
e
vel_cmp: prod
u
ce
m
ore con
s
i
stent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add another paper r
e
ferring to
t
h
e library
commit
|
commitdiff
|
tree
2008-09-16
Sve
n
Verdoolaege
p
i
ecewise_
l
s
t
.
h: avoid dupli
c
a
t
e
parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
e
rdoolaege
evalue
_
read
.
c:
f
i
x minor bugs in tokenize
r
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
r
d
o
olae
g
e
update
omeg
a
for mis
s
ing
files in dist
r
ibution
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oola
e
ge
b
ar
v
i
nok_enumerate_e: avoi
d
infinite loop when presen
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
o
o
laege
include o
m
ega submo
d
ule
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
m
o
ve omega subdi
r
t
o omega_inte
r
f
a
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
do
o
l
a
ege
NTL_
Q
Q
.
cc: add stdlib include for abort hidden in
N
T
L_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
aeg
e
remove gnulib link-warning mo
d
ule comp
l
etely
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
lexmin
.
c
c
: find and sort
a
r
e
i
n
s
td:: namespac
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaeg
e
l
e
x
m
in
.
cc
:
av
o
id use
of typeof
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ve
r
dool
a
ege
4coins
.
cc: rem
o
v
e
dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
testlib
.
cc:
a
d
d missin
g
returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
workaroun
d
silly sun compiler
error
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
A
void u
s
e
of
the mak
e
-C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
s
ummate
.
c: add
m
is
s
ing
i
nc
l
ude
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
s
umm
a
te
.
c
: add
m
issin
g
ret
u
rn value
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
Makefile
.
am: include l
i
b include
d
ir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laurent
.
cc:
don't u
s
e const vecto
r
s as
m
ap
k
eys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
va
r
iable leng
t
h arr
a
ys are not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
genfun
.
cc:
a
rg
u
m
ent
of mp_get_me
m
or
y
_function
s
should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
upda
t
e p
i
p
lib f
o
r com
p
atibility
changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Ve
r
doolaeg
e
update polylib with
e
xtr
a
fiel
d
i
n
Param
_
Polyhe
d
ron
commit
|
commitdiff
|
tree
2008-07-30
Sve
n
Verdool
a
ege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolaege
add missing algorithm in
c
lude for fin
d
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
g
e
Fix
o
ut
-
of-bounds error in Lau
r
ent ex
p
ans
i
on based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolaege
Inc
l
ude empty
.
c f
i
le in libbarvinok if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correctl
y
r
efl
e
ct extra sources fo
r
libba
r
vinok a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
li
b
/string
.
in
.
h:
copy _
_
res
t
rict handling
f
rom
l
i
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
v
e
n Verdoolaege
updat
e
gnuli
b
function to l
a
st
p
re-GPLv3
version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enum
e
rator::handle: rep
l
ace incorrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
S
ven Verdoolae
g
e
update pipli
b
for c
o
rrected Urs_p
a
rms
h
andling
commit
|
commitdiff
|
tree
2008-06-12
S
v
e
n
V
e
rdoolaege
configure: us
e
correct header files
i
n case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
olaege
configure
.
in: fix check for c
o
de_gen li
b
r
a
ry
a
v
ailab
i
lity
commit
|
commitdiff
|
tree
2008-05-08
S
ven
Verdoolaege
omega/occ: only open debug outpu
t
f
ile if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
om
e
ga
/
Makefile
.
a
m
: avoid bison's -
o
option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
range
.
cc
:
add missing i
n
clude of al
l
oca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoola
e
ge
a
d
d
edito
r
s
to I
T
SL papers
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verdo
o
l
a
e
ge
use
a
rgp f
o
r argument
p
arsing in barvin
o
k_ehrhart
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven V
e
rdoolaege
pro
p
erly handle NTL CP
P
FLAGS and LDFLAG
S
commit
|
commitdiff
|
tree
2008-05-07
Sve
n
V
e
rdoolaege
basis_reduc
t
ion_templ
.
c: add missin
g
include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvinok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
V
erdoolae
g
e
a
d
d some test sets from its
l
2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
e
rdoolaege
d
o
c: add
l
a
t
es
t
(accept
e
d)
publications
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
erdoolaege
Makef
i
le
.
am: add se
c
tion_ar
r
a
y
.
h t
o
distri
b
ution
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
normalization
.
c
:
com
p
ute_shift
s
:
r
e
m
ove
r
edund
a
nt return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move F
r
ee_ParamNames polylib
a
nd make par
a
m
names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add interface to
ba
r
vinok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdoo
l
aege
ex_conv
e
rt
.
cc: extract e
x
2e
v
alue from rang
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
doc: document more --su
m
mation methods for b
a
r
vinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c:
rename "barvinok
"
summation
m
ethod to "box
"
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
laege
Makefile
.
a
m
: che
c
k-euler: also check la
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
summat
e
.
c:
b
arvinok_summate: handle products of p
o
lyt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
evalue
.
c: expor
t
evalue
_
r
e
o
r
d
e
r_terms
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdo
o
laege
bernstein:
n
umeric2value:
f
ix typo
to
allow
correc
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
oolaege
util
.
c: F
a
c
t
o
r_Context: extracted from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
s
ummate
.
c: ba
r
vi
n
ok_summate:
i
gnore fl
o
ors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
evalue
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
oolaege
omeg
a
/occ
:
print
b
arvino
k
version
nu
m
ber
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
doc: upd
a
te some
r
ef
e
r
e
nces
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
M
a
ke laur
e
nt based summation
t
he default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c
:
barvinok
_
s
u
mmate: handle quasi-pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
reduce_e
v
alue: ex
t
ract out e
v
alue
_
reduce_size
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
e
r
doolaeg
e
ev
a
lu
e
.
c: evalue_shift_v
a
riab
l
es: allow
s
hifting
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolae
g
e
summa
t
e
.
c: handle e
q
ualiti
e
s
for all summat
i
on algorithm
s
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
summ
a
t
e
.
c: barvinok_summate: move common pa
r
t
s of summ
a
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaeg
e
evalue
.
c: evalue_sum: move sign
h
an
d
ling i
n
to esum_o
v
er_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
olaege
barv
i
nok_e
.
cc: enume
r
a
t
e_sum: use barvi
n
ok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoola
e
g
e
summate
.
c:
e
xtract ba
r
vinok_summa
t
e
from ba
r
vinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
renam
e
s
umm
a
te
.
cc t
o
bar
v
inok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
a
l
ue
.
c: reduce_evalue: re
d
uce f
l
oor with c
o
nstan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
Ad
d
Laurent expansion b
a
sed summation
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdool
a
ege
evalue
.
c: extend e
e
qu
a
l
to han
d
le domains a
n
d NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
binom
i
al
.
c: ext
r
act bi
n
om
i
al an
d
facto
r
ial
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
d
oolaege
power
.
h
:
extr
a
ct from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
i
n
t
roduce evalue_shift_
v
ariables
commit
|
commitdiff
|
tree
2008-04-25
S
ven
V
erdoo
l
aege
lattice_p
o
int
.
cc:
export relative_coordi
n
ates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
lattice
_
po
i
n
t
.
h: ma
k
e sure correct evalues a
r
e used
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdo
o
lae
g
e
lattice
_
point
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
util
.
c: int
e
rnalize ugly bv
_
c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
Sven
Verdoolaege
lattice_po
i
nt
.
cc: multi_monom/la
t
tice
_
points
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clean up "exponential substitut
i
on" sectio
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
eg
e
te
s
t
_
bound
.
cc: avoid loss of pr
e
cision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bo
u
nd: optionally take maximal
size of dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
ba
r
vinok_
b
ound: add
-
-it
e
rate o
p
tions for evaluat
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
verify
.
c:
export functions for sett
i
ng
a
nd clearing
.
.
.
commit
|
commitdiff
|
tree
next