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
partition2enumeration: check that input is really a partition evalue
2010-01-02
Sven
Verdoolaege
partition2enumeration: ch
e
c
k that input is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ve
n
Verd
o
ola
e
ge
upda
t
e pi
p
l
ib for change i
n
configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update om
e
ga for con
f
igur
a
tion
/
compilation issues
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoo
l
a
e
ge
b
arv
i
n
o
k_
c
ount_with_optio
n
s: c
h
eck return value
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
ege
P
olyhed
r
on_Samp
l
e
:
plug memory
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
summate
.
c: add
m
i
s
s
ing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
o
l
aege
topcom
.
c:
s
upport ne
w
e
r versions
o
f TOPC
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compute_domain
:
s
k
ip vert
i
c
e
s without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: reflect that --
e
n
a
ble-fract
i
onal is n
o
w
the
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
glpk_po
l
yh
e
dro
n
_af
f
ine_sign: special case
0
D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
d
o
olaege
Polyhe
d
ron_Insert_Columns:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedro
n
_Factor:
fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven V
e
rd
o
olaege
configure
.
in:
us
e
AX_SUBMODULE instead of BV
_
SUBM
O
DULE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
Verdoolaege
remove_equalities:
u
s
e
P
olyhedr
o
n_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolae
g
e
ba
r
vinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaeg
e
d
o
c: a
d
d ex
p
erimental
c
o
m
par
i
so
n
betwe
e
n old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
l
e
xmin
.
cc:
r
emov
e
"a
n
achronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
doc:
ad
d
some less co
m
mon
.
s
t
y
f
i
les
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever"
L
aurent expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdool
a
ege
move Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
extract out param_polynomial from laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olae
g
e
extract vertex
_
cone from
laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven
V
e
r
dool
a
ege
update pol
y
lib for s
p
eed im
p
rovement
i
n in_
d
omain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoo
l
aege
updat
e
p
i
pl
i
b
f
or distrib
u
t
ion issu
e
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verdoolaeg
e
Polyhedron_Factor: fix merg
i
ng of groups of co
l
umns
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
(t)co
u
nter: move counter:
:
reset() up t
o
count
e
r
_
base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
Ma
k
efile
.
am: keep be
t
ter track
of failed t
e
sts
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
Line_Length
:
handle 0D p
o
lytop
e
in 1
D
s
pace
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n Verdoolae
g
e
P
olyhedron_Fa
c
to
r
: handle po
l
yh
e
dra with a
n
on-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdoo
l
aege
update piplib for change in configure argumen
t
s
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
bar
v
inok
.
c
c: remove unu
s
ed n
o
nor
t
hog
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
update piplib
for Mi
n
GW compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n
V
e
rdoolaege
update
p
olylib
for MinGW compa
t
ibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Ve
r
do
o
l
aege
evalue
.
c: in_domain: special-case 0
D
domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
olaege
Avoi
d
use
o
f
sy
s
/t
i
m
e
s
.
h he
a
der when not avail
a
ble
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoo
l
ae
g
e
add gnulib ge
t
su
b
o
pt mo
d
ule for Mi
n
GW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
doolaege
R
E
ADM
E
: me
n
t
ion that GiNaC
i
s
also
n
eeded for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven V
e
rdoolaege
Allow
b
u
i
l
d
of occ when using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n Verdoolaeg
e
doc: add a reference to
a master thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
o
olaege
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README: fix up
i
n
sta
l
lation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
e
r
doo
l
a
e
g
e
Add files
g
enerated by bison and fl
e
x to the di
s
tribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
u
p
d
a
t
e
polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update p
i
plib
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
doolaeg
e
e
value
.
c: affine
2
ev
a
lue: reduce coeff
i
cients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdool
a
ege
evalue
.
c: evalue_level
_
cmp: produce more cons
i
s
t
ent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verd
o
olaege
doc:
a
dd an
o
ther paper re
f
erring
t
o the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Ver
d
o
o
laeg
e
p
iec
e
wise_lst
.
h
:
a
void duplic
a
te parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
evalue_rea
d
.
c: f
i
x mino
r
bugs in
t
okenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verd
o
olaege
upda
t
e ome
g
a
f
or missing f
i
les
in distribut
i
o
n
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoola
e
ge
b
a
r
vinok_
e
numerate_e
:
a
vo
i
d infini
t
e loop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
mo
v
e o
m
ega subdir to ome
g
a_int
e
rface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NT
L
_QQ
.
cc: add stdli
b
inclu
d
e for
a
bort hidden in NTL_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
remove gnulib lin
k
-warning module completely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update polylib wit
h
e
xtr
a
field
in Param_Pol
y
hedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaeg
e
d
o
c
: fix
typos
commit
|
commitdiff
|
tree
2008-07-20
S
ve
n
Verdoolaege
update
g
nulib functi
o
n
to last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven V
e
rdo
o
laege
enumera
t
or::h
a
n
dle: replace incorrect d
e
lete by free
commit
|
commitdiff
|
tree
2008-06-17
Sv
e
n Verdoolaege
upda
t
e pip
l
ib for corrected
U
rs_par
m
s handlin
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
configure: use corre
c
t
h
eader
fi
l
es in case
o
f
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
omega/occ:
o
nly ope
n
debu
g
out
p
ut file if there i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
olaege
doc:
f
ix t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
a
dd
edi
t
ors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
add some t
e
st sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
do
o
laege
d
o
c: add la
t
est (accepte
d
) pub
l
ications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: add
s
ection_array
.
h to distrib
u
tion
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
normaliza
t
ion
.
c:
compute_shif
t
s: r
e
m
ove redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaeg
e
mov
e
Free_ParamNames po
l
ylib and make pa
r
am name
s
c
on
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
olaege
occ: add i
n
ter
f
a
ce
to
barvinok
_
summate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ver
d
oola
e
ge
ex_convert
.
cc: extra
c
t ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
doc: document more --su
m
matio
n
me
t
h
ods
f
or bar
v
inok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
d
oola
e
ge
op
t
ions
.
c: rename "barvinok"
s
ummati
o
n
method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laeg
e
Makefil
e
.
am: check-euler:
also
check
l
aurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
summate
.
c:
b
arvinok
_
summate
:
han
d
le pr
o
ducts of po
l
yt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
evalue
.
c: e
x
port eva
l
u
e_reord
e
r_terms
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoola
e
ge
bernstei
n
: numeri
c
2
value: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
ut
i
l
.
c: Factor
_
Context: extrac
t
ed from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoola
e
ge
s
u
mmate
.
c: barvinok_s
u
m
mat
e
: ignore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdool
a
ege
e
v
alue
.
c: add evalue_fl
o
or2
f
rac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
o
m
e
g
a/occ: print
b
arvinok v
e
rsion n
u
mb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
doc: update some r
e
f
e
rences
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
M
a
ke laurent ba
s
e
d
summat
i
on the
d
efa
u
lt
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summate
.
c: barv
i
no
k
_su
m
mate: handle
q
u
asi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
reduce_eva
l
u
e: e
x
tract
o
u
t evalue_re
d
u
c
e_siz
e
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
evalu
e
.
c: evalue_shift
_
varia
b
le
s
: allow shifting o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolae
g
e
summ
a
t
e
.
c: ha
n
dle
e
qualities
f
or all su
m
ma
t
i
on algo
r
i
thms
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdo
o
la
e
ge
summate
.
c:
b
ar
v
i
nok_summate: m
o
ve commo
n
p
arts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
evalue
.
c: e
v
a
lu
e
_sum: mo
v
e sig
n
handling into esum
_
over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
barvinok_e
.
c
c: enum
e
rat
e
_sum:
u
s
e
ba
r
vi
n
o
k_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summ
a
te
.
c
: e
x
tract
b
a
r
v
inok_su
m
mate f
r
om bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolae
g
e
rename summat
e
.
cc to
barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolae
g
e
evalue
.
c: reduce_evalue: reduce fl
o
o
r with
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
A
dd Laurent expansion
b
ased summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
evalue
.
c: extend ee
q
ual to handle dom
a
ins and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolae
g
e
binomial
.
c: ex
t
ract binomial and fa
c
t
orial f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
power
.
h: ex
t
ract fro
m
e
u
l
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introdu
c
e e
v
alue_shi
f
t_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
l
attice
_
point
.
cc: export
r
elative_c
o
ordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
er
d
oolaege
lattice_point
.
h:
make
s
ure correct evalues are
us
e
d
commit
|
commitdiff
|
tree
next