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 isl for fix in isl_map_deltas
2008-10-16
Sven V
e
rdoolaeg
e
update
p
olyli
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
do
o
laege
up
d
a
t
e piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdo
o
laege
evalue
.
c: affine2evalue: reduce coefficien
t
s
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdoolaege
evalu
e
.
c: evalu
e
_le
v
el_cmp: produ
c
e more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add a
n
o
t
her paper refer
r
i
n
g to
t
he library
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n
Verdo
o
l
a
eg
e
piecewise_lst
.
h: avo
i
d
duplic
a
te par
a
meter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoo
l
aege
evalue_read
.
c: fi
x
m
i
n
or bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
dool
a
e
g
e
up
d
ate om
e
ga for missing files in distribut
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
b
a
rvi
n
ok_enumerate_e: avoid in
f
inite loop w
h
en
p
resented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
m
ove omega subdir t
o
omega_inte
r
f
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolae
g
e
NTL_QQ
.
cc: add stdlib includ
e
for ab
o
rt hidden
in NTL_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
remove gnuli
b
link-war
n
ing module completely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update poly
l
ib with extra
f
i
eld in Param
_
Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
ven Verdoolaege
doc: fix ty
p
os
commit
|
commitdiff
|
tree
2008-07-20
S
ven Verdoolaege
update gnulib f
u
nction to
last pre-GP
L
v3
v
ersion
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n Verd
o
ola
e
ge
enumerator:
:
handle: repla
c
e incorrect delete by f
r
ee
commit
|
commitdiff
|
tree
2008-06-17
Sve
n
Verdoola
e
ge
u
pdate piplib for
c
orre
c
ted Urs_par
m
s handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoola
e
ge
c
onfi
g
ure: use correct header
files in case
o
f bund
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/occ: only open debug output file if there
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdo
o
laeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
en
Verd
o
ol
a
ege
add editors t
o
ITSL pap
e
rs
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvino
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
doolaege
add some tes
t
s
e
t
s f
r
o
m itsl
2
008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Ver
d
oo
l
ae
g
e
doc: add
l
atest (accepted
)
publications
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
Verdo
o
l
a
ege
Makefile
.
am: add secti
o
n
_
array
.
h to distributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Ver
d
ool
a
ege
normal
i
zation
.
c: com
p
ute_s
h
i
f
ts:
remove r
e
dundant re
t
urn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
mov
e
Free
_
ParamN
a
mes poly
l
ib an
d
m
a
ke param
n
ames cons
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
occ: add
i
nterf
a
ce to barvinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
ex_convert
.
cc: extract
e
x2evalue fro
m
r
ange
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc
:
do
c
ument more -
-
s
ummation
methods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
lae
g
e
opt
i
ons
.
c: rename "barvino
k
" s
u
mmat
i
on method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
Makef
i
l
e
.
am: check-euler: also
check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
s
u
mmate
.
c: barvinok_summate
:
ha
n
d
l
e
pr
o
du
c
ts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c
:
export evalue_reorde
r
_term
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolae
g
e
bernstein: numeric2value: fix typo to allo
w
correc
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
u
til
.
c: Factor_Co
n
text: extract
e
d f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoolae
g
e
summate
.
c: bar
v
in
o
k_summate:
i
g
n
ore floors indepe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
evalu
e
.
c
:
ad
d
evalue_floor2fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/occ:
p
rin
t
b
a
rvino
k
version number
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
ool
a
ege
doc: update some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
Make laurent b
a
sed summation t
h
e defa
u
lt
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoo
l
aege
s
ummate
.
c: ba
r
vin
o
k_
s
umma
t
e: ha
n
d
l
e quasi-p
o
lyn
o
mia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
red
u
ce_evalu
e
: extract out evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verd
o
olaege
e
value
.
c:
e
value
_
shift
_
v
ar
i
ables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
summate
.
c:
h
an
d
le equalities for all summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
su
m
mate
.
c: bar
v
ino
k
_summate: move
common parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoo
l
aege
evalue
.
c
:
e
value_sum: mov
e
s
i
gn handlin
g
into e
s
um_over_doma
i
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
barvi
n
ok_e
.
cc: enum
e
rate_su
m
:
u
se barv
i
nok_su
m
mat
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoola
e
ge
summate
.
c: extract ba
r
vinok_summate
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
ren
a
m
e
s
u
mma
t
e
.
cc to
b
arvinok_
s
um
m
ate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
e
v
alue
.
c: reduc
e
_ev
a
lue: reduce f
l
oor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoo
l
aege
A
d
d Laurent expa
n
sion b
a
sed summation
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
evalu
e
.
c:
ex
t
end
e
equal to handle do
m
ains and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
bi
n
omial
.
c: ext
r
act binomi
a
l and facto
r
i
a
l
f
r
o
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verd
o
ola
e
ge
p
o
wer
.
h: ext
r
act from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
i
n
troduce evalue_shift_va
r
iab
l
es
commit
|
commitdiff
|
tree
2008-04-25
S
ve
n
Verdoolaeg
e
lattice_point
.
cc: export relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
a
t
ti
c
e_p
o
int
.
h
:
make
s
ure correct evalues a
r
e
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolaege
latti
c
e_point
.
cc: add ceiling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
uti
l
.
c: internalize
ugly bv_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sven V
e
rdoolaege
lattice_poin
t
.
cc:
mult
i
_monom/lattice_points: r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verdoolaege
doc: clean u
p
"ex
p
onential s
u
bsti
t
uti
o
n" s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc
:
avoid loss of pre
c
ision c
a
used by conv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
bar
v
inok_boun
d
:
o
ptionally ta
k
e maximal si
z
e of dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvin
o
k_bound:
a
dd --itera
t
e options for evalua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
veri
f
y
.
c
: e
x
port
fu
n
c
tions for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ver
d
oola
e
ge
veri
f
y
.
c:
e
value
_
optimum: allow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bernste
i
n
.
cc:
e
v
alu
e
2ex: don't assu
m
e all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
ool
a
ege
bo
u
nd
.
c
c
:
f
ix
c
a
ll to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdool
a
e
g
e
e{ad
d
,mul}_pe
r
iodics: plu
g
memory leaks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
oolae
g
e
evalue
_
bernstein
_
c
o
efficients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update
polyl
i
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
latti
c
e_wid
t
h
.
c: skip
d
i
rectio
n
s
th
a
t are identica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoolaege
Makefile
.
am: add
cdd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
om
e
g
a
/occ: o
p
tionally u
s
e
parker
f
or c
o
mpu
t
ing cardinal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
normalizatio
n
.
c
:
skew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc
:
re
l
at
i
o
n
2Do
m
ain: on
l
y collect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdoo
l
aege
occ
:
add dump for dumping in barvinok_en
u
merate_e f
o
r
mat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
barvinok_enumera
t
e_e: optionall
y
use park
e
r
's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
g
e
standard_constraints: ta
k
e constraints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalizat
i
on
.
c:
e
xtract standar
d
_
constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaege
parker/count_solutions
.
cc: fix t
r
e
a
tment o
f
e
x
i
s
tential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ver
d
ool
a
ege
com
p
ile
par
k
er
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
Add
p
arker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
euler
.
cc:
e
value_der
i
ve: hand
l
e
c
on
s
tant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
a
d
d some te
s
t sets fr
o
m cases 2004
a
nd cc 20
0
5 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
r
ename barvinok_m
a
ximi
z
e to barvinok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
a
dd a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
valu
e
_range_prop
a
g
ation:
r
em
o
ve redundant polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olae
g
e
tes
t
_bound: record numb
e
r o
f
po
l
y
nomials
a
s "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoolaege
t
est_bound: conv
e
rt quasipoly
n
omials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
t
e
st_b
o
und: compare po
l
ynomi
a
l bou
n
d algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c: opt
i
mum:
ha
n
dle input evaluati
n
g
t
o
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oo
l
ae
g
e
ve
r
ify
.
c:
e
xtract evalue_optimum
from maxim
i
ze
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
verify
.
c: extract common code for verify
i
ng
o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_r
a
nge_propagation: ad
d
monoto
n
icity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
b
arvinok
_
maximiz
e
:
o
pti
o
na
l
l
y
use (basic)
r
ange propagation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
A
d
d
s
o
me s
u
pport for d
e
al
i
ng
w
ith
e
values that rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arvinok_enumerate
:
support us
e
of E
u
le
r
-
M
aclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
impl
e
ment Bernoulli_sum as
c
onver
s
ion from unweig
h
t
ed
.
.
.
commit
|
commitdiff
|
tree
next