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
move omega subdir to omega_interface
2008-08-28
Sven V
e
r
d
o
olaeg
e
move ome
g
a
subdir to ome
g
a_interfa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL
_
QQ
.
c
c
: add s
t
dlib include for abort h
i
dden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
remove gnulib lin
k
-warning modu
l
e completel
y
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
lexm
i
n
.
cc:
f
ind and
s
ort
a
re in s
t
d::
namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
doolaege
lexmin
.
cc: avoid use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
4coins
.
cc:
r
emove de
a
d
cod
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
testli
b
.
cc: a
d
d mi
s
sing re
t
urns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
workaround silly sun
c
ompiler err
o
r
s
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
Avoid use of the
m
ak
e
-
C option
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdoolaeg
e
su
m
mate
.
c
:
add m
i
ssing incl
u
de
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ver
d
ool
a
ege
summate
.
c: add missing retu
r
n value
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
Makefile
.
am:
i
nclude lib include dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
laure
n
t
.
cc: d
o
n't use
c
on
s
t vectors as ma
p
key
s
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
variable le
n
g
th
a
rrays are not s
t
andard C++
(
yet
)
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
genfun
.
cc: argument of mp_get_m
e
mory
_
functions sho
u
ld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdool
a
ege
update piplib for compatib
i
lity changes
commit
|
commitdiff
|
tree
2008-08-24
Sven
V
erdoolaege
up
d
ate polyl
i
b
with extra field in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: fix
t
y
p
o
s
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
add
m
issin
g
a
l
gorithm include for
f
ind
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
Fix out-of-bounds err
o
r
i
n L
a
urent expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
I
nclude empty
.
c fi
l
e in libbarvinok
i
f GiNaC was no
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correctly re
f
l
ect
extra sources for libbar
v
inok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
fix typo in com
m
e
nt
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
lib/s
t
ring
.
in
.
h: c
o
py __restrict
handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdo
o
laege
update gnuli
b
f
u
nction to last pre-GPLv3 versio
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumerator::h
a
ndle: replace incorrect delete by f
r
ee
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
u
p
date piplib for corrected Urs_parms
h
andling
commit
|
commitdiff
|
tree
2008-06-12
Sven Ver
d
oolaege
configur
e
: use
cor
r
ect
h
eader fil
e
s in
c
ase of
b
undled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolae
g
e
confi
g
ure
.
i
n
: fix
check f
o
r c
o
de_gen
l
ibrary availabili
t
y
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
er
d
o
olaege
omeg
a
/occ: only open de
b
ug output file if
t
h
e
re is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdool
a
ege
omega/Makefile
.
am:
a
vo
i
d b
i
s
o
n's -o option a
s
naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ve
n
V
e
rdoolae
g
e
range
.
c
c
: add missi
n
g inclu
d
e
of
a
lloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verd
o
olaege
add editors to ITSL
pape
r
s
commit
|
commitdiff
|
tree
2008-05-07
Sven V
e
rdoolaege
use
a
rgp for argu
m
ent par
s
ing in barvi
n
ok_ehrhar
t
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verd
o
olaege
properl
y
han
d
le NTL CPPFL
A
GS
and
L
DFL
A
GS
commit
|
commitdiff
|
tree
2008-05-07
S
v
en Verdoolae
g
e
basis_reduction_templ
.
c
:
a
dd m
i
ssing
include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvinok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
a
dd some test
set
s
fro
m
itsl2008 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
doc
:
add latest (accep
t
ed) p
u
b
l
icat
i
ons
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
ool
a
ege
Ma
k
efile
.
am: add section_array
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdo
o
laege
normaliza
t
ion
.
c: co
m
pute_shifts: remove redu
n
dan
t
ret
u
rn
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
mov
e
Fr
e
e_Pa
r
a
m
Names
pol
y
lib and make param
n
ames const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdo
o
laeg
e
o
cc: add int
e
r
face to
b
ar
v
i
n
ok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
ex_conve
r
t
.
cc:
e
xt
r
act e
x
2evalue fr
o
m ra
n
ge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaeg
e
doc
:
document more --summation
m
et
h
ods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
er
d
oola
e
ge
options
.
c: r
e
name "bar
v
i
nok"
s
ummatio
n
method to "box"
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verd
o
olaege
Ma
k
efile
.
am: check-euler:
a
lso c
h
eck
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c:
b
arvinok
_
su
m
mate: handle pro
d
ucts
o
f
polyt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolae
g
e
evalue
.
c:
e
x
p
ort eva
l
ue_reord
e
r_
t
e
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aeg
e
bernstein:
n
u
m
eric2value: fix typo to al
l
ow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
util
.
c: Factor
_
C
ontext: ex
t
racted from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
summate
.
c: barvinok_summate: ignore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaege
e
v
a
l
u
e
.
c
:
add ev
a
lue
_
floor2f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
ome
g
a/occ:
print barvino
k
version nu
m
ber
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erdool
a
ege
doc
:
update some references
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
Ma
k
e lau
r
e
nt bas
e
d summation the default
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoola
e
g
e
summate
.
c
:
barvinok_summate: handle
q
ua
s
i-
p
olyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_eval
u
e: extr
a
c
t out
e
va
l
ue_
r
educe_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
eva
l
ue
_
shift_var
i
ables: allow
s
hifting
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
summa
t
e
.
c
: handle
e
q
ualiti
e
s for all summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
ool
a
ege
summate
.
c: ba
r
vinok_summa
t
e:
move
c
ommo
n
parts of summ
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
o
laege
evalu
e
.
c: evalue_s
u
m
:
move sign handling
i
nto esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
b
a
rvinok_e
.
cc
:
e
numerate_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoo
l
aege
summate
.
c
:
ext
r
ac
t
barvino
k
_summate from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
renam
e
summate
.
cc to ba
r
vinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Ver
d
oolae
g
e
evalue
.
c: reduce_evalue: reduce floor with c
o
nstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Ad
d
Laurent expa
n
sion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
evalue
.
c: extend eequal to handle domains and Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaeg
e
bi
n
om
i
al
.
c: extract
b
i
n
o
m
ial
a
nd factoria
l
from
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoo
l
a
ege
power
.
h:
e
xtract from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce
evalue_sh
i
f
t_variable
s
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolae
g
e
la
t
tice_point
.
cc: export rela
t
ive_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
h: m
a
ke sure corr
e
ct evalues a
r
e used
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
Verdoo
l
aege
lat
t
ice_poi
n
t
.
cc:
a
d
d ce
i
ling function
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoo
l
aege
u
til
.
c: int
e
r
nal
i
ze
u
gly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
o
laege
lattice_
p
oint
.
c
c
: m
u
lt
i
_monom/lattice_p
o
ints: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
Verdoolaege
d
o
c: clean
up "exponential subs
t
itution" s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
e
rdoolaege
test_bound
.
c
c
:
avoid loss of preci
s
ion caused by conve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
barvin
o
k
_
b
ound: optiona
l
ly t
a
k
e
maximal size of dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvin
o
k_bound: add
-
-i
t
erate o
p
tions f
o
r evalu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
verif
y
.
c: export funct
i
o
n
s f
o
r setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doo
l
a
e
ge
verify
.
c: evalue_optimu
m
: allow comp
u
tation of
o
pti
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoola
e
ge
b
ernst
e
in
.
cc: eva
l
ue2ex: don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc: fix cal
l
to evalue_c
o
nver
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
e{add,mul}_periodics: pl
u
g memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
value_bernste
i
n_coefficient
s
: handle probl
e
ms
w
ith
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolae
g
e
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
erdoolaege
lattic
e
_width
.
c: skip directions that
a
re i
d
en
t
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makef
i
le
.
am: add cdd
9
4
e-t
e
s
t
to di
s
tribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ:
optionally us
e
pa
r
ker for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ver
d
o
o
laege
normaliza
t
i
o
n
.
c: skew_to_positive_
o
rthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/con
v
e
rt
.
c
c
: relation
2
Domain: only c
o
llect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaeg
e
o
c
c: ad
d
dump for dumpin
g
in barvinok_enumer
a
te_e fo
r
ma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_enumerate
_
e: optionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ve
r
d
o
o
laege
s
tandard_con
s
traints: take co
n
stra
i
n
t
s
i
nste
a
d
of po
l
yh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolae
g
e
norm
a
lization
.
c: extract
stan
d
ard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verd
o
o
laege
par
k
er/count_soluti
o
n
s
.
cc: fix t
r
eatment of ex
i
stential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
c
ompile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
dd parker
commit
|
commitdiff
|
tree
next