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
introduce evalue_shift_variables
2008-04-25
Sven
Ver
d
oolaege
intro
d
uce evalue_shift_
v
aria
b
l
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
V
erdoo
l
aege
lattice_point
.
c
c
: export relative_coor
d
inates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
lat
t
ice_poin
t
.
h: make sure
corre
c
t
evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Ve
r
doolaege
lattice_poi
n
t
.
c
c
:
add cei
l
ing f
u
n
c
tion
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaeg
e
uti
l
.
c
:
i
ntern
a
lize ugly
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n Verdoolaege
l
attice_point
.
cc:
multi_monom/lattice_points
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verdoolaege
doc: cl
e
an up "exponential substituti
o
n" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
test_bound
.
cc: av
o
id loss of
precision ca
u
sed by conversio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bo
u
nd: o
p
tionally take maximal
size of
doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
o
ola
e
ge
barvinok_b
o
und
:
a
d
d --ite
r
a
te opt
i
ons for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
ve
r
ify
.
c: export
f
un
c
tion
s
fo
r
settin
g
and cle
a
ring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verdoo
l
ae
g
e
verif
y
.
c: evalue_optimum: all
o
w
c
omputation of o
p
t
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
c
c: evalue2ex:
d
o
n
't assu
m
e
all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdool
a
ege
b
o
und
.
cc: fix call to e
v
alue_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
e{
a
dd,mul}_
p
eriodics: plug
memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
evalu
e
_b
e
r
nstein_c
o
efficients: handle proble
m
s with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oola
e
ge
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n
V
erdoolaeg
e
lattice
_
widt
h
.
c: skip
d
irec
t
ions that a
r
e identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
Verdoolaege
M
a
k
e
file
.
am
:
add cd
d
94e-
t
est to distributio
n
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
d
oolaege
omega/occ: optio
n
ally use
parker
for computing car
d
inality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
o
rmalization
.
c: s
k
e
w
_to_p
o
si
t
ive_ortha
n
t: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
omeg
a
/c
o
nvert
.
cc: rel
a
ti
o
n
2Domai
n
: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
oc
c
:
ad
d
dump f
o
r dumping
in barvinok_
e
numerate_
e
format
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ve
r
doolae
g
e
barvinok
_
enumera
t
e_e: optionally use parke
r
's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
standard_constraints: take constraints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdoolaege
n
o
r
malization
.
c: extract
standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laege
p
a
rk
e
r/count_
s
olu
t
ions
.
cc:
fix tr
e
a
tme
n
t
of exist
e
ntiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoolaege
c
om
p
ile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
g
e
A
dd parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
euler
.
cc
:
e
value_derive:
h
a
ndle
c
onstant polyn
o
m
ia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
a
e
ge
add some test
s
et
s
f
r
om cases 2004 and c
c
2005 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
rename barvinok_
m
ax
i
m
i
ze to barvinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
add a test for test_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_range
_
prop
a
gatio
n
: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolae
g
e
test_bound: r
e
co
r
d number of p
o
lynomials as "siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
t
est_bou
n
d
: co
n
vert qu
a
sipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test_bou
n
d:
c
ompare polynomial
bo
u
nd algorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c
:
optimum:
handle input evalua
t
ing to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
verify
.
c: extract
e
v
alue
_
opt
i
mum fro
m
maximiz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
i
f
y
.
c
: extract common code f
o
r ver
i
fying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_range_propagation:
a
dd
m
o
no
t
onicity test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoo
l
aege
barvinok_ma
x
i
m
ize:
o
ptionally u
s
e (basic) range
p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Add
s
o
m
e
support
for dealing with ev
a
lues that re
p
re
s
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
barvinok_enumer
a
te: s
u
ppo
r
t use o
f
Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olae
g
e
implement Bernoulli_su
m
as conversio
n
f
rom un
w
eig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_s
u
m_evalu
e
: exploit i
n
tege
r
bounds to re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
k
e
ep trac
k
o
f
n
u
mbe
r
of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c:
p
rotect shared eva
l
ue
f
rom modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
s
t Berno
u
lli sums based exact enumer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
b
a
rvinok_c
o
unt_
w
ith
_
options: compu
t
e
(
exact) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli_sum
_
evalue: optio
n
ally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_p
o
i
n
t
.
h: export fra
c
tiona
l
_part w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ba
r
v
i
n
ok_enum
e
rate_wit
h
_options: c
o
m
pute (
e
xact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Berno
u
lli_sum_evalue: handle
e
quali
t
ies
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
B
e
r
noulli_sum
_
e
v
a
lue: cu
t
o
ff so
m
e
r
e
dundant
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
Bernoulli_sum_e
v
alue
:
ma
k
e
sur
e
no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
B
ernoulli_sum_evalue
:
remove redun
d
ant con
s
tra
i
nt in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
ber
n
oulli
.
c
:
minor refacto
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m: ha
n
dle context
c
o
n
straints
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
for_each_lower_upper_bound: add an
o
t
her
c
a
l
l
b
ac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verify
.
c: adjust default rang
e
t
o co
n
text if neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
u
ler
.
cc: summate_over_domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
param_uti
l
.
c:
e
xport Param_Vertex_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyhedron_Facet:
p
ass facet defini
n
g constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
rdoolaege
g
e
nfun
.
c
c:
para
l
lel_polyt
o
p
e
s: do
n
't bother
h
andling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
l
aege
evalue
_
split_dom
a
ins_into_
o
rthant
s
: don't re
d
uc
e
eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alu
e
_re
a
d:
o
nly allow terms to cro
s
s
n
e
w
l
ines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ve
r
doola
e
ge
e
value_read: only accept
i
mpli
c
it multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolae
g
e
evalue_read
:
acc
e
pt constrain
t
s con
t
aining "'
-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_bernstein_c
o
effi
c
ients:
ensure
r
esult parti
t
ion
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
berns
t
ein: p
i
ecewise_lst: correctly print an
d
e
v
al
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_equalities: ke
e
p
removing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
update
p
o
l
y
lib
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoo
l
aege
d
o
c: con
s
i
s
t
ent
u
se of Kevin's
i
nitials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
oc: update now published
p
apers
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolae
g
e
for
_
e
a
ch
_
lower_upper_
b
ou
n
d
: allow absenc
e
of lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "eadd_partitions: try to combine multiple
d
o
m
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoo
l
aege
evalue
_
read_partition: put pa
r
titions
back
in the s
a
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Ve
r
d
o
olaege
e
value: red
u
ce_e
v
alue: add note
o
n some
m
i
s
sed opportu
n
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
b
ernstein
.
cc: handle input with
unions + relat
i
on
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maxim
i
ze
.
cc: d
e
al with
u
n
ions in
input dur
i
n
g
verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
ev
a
lue_substitute:
properly ha
n
dle rel
a
tions
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
dool
a
ege
evalue
.
c: clean up emul a
n
d ead
d
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_read: corre
c
tly
r
ead variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdool
a
e
ge
evalue_read: accept t
o
p level "re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven V
e
rdoola
e
g
e
e
value_bac
k
substitute: add requir
e
d modulo constraint
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolae
g
e
evalue
.
c
: *_partition
s
: s
i
mplify
c
o
n
s
train
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdo
o
laege
doc: more specific inf
o
rmation on
b
u
ggy cddlib ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ver
d
oolaege
c
o
n
figure
.
in: requir
e
cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven Ver
d
o
o
la
e
g
e
con
f
igure
.
in: only co
m
pile occ if
code_gen libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ad
d
some tes
t
s f
o
r implement
a
tion of
proje
c
t
ion t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
doc: document new opti
o
ns
and new applic
a
ti
o
ns
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Ve
r
doolaege
AUTHORS: up
d
ate support
i
n
f
orma
t
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ve
r
doolaege
gen
f
un
.
cc:
short_rat::print: correctly print p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
Exp
o
rt series as barvin
o
k_enumera
t
e_se
r
ies and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
remove_parameter_e
q
uali
t
ies: stop "remov
i
ng" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoo
l
aege
s
e
ries: leave freein
g
of
P argument to calling func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
o
c
:
do
c
ument implemen
t
ation of the projection theorem
commit
|
commitdiff
|
tree
next