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.28
2008-10-16
S
v
e
n
Verdoolaege
barvin
o
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoolaege
README: fix up ins
t
a
ll
a
tion
instr
u
c
tions
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
rdoolaege
Add
files genera
t
ed b
y
bison and fle
x
to
t
he
d
i
s
tribution
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoolae
g
e
u
p
d
ate polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
rdoolaege
up
d
ate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdool
a
ege
evalu
e
.
c: affine2evalu
e
: reduce coeffici
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erd
o
ol
a
e
ge
ev
a
lue
.
c: evalue_lev
e
l
_
cmp: produce
more
consis
t
ent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sve
n
Verdool
a
ege
do
c
:
add ano
t
h
er paper
r
eferr
i
ng to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
pie
c
e
wise_lst
.
h
:
avoid d
u
p
l
icat
e
paramete
r
n
ame
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
eval
u
e_read
.
c:
fix minor bugs in t
o
kenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update omega f
o
r
m
issin
g
files in di
s
tribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
barvinok
_
enume
r
ate_e
:
a
v
oid inf
i
ni
t
e loop wh
e
n pres
e
n
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verd
o
o
l
aege
include o
m
ega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdo
o
laege
move omeg
a
subdir t
o
omega_in
t
erface
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ver
d
o
ola
e
g
e
NTL_QQ
.
cc: add stdlib include
f
o
r
abort hidd
e
n in N
T
L
_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rd
o
olaege
remove
g
nulib lin
k
-warning
mo
d
ule compl
e
tely
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoolaeg
e
lexmin
.
cc: find and sort are in std:: namesp
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdoolaege
lexmin
.
cc: avoid use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coins
.
c
c
:
remove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
testlib
.
cc: a
d
d missin
g
r
e
turn
s
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
workaround si
l
ly
s
un compiler e
r
rors
commit
|
commitdiff
|
tree
2008-08-28
S
v
en V
e
r
doolaege
A
v
oid use of th
e
make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summ
a
te
.
c:
add
missin
g
include
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Verdoolaege
s
u
m
m
ate
.
c: add
m
issing
r
eturn values
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoola
e
g
e
Ma
k
efile
.
am: include lib i
n
clude dir in
bu
i
ld dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
la
u
ren
t
.
cc: don
'
t use const vect
o
rs
a
s map keys
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ve
r
doolae
g
e
var
i
able length arrays a
r
e not s
t
and
a
r
d
C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
gen
f
un
.
c
c: argument of mp_get
_
mem
o
r
y_fu
n
ctions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
u
p
d
a
te
p
iplib for compatibil
i
ty changes
commit
|
commitdiff
|
tree
2008-08-24
Sven
V
erdoolaege
update polylib with
e
xtra field in Param_Po
l
yhedron
commit
|
commitdiff
|
tree
2008-07-30
S
v
en Ver
d
o
o
l
aege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
add missing algorithm include for find
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolae
g
e
Fix o
u
t-of-bounds error
in La
u
rent expan
s
ion bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
Inc
l
ud
e
empty
.
c file in libbarvin
o
k
i
f
G
i
NaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoolaege
co
r
re
c
tly reflect extra
s
o
ur
c
es for l
i
bbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
li
b
/string
.
in
.
h: copy __r
e
strict
ha
n
d
l
ing from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
v
en Verdoolaege
u
p
da
t
e gnulib f
u
n
c
tion
to
l
a
st p
r
e
-
GPLv3 vers
i
on
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enu
m
erator:
:
handle: r
e
place
i
ncorrect delet
e
by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Ve
r
d
oo
l
a
ege
update
pip
l
ib for corrected Ur
s
_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolae
g
e
configure
:
use correct header files in
c
ase of
bund
l
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n Verdoo
l
a
e
g
e
configure
.
in:
f
ix che
c
k
f
o
r code_gen library
a
v
a
ila
b
ilit
y
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolae
g
e
o
mega/occ: o
n
l
y
o
pen deb
u
g
out
p
ut
file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven
Verdoolaege
o
mega
/
Make
f
ile
.
am: avoid bison
'
s -
o
opti
o
n as nami
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
range
.
c
c: ad
d
missing include o
f
alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
ae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Ve
r
doolaege
a
d
d e
d
itors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
S
ven
V
e
r
doolaege
use argp for
argument pars
i
ng in barvinok
_
ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdo
o
laege
p
roperly ha
n
dle NTL CPPFLAGS and LD
F
L
AGS
commit
|
commitdiff
|
tree
2008-05-07
S
v
en Verd
o
ol
a
eg
e
basis_reduction_templ
.
c: a
d
d mi
s
sing
i
nc
l
u
d
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
o
l
a
ege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oo
l
aege
add some test
s
e
t
s from itsl
2
008
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
o
c: ad
d
la
t
es
t
(accept
e
d)
p
ublications
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Ver
d
o
o
lae
g
e
Mak
e
f
ile
.
a
m
:
add
s
e
c
t
ion_a
r
ray
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolae
g
e
normali
z
a
tion
.
c: compute
_
s
h
ifts: remove
r
e
d
un
d
ant r
e
turn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
mov
e
Fre
e
_
P
aram
N
am
e
s polyli
b
and make
p
ara
m
names c
o
nst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
occ: a
d
d interface t
o
barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_convert
.
cc: extr
a
ct ex2evalue
f
rom ra
n
ge
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: document more --summat
i
on me
t
h
o
d
s
f
o
r barv
i
nok
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
options
.
c: rename
"
barvinok" sum
m
ation
method to
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdo
o
la
e
ge
Mak
e
file
.
am: c
h
e
ck-euler: a
l
so
c
heck
l
aurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summ
a
te
.
c: bar
v
inok_summa
t
e: handl
e
pr
o
ducts of pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
d
o
o
laege
evalue
.
c: export e
v
alue_reorder_term
s
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
bernstein: num
e
ric2value: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
util
.
c: Factor_Context: extracted fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
doola
e
ge
summate
.
c:
barvinok_summat
e
: ignore
f
loors
independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eval
u
e
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdool
a
ege
omega/o
c
c: print ba
r
vinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdo
o
laege
doc: update some
referen
c
es
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
Make laurent ba
s
ed summation the def
a
ult
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c
:
barvi
n
ok_summate: handle quasi-polyn
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_evalue: extract out eva
l
ue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
al
u
e
.
c: evalue_shi
f
t_va
r
iables: allow shif
t
i
ng of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
la
e
ge
summa
t
e
.
c: h
a
ndle equalities f
o
r all
s
u
mm
a
t
ion algorith
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
m
m
a
t
e
.
c:
barvinok_summa
t
e: move
common
parts of summat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
evalue
.
c: ev
a
l
u
e_sum:
m
ove sign handl
i
ng int
o
e
sum_ov
e
r_do
m
ain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
b
a
rvinok_e
.
cc: enume
r
a
t
e_sum: us
e
ba
r
v
inok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
er
d
o
o
l
aege
summate
.
c: extract barvi
n
ok_su
m
mate from b
a
r
v
ino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ren
a
me summate
.
c
c t
o
b
a
rvinok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
lae
g
e
evalue
.
c
:
reduc
e
_evalue
:
reduce
f
loor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
Add
L
a
uren
t
expansion based sum
m
at
i
on
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n
Verdoolaege
e
v
a
l
ue
.
c: extend eequal to handle domains and
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
V
e
rdoolaege
b
inomial
.
c:
extract binomial an
d
factori
a
l fro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
p
o
wer
.
h: e
x
tract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
i
ntr
o
duce eval
u
e
_
shi
f
t_varia
b
l
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
lat
t
ice_point
.
cc
:
e
xport relative_coordina
t
es
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
lattic
e
_
p
oint
.
h:
m
a
ke sure correct
e
val
u
es are used
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolaeg
e
lattice_point
.
cc: add ceiling funct
i
on
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n V
e
rdool
a
e
g
e
util
.
c
: internal
i
ze ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n V
e
rdoolae
g
e
lat
t
ic
e
_
point
.
cc: multi_
m
onom/lattice_point
s
: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoola
e
ge
doc: clea
n
u
p
"
e
xpo
n
ential substi
t
ut
i
on" s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
o
l
aege
test_bo
u
nd
.
cc: avoid loss of pr
e
cision cau
s
ed by
c
o
n
v
ersio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
b
a
rvinok_b
o
u
nd: optionally ta
k
e maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
l
a
eg
e
barvino
k
_bound:
a
d
d
--iterat
e
options for
e
valu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
verify
.
c
:
e
xp
o
r
t
fun
c
tions f
o
r set
t
ing and cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
verify
.
c: e
v
a
l
ue_optimum: allow computation o
f
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
b
e
rnstein
.
cc: evalue2e
x
: d
o
n't assu
m
e
a
l
l per
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaeg
e
bound
.
cc
:
fix ca
l
l to evalue_conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolae
g
e
e{
a
dd,mul}_perio
d
ics:
pl
u
g
m
e
m
o
r
y lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
ev
a
lue_bernst
e
in_
c
o
e
fficients: hand
l
e pr
o
bl
e
ms with
.
.
.
commit
|
commitdiff
|
tree
next