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 Verdoolae
g
e
barvinok
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
R
E
A
DME: fix u
p
installation ins
t
ructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoola
e
ge
Add
f
iles generated by bison and
f
lex to the dist
r
i
b
ution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
u
p
date poly
l
ib
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoola
e
ge
updat
e
p
i
p
l
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: af
f
ine
2
evalue
:
red
u
c
e
coe
f
ficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdool
a
ege
eva
l
ue
.
c
: evalue_leve
l
_cmp
:
produce mor
e
con
s
istent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven V
e
r
doo
l
aege
doc: a
d
d another pa
p
er referring t
o
t
h
e
library
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Verdoolaeg
e
piecewise
_
lst
.
h:
a
void dup
l
icate parame
t
e
r n
a
me
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
V
e
rdoolaege
evalue_read
.
c:
f
i
x
minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
u
p
da
t
e om
e
ga for missing files in distributi
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
e
ge
barvinok_enu
m
erate_e
:
avoi
d
infinite lo
o
p when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
o
olaege
move omeg
a
subdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
NTL_QQ
.
cc: add s
t
dlib inclu
d
e for abort hidden in NT
L
_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
rem
o
ve g
n
ulib link-war
n
i
ng mo
d
ule
completely
commit
|
commitdiff
|
tree
2008-08-24
S
v
en Verdoolaege
update polyli
b
with
ex
t
r
a field
i
n Param_
P
olyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Ve
r
doolaege
doc: fi
x
t
y
po
s
commit
|
commitdiff
|
tree
2008-07-20
Sven V
e
rdoolaeg
e
upd
a
te gnul
i
b functio
n
to las
t
pre
-
GPLv3 versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
S
v
e
n
Ve
r
doolaege
e
num
e
rator::h
a
ndle: replace incorre
c
t delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoola
e
ge
u
pdate piplib for corrected Urs_
p
a
r
m
s
handling
commit
|
commitdiff
|
tree
2008-06-12
Sven V
e
rdool
a
ege
configure: use co
r
rect header files
in case o
f
b
u
n
dled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoolaege
omega/o
c
c:
o
n
l
y
open
d
ebug
output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolae
g
e
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
laege
add e
d
i
t
ors to ITSL pap
e
rs
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
b
a
rvino
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaeg
e
add some test sets from
i
tsl2008
paper
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
d
oc: add latest (acce
p
te
d
) publ
i
cations
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doolaege
Make
f
i
le
.
am: a
d
d sectio
n
_arra
y
.
h
to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdool
a
eg
e
norm
a
lizati
o
n
.
c: comput
e
_shifts: remov
e
redundant re
t
u
rn
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdool
a
ege
move Free
_
P
aramNames polylib and make par
a
m names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
occ: add inte
r
face to barvino
k
_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
e
x
_
convert
.
cc: extract ex2evalue from range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ver
d
oolaege
d
o
c
:
documen
t
m
ore -
-
s
u
m
mation metho
d
s
for barvinok_su
m
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
g
e
o
ptions
.
c
: rename
"b
a
rvinok"
s
ummation
m
e
thod to "b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
Makefile
.
a
m
: check-e
u
ler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
d
oolaeg
e
summate
.
c: ba
r
v
i
nok_summ
a
te: handle pr
o
ducts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolaege
eval
u
e
.
c
:
e
xport ev
a
lue_
r
eo
r
d
er_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein: numeric2value: fix
typo to allow cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoola
e
ge
util
.
c: Factor_Context: extracted
f
r
om bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_summate: ignore floors independ
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
ae
g
e
evalue
.
c: add
e
value_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoo
l
aege
o
m
ega/occ: print barvin
o
k
version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
d
oc: update so
m
e references
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
M
a
ke
l
a
u
r
ent based s
u
mmati
o
n
the
default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
s
u
mmate
.
c:
bar
v
inok_summate: handle quasi-polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
red
u
ce_eval
u
e: extract out
evalue_r
e
d
uce_siz
e
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
erdoo
l
ae
g
e
evalue
.
c: evalue_shift_variables
:
allo
w
shi
f
ting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
o
laege
su
m
mate
.
c:
handle
e
qualitie
s
for all s
u
mmati
o
n a
l
gorithms
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
summat
e
.
c: bar
v
inok_summate: m
o
ve comm
o
n pa
r
ts
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolae
g
e
e
v
alue
.
c:
e
valu
e
_sum: move sign handl
i
ng
i
nto esum_over_
d
om
a
in
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoola
e
ge
barvinok_e
.
c
c:
e
numerate_sum: use
b
arvinok_sum
m
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaege
su
m
mate
.
c
: extract b
a
rvinok_sum
m
ate from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
ren
a
me summ
a
te
.
cc
to barv
i
nok
_
su
m
mate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
er
d
oolaege
e
v
alue
.
c
:
re
d
uce_evalue: reduce f
l
oor wi
t
h constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
e
rdoolaege
Add
L
aurent
expans
i
on based summati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
la
e
ge
ev
a
lue
.
c: e
x
ten
d
eequal
to
handle domains and
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomial
.
c: extrac
t
bi
n
omial a
n
d
f
actorial fr
o
m euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
po
w
er
.
h: extract
f
rom eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
introduce e
v
a
l
u
e_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolae
g
e
l
att
i
ce
_
p
oint
.
cc: export
rel
a
tive_co
o
r
d
inates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
lattice_p
o
int
.
h
:
make
s
ure cor
r
ect e
v
alues ar
e
us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattic
e
_poi
n
t
.
cc: add ceiling funct
i
on
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
V
erdoolaege
util
.
c: intern
a
lize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en V
e
rd
o
olaege
lattice_point
.
cc: multi_
m
o
n
om/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
r
d
oolaege
do
c
:
cl
e
an up "exponent
i
al su
b
st
i
tution" secti
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
aege
test_bou
n
d
.
cc: avoid loss of pr
e
cision ca
u
sed by co
n
version
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
barvinok_bound: optionally take maximal
size
of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
barvinok
_
b
o
u
n
d
: ad
d
--iterate
o
p
tions for eva
l
u
at
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
veri
f
y
.
c: expor
t
f
un
c
tions for setti
n
g and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c
:
e
v
alue_optim
u
m: allow co
m
putati
o
n of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoola
e
ge
bernstein
.
cc
:
ev
a
lue2ex: do
n
't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
oun
d
.
cc: fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
e
{
add,
m
ul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
V
e
rdoolaege
evalue_bern
s
tein_coefficients: h
a
ndle problems
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
update polyli
b
commit
|
commitdiff
|
tree
2008-04-05
Sven V
e
rdoolaeg
e
lat
t
ice_width
.
c: s
k
i
p
direction
s
that are ide
n
tic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven V
e
rdoolaeg
e
Makefile
.
am: add cdd94e-
t
est to distributio
n
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
erdoolaeg
e
om
e
ga/oc
c
: o
p
tional
l
y use parker f
o
r comp
u
ting cardinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
no
r
mali
z
ation
.
c:
s
kew_to_positive
_
o
r
t
h
a
nt: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
ome
g
a/convert
.
cc: relation2Dom
a
in: o
n
ly collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add
dump
for dumping in barvin
o
k_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
Verdoolaege
b
a
rv
i
no
k
_e
n
umerate_e:
option
a
lly use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
stan
d
ard_
c
o
n
straints: take c
o
n
s
tra
i
nts i
n
stead of
polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
er
d
o
o
laeg
e
normaliz
a
ti
o
n
.
c
: extract
sta
n
dard
_
const
r
aints
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoola
e
ge
pa
r
ker/cou
n
t_solutions
.
c
c
: fix tr
e
at
m
ent of existent
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
compile p
a
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
eul
e
r
.
cc: evalue_
d
er
i
ve
:
h
andl
e
constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
add som
e
te
s
t sets
f
rom ca
s
e
s
2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
renam
e
barvinok_maximize to
barvin
o
k_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
add a test
f
or test_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
va
l
ue_
r
ange_propagation: remov
e
redundant
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_bound: re
c
ord
number of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
test
_
bo
u
nd: convert quasipolynomia
l
s to
p
olynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
_
bound: compar
e
polynomial b
o
un
d
algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
verify
.
c: optimum: handle input ev
a
luat
i
ng to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
v
e
rify
.
c: extr
a
ct evalue
_
optimum fro
m
maxim
i
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
v
e
rify
.
c: ext
r
a
c
t
c
ommon
c
o
d
e for
verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
e
ge
evalue_range_propa
g
ation
:
add monotonicity
te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
barvinok_m
a
x
imize: optionally use (basic) range p
r
opa
g
ation
commit
|
commitdiff
|
tree
next