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
update piplib for change in configure options
2010-01-01
Sven Verdoolae
g
e
u
pdate
p
i
p
l
ib for
c
han
g
e in configure op
t
io
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
update omega for config
u
r
ation/co
m
pilation iss
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
laege
barvin
o
k_count_wit
h
_o
p
tions: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
laege
Polyhedron_
S
a
m
ple: plug
m
emory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summa
t
e
.
c: ad
d
m
i
ssi
n
g include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
l
aege
topcom
.
c: supp
o
r
t
n
ewer
ve
r
s
ions o
f
TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compute_do
m
ain: skip
v
e
rtices without do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
a
ege
doc: r
e
flect that --enab
l
e-fractiona
l
is now
the
d
efault
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
glpk_p
o
lyhedron_a
f
fine_sign: special
ca
s
e 0
D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
P
o
lyh
e
dron_In
s
ert_Columns: fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
Verd
o
olaege
Poly
h
edron_Factor: fix upd
a
ti
n
g
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoola
e
ge
c
o
nf
i
gure
.
in:
use
A
X_SU
B
MODULE instead
o
f
B
V_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven V
e
r
do
o
laege
re
m
ov
e
_equalities:
u
se Poly
h
edr
o
n_Preima
g
e instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
bar
v
inok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
e
g
e
doc:
add experimental comparison between
o
l
d
and
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lex
m
in
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc
:
a
d
d some
l
e
s
s
common
.
s
t
y f
i
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
a
d
d "clever"
L
a
urent expansion
b
ased summation
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
mov
e
Last_No
n
_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
e
x
trac
t
ou
t
p
a
ram_po
l
ynom
i
al from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
e
x
t
r
act vertex_cone from
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven
V
e
rdool
a
ege
u
p
date polylib for sp
e
ed
improvement in i
n
_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaeg
e
update piplib for di
s
tr
i
buti
o
n
i
ssue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdo
o
l
aege
Po
l
y
hed
r
o
n_Factor: fix merg
i
ng of gro
u
ps o
f
columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
oolae
g
e
(t)counte
r
: move coun
t
er
:
:re
s
e
t(
)
u
p
to
c
ounter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdool
a
ege
Makefi
l
e
.
am: keep better
t
rack o
f
failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdool
a
ege
Line_Length: handle
0
D polytope
in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaeg
e
Pol
y
hedron
_
Fact
o
r:
handle polyhedra with
a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoolaege
up
d
ate
piplib for chang
e
in configure a
r
gum
e
nts
commit
|
commitdiff
|
tree
2008-12-27
S
v
en Ve
r
doolaege
barvinok
.
cc: remo
v
e unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
update
piplib for MinGW compati
b
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
d
oolaege
update pol
y
lib fo
r
M
i
nGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
ev
a
lue
.
c: in_domain: special-c
a
se 0D
domains
commit
|
commitdiff
|
tree
2008-12-25
S
v
e
n
Verd
o
olaege
Avoid
u
se of sys/ti
m
es
.
h
hea
d
er when
n
ot
ava
i
lable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
a
d
d gnulib getsubopt
module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
Verdoolaege
README: m
e
ntion tha
t
GiNaC
is also needed
f
o
r
t
h
e
O
m
eg
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven
Verd
o
olaege
Al
l
ow
build of occ when using bundled ome
g
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Ve
r
doolaege
doc:
a
d
d
a reference
t
o
a maste
r
thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
b
a
rvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
R
E
ADM
E
: fix up install
a
tion instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Ad
d
files
g
e
nerate
d
by
b
ison and flex to the
dis
t
ribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
e
ge
update polylib
commit
|
commitdiff
|
tree
2008-10-16
S
v
en V
e
r
doo
l
aeg
e
up
d
ate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdo
o
l
a
ege
evalue
.
c: affine2
e
val
u
e: reduc
e
coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdoo
l
aege
ev
a
lue
.
c: evalu
e
_
level_cmp: p
r
oduce
m
ore consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add another paper referri
n
g
to the lib
r
ary
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoola
e
ge
p
iecewise_lst
.
h:
a
void duplicat
e
p
a
rameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoo
l
a
e
g
e
eva
l
u
e
_r
e
ad
.
c: fix minor bugs i
n
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update o
m
eg
a
for mis
s
i
n
g files in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
b
a
rvinok_enumerate_e: avoid infi
n
ite loop whe
n
present
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
move omega subdir to o
m
ega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
NTL_QQ
.
cc: a
d
d std
l
ib inc
l
ude
f
o
r abort
h
idden in
N
TL_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
remove gnulib link-war
n
ing module complet
e
ly
commit
|
commitdiff
|
tree
2008-08-24
S
v
en Verdoolaege
update polylib wi
t
h extra fi
e
ld in Param_P
o
ly
h
edron
commit
|
commitdiff
|
tree
2008-07-30
S
v
e
n Verdoolaege
d
o
c: fix ty
p
os
commit
|
commitdiff
|
tree
2008-07-20
Sven V
e
rdoolaege
update gnulib
function to
l
ast pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven V
e
r
doolaege
enume
r
ator::handle: re
p
lace incorrect delete
b
y free
commit
|
commitdiff
|
tree
2008-06-17
Sven V
e
r
d
o
olaege
update
piplib for
corrected Ur
s
_parms handl
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
c
o
n
figure:
us
e
c
orrect
h
eader f
i
les in
c
ase of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ve
n
Verdoola
e
ge
omega/occ: onl
y
open de
b
u
g
output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Ve
r
doolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
en
V
erdoolaege
a
d
d ed
i
tors
to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdool
a
e
ge
barvino
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
a
dd some test s
e
ts from itsl2
0
08 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
d
oc
:
a
dd la
t
e
s
t (a
c
cepted) publi
c
ation
s
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verd
o
o
laege
Makef
i
le
.
am: ad
d
s
ection_array
.
h
t
o
d
istribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
e
g
e
n
ormalizati
o
n
.
c: compute_s
h
ifts: remove r
e
dundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoo
l
aege
move Free_Param
N
ames p
o
lyli
b
a
n
d make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
d
oo
l
ae
g
e
o
cc:
add
int
e
r
f
ace to barvinok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
ex
_
convert
.
c
c
:
extract
ex
2
e
valu
e
fr
o
m
range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
doc: do
c
ument more --s
u
mma
t
i
on
methods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
options
.
c: rena
m
e "bar
v
ino
k
"
s
ummation method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
o
olaeg
e
Makefile
.
am: check
-
eule
r
: also che
c
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
er
d
oola
e
ge
su
m
mate
.
c: barvinok_summate: handl
e
produc
t
s of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c: export evalue_reord
e
r_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein: n
u
m
eric
2
va
l
ue: fix typo
t
o al
l
ow co
r
rect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laeg
e
util
.
c:
Factor_Con
t
ext: extracted from
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
s
u
m
mat
e
.
c: b
a
r
v
inok_su
m
mate
:
ignore
floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: a
d
d evalue_flo
o
r2fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
omega/occ: print
b
arvinok
v
ersion num
b
er
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: update s
o
me referen
c
es
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Ve
r
doolaege
M
a
ke la
u
rent based summ
a
tion the default
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
summ
a
t
e
.
c: barvinok_
s
u
m
mate: handle quasi-p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolae
g
e
reduce_eval
u
e: extract
o
ut evalue_r
e
duce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
al
u
e
.
c: e
v
alue_s
h
ift_va
r
iables: al
l
o
w
s
h
i
fting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
summate
.
c: h
a
n
d
l
e equalities for
a
ll summation al
g
o
rithms
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summate
.
c: barvinok_summate: move
com
m
on p
a
rts
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
e
v
a
lue
.
c: evalue
_
sum:
m
ove
s
ign handling into es
u
m_over
_
domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
ege
barvinok_e
.
cc: enumerate_sum: us
e
barvi
n
ok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
olaege
sum
m
a
t
e
.
c:
e
xtract barvinok_summate from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verd
o
olae
g
e
rename su
m
ma
t
e
.
cc to bar
v
inok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolae
g
e
evalue
.
c: reduce_evalue: redu
c
e floor w
i
th c
o
n
s
tant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaeg
e
A
d
d La
u
r
e
n
t
e
xp
a
nsi
o
n
based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
eva
l
ue
.
c
:
exte
n
d eequal to
h
andle domains and N
a
Ns
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolae
g
e
binomial
.
c
:
ex
t
ract bino
m
i
al
a
n
d
fa
c
tori
a
l from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
Verdoolaege
power
.
h
: e
x
t
ra
c
t fr
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
o
o
laege
introd
u
ce
evalue_sh
i
ft_var
i
ables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
lattice_point
.
cc: export r
e
lativ
e
_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lat
t
i
c
e
_point
.
h: make sure
correct evalues are u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc: add ceiling
fu
n
c
t
ion
commit
|
commitdiff
|
tree
next