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
Polyhedron_Factor: fix merging of groups of columns
2009-05-26
S
ve
n
Verdoolaege
Polyhe
d
ron_Factor: fix merging of
groups of co
l
umns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
(
t)counter: move counter::reset() up to counter_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefile
.
am: keep better track of
fail
e
d
t
ests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
Line_L
e
ngth: h
a
ndle 0D p
o
lytope in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdoolaege
Polyhedro
n
_
Factor: han
d
le polyhe
d
ra with a n
o
n
-
trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
r
d
o
olaeg
e
u
pdate piplib for
c
hange in conf
i
gure argumen
t
s
commit
|
commitdiff
|
tree
2008-12-27
Sven
Ve
r
do
o
laege
barvinok
.
c
c
: remove
unuse
d
n
on
o
r
thog
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoolae
g
e
update pi
p
lib for M
i
n
GW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update p
o
lylib for MinG
W
c
o
mpat
i
b
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
e
value
.
c: in_domain
:
spec
i
a
l
-case 0D dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
Avo
i
d
use
o
f sys/times
.
h head
e
r
w
h
e
n
not a
v
ailable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
l
aege
a
dd gnulib getsubopt module for
M
i
n
GW
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verd
o
olaege
REA
D
ME:
me
n
tion that GiNaC
is also needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow build of occ
when using bundled omeg
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoola
e
g
e
doc:
add a
reference to a master the
s
is act
u
ally using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Ve
r
doolae
g
e
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaeg
e
R
E
ADME: f
i
x
up installation instructi
o
ns
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add files g
e
nerated by bison and flex to the
d
i
s
tribution
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoolaege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
ev
a
lue
.
c: affine2evalue
:
reduce coef
f
icie
n
ts
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
e
rdoolaege
evalue
.
c: evalue_l
e
vel_cmp:
pr
o
duce mo
r
e c
o
nsisten
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdo
o
laege
doc: add anot
h
er paper referring to the lib
r
a
ry
commit
|
commitdiff
|
tree
2008-09-16
S
ven Verdoolaege
piecewise_ls
t
.
h:
a
void d
u
p
l
icate pa
r
ameter nam
e
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
evalue_read
.
c: fix minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n Verdoolaege
updat
e
ome
g
a for m
i
ssing fi
l
es
in
distribution
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
erdoola
e
ge
barvinok
_
enumerate_
e
: avoid in
f
inite loop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven
Verd
o
o
laege
move omega subdi
r
to omega_in
t
erface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
g
e
NTL_QQ
.
c
c
:
add stdlib
i
nclu
d
e
for ab
o
rt
h
idden in N
T
L
_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
remove gnu
l
ib lin
k
-warning
m
odule comp
l
etely
commit
|
commitdiff
|
tree
2008-08-24
Sven Ver
d
oolaege
u
pdate poly
l
ib with extra f
i
eld in P
a
ram_Poly
h
edron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoo
l
aege
doc:
f
ix t
y
pos
commit
|
commitdiff
|
tree
2008-07-20
Sven
Verd
o
olaege
update gn
u
li
b
func
t
ion to last p
r
e-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
ven V
e
rdoolaege
en
u
merator:
:
h
a
n
dle: replace incorrect del
e
te by free
commit
|
commitdiff
|
tree
2008-06-17
S
ven
V
e
r
dool
a
ege
update p
i
plib for corrected U
r
s
_p
a
rms handling
commit
|
commitdiff
|
tree
2008-06-12
S
v
en Verdoo
l
aeg
e
configure
:
use correct he
a
de
r
files in case o
f
bu
n
d
led
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Ve
r
doolaege
o
m
ega/oc
c
: only
o
pen de
b
ug ou
t
put file if th
e
re
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoola
e
ge
doc:
f
ix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aege
add editors to ITSL
p
ap
e
rs
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
a
d
d some test set
s
f
rom
itsl
2
008 pape
r
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoolaege
d
o
c: add l
a
te
s
t
(accep
t
ed) publicati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: add sec
t
ion_array
.
h
to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolaege
no
r
malization
.
c: c
o
mpute_shifts: rem
o
ve redund
a
nt
re
t
u
rn
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
do
o
laeg
e
move Free_ParamNames polylib
a
nd make
p
aram names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
erdoolaege
o
cc: add interface to barvinok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
ex_convert
.
cc:
e
xtra
c
t ex2evalue from
r
a
nge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
doc
:
doc
u
ment
m
o
re --su
m
m
a
t
ion methods fo
r
barvinok_summ
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c: rename
"bar
v
in
o
k"
s
ummation method to
"b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoo
l
aege
Makefile
.
am:
check-eule
r
: also check
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolae
g
e
summate
.
c
:
b
arv
i
n
ok_summate: handle product
s
of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
ev
a
lue
.
c: e
x
p
o
rt evalue_r
e
ord
e
r_ter
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
bernstein
:
nu
m
eric2val
u
e: fix typ
o
to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
oolaege
u
til
.
c: Factor
_
Context: extracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
o
laege
summate
.
c:
barvinok
_
s
umm
a
te: igno
r
e
fl
o
ors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdo
o
laege
ev
a
lue
.
c: add
e
v
a
lue_f
l
oo
r
2frac
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaeg
e
omega/occ:
p
rint
barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
doc: upd
a
t
e
some r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
rdoolaege
Make
laurent bas
e
d s
u
m
mation the
d
efault
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summate
.
c: b
a
r
v
inok_s
u
m
m
ate: han
d
le quasi
-
polyn
o
m
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdo
o
laege
re
d
uce
_
evalue
:
e
xtract o
u
t eval
u
e_reduc
e
_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c:
evalue_shift_variables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdo
o
la
e
ge
su
m
m
a
te
.
c: handle e
q
ualities for all summat
i
on algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
summ
a
te
.
c: barv
i
nok_
s
u
mmate: mo
v
e comm
o
n parts
o
f summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
evalue
.
c: evalue_sum:
m
ove sign
h
andling int
o
e
s
um_over_domain
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ver
d
oolaeg
e
barvinok_e
.
c
c
: enumerate_sum: use b
a
rv
i
nok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
su
m
mate
.
c: extract
barvino
k
_summa
t
e
from
barvino
k
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
r
e
nam
e
s
umma
t
e
.
cc to
b
arvinok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
evalue
.
c: reduce_evalue:
r
educ
e
floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aeg
e
Add Laurent expans
i
on based summati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolae
g
e
e
v
alue
.
c: e
x
tend e
e
qual
to ha
n
dle domains and
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
binomia
l
.
c: extract binomial
an
d
factorial fr
o
m
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Verdo
o
la
e
g
e
power
.
h
: extrac
t
from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
in
t
roduce evalu
e
_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
la
t
tic
e
_point
.
cc:
export re
l
ative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
lattice_point
.
h: make sure
c
orr
e
c
t
evalues are used
commit
|
commitdiff
|
tree
2008-04-24
S
v
en V
e
r
doola
e
ge
lattice_po
i
nt
.
c
c: add
ceil
i
ng
func
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
uti
l
.
c
:
i
nternalize ugl
y
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven
Verd
o
olaege
lattice_point
.
c
c
: multi
_
monom/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdool
a
ege
do
c
: clea
n
u
p
"exponential substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
test_b
o
un
d
.
cc
:
avoid
l
o
ss of pr
e
cisio
n
c
aused by
conv
e
rs
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
barvinok_bo
u
nd: optio
n
al
l
y take maxi
m
al s
i
ze of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
arvinok_bound: ad
d
-
-
iterate options for eva
l
uating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
veri
f
y
.
c: export func
t
i
ons for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoo
l
aege
ver
i
fy
.
c
: ev
a
lue_op
t
imum: allow computatio
n
of
o
pti
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdo
o
la
e
ge
bernstein
.
cc: evalue2ex: don't
a
ssume all pe
r
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
bound
.
cc: f
i
x
c
a
ll
t
o eva
l
ue_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoola
e
ge
e{add
,
mu
l
}_periodics: plug
memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
erdoolaege
evalue_ber
n
stein_c
o
efficie
n
ts: handle problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
la
e
g
e
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Verdoolaege
l
attice_width
.
c: skip directi
o
ns that are
i
denti
c
al
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoolaege
Makefile
.
a
m
:
a
dd
c
dd94e-t
e
st to distributio
n
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
rdoolaeg
e
ome
g
a/occ: optional
l
y use p
a
rker
f
o
r
c
omput
i
ng
c
ardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
nor
m
aliza
t
ion
.
c: skew
_
to
_
positive_orthan
t
: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
do
o
laege
omega/conve
r
t
.
c
c
: relation2Do
m
ain: only c
o
llect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
occ
:
add
d
ump
f
or
dumping in barvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
barvinok_enumerate_e:
o
ptional
l
y use parker
'
s m
e
th
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standar
d
_c
o
ns
t
r
aints:
t
a
ke
constraints
i
n
stead of pol
y
h
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
normali
z
atio
n
.
c: extrac
t
sta
n
dard_co
n
straints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verd
o
ola
e
ge
p
a
rker/count_
s
olutions
.
cc:
fix t
r
eatm
e
nt of exi
s
t
e
nti
a
lly
.
.
.
commit
|
commitdiff
|
tree
next