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
Polyhedron_Insert_Columns: fix typo
2009-11-12
S
v
e
n Verdoolaeg
e
P
o
lyhedr
o
n_Insert_Co
l
umn
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
S
ven Ve
r
doolaege
P
ol
y
hedron
_
Facto
r
:
f
ix updating
o
f groups
commit
|
commitdiff
|
tree
2009-10-06
S
ven
Ver
d
o
o
laege
co
n
figure
.
i
n:
use
A
X_SU
B
MOD
U
LE
i
nstead
o
f BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdo
o
laege
remove_equalities:
u
se Po
l
yh
e
dron_P
r
eima
g
e
instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdool
a
ege
barv
i
nok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
d
oolaege
doc: add
expe
r
imental comparis
o
n between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
l
e
xmin
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
Verdo
o
laege
do
c
: add som
e
les
s
common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "c
l
ever" L
a
urent expa
n
sion based summati
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
move
Last_Non
_
Zer
o
to ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdool
a
ege
extract
o
u
t param_pol
y
nomial from
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en
V
e
r
doolaege
ext
r
act vert
e
x_con
e
from laur
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
updat
e
p
olylib for speed impro
v
ement in
in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verd
o
olaege
u
p
date piplib for distribution i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
S
ven
V
e
rdoo
l
aeg
e
Polyhedron_Factor: fix
merging of grou
p
s
of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
eg
e
(t)counter: move counter::r
e
set() up t
o
coun
t
er_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
M
akefile
.
a
m
:
keep b
e
tte
r
t
r
a
c
k
of fai
l
e
d te
s
t
s
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
Line_Length: handle 0D
polyto
p
e
i
n
1D
s
pace
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyh
e
dron_Factor: handle polyhedra
w
ith a
non
-
t
rivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update piplib for change
i
n configu
r
e
a
rguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolae
g
e
barvi
n
ok
.
cc: remove unused no
n
orthog
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n
V
e
r
doolaege
upda
t
e piplib
f
or
Min
G
W compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
updat
e
p
olylib for MinGW compatibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: in_
d
omain: special-
c
ase 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven V
e
rdoolaege
Avoid
u
se of sys/
t
im
e
s
.
h header whe
n
n
o
t av
a
ilable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaeg
e
add
gnu
l
i
b ge
t
subopt mo
d
ule
for
M
inGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ver
d
o
olaege
R
EAD
M
E
:
mention that GiNaC is also needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en
Ver
d
oolaege
Allow build of occ
w
h
e
n using
b
undle
d
o
m
e
ga
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n Verd
o
olaege
doc:
a
dd a
refere
n
ce to a master thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
bar
v
inok
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
lae
g
e
RE
A
DME
:
fix up installation instructions
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n
Verdoolaege
Add
f
ile
s
generated by bison and fle
x
t
o the dist
r
i
bution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
d
o
o
laege
u
p
d
a
te piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdool
a
ege
eva
l
ue
.
c: affi
n
e2evalue: reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n
Verdoolaege
e
value
.
c: evalue_level_cmp: pr
o
duce mor
e
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
Verd
o
o
l
ae
g
e
doc
:
a
d
d another paper referring to t
h
e library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
p
iecewise_lst
.
h
: avoid d
u
plica
t
e pa
r
a
m
et
e
r na
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
eva
l
ue
_
read
.
c: fix minor
b
ugs i
n
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
S
ven Verdoolaege
update
o
mega f
o
r missing files in distribut
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
barvino
k
_
e
nu
m
era
t
e_e:
avoid
i
nfinite loop when
p
resente
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
e
rdoolaeg
e
m
ove
o
m
e
ga
subdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
N
T
L
_QQ
.
cc:
a
dd stdli
b
i
n
c
lude
f
o
r ab
o
r
t hidd
e
n in NTL_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
o
olaege
r
emo
v
e gnuli
b
link-warning module comple
t
ely
commit
|
commitdiff
|
tree
2008-08-24
Sve
n
Verdoolaege
update polylib with ext
r
a field in Pa
r
am_Polyhed
r
on
commit
|
commitdiff
|
tree
2008-07-30
S
v
en Verdool
a
ege
doc: fix typo
s
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdool
a
e
ge
update g
n
u
l
i
b
f
unc
t
ion to
last pre-GPLv3 versio
n
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n Verdoola
e
ge
enumera
t
or::handle: replace incorrect
delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update
piplib f
o
r cor
r
ect
e
d Urs_pa
r
m
s
handli
n
g
commit
|
commitdiff
|
tree
2008-06-12
Sven V
e
rdoolaege
conf
i
g
ure: us
e
correct header
file
s
in
case
of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdoolaege
ome
g
a/occ:
only
o
pen d
e
bug output
f
ile
i
f
t
h
e
re is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aege
do
c
: fix
t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
a
d
d editors t
o
I
T
S
L
papers
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdool
a
ege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test s
e
ts
f
r
om itsl200
8
paper
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erd
o
olaege
doc
:
add
latest (
a
ccep
t
ed) publica
t
i
o
ns
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoola
e
g
e
Makefile
.
am: ad
d
sect
i
on_
a
rr
a
y
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normalizati
o
n
.
c: compute_shifts: remove redundant return
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
move Fr
e
e_Pa
r
amNames
polylib
and make pa
r
am names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolae
g
e
occ: add inte
r
f
a
ce to
b
arvin
o
k_summ
a
te
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
V
erdoolaege
ex
_
convert
.
cc: ext
r
act e
x
2ev
a
l
u
e fr
o
m ra
n
ge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoola
e
ge
doc: do
c
um
e
nt more
--summation metho
d
s for ba
r
vinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
o
o
laege
options
.
c:
r
e
name "barvinok" summation
m
et
h
od
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
olaege
Makefil
e
.
am: check-euler:
a
lso check laur
e
nt
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdool
a
ege
summate
.
c
: barvinok_
s
ummate: handle pr
o
ducts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
eva
l
ue
.
c:
e
x
port evalue
_
reorder_term
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
aege
ber
n
s
tein: numeric2val
u
e: fix typ
o
to
a
l
l
ow
c
orrect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
util
.
c
: Fa
c
tor_Context
:
extract
e
d from b
a
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
s
u
mmate
.
c: barvinok_sum
m
at
e
:
ignore f
l
oors ind
e
pendent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolae
g
e
evalu
e
.
c: ad
d
evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdool
a
ege
omega/occ:
print barv
i
nok versio
n
number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
d
oc: up
d
ate som
e
referenc
e
s
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
olaege
Make
laurent
b
ased
summation the de
f
au
l
t
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erdoolaege
sum
m
a
t
e
.
c: b
a
rv
i
nok_summat
e
: handle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
olaeg
e
reduce
_
e
v
alue: extr
a
ct
o
ut evalue_r
e
duce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: eval
u
e
_
sh
i
f
t_variabl
e
s:
a
llow shifting
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolae
g
e
summ
a
t
e
.
c: handle equa
l
i
ties for al
l
sum
m
ation alg
o
rithm
s
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoo
l
aeg
e
summate
.
c
:
barvinok_
s
u
mmat
e
:
move common parts
o
f summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
evalue
.
c: evalue_s
u
m:
move sign handl
i
n
g into esum
_
o
v
er_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolae
g
e
barvino
k
_e
.
cc
:
en
u
merate_s
u
m:
u
se barvin
o
k_s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
summat
e
.
c
:
e
x
t
ract barvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
ren
a
me sum
m
ate
.
cc to
b
arvi
n
ok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c:
reduce_evalue: r
e
d
u
ce floor
w
ith constan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
Add La
u
rent expans
i
on based summation
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaege
evalue
.
c: extend
eequal to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolae
g
e
binomia
l
.
c:
ex
t
ract binom
i
al
a
nd fa
c
toria
l
from
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
p
ow
e
r
.
h
: extract
from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
intr
o
duce evalue
_
shift_variab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolae
g
e
l
a
ttic
e
_point
.
cc: export relativ
e
_
c
o
o
r
din
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
latt
i
ce
_
p
o
int
.
h:
make
s
ure correct
e
values ar
e
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
la
t
tice_p
o
i
n
t
.
c
c
: a
d
d ce
i
ling
function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: i
n
te
r
nalize
ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolae
g
e
l
a
ttice_p
o
int
.
cc: multi_monom/lattice_p
o
ints:
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n
V
erdoolaege
do
c
:
clean u
p
"exponen
t
ial
substitution" sectio
n
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
V
e
rdoolae
g
e
test_bound
.
cc: av
o
id
l
oss of p
r
ecision caused
b
y
conversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
ola
e
ge
barvinok_bound: optio
n
a
lly take m
a
x
i
mal size o
f
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
b
arvinok
_
bound: add
--it
e
rat
e
options
f
or evaluati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oola
e
ge
verify
.
c: export functions for setti
n
g
a
nd
cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
er
i
fy
.
c: evalue_
o
ptimu
m
: allow co
m
putati
o
n of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ver
d
oolaege
bernstein
.
c
c: eva
l
ue2e
x
:
don't assume all
p
eriodic
.
.
.
commit
|
commitdiff
|
tree
next