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
lattice_width.c: skip directions that are identical up to sign
2008-04-05
S
v
en
V
erdoolaege
latt
i
c
e_width
.
c:
s
kip di
r
ec
t
i
ons that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoo
l
aege
Makefile
.
am:
a
dd c
d
d94e-te
s
t
t
o
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ: optionall
y
use parker for comput
i
ng
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
erdo
o
laege
normalization
.
c: skew_to_posi
t
ive
_
orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rdoolaege
omega/conv
e
rt
.
cc: relation2Domain: only collect s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
oolaege
oc
c
: add dump for dumping
i
n barvinok_enumerate_e fo
r
mat
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rdo
o
l
a
ege
barvinok_e
n
umerate_e: optiona
l
ly use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
standard
_
constr
a
i
nts: ta
k
e constrai
n
ts instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdo
o
laege
normalization
.
c: extrac
t
s
t
a
n
dard_constraints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ve
n
Ver
d
oolae
g
e
parker/count_solutions
.
c
c: fix
t
reatm
e
nt of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
dd parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eul
e
r
.
cc: evalue_derive: handle
c
onstant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
add so
m
e test sets fr
o
m cases 2004 and cc
2005 p
a
p
er
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
rename barvino
k
_m
a
ximi
z
e t
o
barvinok_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
add a tes
t
f
o
r test_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
evalue_r
a
nge_propagat
i
on: remove redundant polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: record n
u
m
ber of polynom
i
a
ls
as
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
te
s
t_bound: c
o
n
vert quasipo
l
ynom
i
als to polynom
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compa
r
e polynomia
l
boun
d
algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
verify
.
c
:
optim
u
m
:
handle
input eval
u
ating
t
o negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verify
.
c: extract evalue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c:
extract common co
d
e for verifying
operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
evalue_range_propagati
o
n: add monoto
n
icity te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
barvinok_m
a
ximiz
e
: optionall
y
use (basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
d
d
so
m
e support fo
r
dealing w
i
th eva
l
ues t
h
at represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
barvinok
_
enumerate: suppor
t
use of E
u
ler
-
M
a
clau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement Bernou
l
li_s
u
m as convers
i
on fro
m
u
nweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
Bernoulli
_
sum_
e
value
:
exploit i
n
teger boun
d
s to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
keep
t
rack of num
b
er of Bern
o
ull
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
be
r
noul
l
i
.
c: pr
o
tect shar
e
d
evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bernoulli sums based exact enum
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
barvinok_c
o
unt_w
i
th_options
:
compute (exa
c
t) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
B
ernoulli_sum_evalue: optionally h
a
ndl
e
f
ra
c
tio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
latt
i
ce_point
.
h: e
x
port fractional_part with C
linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
b
a
r
vino
k
_enumerat
e
_with_opti
o
ns: c
o
mpute (exact) Ber
n
o
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
Bernoulli_sum_evalue:
h
andle
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
d
oo
l
aeg
e
Bernoulli_s
u
m_e
v
a
l
u
e: cut off s
o
me
r
edu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
B
ernoulli_sum_evalue:
m
a
k
e
s
u
re n
o
empty partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
Bernoull
i
_s
u
m_evalue: remove redunda
n
t constrain
t
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
e
ge
bern
o
ulli
.
c: min
o
r refact
o
ring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
Bernoulli_sum:
handle c
o
ntext
constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
e
r
n
o
u
l
li
_
s
um_evalue: make sure e
n
ough memo
r
y is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
fo
r
_
e
ach_l
o
w
e
r_upper_bound: ad
d
another c
a
llback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
verify
.
c: adj
u
st default range to conte
x
t
if n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
euler
.
c
c: s
u
mm
a
te_ove
r
_doma
i
n: only co
n
sider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
p
a
ram_util
.
c: expor
t
P
a
ram_Ve
r
tex_Set_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
P
a
ram_P
o
lyhedron_Facet: pass
f
a
c
e
t
defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genf
u
n
.
c
c: para
l
lel_po
l
y
t
opes:
d
on't bot
h
er ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
evalue_split
_
do
m
ains_i
n
t
o
_orthants
:
don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_read
:
o
n
ly allow terms to
cross
newlines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_read: only accept i
m
p
l
icit
m
ultiplic
a
t
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
va
l
ue_read: accept constraints
c
o
ntaining "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_ber
n
s
tein_c
o
e
f
f
i
cients:
e
nsure
r
esult partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
b
ern
s
tein:
piecewise_lst: correctl
y
p
ri
n
t an
d
evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ve
r
d
oolaege
remove_all_equalities: ke
e
p removing parameter eq
u
al
i
t
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ve
r
d
oolaege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc:
c
on
s
istent use o
f
Kevin's initial
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
doc
:
update
now pu
b
lished pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Verdo
o
laeg
e
for_each_l
o
wer
_
u
p
per_bound: allow
a
bsence
o
f low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolae
g
e
Revert
"
e
ad
d
_partitions: tr
y
to combi
n
e multi
p
le domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_p
a
rtition: put partitions
b
ack
in
t
he same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
a
e
ge
evalue
:
red
u
c
e
_
evalu
e
: ad
d
note on
s
ome missed opp
o
rtunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
bernstein
.
cc:
handle input wit
h
unions
+
relati
o
n
v
iolat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
dool
a
ege
ma
x
i
m
ize
.
c
c:
dea
l
with unions in input
d
uring verificati
o
n
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdo
o
laege
e
v
al
u
e_su
b
stitute: pr
o
perly handle
r
elations
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Ve
r
doolaege
e
val
u
e
.
c: clean up emu
l
and ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verd
o
ol
a
ege
e
value_read: correctly
r
ead variable
n
ames
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaeg
e
evalue
_
read:
a
ccept top level "relation
"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n
Ver
d
o
o
laege
eval
u
e
_backsu
b
stitute: add required mo
d
ulo constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verd
o
olaeg
e
evalue
.
c: *_partitions: simplify
constra
i
nts befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: mo
r
e specific information on buggy
c
ddlib ve
r
sion
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoola
e
ge
co
n
figure
.
in: require cddlib 0
.
94e by testin
g
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdoolaege
c
o
nfigure
.
in
:
only compile occ i
f
co
d
e_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
o
olaege
add s
o
me tests for implementation of projectio
n
the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
eg
e
doc: document n
e
w op
t
ions
a
nd
new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
AUTHORS: update s
u
ppo
r
t
informat
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olae
g
e
gen
f
u
n
.
cc: short_ra
t
::print: correctly prin
t
p
o
lynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rd
o
olaege
Ex
p
o
r
t series
as ba
r
vi
n
o
k_
e
numer
a
te_series and us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolaeg
e
remove_parameter_equa
l
ities: stop
"remov
i
ng" e
q
ua
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: le
a
v
e
freeing of P argument to
c
a
l
l
i
n
g
func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
d
o
c: document
i
mplementation
o
f the proj
e
c
tion theo
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdool
a
ege
add barvinok_enumerate_e_ser
i
es
i
mpl
e
menting the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
genfun
.
cc: f
i
x
a
nd doc
u
m
e
n
t
p
a
r
alle
l
p
olytopes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdoolaege
Only co
m
p
i
le zso
l
ve
i
f gcc 3
.
4 or late
r
is available
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doolaege
M
ove
G
iN
a
C-
i
n
dependent part of li
b
rary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verd
o
olaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdoolae
g
e
do
c
: how to
co
u
nt the
n
u
mber of elem
e
nts in
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c
/implemen
t
a
tion
.
tex: avoid
multip
l
y defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
lattic
e
_width
.
c: try
vertices of previou
s
integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc:
d
ocumen
t
intege
r
hu
l
l
c
omp
u
tati
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoola
e
ge
hull
.
c:
add
a
l
l points f
o
un
d
b
y
sampling di
r
ectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
Possibl
e
o
p
t
i
m
i
zatio
n
s
f
or
g
ene
r
alized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
e
rdoolaege
Su
p
po
r
t use of gen
e
ralized bas
i
s reduction to c
o
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
er
d
oo
l
aege
a
dd Polyhedron_Inte
g
er_
M
i
nimu
m
for
c
omputin
g
the integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc: d
o
cument g
e
n
e
rali
z
ed bas
i
s reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ver
d
oola
e
ge
doc/b
a
rvinok
.
bib: ad
d
missing
string
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdo
o
laege
add more mi
s
sing
asse
r
t
.
h #inc
l
udes
commit
|
commitdiff
|
tree
next