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
Allow build of occ when using bundled omega
2008-12-01
Sven Ve
r
doolaege
Allow build
o
f o
c
c
when
usi
n
g bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n Verdoolaeg
e
doc: add a ref
e
rence to a master thes
i
s act
u
al
l
y using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ve
r
doola
e
g
e
barvin
o
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ver
d
oo
l
aege
R
E
A
D
ME: f
i
x up i
n
stallation instructi
o
ns
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
Ad
d
f
iles gene
r
ated by bi
s
on and flex
t
o the distribution
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoola
e
ge
u
p
d
a
te pol
y
l
i
b
commit
|
commitdiff
|
tree
2008-10-16
S
ven
Verdoolaege
upda
t
e pi
p
lib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoola
e
ge
e
v
al
u
e
.
c
: affine2evalue: red
u
c
e
coefficient
s
commit
|
commitdiff
|
tree
2008-10-10
Sven V
e
r
do
o
laege
evalue
.
c: evalue
_
l
e
vel_c
m
p: produc
e
m
o
re consiste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
en Ve
r
d
oolaege
do
c
:
add another
pape
r
referring to
t
he l
i
brary
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Verdoolaege
piecewise_lst
.
h:
avoid dupl
i
c
a
te param
e
ter na
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoolaege
evalue_r
e
ad
.
c
:
fix minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoo
l
a
e
g
e
up
d
ate
o
meg
a
f
o
r missing files in distr
i
bu
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
barvinok_enumerate
_
e
: avoid
i
n
finite loop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
mov
e
o
mega subdir
t
o omega_
i
nterface
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoola
e
ge
NT
L
_QQ
.
cc:
a
d
d
std
l
ib include
f
o
r
a
b
ort hidden in NTL_ve
c
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
r
emove gn
u
lib link-warnin
g
mod
u
le complet
e
ly
commit
|
commitdiff
|
tree
2008-08-24
Sve
n
Verdoolaege
update polylib w
i
t
h
e
xtra field in Param_Pol
y
hedro
n
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaeg
e
update gnulib
funct
i
on
t
o las
t
pre
-
G
P
Lv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verd
o
olaege
enumerator::handle
:
replace incorrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoola
e
ge
update
p
iplib for c
o
rr
e
cted Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
Verdoolaege
con
f
igur
e
: use co
r
rect header files in
c
ase of
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
ome
g
a/occ:
o
nly open d
e
bug output fi
l
e if th
e
r
e is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n Verdoolaege
add
editors to I
T
SL
p
apers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
b
arvinok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test sets f
r
om itsl2
0
0
8
paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oola
e
ge
doc: add
latest (accepted) publications
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Verdoolaege
Makefile
.
am:
add
section_array
.
h
t
o distributio
n
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoo
l
aege
normalization
.
c: c
o
mpute_shifts: remove redundant r
e
t
urn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
ege
mov
e
Free_ParamNames poly
l
ib and
m
a
ke para
m
n
ame
s
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
o
cc:
a
dd interfac
e
to
b
arvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
la
e
ge
ex_convert
.
cc:
extract ex2e
v
alue f
r
om ra
n
ge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
doc:
doc
u
ment more -
-
summation method
s
f
or barvinok_
s
u
m
mate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
options
.
c:
re
n
ame
"barvinok" summati
o
n
m
ethod to
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
Mak
e
file
.
am: check-e
u
ler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ol
a
ege
s
u
m
mate
.
c:
barvinok_summate: ha
n
d
l
e produc
t
s of po
l
ytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
evalue
.
c
: export
e
value_re
o
r
der_terms
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
b
ernstein: numeri
c
2
v
a
lue: fix typo to allo
w
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
doolaege
util
.
c: Factor_
C
o
n
text: extr
a
cted
f
rom ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barv
i
n
o
k_summate: ig
n
ore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
evalue
.
c: add eval
u
e_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaeg
e
omega/
o
cc: print barv
i
n
o
k version number
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
doc: update so
m
e reference
s
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
M
a
ke laurent bas
e
d summ
a
tion
t
he def
a
ult
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
su
m
mate
.
c: b
a
rv
i
nok_summate:
handl
e
qua
s
i-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
redu
c
e
_
evalue
:
extr
a
c
t out evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oo
l
aeg
e
evalue
.
c: ev
a
lue_shift_vari
a
b
l
e
s
: all
o
w
shifti
n
g of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
summa
t
e
.
c: handle equa
l
ities
for all summatio
n
algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvino
k
_summate: m
o
ve common parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
evalue
.
c: evalue_sum: move sign handling int
o
esum_over_dom
a
i
n
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
barvinok_e
.
cc:
e
numerate_
s
u
m
:
u
se
b
arvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
s
ummate
.
c
:
extra
c
t barvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
rena
m
e summate
.
cc to bar
v
inok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaeg
e
evalue
.
c: r
e
duce_evalue
:
reduce floor with constan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
oolaege
A
d
d Laur
e
n
t
ex
p
ansion b
a
s
ed summati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
e
v
alue
.
c: e
x
tend eequal t
o
han
d
le domains a
n
d
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rdo
o
la
e
ge
binomia
l
.
c
: extract binomia
l
a
n
d
f
ac
t
orial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolae
g
e
in
t
roduce evalue
_
s
h
ift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
latti
c
e_point
.
cc: export relative_coordi
n
ates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
lattice_point
.
h: make sure correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
l
at
t
ic
e
_
p
oint
.
cc
:
a
d
d c
e
iling function
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Ve
r
doolaege
ut
i
l
.
c
: interna
l
ize
u
gly
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n Verdoolaege
la
t
t
ice_po
i
nt
.
cc:
multi_monom/
l
attice_poi
n
ts: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clea
n
up "expon
e
ntial substitution"
s
e
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdo
o
laege
test_bound
.
cc: avoid loss of
p
recisio
n
caused by
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolae
g
e
ba
r
vinok_boun
d
: o
p
tionally take
maximal
size of do
m
a
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolae
g
e
b
a
rvinok_b
o
und: add --iterate options
f
o
r
eva
l
uating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ve
r
ify
.
c: e
x
por
t
functions
f
or setting and cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en V
e
rdoolaege
verify
.
c: evalue_optimum: allow computation of
o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdo
o
la
e
ge
b
ernstein
.
cc:
e
value2ex:
don't assum
e
all p
e
riodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
boun
d
.
cc
:
fix cal
l
t
o evalue_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
e
{
add,mul}_p
e
riodics: plug memory
l
eaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
evalue
_
ber
n
s
tein_coeff
i
c
ients: handle prob
l
ems
w
ith
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoola
e
g
e
updat
e
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verd
o
olaege
l
a
t
t
ice_wi
d
t
h
.
c
: skip d
i
rection
s
t
hat
a
re identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
e
n Ve
r
dool
a
ege
Make
f
il
e
.
am: add
c
dd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
omega
/
occ: opti
o
n
all
y
u
se parker
f
or computing
c
ardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
no
r
malization
.
c:
sk
e
w_to_p
o
sitiv
e
_o
r
thant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/co
n
v
e
rt
.
c
c: r
e
la
t
i
o
n2Domain:
on
l
y c
o
llect
s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verd
o
olaeg
e
o
cc: add dum
p
fo
r
d
u
mping in
b
arvin
o
k_enume
r
ate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_enu
m
erate_e: opti
o
nally
u
se pa
r
k
er's met
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
s
t
andard_constraints: take c
o
ns
t
raints instead of polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: extract standard_const
r
aints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en
Ver
d
ool
a
e
ge
parker/count_solutions
.
c
c
:
f
ix
t
r
e
atm
e
nt of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compil
e
p
a
r
k
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
d
d
p
a
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: evalue_derive:
h
andle constant polynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
add som
e
test s
e
t
s from
cases 2004
and cc
2
0
0
5 papers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
la
e
g
e
rename ba
r
vinok_m
a
x
i
miz
e
to
b
a
r
vinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a
test for test_b
o
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propagation
:
r
emove
redun
d
a
n
t polyn
o
mial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
test_bound: rec
o
r
d numb
e
r of pol
y
nomials a
s
"size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
tes
t
_
b
ound: conv
e
rt quasipolynomials to poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test_bo
u
nd:
c
o
m
par
e
polynomial bound algorithm
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
ve
r
ify
.
c
: optimum: handle
i
nput evalua
t
ing to ne
g
a
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract eva
l
ue_op
t
i
mum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
ver
i
fy
.
c: extract common
c
ode for veri
f
ying operation
.
.
.
commit
|
commitdiff
|
tree
next