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
update polylib for speed improvement in in_domain
2009-07-11
Sven Verdo
o
l
a
ege
up
d
ate polylib
f
o
r s
p
eed impr
o
veme
n
t in in_d
o
main
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaeg
e
update pipl
i
b f
o
r d
i
stribution
i
ssue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Pol
y
hedron_Factor: fix merging of group
s
o
f
c
o
lumns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)count
e
r: move
c
ounter::reset
(
) u
p
to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Make
f
ile
.
am: keep bet
t
e
r trac
k
of fa
i
led tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ver
d
oolae
g
e
L
i
n
e_
L
eng
t
h
:
handle 0D
p
olytope in 1D space
commit
|
commitdiff
|
tree
2009-04-02
S
ven
V
er
d
o
o
laege
Polyhedro
n
_F
a
c
t
or:
han
d
le polyhe
d
ra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdo
o
laege
u
p
date piplib f
o
r cha
n
ge in configure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvin
o
k
.
cc: remove unused no
n
orthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
doolaege
update p
i
pl
i
b for MinGW
c
ompatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Ver
d
ool
a
e
ge
u
p
date
p
olylib for
MinGW co
m
pat
i
bili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verd
o
olae
g
e
e
v
alue
.
c: in_domain: spec
i
al-case 0D
d
o
m
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoola
e
ge
Avoid use of s
y
s/times
.
h header when n
o
t av
a
ilable
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verd
o
olaege
add gnulib ge
t
subop
t
modul
e
for MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verd
o
olae
g
e
README: mention that GiNaC
i
s also
need
e
d
f
or the
Ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
er
d
oolaege
Allow
b
uild of
occ when u
s
i
n
g bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sve
n
V
erdoo
l
aege
doc
:
add a refer
e
n
c
e to a master thes
i
s
ac
t
ually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
rdoolaege
b
a
rvi
n
ok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
ae
g
e
R
EADME: fix up instal
l
ation
i
nstructions
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Ve
r
do
o
lae
g
e
Add fil
e
s generated b
y
bison and f
l
ex
to the distr
i
bution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-10-16
S
ven
V
erdoo
l
a
ege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdoo
l
aege
evalu
e
.
c: af
f
ine2
e
value:
reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
v
alue
.
c: evalue_l
e
vel_
c
mp: produce more c
o
n
si
s
tent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sv
e
n Verdool
a
ege
doc: add anothe
r
paper referri
n
g to th
e
library
commit
|
commitdiff
|
tree
2008-09-16
Sven Ve
r
doolaeg
e
piecewi
s
e_lst
.
h: a
v
oid duplicate p
a
rameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
evalu
e
_rea
d
.
c: fix
minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
update o
m
ega
for miss
i
ng fil
e
s in di
s
t
r
ibution
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
barvinok_
e
numerate
_
e: avoid i
n
finite loop
w
hen prese
n
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
mo
v
e omega subdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doola
e
ge
N
T
L_QQ
.
cc:
a
dd std
l
i
b
include for abor
t
hidd
e
n in
N
T
L_vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaeg
e
remo
v
e
gnulib
link-warning m
o
dule completel
y
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n Ver
d
oolaege
update polylib with
e
xtra field in Param_Pol
y
hedr
o
n
commit
|
commitdiff
|
tree
2008-07-30
Sven V
e
rdoolae
g
e
do
c
:
fix t
y
p
os
commit
|
commitdiff
|
tree
2008-07-20
Sven
V
erdoolaege
upda
t
e g
n
ulib
f
u
nction
t
o last p
r
e-GPLv3
v
ersio
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enu
m
era
t
or::handle: re
p
lace incorrec
t
delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update pipl
i
b
for corrected Urs_parms ha
n
dling
commit
|
commitdiff
|
tree
2008-06-12
Sven V
e
rdoolaege
c
onfigure: use
c
o
rrect h
e
ader file
s
in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
olae
g
e
o
meg
a
/occ: on
l
y open debug output
f
ile if th
e
re is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
laege
add editors
to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolae
g
e
b
a
r
v
inok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
a
dd some t
e
s
t
sets from itsl2008
p
aper
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
d
oc: add
latest
(
a
c
ce
p
ted) publicatio
n
s
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoola
e
ge
M
a
k
efile
.
am: add section_array
.
h
t
o d
i
stribution
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
n
o
rmali
z
at
i
on
.
c: comput
e
_s
h
ifts: r
e
mov
e
red
u
ndant return
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolae
g
e
move Fr
e
e_P
a
r
a
mNames polylib and
m
ake param nam
e
s c
o
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaege
occ
:
add
i
nt
e
rface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
ex_convert
.
cc: extract
e
x
2
eval
u
e from
range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
d
o
c
: document more -
-
s
u
m
mation methods for barvinok
_
s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdoolaege
o
p
tions
.
c
:
ren
a
me "barvinok" su
m
mati
o
n
met
h
o
d
t
o
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aeg
e
M
akefile
.
am: c
h
eck-eule
r
: also che
c
k l
a
uren
t
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdo
o
laege
summate
.
c: barvi
n
ok_summate: handle products of pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
e
value
.
c: export eval
u
e_re
o
r
der_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein:
n
umeri
c
2value: fix ty
p
o to allow cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ve
r
doolaeg
e
util
.
c
: Factor_Context: e
x
tr
a
cted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
summate
.
c: barvi
n
ok_summate: ignore
f
loors indepen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
evalue
.
c: add eva
l
ue_floor2fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaeg
e
o
m
ega/o
c
c: print
b
arvin
o
k version number
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
d
o
c:
update some
r
e
f
ere
n
ces
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make lau
r
ent bas
e
d
s
u
mmation the
default
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
sum
m
ate
.
c:
b
arvino
k
_
s
ummate: han
d
l
e
quasi-pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoola
e
ge
re
d
uce_e
v
alue: extract ou
t
evalue_red
u
c
e
_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
e
value
.
c: evalue_shift_variables
:
allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
oolaege
summat
e
.
c: han
d
l
e equalit
i
es for all s
u
m
m
a
t
ion algorithm
s
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
su
m
m
a
te
.
c: barvin
o
k_summat
e
:
m
ove common
parts of
s
ummation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
e
value
.
c: evalue
_
s
u
m:
mov
e
sign handling into es
u
m_o
v
e
r_domai
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
bar
v
ino
k
_e
.
cc: enumerate_sum: use b
a
rvino
k
_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summate
.
c: extr
a
ct barv
i
no
k
_summ
a
te
f
ro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaeg
e
r
en
a
me summate
.
cc to
barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
olaeg
e
evalue
.
c: red
u
ce_evalue
:
r
edu
c
e floor with c
o
nstan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
Add Laurent
e
xpansion based s
u
mm
a
ti
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
V
erdoolaeg
e
evalue
.
c: e
x
tend eequal t
o
han
d
le domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
binomial
.
c
:
e
xtract bi
n
o
m
i
a
l and factorial f
r
om eul
e
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
g
e
power
.
h
: ex
t
r
a
ct from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
introduce evalue_
s
hift
_
v
a
riables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
latt
i
ce_
p
oint
.
c
c:
export relative_coo
r
dinates
commit
|
commitdiff
|
tree
2008-04-24
S
ven
Verdoolaege
lattice_point
.
h: make sure cor
r
ect evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc: add
c
eiling funct
i
on
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
ut
i
l
.
c: int
e
rnalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n Ve
r
doolaeg
e
lat
t
ice_point
.
cc:
m
ulti_monom/la
t
ti
c
e_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clean
u
p "exp
o
nent
i
al su
b
s
titution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc: avoid loss of p
r
ecision
caused by
c
onv
e
rsi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
barv
i
nok_bound:
o
pt
i
o
nally
take maximal size o
f
dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
V
erdoolaege
barvinok_bound: add --iter
a
t
e opti
o
n
s
f
o
r
ev
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
v
e
rify
.
c: exp
o
rt
f
un
c
tions for
setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
ve
r
ify
.
c
:
evalue
_
optimum:
allow comp
u
tati
o
n
of opti
m
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
doolaege
b
e
rnstein
.
cc: eva
l
ue2ex: don'
t
assume al
l
per
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaeg
e
bound
.
cc: fix call to eva
l
u
e
_
convert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdo
o
l
aege
e
{
add,mul}_
p
eriodics: plug me
m
ory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
e
v
alu
e
_berns
t
ein_coefficients: h
a
ndle probl
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice
_
widt
h
.
c: ski
p
directio
n
s th
a
t are
identic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoola
e
ge
Makefile
.
am: add cd
d
94
e
-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ
:
optionally use parker for comp
u
ting
c
ardin
a
l
ity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verdool
a
ege
n
o
rmalization
.
c:
ske
w
_
t
o_po
s
itiv
e
_
o
r
thant
:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verd
o
olaege
omega/convert
.
cc:
relation2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ
:
add du
m
p for dumping in
b
a
rvin
o
k_
e
numerate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verd
o
olaege
barvinok
_
e
numerate
_
e
: optiona
l
ly use pa
r
ke
r
's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_constraints: take c
o
n
strain
t
s instead of
p
o
lyh
e
d
r
on
.
.
.
commit
|
commitdiff
|
tree
next