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
vector_partition_chambers: computes chambers of vector partition function
2008-12-30
Sven Verd
o
olaege
vector_partition_ch
a
mbers: computes
c
h
ambers of vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verd
o
olaeg
e
barvinok
.
c
c
: remov
e
unuse
d
nonortho
g
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
o
l
aege
update piplib
for MinGW compa
t
ibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
l
aege
update
p
ol
y
lib
for MinG
W
compa
t
ib
i
l
i
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdo
o
laege
fdstre
a
m
.
cc: don't (re)decl
a
re fileno if it's a
macro
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
er
d
oolaege
ev
a
lu
e
.
c: in_domain: special-case 0D doma
i
ns
commit
|
commitdiff
|
tree
2008-12-25
S
v
e
n
Verdoola
e
ge
Avoid
u
s
e
of
sys/times
.
h
h
ea
d
er w
h
en not
a
vailable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
a
dd gnulib getsubopt modul
e
for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ver
d
oolaege
README
:
mention
t
hat GiNaC is also n
e
e
d
ed
for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verd
o
olaege
Allow build of occ when using bund
l
ed omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc: add a reference to a master the
s
is actu
a
ll
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
r
d
oolae
g
e
barvino
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoola
e
g
e
R
EADME: fix
u
p instal
l
ation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdool
a
ege
Add files gene
r
a
t
ed
b
y
bison
and
flex to t
h
e
d
istribution
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdool
a
e
g
e
upd
a
t
e poly
l
ib
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ver
d
oolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
dool
a
e
g
e
evalue
.
c: affin
e
2
e
value: reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdoolae
g
e
eval
u
e
.
c: e
v
alue_le
v
e
l
_cmp: p
r
oduce more
c
onsisten
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
ven Verdoolaege
doc: add another pap
e
r
referring to the lib
r
ary
commit
|
commitdiff
|
tree
2008-09-16
Sven Ver
d
oolaege
pi
e
cewis
e
_ls
t
.
h: avoid dup
l
icate p
a
r
ameter name
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
evalue_read
.
c
:
f
ix
m
i
n
or bugs in tokeni
z
e
r
commit
|
commitdiff
|
tree
2008-09-02
S
ven Ver
d
oo
l
aege
update omega
f
or missin
g
files i
n
dist
r
i
b
ution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
barvinok_enumerate_e: avo
i
d infinite loop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
include omega s
u
bmodule
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Ver
d
oolaege
m
ove o
m
ega subdir
t
o om
e
ga_interface
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
e
r
do
o
l
aege
NTL
_
QQ
.
cc: add
s
tdlib include
f
or abort hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
d
o
olaege
remove gnu
l
ib link-
w
a
r
ning module com
p
letely
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdo
o
laeg
e
lexmin
.
cc: find and sort are in std::
n
amespace
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdo
o
laege
lexmin
.
cc: avoid use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
o
o
laege
4co
i
ns
.
cc: r
e
mo
v
e dead co
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ola
e
ge
tes
t
lib
.
cc: a
d
d missi
n
g returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
wor
k
a
ro
u
nd s
i
lly
s
un compil
e
r
e
rrors
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
do
o
laege
Avoid use of the make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
summate
.
c: add missing include
commit
|
commitdiff
|
tree
2008-08-28
S
v
en V
e
r
doola
e
ge
summate
.
c: add
m
i
s
sing return
val
u
es
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
Makefile
.
am: include
lib i
n
clud
e
dir in build
d
ir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laure
n
t
.
cc: d
o
n't use con
s
t vectors as map
k
ey
s
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ve
r
doolaege
varia
b
le leng
t
h arr
a
y
s
a
re not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
genfun
.
cc:
argument
o
f mp_get_memory_f
u
nctio
n
s shoul
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
u
pdate piplib for comp
a
ti
b
i
l
it
y
changes
commit
|
commitdiff
|
tree
2008-08-24
Sven V
e
rdoolaege
upd
a
te polyli
b
wi
t
h extra
f
iel
d
i
n
Par
a
m_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolae
g
e
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rd
o
ola
e
g
e
add missing algorithm include
for find
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdool
a
ege
Fix out
-
of-bounds error in Laurent expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven Ve
r
doo
l
a
ege
Include empt
y
.
c file in libb
a
rvinok if
GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
ool
a
ege
correctly reflect ex
t
ra s
o
urces for libbarvinok
and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix ty
p
o in comment
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
V
e
r
d
oolaege
lib/str
i
ng
.
in
.
h: copy _
_
rest
r
i
c
t
handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaeg
e
u
p
da
t
e gnulib function to
last p
r
e-G
P
Lv3 versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sven
Verdool
a
ege
e
n
um
e
rator::handle: r
e
place
inco
r
r
e
ct delete by free
commit
|
commitdiff
|
tree
2008-06-17
S
ven Verdoola
e
ge
update p
i
plib for corrected U
r
s_
p
a
rms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdool
a
ege
c
o
nfigure:
u
se correct hea
d
e
r files in case of
b
undled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Ver
d
oolaege
confi
g
ure
.
in: fi
x
c
heck for code_
g
en library av
a
ilability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
laege
omega
/
occ
:
only open
deb
u
g o
u
t
p
ut fil
e
if
there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdoolaege
omega
/
Makef
i
le
.
am: avoid biso
n
's -
o
option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
range
.
c
c: ad
d
mis
s
ing i
n
cl
u
de of a
l
loca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoo
l
aege
add editors
t
o ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
S
ven Ver
d
oolae
g
e
use argp for argument parsing in barvinok
_
ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
properly
handle NTL CPPFLA
G
S and
LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Ver
d
o
ola
e
ge
bas
i
s_reduction
_
t
e
mpl
.
c
:
add
m
issing include
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoola
e
ge
barvin
o
k 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
a
d
d some t
e
s
t sets
f
rom
i
tsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: add late
s
t
(acc
e
pted) publica
t
i
ons
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Make
f
ile
.
a
m: add sect
i
on_array
.
h t
o
distri
b
ution
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
n
ormalizat
i
o
n
.
c: com
p
ute_shifts:
remove redun
d
ant return
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoo
l
aege
move
Fr
e
e_Para
m
Names
p
ol
y
l
ib and ma
k
e param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdo
o
laege
occ: add i
n
terface to barvi
n
ok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaeg
e
ex_convert
.
cc: e
x
tract ex2evalue fr
o
m range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
do
c
: document
m
ore --s
u
m
mation metho
d
s for barvinok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ola
e
ge
options
.
c
:
rename "
b
a
rvinok" su
m
m
ati
o
n method to "bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoo
l
aege
Makefile
.
am: c
h
e
ck-euler: also ch
e
c
k laure
n
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaeg
e
summ
a
te
.
c: barvinok_summate: ha
n
dle p
r
oducts of
p
olytope
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoolaege
eva
l
u
e
.
c: e
x
port evalue_
r
eo
r
der_
t
erms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olae
g
e
bernstein: numeric2v
a
l
u
e
: fix typo to all
o
w correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdoolaege
u
t
i
l
.
c:
Facto
r
_Context: extracted fr
o
m
bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
su
m
ma
t
e
.
c:
barvinok_summ
a
te: ignore
f
loors indep
e
ndent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
l
aege
evalue
.
c: add ev
a
lue_
f
l
o
o
r2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
omega/occ:
p
rint
b
arvino
k
version number
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
do
c
: update som
e
r
ef
e
rences
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erdo
o
laege
M
a
ke lau
r
e
nt based s
u
mmat
i
on
t
he defa
u
lt
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
s
u
mmate
.
c
:
b
a
rvin
o
k
_summate
:
hand
l
e
q
uasi-polynom
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce
_
eval
u
e:
e
xtract out evalue_reduce_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdool
a
e
ge
evalue
.
c: evalue_shift_va
r
iables
:
allow
shifting
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoo
l
aege
summate
.
c: handle
equalities for all summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: bar
v
in
o
k_summate: move common parts of summa
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
r
d
o
o
laege
evalue
.
c: evalue
_
sum:
move s
i
gn handling int
o
e
s
um_over_d
o
main
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
barvinok_
e
.
cc: enumerate_s
u
m
: use barvinok_
s
um
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summa
t
e
.
c
:
e
xt
r
act barvinok_summa
t
e from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
r
ename summate
.
cc to barvino
k
_sum
m
a
te
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
evalue
.
c: reduce
_
evalue:
r
ed
u
ce
f
loor
w
ith constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
Add
L
aurent expansio
n
based summation
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
e
value
.
c
:
exten
d
eequ
a
l
t
o
han
d
le domain
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
ven V
e
rdoolaege
binomi
a
l
.
c: ex
t
ract binomial and factorial
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h
:
extract f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
V
er
d
o
o
laege
introduc
e
evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
latt
i
ce_p
o
int
.
cc
:
expo
r
t relative_c
o
ordinat
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
d
o
olaege
lattic
e
_point
.
h:
m
a
ke sure cor
r
e
ct e
v
a
lues are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
l
attic
e
_po
i
n
t
.
cc: add ceiling fu
n
ction
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
uti
l
.
c: internaliz
e
u
g
l
y bv
_
ceil3
commit
|
commitdiff
|
tree
next