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
doc: add a reference to a master thesis actually using the library
2008-10-28
Sven Ve
r
doolaeg
e
d
o
c
: add
a ref
e
rence to a master thesis ac
t
u
a
lly using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvino
k
0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
d
oolaege
README: fix up insta
l
la
t
ion
i
n
s
tructions
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Ve
r
doolaege
Add files gen
e
rated by biso
n
an
d
fl
e
x
to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
u
pda
t
e polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
ol
a
e
ge
update
p
iplib
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdoolaege
ev
a
lue
.
c
:
affine2evalue:
r
ed
u
c
e coeffi
c
ients
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdoolaege
evalue
.
c: eva
l
ue_level_cmp: pr
o
duce m
o
r
e
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven V
e
rdoolaege
doc: add anothe
r
paper referring to
th
e
libr
a
ry
commit
|
commitdiff
|
tree
2008-09-16
S
v
en Verdoolaege
piecewise_lst
.
h: avoid duplicate p
a
rameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoo
l
aege
evalue_read
.
c:
fix m
i
nor
b
ugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erdoolaege
updat
e
omega for m
i
ssing
f
i
l
e
s in distribution
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Ver
d
oolaege
barvinok_en
u
merate_e:
avoid infinit
e
loop w
h
en p
r
e
sented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verdoola
e
ge
mo
v
e
omega sub
d
ir to ome
g
a_inter
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erd
o
olaege
NTL
_
QQ
.
cc: add stdlib include for a
b
ort hid
d
e
n
in
N
TL_v
e
ct
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
e
r
d
oolae
g
e
remove gnul
i
b link-warning module completely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
updat
e
p
olylib
with extra f
i
eld in Param_Polyhed
r
on
commit
|
commitdiff
|
tree
2008-07-30
Sven
Verd
o
o
laege
doc:
fix typos
commit
|
commitdiff
|
tree
2008-07-20
S
ven Verdoolaeg
e
u
pdate gnulib f
u
nction to last pre-GPLv3 v
e
rsio
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Verd
o
o
laege
enum
e
rator::handle: replace
i
ncorrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
S
v
en Verdo
o
laege
update piplib fo
r
corrected Urs_parms
h
a
nd
l
ing
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoola
e
g
e
configure: use
c
o
rr
e
ct head
e
r files in
case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en
V
erdoolae
g
e
o
mega/occ: only o
p
en debug output file if the
r
e is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdoolaeg
e
add editors to
I
TSL papers
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdo
o
laege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some
test se
t
s fro
m
itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
doc
:
ad
d
latest (accepted)
publicat
i
on
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
Ma
k
efile
.
am: add section_arr
a
y
.
h
to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
no
r
maliz
a
tion
.
c:
c
ompute_shifts: remove redundant retur
n
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
move Free_Param
N
a
mes
p
olylib and make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
o
c
c
:
add interface to barvin
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
e
x
_convert
.
cc: extract
e
x
2
e
value fro
m
rang
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
d
o
c: do
c
u
m
e
nt more -
-
sum
m
ati
o
n
m
ethod
s
for ba
r
vinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
options
.
c:
rename "
b
arvino
k
" s
u
mmation
method t
o
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: chec
k
-euler: also check l
a
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c: barvinok_summa
t
e: handle p
r
oducts
of polyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
eval
u
e
.
c
: export
eva
l
u
e
_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdool
a
ege
bernstein:
nu
m
eric
2
va
l
ue
:
fix
t
yp
o
t
o allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c
:
F
actor_Cont
e
xt: extracted fr
o
m ba
r
vi
n
ok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summa
t
e
.
c:
b
arvinok_su
m
mate: igno
r
e fl
o
o
rs in
d
e
pendent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
ge
evalue
.
c: add evalue_
f
loor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
o
m
e
ga/occ: print
barvi
n
ok ver
s
ion number
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
d
o
o
laege
doc: upd
a
t
e
some refer
e
nces
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
M
a
ke laurent based summa
t
ion the default
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
summate
.
c
: barv
i
nok_sum
m
a
t
e:
h
a
n
d
le quas
i
-
p
oly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaeg
e
r
e
d
u
ce_e
v
alue
:
e
xtract out evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ola
e
ge
evalue
.
c
:
e
value_shift_va
r
iables: allow s
h
ift
i
ng of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summate
.
c: ha
n
dle equalities fo
r
all summation al
g
ori
t
hms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdo
o
laege
summate
.
c: ba
r
vinok_summate: m
o
ve co
m
mon part
s
of s
u
mmation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
: evalue_sum: m
o
v
e
sign handling into e
s
u
m
_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ba
r
vinok_e
.
cc: en
u
merate_sum: use
bar
v
in
o
k
_
summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
olaege
summa
t
e
.
c
: extr
a
c
t
ba
r
vinok_
s
umm
a
te from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
rename summate
.
cc to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
eva
l
ue
.
c:
reduce_evalu
e
: reduce floor with const
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
olaege
Add
L
aur
e
nt expansion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ver
d
o
ola
e
ge
evalue
.
c: extend
e
equal to
handle d
o
mains and
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
b
i
nomia
l
.
c: extract bino
m
ial and facto
r
ial from e
u
l
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
p
o
wer
.
h: ext
r
act f
r
om
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introd
u
ce evalu
e
_shift_vari
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
lattice
_
poi
n
t
.
cc: export relative_c
o
o
r
d
inates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
lattice_
p
o
i
n
t
.
h
: make sure correct
e
value
s
are used
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolaege
latt
i
ce_po
i
nt
.
cc: add ceiling func
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: i
n
ternal
i
ze ugly bv_c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
S
ven
V
erdoolaege
lat
t
ice_p
o
int
.
cc:
m
ult
i
_mon
o
m/lat
t
i
ce_p
o
int
s
: retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaeg
e
do
c
: cle
a
n up "exponen
t
ial
s
u
bstitu
t
i
o
n" sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc: a
v
oid lo
s
s
of precision
c
aused by conversio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound:
optio
n
ally take
m
a
ximal size of
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doo
l
aege
barvino
k
_bound: a
d
d
--
i
t
e
rat
e
options for eval
u
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
erify
.
c: ex
p
ort functions fo
r
setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
doolae
g
e
ver
i
fy
.
c
: e
v
alue_optimum:
a
llow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
e
g
e
bernstein
.
c
c: evalue2
e
x: d
o
n't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdo
o
la
e
ge
bound
.
cc:
fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ve
r
doolaeg
e
e{add,mul}_
p
e
r
iod
i
c
s: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernstein
_
coeffici
e
nts:
handl
e
problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
erdo
o
la
e
g
e
lattice_w
i
d
t
h
.
c:
s
kip
d
i
recti
o
ns that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Ve
r
doolaege
Ma
k
efile
.
am: add cdd94e-test
to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
omega/o
c
c
:
op
t
ionally use parker for compu
t
ing cardinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
normalization
.
c: skew_to_positive_orthant: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
V
e
r
doolaege
omega/convert
.
cc: relat
i
on2Domai
n
:
o
n
ly coll
e
ct set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
occ: add dump for
d
umping
in
b
arvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
barvi
n
ok_enum
e
rate_e: opti
o
nally use parke
r
's
m
e
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoo
l
aege
standard
_
constraints:
t
ake constraints instead of
p
olyhed
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
g
e
norma
l
ization
.
c: ex
t
r
act standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Ver
d
ool
a
ege
pa
r
ker/count_solutions
.
cc: fix treatm
e
n
t
of e
x
istentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaeg
e
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaeg
e
Add
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: evalue_derive: h
a
n
d
l
e
constan
t
polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test sets fro
m
c
ases
20
0
4 and cc 2005 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
rename b
a
r
v
inok_maximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
add a te
s
t for t
e
st_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
eva
l
ue_ra
n
ge_p
r
opagation: re
m
ove redundan
t
polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
test_bound: re
c
ord
number
of po
l
yno
m
ials as
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
tes
t
_bound: conve
r
t quasipolynomials to
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
te
s
t_bound: compa
r
e polynomial bound
al
g
orit
h
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
veri
f
y
.
c: optimum: handle input evalu
a
ting t
o
negat
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
veri
f
y
.
c: extract evalue_optimum from ma
x
im
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
ify
.
c:
e
xtract
c
o
m
mon code for v
e
rifying o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aeg
e
eval
u
e_range_propagati
o
n:
a
dd mon
o
tonicity te
s
t
commit
|
commitdiff
|
tree
next