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
barvinok 0.28
2008-10-16
Sven
Ver
d
oolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolae
g
e
REA
D
ME: fix up
i
n
stallation
instruc
t
i
ons
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
r
doola
e
ge
Add files generated
by b
i
son and flex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
e
g
e
upd
a
te polyli
b
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoola
e
ge
update
p
ipli
b
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaeg
e
e
value
.
c
: affine2evalu
e
:
reduce coeff
i
cie
n
t
s
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdoolaege
evalue
.
c: eval
u
e_level_cmp: produ
c
e more c
o
ns
i
stent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolae
g
e
doc: add anothe
r
paper referring
to the library
commit
|
commitdiff
|
tree
2008-09-16
S
ven Verd
o
ol
a
ege
pi
e
cewise_lst
.
h: avoid duplicate
p
arameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolae
g
e
evalue_re
a
d
.
c: fix mino
r
bugs in to
k
eni
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sven
Verdo
o
laege
update om
e
g
a
for missi
n
g fi
l
e
s
in
d
i
s
t
ributi
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
ae
g
e
barvinok_en
u
m
e
ra
t
e_e: avoid infinite loop when
p
resented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
move omega subd
i
r
t
o
omeg
a
_interface
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoolaege
NTL_QQ
.
cc: add stdlib include for abo
r
t
hidden
in NTL_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
d
o
olaege
remove
g
nulib link-warning module completely
commit
|
commitdiff
|
tree
2008-08-24
S
v
e
n Verdool
a
e
g
e
update polyli
b
with extra field
in P
a
ram_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoo
l
aege
doc: f
i
x typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update gnulib
f
unct
i
on to
l
ast
p
re-GPLv3 versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdool
a
ege
enumerator::handle: replace i
n
corr
e
ct
delete
by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoo
l
a
eg
e
up
d
ate piplib
f
or
corrected Urs_parms handlin
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaeg
e
c
o
nfigure: use correct h
e
ader files in c
a
se
o
f
b
un
d
led
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven
Verd
o
olaege
omega/occ: onl
y
o
pen deb
u
g out
p
ut file if t
h
ere is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erd
o
olaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Ve
r
doolae
g
e
add
e
ditors to IT
S
L papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvi
n
ok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
add s
o
me test sets from itsl20
0
8
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoo
l
aege
doc: a
d
d l
a
test (a
c
cepted) public
a
tion
s
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
Mak
e
fi
l
e
.
am
:
add sect
i
on_ar
r
ay
.
h to dist
r
i
b
ution
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
erdoolaege
normalization
.
c: comput
e
_shift
s
: rem
o
ve red
u
n
dant return
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
move Fr
e
e
_P
a
ramName
s
polyli
b
and make par
a
m nam
e
s const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdool
a
ege
occ: add interface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_c
o
nvert
.
c
c
: extra
c
t ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
d
oc:
d
o
c
um
e
nt
more
-
-sum
m
ation methods fo
r
b
arvin
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
o
ptions
.
c: rename "
b
arvinok"
s
u
mmation m
e
t
h
od to "
b
o
x
"
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
Makefile
.
am: ch
e
ck-
e
u
ler: a
l
so check la
u
ren
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
summ
a
te
.
c: bar
v
i
nok_sum
m
ate: h
a
nd
l
e produ
c
ts
of p
o
lyt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verd
o
olaeg
e
evalue
.
c: exp
o
r
t
ev
a
l
u
e
_
r
eorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
bernste
i
n: num
e
ric2value: fix
typo to
al
l
ow cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoola
e
ge
u
t
il
.
c
: Factor_Context: extracted
f
r
om b
a
rvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoola
e
ge
summate
.
c: barvinok_
s
u
m
ma
t
e: ignore floors i
n
dependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Ver
d
oolae
g
e
e
v
a
lue
.
c: add
e
va
l
u
e
_
floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
erdoolaege
om
e
ga/o
c
c: print
b
arvinok v
e
rsion number
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
o
olaege
d
o
c: update some
r
efe
r
ences
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
Make laurent ba
s
ed summation the default
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoola
e
ge
s
um
m
ate
.
c
:
ba
r
vino
k
_summate:
hand
l
e quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaeg
e
r
educe_e
v
a
l
ue: extract out evalue_re
d
uce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
er
d
o
o
laege
e
value
.
c: e
v
alue
_
shift_vari
a
b
l
es: all
o
w
s
hifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c
:
ha
n
dle equalities
f
o
r
al
l
summation
a
lgor
i
t
h
ms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summate
.
c:
b
arv
i
nok_s
u
mmate:
mov
e
common part
s
of
summat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdoolaege
e
value
.
c: evalue_sum: mov
e
s
ign handling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolaege
barvino
k
_e
.
cc: enu
m
er
a
te_sum: use barvin
o
k_su
m
m
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaeg
e
summate
.
c: extract
b
a
r
vinok
_
summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
doolaege
rename summate
.
cc to barv
i
nok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c:
red
u
ce_e
v
alue: reduce fl
o
o
r
w
i
t
h constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
Add
Laure
n
t expansion
bas
e
d
s
u
mmation
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
evalue
.
c: extend eequal to h
a
n
d
l
e
domains and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoola
e
ge
binomial
.
c:
extract binom
i
al and factorial from
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoola
e
ge
po
w
er
.
h
:
extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduc
e
ev
a
lue
_
s
h
ift_varia
b
les
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice
_
point
.
cc: export relative_c
o
ordi
n
ates
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
lat
t
ice_po
i
nt
.
h: make
s
ure correc
t
evalu
e
s are u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
l
a
ttice_point
.
cc: add ceiling f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
util
.
c: interna
l
ize ugly bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdool
a
ege
lattice_po
i
nt
.
cc: m
u
lti_monom/lattice_points: retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ve
r
doo
l
a
e
g
e
d
o
c: clean
up
"
exponential subst
i
t
u
t
ion"
s
ection
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
t
e
st
_
b
ou
n
d
.
cc: avoid loss
o
f prec
i
sion c
a
used by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdool
a
ege
barvinok_bound
:
optionally take maxim
a
l si
z
e
of
d
oma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdo
o
lae
g
e
barvinok_bound: add --it
e
rate options for eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdool
a
e
g
e
veri
f
y
.
c: export funct
i
o
ns f
o
r setti
n
g and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
erdoolaege
verify
.
c: evalue_opt
i
mum: allow computation of opt
i
mu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verd
o
ol
a
eg
e
bernstein
.
cc: evalue
2
ex: don't as
s
ume
a
l
l periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdool
a
e
ge
bo
u
nd
.
cc
:
fix call to e
v
a
l
ue_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}_per
i
o
d
ics
:
pl
u
g me
m
ory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaeg
e
eval
u
e_ber
n
s
tein
_
coefficients:
h
a
n
dle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
erd
o
olaege
upd
a
te poly
l
i
b
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
er
d
oolaege
lattice_width
.
c: skip directi
o
ns th
a
t are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
V
erdoolaege
M
a
kefile
.
am
:
ad
d
cdd9
4
e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rd
o
olaege
o
m
ega/occ: optionally use park
e
r
for computing card
i
nality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoola
e
ge
no
r
malizati
o
n
.
c: sk
e
w_to
_
positive_orthan
t
:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/c
o
nvert
.
cc: relat
i
on2Domain: only collect s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
occ:
a
dd dump for d
u
mpi
n
g
in b
a
r
v
ino
k
_e
n
um
e
rate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
barv
i
nok_enumera
t
e_e: optionally us
e
p
a
rker's met
h
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
o
laeg
e
s
t
a
n
dar
d
_con
s
train
t
s
:
take constraints ins
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaeg
e
normalizatio
n
.
c: extract stand
a
rd
_
c
onstrain
t
s
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolae
g
e
p
a
rker/count_solutions
.
cc: f
i
x treatment of existent
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoo
l
aeg
e
comp
i
le pa
r
k
e
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
olaeg
e
Add
p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
euler
.
cc: evalue_derive:
h
an
d
l
e
constant polyno
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
add some
test
s
ets fro
m
cases
2
004 an
d
cc
2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oo
l
a
ege
r
e
n
ame barv
i
nok_maximize
t
o
barvin
o
k_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
add a test for t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
eva
l
u
e_
r
an
g
e_propag
a
tion: re
m
ove redund
a
nt
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test_bound: record number of polynomials
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
_bound: conver
t
q
uasipol
y
nomials
t
o
p
olynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
test_bound: comp
a
re
polynomial bound al
g
ori
t
h
m
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
verify
.
c: o
p
t
i
m
um: handle input evaluating to
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c: extract ev
a
l
u
e_optimum f
r
om
m
aximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c: ext
r
act common
c
ode for verifying opera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
evalue_ra
n
ge_propagation: add
m
onotonicity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
do
o
l
aege
barvinok_maxi
m
ize: optional
l
y
use (basic) ran
g
e propagati
o
n
commit
|
commitdiff
|
tree
next