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 Verdoo
l
aege
m
o
ve omega
s
ubdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
d
o
olaege
NTL_QQ
.
c
c
:
add stdl
i
b include f
o
r abort hidde
n
in NTL_vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
remo
v
e
g
nul
i
b link-war
n
ing module
compl
e
tely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
lexmin
.
cc:
f
ind
a
nd s
o
rt
a
r
e in std:: namespac
e
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Verdoolaege
lexmi
n
.
cc: avoid use of type
o
f
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ver
d
oolaege
4coin
s
.
cc: r
e
move dead code
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
t
est
l
ib
.
c
c: add missing re
t
urns
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
er
d
oolaege
workaround silly sun co
m
piler erro
r
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
A
v
o
i
d
u
se
o
f the make -C
option
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Ver
d
o
ola
e
ge
sum
m
a
te
.
c:
add
m
is
s
in
g
include
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
sum
m
a
t
e
.
c: add
m
issing return
values
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
M
ake
f
ile
.
am: inc
l
ude
lib
in
c
lude dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoola
e
g
e
lau
r
e
n
t
.
cc:
don't use const vec
t
ors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doo
l
a
eg
e
variable
le
n
gth
arrays are no
t
s
tan
d
ard C++ (ye
t
)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
genfun
.
cc: arg
u
ment of mp_get_
m
emory_function
s
sh
o
uld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
update
piplib for compatibility
c
hanges
commit
|
commitdiff
|
tree
2008-08-24
Sven
V
e
r
do
o
laege
up
d
a
t
e
pol
y
lib with extra field in Par
a
m_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sve
n
Verdoo
l
a
ege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
a
dd missi
n
g algorith
m
in
c
lude for fin
d
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
d
o
o
l
a
e
g
e
F
ix out-of-bounds erro
r
i
n Laure
n
t expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaeg
e
In
c
lude empty
.
c file in li
b
barvinok if GiNaC
w
as not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdool
a
ege
correctly re
f
lect extra
so
u
r
c
es for l
i
bbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoolaege
fix typo in c
o
mment
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaege
lib/string
.
in
.
h: copy __restrict handlin
g
f
r
om li
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update
g
nuli
b
function
to last pre-GPLv
3
version
commit
|
commitdiff
|
tree
2008-07-02
S
v
en Verd
o
olaeg
e
enume
r
a
tor:
:
handle
:
repl
a
ce
i
ncorrect de
l
ete by f
r
ee
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolae
g
e
update piplib for correcte
d
Urs_parms h
a
n
dlin
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verd
o
ola
e
ge
configure: use corr
e
ct header fil
e
s in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en V
e
r
d
o
olaege
omega/occ:
o
nly open debug outpu
t
fi
l
e
if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
rdoolaeg
e
do
c
: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add ed
i
tors t
o
ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
r
doolaege
barvinok
0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
o
l
ae
g
e
add s
o
me test sets
from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ver
d
o
o
laege
doc: add l
a
test (ac
c
epted) p
u
bli
c
ati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
laeg
e
Make
f
ile
.
a
m: add s
e
ction_a
r
ray
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdool
a
ege
n
o
r
m
alizat
i
on
.
c: compute_shifts
:
remove r
e
du
n
dant re
t
ur
n
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
move Free_
P
aramNa
m
es
p
o
l
ylib and make
p
aram names
con
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add
i
nterface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
ex_
c
onvert
.
cc
:
extract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
do
c
: document more --summat
i
on met
h
ods for barv
i
nok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
options
.
c: rename
"bar
v
inok" summ
a
tio
n
method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: chec
k
-euler: also check lau
r
ent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
aege
summ
a
te
.
c: barvinok_su
m
mate: handle pr
o
d
u
cts of po
l
ytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
evalue
.
c: export evalue_reo
r
der
_
terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laeg
e
bernstein
:
numeric2value: fix typo to allow c
o
rrect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rd
o
olaege
util
.
c:
F
a
c
t
o
r_Cont
e
xt: extr
a
cte
d
f
r
o
m barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoo
l
ae
g
e
summate
.
c:
b
a
rvin
o
k
_
summ
a
te
:
i
g
nore fl
o
o
r
s indepen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
evalue
.
c: add evalue_floor2f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ome
g
a/occ: print barvinok version
n
um
b
er
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rd
o
olaege
doc: update
s
ome
references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
Make laurent based summation
t
h
e
de
f
ault
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
s
u
m
m
ate
.
c: ba
r
vinok_summat
e
: handle qu
a
si
-
polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_evalue
:
extract o
u
t
evalue_
r
educe_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
evalue
.
c: evalue
_
shift_variables:
a
ll
o
w
shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summ
a
te
.
c:
handle equalities for all summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
su
m
mate
.
c: b
a
rvinok
_
summ
a
t
e:
m
o
v
e common
parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
eva
l
ue
.
c: evalue_su
m
: move sign
h
andling
i
n
t
o esum_ov
e
r_domain
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoolaege
barv
i
nok
_
e
.
cc
:
enumerate_sum: use barvino
k
_
summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
s
u
mm
a
te
.
c: extrac
t
barvinok
_
summate fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
rename summate
.
c
c to
barvinok_summ
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdool
a
ege
evalue
.
c
:
reduce_evalue
:
r
e
d
uc
e
floor with cons
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
A
dd
La
u
re
n
t
e
x
p
a
nsion bas
e
d su
m
matio
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaeg
e
evalue
.
c: extend eequal to handl
e
domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
a
ege
binomial
.
c: extract binomial and
facto
r
i
a
l from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
powe
r
.
h: extra
c
t from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Ve
r
doolaege
in
t
roduce evalue_shift_variable
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
lattice_p
o
int
.
cc:
ex
p
or
t
relat
i
ve_coordi
n
a
t
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolaege
lattice
_
poi
n
t
.
h
: make
s
ur
e
correct evalues are
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
latti
c
e_point
.
cc: add c
e
i
l
i
ng function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
u
t
il
.
c: i
n
ternalize
ugly bv_
c
e
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n Verdoo
l
aege
lattice_point
.
cc:
mul
t
i_m
o
nom
/
lattice_points
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
en V
e
rdoolaege
doc: clean up "exponential substi
t
ution" secti
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoo
l
ae
g
e
t
e
st_bound
.
cc: avo
i
d loss
o
f precision
cause
d
by
c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ve
r
doo
l
aege
b
arv
i
nok_bound: optionally take
m
aximal
size of d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
dool
a
eg
e
b
arvinok_bound: add --
i
terate
o
p
tions for
e
valuating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
verify
.
c: e
x
port functions for setting and
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verd
o
o
l
aege
verify
.
c:
eva
l
u
e
_optimum: al
l
ow co
m
putation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
berns
t
ein
.
cc: eva
l
ue2e
x
: don'
t
assu
m
e a
l
l
p
eriodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
doolaege
boun
d
.
c
c
: fix
c
a
ll to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{
a
dd,
m
ul}_
p
eriodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
aege
evalue_ber
n
st
e
in_co
e
ffi
c
ients: handle prob
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdo
o
laege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
l
a
ttice_width
.
c: skip directions th
a
t are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
V
er
d
ool
a
ege
Makefile
.
am: add cdd9
4
e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
rdoolaege
o
m
ega/o
c
c: opti
o
na
l
ly u
s
e parker for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c:
s
kew_
t
o_
p
os
i
t
i
ve_orthant:
p
rop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
doolaege
omega/
c
onvert
.
cc: relation2Domain: only coll
e
ct
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
o
c
c
:
add
d
u
mp for du
m
ping i
n
barv
i
n
o
k
_enumer
a
t
e_e for
m
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_enumerat
e
_
e
:
optionally use pa
r
ker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_con
s
traints: take const
r
aints instead o
f
p
olyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
nor
m
ali
z
ation
.
c: extract
s
tand
a
rd_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolae
g
e
par
k
er/count_
s
o
l
u
tions
.
c
c
: fix treatment of existenti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
com
p
ile
p
ark
e
r
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
Add par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
euler
.
cc: evalue_derive:
handle constant
p
olynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
a
d
d som
e
test
sets fr
o
m
c
ases 2004 and cc 2005
p
a
per
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaeg
e
rename barvi
n
ok_maximiz
e
to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolae
g
e
add
a
test for
t
est_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
g
e
evalue_range_pro
p
a
g
a
t
ion:
rem
o
ve
r
e
d
u
n
dant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
test_boun
d
:
record number of poly
n
omials as "size"
.
.
.
commit
|
commitdiff
|
tree
next