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
doc: add a reference to a master thesis actually using the library
2008-10-28
Sven Verdoolaeg
e
doc: a
d
d
a
refe
r
ence to a master
t
hesis actua
l
ly using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvino
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
README: fix up ins
t
allation
inst
r
u
c
t
io
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
A
d
d
files generated by bi
s
o
n and flex to the distributi
o
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Ver
d
oolae
g
e
up
d
ate
p
iplib
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Ve
r
doolaege
e
v
alue
.
c: a
f
fine2ev
a
lue
:
reduce coefficient
s
commit
|
commitdiff
|
tree
2008-10-10
S
ven Ve
r
do
o
l
a
ege
evalue
.
c: evalue_level_cmp:
p
roduce mo
r
e consis
t
ent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add a
n
other paper ref
e
rr
i
ng to
t
he library
commit
|
commitdiff
|
tree
2008-09-16
S
ven Verdoolaege
p
i
e
ce
w
ise_lst
.
h: avoid dup
l
icate
p
a
rameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoola
e
ge
evalue_read
.
c: f
i
x minor
b
ugs in token
i
zer
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdo
o
laege
u
p
date omega for mis
s
ing files in distributio
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
b
a
rvinok_e
n
umerate_e: a
v
oid infinite
l
o
op wh
e
n presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
i
n
clude omega s
u
bmodule
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
m
o
v
e
o
meg
a
subdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ol
a
ege
NTL
_
QQ
.
cc: add
s
tdli
b
i
n
clude for abort hidden
in NTL_vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
remove gn
u
lib li
n
k-warnin
g
module
c
omplet
e
ly
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmi
n
.
cc: find and sor
t
are
in
s
t
d
:
: nam
e
space
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lex
m
i
n
.
c
c
: avoi
d
us
e
of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolae
g
e
4coins
.
cc: r
e
move dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laeg
e
te
s
t
lib
.
c
c
:
a
dd missing returns
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoola
e
ge
workaro
u
n
d
sil
l
y sun compiler erro
r
s
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoola
e
g
e
A
v
oid us
e
o
f the
m
ake -
C
option
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
summate
.
c: add missing include
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
summat
e
.
c: ad
d
m
i
ssing retu
r
n values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Makefile
.
am: inc
l
ude
l
ib include
d
i
r in b
u
ild di
r
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdool
a
e
ge
laure
n
t
.
cc: don't
u
se const vector
s
as
map ke
y
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
varia
b
le l
e
ngth arrays
a
re
not stan
d
ard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
d
oolaege
genfu
n
.
cc: argument of mp_
g
et_memory_functions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
lae
g
e
update pip
l
ib
f
or compatibility
changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Ver
d
oo
l
a
e
g
e
upd
a
te
p
olylib w
i
th
extra fi
e
ld in P
a
ram_Po
l
yhedron
commit
|
commitdiff
|
tree
2008-07-30
S
v
en Verdoo
l
aege
doc: fix ty
p
os
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
oo
l
aege
add missin
g
algorithm include fo
r
f
i
nd
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
F
ix out-o
f
-boun
d
s er
r
or in Laurent ex
p
an
s
ion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoolaege
I
nclude empty
.
c fil
e
in libbarvinok
i
f
G
iNaC was no
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolaege
correctly reflect extra sources f
o
r libbar
v
inok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
f
ix
t
ypo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
oolaeg
e
lib
/
strin
g
.
in
.
h: copy __
r
estrict ha
n
dling from
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sv
e
n
V
erdoolae
g
e
updat
e
gnulib
function to
l
ast pre-GPLv
3
v
e
r
s
ion
commit
|
commitdiff
|
tree
2008-07-02
Sven V
e
r
doolaeg
e
enumerator::h
a
ndl
e
: replace incorrect d
e
lete by free
commit
|
commitdiff
|
tree
2008-06-17
Sve
n
Verdoola
e
ge
update piplib fo
r
corrected Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
V
e
rdoo
l
aege
configure
:
use corr
e
ct
h
e
a
der files in c
a
se
of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Ver
d
ool
a
e
ge
o
m
ega/occ
:
only open debug out
p
ut fil
e
if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdool
a
eg
e
doc
:
fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
a
d
d editors to
I
T
SL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaeg
e
barvi
n
ok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
add some tes
t
sets from
i
tsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
doc: add latest (accept
e
d)
p
ubli
c
a
t
ions
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
ool
a
ege
Makefil
e
.
am:
a
dd
s
ection_arr
a
y
.
h to distributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
Verdool
a
ege
normaliz
a
tion
.
c: comp
u
te_
s
hifts: remove redu
n
d
a
nt return
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
m
o
ve Free_ParamN
a
me
s
polylib and make pa
r
am names
c
onst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ver
d
oolaege
o
cc: ad
d
interf
a
ce to ba
r
vinok
_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
o
l
aege
ex_convert
.
cc: extract ex
2
ev
a
l
u
e from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laeg
e
doc: document more
--su
m
mation methods
for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoo
l
aege
optio
n
s
.
c: r
e
name "barvinok"
summation meth
o
d
to "bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoo
l
aeg
e
M
a
kef
i
le
.
am: check-euler: also c
h
eck laure
n
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summat
e
.
c: barvinok_summat
e
: handle
p
ro
d
u
cts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdool
a
ege
evalue
.
c
:
expo
r
t eva
l
ue_reor
d
er_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
bernstein: n
u
meri
c
2value: fix ty
p
o to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
u
t
il
.
c: Factor_Cont
e
xt
:
extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
sum
m
ate
.
c:
b
arvinok_su
m
mate: ignore f
l
oors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
aege
eval
u
e
.
c:
a
dd evalue_f
l
oor
2
frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
omega/occ: print barvinok version
n
umb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: updat
e
some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
Ma
k
e la
u
ren
t
based
summation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summate
.
c: b
a
rvinok_summate: handle qu
a
si-polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
re
d
uce_evalue:
e
x
tract out eval
u
e_reduc
e
_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: evalu
e
_s
h
ift_var
i
ab
l
es: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoo
l
aege
summate
.
c
:
h
and
l
e e
q
ualities
f
or all summation
algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
su
m
mate
.
c
: barvino
k
_summate: move co
m
mon parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
evalue
.
c: evalue_sum: m
o
ve sign handling
in
t
o esum_ove
r
_d
o
main
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
barvinok_
e
.
cc
:
enumerate_sum:
use barvino
k
_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
summat
e
.
c: e
x
tract bar
v
inok
_
summat
e
f
r
o
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename s
u
m
m
ate
.
cc to barvinok_su
m
mat
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoola
e
g
e
eva
l
ue
.
c
:
reduce
_
evalue: red
u
ce flo
o
r with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
ola
e
ge
A
d
d
L
a
u
r
ent expan
s
ion ba
s
e
d summation
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verd
o
ol
a
eg
e
eva
l
ue
.
c:
e
x
tend eequa
l
to handle doma
i
ns
a
nd NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Verdoolaege
binomial
.
c: e
x
tract
b
inomial and f
a
ctorial from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdool
a
e
ge
power
.
h: extract
f
rom euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
int
r
oduce evalue
_
shift_v
a
ri
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
la
t
tice_
p
oint
.
c
c
: ex
p
o
rt r
e
lative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattic
e
_point
.
h: make
sure correct evalues are
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc: add ceiling
f
unc
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
u
til
.
c: internaliz
e
ugly
b
v_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
o
laege
l
atti
c
e_p
o
i
n
t
.
c
c
:
m
ulti_mono
m
/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: cle
a
n up "expone
n
tial s
u
bstitution" sectio
n
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoola
e
ge
test_bound
.
cc: avoid los
s
of
precision cau
s
ed by c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvinok_bound: optional
l
y take maximal si
z
e
of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
b
a
r
vinok_bound: add --iterat
e
options for evaluati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ver
i
fy
.
c: export functions for settin
g
and cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoola
e
ge
ver
i
fy
.
c: evalue_optimum: allow computation of
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
r
d
ool
a
ege
bernste
i
n
.
cc: evalue2ex: don't ass
u
me all p
e
riodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
bou
n
d
.
cc
:
fix
call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolaege
e{add,mul
}
_per
i
o
dics: pl
u
g memo
r
y leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
e
value_bernstein_coef
f
icients:
h
andle problems
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdo
o
laege
up
d
a
t
e polyl
i
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdo
o
laege
lat
t
i
c
e_width
.
c:
s
kip dire
c
t
io
n
s
t
hat are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoola
e
ge
Makefi
l
e
.
am: add cd
d
94e
-
tes
t
to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdo
o
laege
o
meg
a
/occ: optiona
l
ly us
e
parker for computi
n
g cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
norm
a
l
i
zat
i
on
.
c: skew_to_positive_orth
a
nt:
properly
.
.
.
commit
|
commitdiff
|
tree
next