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
4coins.cc: remove dead code
2008-08-28
Sven Ver
d
o
olaege
4coins
.
cc: remove dea
d
code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
eg
e
testlib
.
cc:
a
d
d
missing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
workaro
u
n
d
silly sun compiler
e
r
rors
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
e
rdoolaege
A
v
o
id use of the
make
-
C opti
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summa
t
e
.
c:
a
dd missing includ
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olae
g
e
summate
.
c: add missin
g
retu
r
n
values
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
er
d
oo
l
aege
M
a
kefile
.
am: in
c
lude l
i
b
i
ncl
u
de di
r
in bu
i
ld dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
laurent
.
cc: don't us
e
const
vecto
r
s as ma
p
k
eys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
var
i
able length arra
y
s
are no
t
standard
C
+
+
(yet)
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
g
e
n
fun
.
cc
:
argu
m
e
n
t of mp_get_mem
o
ry
_
functi
o
n
s
sh
o
u
l
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolae
g
e
upd
a
te
p
iplib
f
or
compatibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Ve
r
do
o
laege
update polylib wit
h
e
x
tra field
i
n Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sve
n
Verdoolaege
doc: fi
x
t
y
pos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
ad
d
missing algorithm i
n
clude for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
Fix out-of-bounds error in
Lau
r
e
n
t expansion ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
Include
e
mpty
.
c file in libba
r
vin
o
k if GiNa
C
was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoo
l
aege
co
r
rectly reflect e
x
tra sources for libba
r
vinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
fix t
y
po
i
n com
m
ent
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
l
ib
/
string
.
in
.
h: copy __restr
i
ct handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
ven Verdoolaege
up
d
ate gnulib func
t
ion to
l
ast pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verd
o
olaege
e
numerator::handle: replace incorrect
delete by fr
e
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Ve
r
doolaege
update piplib for co
r
rected Urs_
p
arms handling
commit
|
commitdiff
|
tree
2008-06-12
Sve
n
Ve
r
doolaege
c
o
nfigure: us
e
corr
e
c
t header files in c
a
s
e
of bundle
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Ve
r
doolaege
om
e
ga/oc
c
: only o
p
en debug output file i
f
ther
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven
Ve
r
d
oolaege
add
e
ditors
t
o I
T
SL pap
e
rs
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaeg
e
barv
i
nok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
do
o
laege
add some test
s
et
s
f
ro
m
i
tsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
ool
a
ege
doc: add latest
(accep
t
ed)
p
u
b
lications
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Ve
r
doola
e
ge
Makefile
.
a
m:
add s
e
cti
o
n
_
array
.
h to distrib
u
tion
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
normalizat
i
o
n
.
c: compute_shifts: remove redund
a
nt
r
eturn
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
mo
v
e
Free_ParamNames
polylib and make
param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
occ:
add interface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
dool
a
ege
e
x_convert
.
cc: extrac
t
ex2evalue
f
rom range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
doc: document more --summation methods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolae
g
e
options
.
c: rename
"
barvinok" summa
t
ion
m
ethod to "b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
Ma
k
efile
.
am: ch
e
c
k
-eul
e
r
: also chec
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c
:
b
arvinok_
s
umm
a
te:
handle pr
o
d
uct
s
of pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
evalue
.
c: e
x
port
e
value
_
reor
d
er_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
laeg
e
bern
s
t
ein: numer
i
c
2value: fix typo t
o
allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rd
o
olaege
u
til
.
c: F
a
c
t
or_Context: extract
e
d from b
a
rvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
summate
.
c
: bar
v
inok
_
summ
a
t
e: ignor
e
floors in
d
epe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdool
a
ege
evalu
e
.
c
:
add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
o
mega/
o
c
c: p
r
int bar
v
in
o
k version n
u
mber
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
do
c
:
u
pdate some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
M
ake laurent
based su
m
m
a
tion the def
a
ul
t
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doo
l
aege
summate
.
c: barvin
o
k_summate: handle q
u
asi-polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaeg
e
red
u
ce_evalue: extract ou
t
ev
a
lu
e
_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolae
g
e
e
v
alue
.
c: eval
u
e_shift_variable
s
: allo
w
shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
summ
a
te
.
c
: ha
n
dle equalities
for a
l
l summat
i
on algori
t
hms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
s
u
m
mate
.
c
:
barvinok_summate: mo
v
e
c
omm
o
n parts of summat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdo
o
laege
ev
a
l
u
e
.
c: eva
l
ue_sum: move s
i
gn ha
n
dling into esum_over
_
do
m
ain
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
o
olaege
barvinok_e
.
cc: enumerate_sum: use b
a
rvinok_summ
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aeg
e
summat
e
.
c: e
x
tract
b
arvi
n
ok_summa
t
e from
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
doolaege
r
e
name
s
ummate
.
c
c to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verd
o
ola
e
ge
evalue
.
c: r
e
duce_evalu
e
: reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
er
d
oolaege
A
dd Laurent expansio
n
based summati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
evalue
.
c:
extend eeq
u
al to handle domains and Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
bi
n
om
i
al
.
c: extract binomial and factoria
l
from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven
V
erdo
o
laege
power
.
h: extrac
t
fr
o
m euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
introduce eva
l
ue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
lattice_point
.
cc: export relative
_
coor
d
inates
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
lattice_point
.
h:
make sure correct evalues
are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aeg
e
lat
t
i
ce_point
.
cc: add c
e
i
ling functio
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oola
e
g
e
util
.
c: internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdool
a
ege
lattice_point
.
cc
:
m
u
l
t
i_mon
o
m
/latt
i
ce_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc
:
clea
n
up "exponent
i
al
substitution"
secti
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
test_bound
.
c
c: avoid loss
of pre
c
ision cau
s
ed by co
n
versio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
barvinok
_
boun
d
: optionall
y
take max
i
m
a
l s
i
ze of do
m
ain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
olaege
barvinok_b
o
und
:
add -
-
iterate op
t
ions
for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: export funct
i
ons fo
r
s
e
tting a
n
d cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doo
l
aege
verify
.
c: ev
a
lue_optimum:
a
llow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdool
a
ege
b
ernstein
.
cc: ev
a
lue2ex: don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc: fix call to evalue_conver
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
e
g
e
e{a
d
d
,
mul}_pe
r
i
o
dics: p
l
ug memory leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_ber
n
s
t
ein
_
coeffici
e
nts: handle pr
o
blems wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
latt
i
ce
_
wi
d
th
.
c:
s
kip d
i
rection
s
that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verd
o
o
laege
M
a
kefile
.
am: add cdd94e-test to d
i
stri
b
u
t
ion
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
ol
a
ege
o
mega/occ: optio
n
ally
u
se parker for computi
n
g
c
ardin
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
nor
m
alizat
i
on
.
c: ske
w
_to_positive_orthant:
p
rope
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
omega/convert
.
cc: relation2
D
omain: on
l
y collect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rdoolaege
occ: add dump for
dump
i
ng in barvinok
_
enumerate_
e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
dool
a
ege
bar
v
inok_enumerate_e: optionally us
e
parker's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
standard_constraints:
t
ake
constrain
t
s inste
a
d
of p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
normalization
.
c
: extract
s
t
andard_constraints f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaege
p
arker/count_so
l
utions
.
cc: fi
x
t
reatment of
existentia
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
compile par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
euler
.
cc
:
e
val
u
e_deriv
e
: handle consta
n
t po
l
ynom
i
als
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
add some
test sets from c
a
ses 200
4
a
n
d
cc 2005 paper
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rena
m
e ba
r
vi
n
o
k_
m
ax
i
mize t
o
barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
a
dd a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
evalu
e
_
range_propagation: remo
v
e redun
d
ant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
tes
t
_b
o
und
:
record
number o
f
p
o
ly
n
omials as
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoo
l
a
ege
test_bound: con
v
ert qu
a
sipolyn
o
mial
s
to
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
test_bound: compare polynomial bound
a
lg
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaeg
e
ver
i
f
y
.
c: optimu
m
: handle in
p
ut evaluatin
g
to
n
eg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
ve
r
ify
.
c: ext
r
act
e
value_optimum
f
rom maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
ver
i
fy
.
c
: ex
t
ract common
c
ode
f
or verifying oper
a
tion
.
.
.
commit
|
commitdiff
|
tree
next