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.25
2007-09-11
Sven V
e
r
doolaege
ba
r
vinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Me
r
ge branch
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verd
o
olaege
Doc
u
m
ent TOPCOM based chamber decompositio
n
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdool
a
ege
test TOPCOM chamber decompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optionally use TOPCOM to co
m
pute chamber
d
ecomposi
t
ions
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Verdoolaege
le
x
min:
ad
d
(protected) missing algorithm includ
e
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaeg
e
Makefile
.
am:
add
t
ar
g
et for cr
e
ating d
i
st wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc: update vot
i
ng th
e
o
ry reference
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
d
ocum
e
nt
b
a
r
v
i
nok_summate and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdo
o
laege
doc: con
s
istent use of
B
ar
v
inok
'
s
initials
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaege
barvin
o
k_summate:
correct options descri
p
tion
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
e
rdoola
e
ge
Do
c
ument
E
u
ler-Macla
u
rin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc: cha
n
g
e example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc: a
d
d
som
e
hidden secti
o
n
s
t
o
table of
c
ontents
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolae
g
e
doc: another document re
f
e
r
ing t
o
the libr
a
ry
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some te
s
ts for Euler-Ma
c
l
a
u
rin
b
ased summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
Eule
r
-Maclaurin base
d
summ
a
tion for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoola
e
ge
Euler-Maclaurin base
d
summation
f
or
2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decomposer
.
cc: avoid us
e
of h
a
lf-open cones
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olae
g
e
barvinok
_
s
umm
a
te: verif
y
solut
i
on over whol
e
parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
intr
o
d
uce barv
i
nok
_
s
u
mmate as a wrapp
e
r for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
add evalue_mul
_
di
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
e
v
alue_{div,mul}
:
handl
e
s
o
me tri
v
ial cases
m
ore efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
l
a
ttice
_
p
o
int: export fra
c
t
ional_p
a
rt
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
ege
evalue
.
c: extrac
t
common code for
construction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
o
l
aege
vo
l
ume
.
c
:
e
x
por
t
Param_Polyhedron_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
add evalue
_
mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
fix
type of
evalue_polynom
i
al ar
g
ument
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
su
p
port com
p
utation of Bernoulli polynomi
a
ls
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
separate comp
u
tation of Ber
n
oulli
c
o
efficients
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_p
o
i
nt
:
use Param_V
e
rtex_Commo
n
_Den
o
minator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
ege
make d
e
com
p
o
ser
.
h self
-
contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
reduce_d
o
main: avoid u
s
e of ma
c
ro par
a
m
eter w
i
th n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olae
g
e
exp
o
rt evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdo
o
laege
Use piplib during ba
s
i
s redu
c
t
ion if no
other
L
P so
l
vers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
Use bundled
piplib
b
y
defa
u
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
ege
a
dd piplib module
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolae
g
e
Use bundled Pol
y
Li
b
by default
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
ad
d
p
o
lylib submodu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
b
ernstein: allow linking against unin
s
talled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
V
erdoolaege
a
d
d
m
ore
mi
s
sing assert
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sven
V
erdoolaege
add
d
ummy implement
a
tions of
f
unct
i
ons t
h
at depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
e
n Verdool
a
ege
upd
a
te "Counting
w
ith rati
o
nal generating funct
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
cc
:
split off part
constr
u
cti
n
g generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Ver
d
o
o
l
aeg
e
b
a
r
vi
n
ok
.
cc
:
split off pa
r
t d
e
aling with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaeg
e
*cou
n
ter: avoid recom
p
utation o
f
d
enominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
c
ount
e
r: remove
r
e
dundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaeg
e
c
hange ty
p
e of some "sign"s
to int as the
y
c
an o
n
ly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
r
d
o
olaege
doc: update A
l
go
r
ithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sve
n
Ve
r
doolaege
evalue
.
c:
m
ake parameter names of type
c
onst cha
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sa
m
ple
.
c
:
Polyhedron_Re
m
oveFixed
C
olumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sv
e
n
Ver
d
oo
l
a
e
ge
util
.
c: r
e
move_equ
a
lities
:
fix typo
commit
|
commitdiff
|
tree
2007-07-30
S
v
en
Ve
r
d
o
olaege
Param_Polyh
e
dron_Print: print ever
y
thing to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdo
o
lae
g
e
b
a
rvinok_enume
r
ate_with_option
s
:
don't add
c
o
ntext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoo
l
aege
barvinok
.
cc: don't free P argum
e
nt
i
n
enumera
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdool
a
ege
remove_all
_
e
q
ualities: a
l
so
r
emo
v
e equaliti
e
s
in
c
o
ntext
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
v
olume
.
c: a
v
oid
w
arni
n
gs
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoola
e
ge
e
x
port Para
m
_Inner
_
Product
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
Verdo
o
laege
b
a
r
v
inok_enumerate
.
cc: ad
d
minimal
c
heck
o
n input
commit
|
commitdiff
|
tree
2007-07-19
Sven Ve
r
doolaege
mor
e
prototype changes
t
o
const char *
commit
|
commitdiff
|
tree
2007-07-19
S
ve
n
Verdoola
e
g
e
e
value:
p
rint_eva
l
ue: make parameter names con
s
t
cha
r
*s
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
erdoola
e
ge
Alway
s
c
o
mpile polytop
e
_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verdoolaege
polytope_s
c
an: use
argp fo
r
argu
m
e
n
t
p
arsing
commit
|
commitdiff
|
tree
2007-07-05
S
v
e
n
Verdoolaege
doc: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2007-07-04
Sven V
e
rdo
o
lae
g
e
configure
.
in: allow specifica
t
ion
of d
e
faul
t
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
doo
l
aege
consolida
t
e calls to
P
ol
y
hedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdoolaege
vol
u
me
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2007-07-01
S
v
e
n Ver
d
oolae
g
e
Makefile
.
am: add
$(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
doo
l
a
ege
Makefile
.
am:
f
o
rce r
e
build libraries
in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only
t
e
st barvinok_maximiz
e
if it has
b
een/can be
c
reated
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ver
d
oolaege
barvinok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testlib
.
cc: wo
r
k
a
round
i
ncomplete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdo
o
laege
scale
.
c:
e
n
u
m
erat
e
_
n
ar
r
ow_flated: don't simplify
con
s
t
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
declare
v
ariabl
e
s at start of
co
d
e block
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdo
o
laege
doc: u
p
d
ate documentation
o
f options and some functi
o
ns
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Po
l
yhedron_Samp
l
e: facto
r
polyh
e
d
r
on if possible
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoo
l
aege
Polyhedron_Sample: com
p
ut
e
ver
t
ices
o
f
1D po
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyhedron_Sa
m
ple: remove all equalities from po
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rd
o
o
l
aege
add po
s
sibility t
o
us
e
GLPK a
s
LP solv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedr
o
n_Sample: postpone
re
m
oval
o
f
rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdo
o
lae
g
e
P
o
l
y
h
edron_Sa
m
ple: use
l
p solver for findi
n
g
range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
lexmin:
move
c
hoice of lp
s
o
l
v
er to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
g
e
polys
i
gn
.
h: use cor
r
e
c
t name of
PL_poly
h
e
d
r
on_affine
_
s
i
gn
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
er
d
oolaege
barvin
o
k_enumerate:
p
lug memo
r
y
l
eak
i
n
B
e
rn
o
ulli approxima
t
ion
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
r
doola
e
ge
barvi
n
ok_enumerat
e
_e_r: don't assume AddConstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
evalue_f
r
ac2po
l
yno
m
ia
l
:
r
echeck evalue aft
e
r evalue
_
split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
util
.
c: L
i
ne_Len
g
th: don'
t
get
confused by positiv
i
ty
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
Makefile
.
am: st
o
p after
f
i
r
st
f
ailed t
e
st
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
do
o
laege
b
ernstein: carry through va
r
iable renaming to
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven
Verd
o
olaege
bernste
i
n: don't assume input polynomial ha
s
been expanded
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
evalue_
r
ead
.
c
:
co
r
r
e
ct constness of name
i
n parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
e
val
u
e_rea
d
: accept
c
on
s
tant m
u
ltiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
ven Verdoolaege
evalue
.
c: evalue_sum:
b
ett
e
r handling of
n
ega
t
ive v
a
lues
commit
|
commitdiff
|
tree
2007-06-15
S
v
en Verdoolaege
eval
u
e
.
c:
r
eorder_terms:
f
ix
typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdo
o
laege
evalu
e
: declare
fir
s
t argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
S
v
e
n Verdool
a
e
g
e
ev
a
lue
.
c: emul
:
don't
use expli
c
it_c
o
mplement on a
r
gume
n
ts
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
e
rdoolaege
add
a test for evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
D
evos@elis
.
.
.
find_fra
c
tional_wi
t
h_max_periods:
initia
l
i
ze local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoola
e
ge
e
v
a
lue
.
c:
evalue_split_period
s
: make
sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: polynom
i
al_p
r
ojec
t
ion:
use evalue_extract_affine
commit
|
commitdiff
|
tree
next