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
S
v
en Ve
r
doolaege
b
a
r
v
i
n
ok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ve
r
doolaege
RE
A
DME: fix up
i
nstallation instr
u
ction
s
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdool
a
ege
Ad
d
files generated by
bison and flex
t
o the d
i
stribution
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Ve
r
do
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ve
r
d
oo
l
aege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c
:
affine2evalue: reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven V
e
rdoolaege
ev
a
lue
.
c: evalue_level_cmp: produce mor
e
consist
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Ve
r
doolaege
doc: add another paper ref
e
rrin
g
to the library
commit
|
commitdiff
|
tree
2008-09-16
S
v
en V
e
r
d
oolaege
piecew
i
s
e_lst
.
h: avo
i
d
d
uplicate pa
r
ameter na
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Ve
r
doolaege
evalu
e
_read
.
c: fi
x
minor bugs
in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verd
o
o
l
aege
u
pdat
e
omega
f
or miss
i
ng file
s
in distribu
t
i
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
barvinok_enu
m
erate_e:
avoid infinite
l
o
op
w
he
n
presente
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ver
d
oolaege
mo
v
e
om
e
g
a
s
ubdir to
o
mega_in
t
erface
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
NTL_QQ
.
c
c:
ad
d
stdlib include for abort hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rd
o
olaege
r
emove gnulib link-wa
r
ning module completely
commit
|
commitdiff
|
tree
2008-08-24
S
v
e
n
V
erdoolae
g
e
update poly
l
ib with extra
f
i
e
l
d
in Param_Po
l
yhedro
n
commit
|
commitdiff
|
tree
2008-07-30
Sven Verd
o
olaege
doc: fix typo
s
commit
|
commitdiff
|
tree
2008-07-20
S
ven
Verdoolaeg
e
u
p
date g
n
u
l
i
b
functio
n
t
o
last pre-G
P
Lv3 ve
r
sio
n
commit
|
commitdiff
|
tree
2008-07-02
S
ven Verdool
a
ege
enumerator
:
:han
d
l
e: replace
i
ncorrect dele
t
e
by free
commit
|
commitdiff
|
tree
2008-06-17
S
ven Ver
d
oolaege
update pip
l
ib
for c
o
rrected Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdo
o
l
ae
g
e
configur
e
: use correct header
f
iles in case o
f
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/occ: only op
e
n debug output file i
f
the
r
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
l
a
ege
ad
d
some test
sets from its
l
2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ve
r
do
o
laege
doc
:
add
l
atest (ac
c
epted
)
publications
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
o
l
a
ege
Makefile
.
am: add sect
i
on_arr
a
y
.
h
t
o
distri
b
u
tion
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoola
e
ge
n
o
rmalization
.
c: compute_shif
t
s: rem
o
ve
r
ed
u
ndan
t
return
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolae
g
e
move Fr
e
e_Par
a
m
N
ames polylib and make
param
names co
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoola
e
ge
occ: add in
t
erface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
e
x
_co
n
v
ert
.
cc: extrac
t
ex2evalue from rang
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
oolaege
d
oc: document more --
s
ummati
o
n methods
f
o
r
barvi
n
ok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
options
.
c:
r
e
n
a
m
e
"
b
arvinok" summation metho
d
t
o
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdool
a
e
g
e
Makefile
.
am: check-euler
:
also check
l
au
r
ent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c: barvinok_su
m
mat
e
:
h
andl
e
pro
d
ucts of
p
oly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
ege
evalue
.
c: e
x
p
o
rt evalue_reorder_term
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bern
s
t
e
i
n: numeric2value: fix typo to allow co
r
rect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoo
l
aeg
e
ut
i
l
.
c: Facto
r
_Contex
t
:
e
x
tracted from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
olaege
summa
t
e
.
c: barvinok_summate: ignore flo
o
rs ind
e
pendent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
e
v
alue
.
c: add evalue_floo
r
2fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
o
m
e
ga/occ:
p
rint b
a
r
v
inok
v
ersion number
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doo
l
aege
doc: update some r
e
f
e
rences
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laurent based summat
i
on the defaul
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_summate: h
a
ndle qu
a
s
i
-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
r
e
duce_evalue: extract out evalue_reduc
e
_size
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
laege
evalue
.
c: evalue_shift_variables: allow shifting
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaeg
e
summate
.
c: handle equalities
f
o
r
all summa
t
io
n
alg
o
rithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
sum
m
a
t
e
.
c: barvinok_summate: mo
v
e
common pa
r
t
s
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
evalue
.
c: evalue_su
m
: m
o
ve sign
han
d
ling i
n
to esu
m
_over
_
domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolae
g
e
barvinok_e
.
cc: enumer
a
te_su
m
: use barvino
k
_
s
ummate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
su
m
m
ate
.
c: extract barvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename su
m
mate
.
cc to barvin
o
k_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
oo
l
aege
e
value
.
c: reduce_evalue:
r
educe floor with cons
t
an
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
dool
a
ege
Add
L
aur
e
nt expansi
o
n ba
s
ed
s
um
m
atio
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
evalue
.
c
: exten
d
e
e
q
ual to handle domai
n
s an
d
N
a
Ns
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ve
r
d
oolaege
binomia
l
.
c: extract binomial and fact
o
r
ial
f
rom
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
power
.
h: extract
from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
i
ntrodu
c
e e
v
alue_s
h
ift_vari
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
lattice_point
.
cc: export relativ
e
_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
lattice_point
.
h: make sure
correct evalues
a
re
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olaege
lattice_poi
n
t
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
Ver
d
o
o
laege
u
til
.
c:
internalize u
g
ly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en
Verdoolaege
lat
t
ice_p
o
i
nt
.
cc: multi_monom/latt
i
ce_poin
t
s: retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
Verdoolaege
doc:
c
lean up "exp
o
nential su
b
stitution" sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdool
a
ege
test_bound
.
cc: avoid loss of
p
recision cau
s
e
d by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
er
d
oolaege
b
arvinok_bound: optionally take
m
axim
a
l size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdool
a
e
g
e
barvinok_b
o
und: add
-
-ite
r
ate options for eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
v
erify
.
c
: export fun
c
tions
f
or
sett
i
ng and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
verify
.
c: ev
a
lue
_
optimum
:
a
llow
c
o
mputation of o
p
t
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
bernstein
.
cc: evalu
e
2ex: do
n
't assume al
l
p
e
riodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdoo
l
a
ege
bound
.
cc
:
f
ix call to
e
value_convert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
olaege
e{add,mul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoola
e
g
e
eva
l
ue_
b
e
r
nste
i
n_coef
f
icien
t
s
:
han
d
le problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdo
o
laeg
e
update
p
olylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Verdoolaege
lattice_widt
h
.
c:
s
kip directions that are
i
dent
i
c
al
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en Verd
o
olaege
Makefile
.
a
m: add cdd94
e
-test to d
i
stribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdo
o
laege
omega/oc
c
: op
t
ionall
y
us
e
parker for
c
omputing cardinal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
norma
l
izat
i
o
n
.
c
: skew_to_positiv
e
_orthan
t
: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ver
d
oolaege
omega/con
v
er
t
.
cc:
r
elati
o
n2Domain: only col
l
ect
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
doolaege
occ: add dump for dumping in
b
arvinok_enu
m
erate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolae
g
e
barvinok_en
u
me
r
a
te_e: opti
o
na
l
ly use parker'
s
m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
s
tandard_constraint
s
: take constr
a
ints ins
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
normalization
.
c: e
x
trac
t
standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
ege
parke
r
/cou
n
t_solu
t
ions
.
cc: fi
x
tre
a
tme
n
t of exi
s
t
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
co
m
pile pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolae
g
e
A
dd parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
euler
.
cc: ev
a
lue_
d
erive
:
h
an
d
le const
a
nt
p
oly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test
sets from c
a
s
e
s 200
4
and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
rename b
a
rvinok
_
maximize
to barvinok
_
boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
add a
t
est fo
r
t
e
st_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
evalue_range_propagation: r
e
move redundant polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
test_bo
u
n
d:
r
ecord number of poly
n
om
i
al
s
as "s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t
_b
o
und:
convert
q
uasipolynomials to polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
test_bound
:
com
p
are polynomia
l
bound algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
veri
f
y
.
c: optimu
m
: handle
i
n
put eva
l
uating to nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c: extract evalue_opti
m
um from maxim
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
v
e
r
ify
.
c
:
e
x
trac
t
common co
d
e for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
evalue_ra
n
g
e
_
propagation: add mon
o
tonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok_ma
x
imize: optionally use (basic) range propagation
commit
|
commitdiff
|
tree
next