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
Sve
n
Verdoolaege
vector_partition_cham
b
ers: computes cha
m
ber
s
of
ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Ver
d
o
olaege
b
arvinok
.
cc: remove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaeg
e
u
p
date piplib for MinGW compatibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
S
ve
n
Verdool
a
ege
u
p
d
ate
polylib for
M
i
nGW compatib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstream
.
cc: don't (re)decla
r
e fileno if it
'
s a m
a
cro
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
V
e
rdoolaeg
e
eva
l
ue
.
c:
in_do
m
ain: special-case 0D dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoo
l
ae
g
e
Avoid us
e
of sys/
t
imes
.
h h
e
ade
r
when not
avai
l
ab
l
e
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
doo
l
aege
add gn
u
l
i
b
g
etsubopt
modu
l
e for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README:
menti
o
n
t
hat GiNaC is also
needed fo
r
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n
V
erdool
a
ege
Allow build of occ when
using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
erd
o
o
l
a
e
ge
do
c
:
a
d
d a
r
eference to a
mas
t
er thesis
a
ct
u
a
l
l
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdo
o
laeg
e
RE
A
D
M
E
: fix
u
p installation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
Add files gen
e
rated by bison and flex to the dis
t
ribution
commit
|
commitdiff
|
tree
2008-10-16
S
ven
Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Ver
d
oolaege
evalue
.
c: affine2evalue: redu
c
e c
o
ef
f
icien
t
s
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdoola
e
ge
evalue
.
c: evalue_level_cmp: produ
c
e more cons
i
stent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven V
e
rdoolaege
doc: add
another
p
aper refe
r
ring t
o
th
e
l
i
brary
commit
|
commitdiff
|
tree
2008-09-16
Sven Ve
r
d
o
olaege
piecew
i
se_l
s
t
.
h: av
o
id d
u
plicate paramet
e
r name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
evalu
e
_read
.
c
:
f
ix mi
n
or bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update omega for missing
files i
n
distribution
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaeg
e
b
a
rvinok_e
n
umer
a
te_e
:
avoid infi
n
ite
loop when presen
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolae
g
e
i
nc
l
ude omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
move om
e
ga sub
d
ir to ome
g
a_inter
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
N
T
L_QQ
.
cc: add stdlib include for abort h
i
dden in N
T
L_v
e
cto
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdo
o
laege
remove gnulib
l
i
nk-wa
r
ning m
o
dule completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc
:
find
a
n
d sort ar
e
in
s
td:
:
namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmi
n
.
cc: avoid u
s
e
o
f typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
4coins
.
cc: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ol
a
e
g
e
testlib
.
cc: add miss
i
ng return
s
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
e
rdoolaege
w
o
rk
a
r
o
u
nd
silly sun compiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdoolaege
A
void use o
f
the make -C o
p
tio
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
la
e
ge
summate
.
c
:
add mis
s
ing include
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoola
e
g
e
summat
e
.
c
: a
d
d m
i
ssi
n
g return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
oolaege
Makefil
e
.
am: include lib include dir in buil
d
dir
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdo
o
laege
laure
n
t
.
cc:
don't
u
se const
v
e
c
tors
a
s map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
variable length arrays are not sta
n
dard C++ (
y
et)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
genf
u
n
.
c
c
: argument of
mp_get_mem
o
r
y
_function
s
should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
r
doolaege
update piplib
f
or compatibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdool
a
eg
e
updat
e
polyl
i
b
w
it
h
e
x
tra field in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sv
e
n Verdoolaege
d
o
c: fix ty
p
os
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
add
missing algorithm
include f
o
r
f
i
n
d
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaege
Fix out-of-bounds e
r
ror in
L
aure
n
t expansion base
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Include e
m
p
ty
.
c
f
il
e
in li
b
b
a
rvinok
i
f Gi
N
aC was no
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
correctly reflect
ex
t
r
a
sources for libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
fix
typo in
c
omment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
lib/
s
tring
.
in
.
h: copy __r
e
s
trict handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
ve
n
V
erdoolaege
update gnul
i
b function to las
t
pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
ven V
e
rdool
a
ege
e
nume
r
ator::han
d
l
e: replace incorr
e
ct delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
u
pda
t
e
piplib fo
r
correcte
d
Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
Verdoola
e
ge
config
u
re
:
use correct header file
s
in
c
ase of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
configure
.
in:
fix check
for code_gen library avail
a
b
i
lity
commit
|
commitdiff
|
tree
2008-05-08
S
ven Ver
d
oolaege
om
e
ga/oc
c
: only o
p
e
n
debug
output file if
t
here is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n V
e
rdoola
e
ge
omeg
a
/Makefile
.
am:
avoid bison
'
s
-
o
option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
o
l
a
e
ge
range
.
cc: add miss
i
ng include of al
l
oca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n V
e
rdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add
e
ditors to I
T
SL pape
r
s
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
erdoolaege
u
s
e
a
rgp
f
or argument parsing in bar
v
i
nok_eh
r
hart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
S
v
en Verdoolaege
properly handle NT
L
CPPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
basis_reductio
n
_te
m
p
l
.
c
: add missi
n
g i
n
clude
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ver
d
ool
a
e
g
e
b
a
rvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
add
some
t
est s
e
t
s
f
r
o
m
its
l
200
8
paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
doc: add latest (a
c
cepted) publicatio
n
s
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaeg
e
Ma
k
efile
.
a
m: add secti
o
n_arr
a
y
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verd
o
olaege
nor
m
alizatio
n
.
c: compute_shifts
:
re
m
ove red
u
nd
a
nt return
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
doolaege
move
F
ree_ParamNa
m
e
s polylib and make param names co
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add
inter
f
ace to b
a
rvinok
_
s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdo
o
laege
ex_convert
.
cc: ex
t
ract ex2evalue from
r
a
n
ge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
doc:
document more --s
u
mmation methods for b
a
rvino
k
_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
g
e
opti
o
ns
.
c: ren
a
me "barvin
o
k" summation method to "bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
g
e
Mak
e
file
.
am
:
check-euler: also check laur
e
n
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
summat
e
.
c: b
a
rvinok_summate: handle products of polyt
o
p
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
evalue
.
c: expo
r
t evalue_reorder_
t
erms
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
oolaeg
e
bernstein: n
u
meri
c
2
v
alue: fi
x
ty
p
o to allow corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c
:
Factor_Con
t
ext: e
x
tr
a
c
t
ed from bar
v
inok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
su
m
m
ate
.
c
:
barvinok
_
su
m
mate:
i
gnore f
l
oors independen
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add evalue_floor
2
fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
omega/occ: print barvinok versio
n
number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
d
o
c: update some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
M
a
ke laurent ba
s
ed su
m
mation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
s
u
mma
t
e
.
c: barvinok_su
m
mate:
handle quasi
-
polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce
_
evalue: extra
c
t out evalu
e
_
r
e
du
c
e_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
evalue
_
sh
i
f
t
_v
a
ri
a
bles: allow shifting
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
sum
m
ate
.
c: handle equalit
i
es for
a
ll summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_summate
:
mov
e
co
m
mon parts of
s
u
mmation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoo
l
a
e
ge
evalue
.
c: evalue_sum: move s
i
gn h
a
n
dling into esum_
o
ver_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaeg
e
barvin
o
k_e
.
cc: enu
m
erat
e
_
s
u
m: use barvinok_summ
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mmate
.
c: extr
a
c
t
b
arvinok
_
summate from bar
v
inok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
rename sum
m
ate
.
cc
to barvinok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
aege
e
valu
e
.
c: reduce_evalue: red
u
c
e
fl
o
o
r
with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
Add La
u
ren
t
expan
s
ion based
s
u
m
mation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
evalue
.
c
:
extend eequal to
h
andle
d
o
m
ai
n
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
bin
o
m
i
al
.
c
:
e
xtract binom
i
al and factorial from
eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h: extract fr
o
m
e
uler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce e
v
alue_sh
i
ft_variabl
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdo
o
laege
lattice_
p
oin
t
.
cc: export relat
i
ve_coordinat
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Ver
d
ool
a
ege
latti
c
e_p
o
int
.
h: make su
r
e c
o
rrect evalues ar
e
used
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolaege
lattice_point
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
util
.
c
:
internaliz
e
u
gly bv_ceil3
commit
|
commitdiff
|
tree
next