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
Sve
n
Verd
o
olaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdo
o
laege
README: fix up i
n
stal
l
atio
n
instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add fil
e
s
gen
e
ra
t
ed by bison a
n
d fl
e
x to the distribu
t
i
on
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erd
o
olaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolae
g
e
update pi
p
l
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: affine2e
v
al
u
e:
r
e
du
c
e coefficient
s
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Verdoolaege
evalue
.
c: evalue_level_cmp: produce more con
s
iste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoola
e
ge
doc:
ad
d
an
o
ther paper referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Ver
d
oola
e
ge
piecewise_lst
.
h: avo
i
d duplic
a
te paramet
e
r na
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
evalu
e
_read
.
c
: fix mi
n
o
r
bugs
in token
i
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Ve
r
doolaege
upda
t
e ome
g
a
for missin
g
fil
e
s in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oola
e
ge
barvinok_enum
e
rate_e: avoid i
n
f
i
nite lo
o
p
when
p
r
esent
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdoo
l
a
e
ge
i
n
cl
u
de om
e
g
a submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
move omeg
a
subdir to ome
g
a_interf
a
ce
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoo
l
aege
NTL_QQ
.
cc
:
add stdlib i
n
clude f
o
r abort hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdo
o
l
ae
g
e
r
e
move gnul
i
b link-war
n
ing module com
p
l
etely
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
lexm
i
n
.
cc:
f
ind and
so
r
t are i
n
std:: namesp
a
ce
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
lexmi
n
.
cc: avoid
u
s
e
o
f typ
e
of
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
4c
o
i
n
s
.
cc: remov
e
dead
cod
e
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoola
e
ge
test
l
ib
.
cc: ad
d
missing returns
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdool
a
ege
w
o
r
karound silly s
u
n com
p
iler errors
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
A
v
oid use of the make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoola
e
ge
s
ummate
.
c
:
add missing include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
s
ummate
.
c: add missing re
t
urn values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
Makefile
.
am:
include lib include dir in bu
i
l
d
dir
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdo
o
laeg
e
l
a
urent
.
cc: don't use const vector
s
as
m
ap keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oola
e
g
e
variable length
arrays
a
re not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaeg
e
gen
f
un
.
c
c:
argumen
t
of
mp_get_memory_functions
s
hould
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
upd
a
te piplib
for comp
a
tibility ch
a
nges
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaeg
e
upd
a
te po
l
ylib
with extra field in Param_Po
l
yhe
d
ron
commit
|
commitdiff
|
tree
2008-07-30
Sv
e
n Ver
d
oolaege
doc: fix
t
ypos
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaege
add
m
i
ssing algorithm inc
l
ude
f
or find
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdo
o
l
a
ege
Fix out-
o
f-bounds
e
rror in Laurent exp
a
n
s
i
o
n bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
I
nclude empty
.
c fil
e
in
libbarv
i
nok if GiNaC w
a
s not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
ool
a
ege
cor
r
ectly reflect
e
xtra sources f
o
r
li
b
barvinok a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
o
l
a
ege
fix typo in com
m
en
t
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
lib/string
.
in
.
h: copy
_
_rest
r
ict handlin
g
from li
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update
gnul
i
b functio
n
to
last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
e
n
umerator::handle:
re
p
l
ace incorrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sv
e
n
Verdoola
e
ge
update
p
iplib for c
o
r
r
ected Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
Ve
r
doolaege
c
onfigure:
use
correct h
e
a
d
er
files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoola
e
ge
o
m
ega/occ
:
o
nl
y
o
p
e
n debug
output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Ver
d
oolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add edi
t
ors t
o
I
T
SL pa
p
ers
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some
t
est sets
f
rom itsl2
0
08 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
do
c
: add lates
t
(accepted) publica
t
ions
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
M
a
kefile
.
am: add
s
e
c
tion_arr
a
y
.
h
t
o distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
n
o
rmalization
.
c:
c
ompute_shifts
:
re
m
o
ve redunda
n
t return
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolae
g
e
move Fr
e
e
_
Pa
r
amN
a
m
e
s p
o
lylib and make param na
m
es const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
o
cc: add
i
nt
e
rface to barv
i
no
k
_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdo
o
laege
e
x
_convert
.
cc
:
extract
ex2evalue
f
rom range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doo
l
aege
doc: docu
m
ent mor
e
-
-
summation m
e
thods for
barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
la
e
ge
op
t
ions
.
c: rename "b
a
rvinok" summati
o
n method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
e
g
e
Makefile
.
am: check-euler: also ch
e
ck laurent
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
s
u
mmate
.
c: barvinok_
s
u
mm
a
te:
hand
l
e products
of polyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
evalue
.
c:
export evalue_reorder_ter
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein: numeric2value: fix typo to allow co
r
r
e
c
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c:
F
actor_Context: extracted fr
o
m barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summa
t
e
.
c: barvinok_sum
m
ate: igno
r
e
f
l
o
ors indepe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
evalue
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
erdo
o
l
aege
o
mega/occ: print
b
a
rvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
ege
do
c
:
update som
e
r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
Ma
k
e
l
au
r
ent base
d
s
u
mmation the
d
efault
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdool
a
ege
s
u
m
mate
.
c:
b
arv
i
nok_summate: handle
q
uasi-p
o
lynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaeg
e
reduce_eval
u
e: extract
out
evalue_re
d
uce
_
siz
e
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
evalue
.
c: evalue_shi
f
t
_variab
l
es:
a
llow shifting
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summate
.
c: hand
l
e equali
t
ies for all summation algorith
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdo
o
l
a
e
ge
s
umma
t
e
.
c:
barvino
k
_summate
:
move co
m
mon pa
r
ts o
f
summati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
e
g
e
e
value
.
c: evalu
e
_s
u
m: mo
v
e sign han
d
l
i
ng
int
o
es
u
m_over_d
o
mai
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aeg
e
bar
v
inok_e
.
cc: en
u
m
e
rate_sum: use ba
r
vinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
s
um
m
ate
.
c: ext
r
act b
a
rvinok
_
summate fro
m
barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoo
l
a
e
ge
rename summate
.
cc to ba
r
vin
o
k_su
m
mate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
eva
l
ue
.
c:
r
educe
_
evalue: redu
c
e floor
with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolae
g
e
A
d
d Laurent expansion based
s
ummation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
a
ege
evalue
.
c: extend eequ
a
l to handle
d
o
m
ains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
ven Ver
d
oolaeg
e
bin
o
mi
a
l
.
c: e
x
tract b
i
n
omial
a
n
d factorial f
r
om
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
a
ege
power
.
h: extract
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
introdu
c
e
evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
lattice
_
p
o
int
.
cc
:
export relativ
e
_
c
o
ord
i
nates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
lattice_point
.
h: m
a
k
e
sure correct evalu
e
s
are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
d
oolaeg
e
lattice_point
.
cc:
add cei
l
ing functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolaege
util
.
c: internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n Ve
r
d
o
olaege
lattice_point
.
cc
:
multi_monom/latti
c
e_
p
oints: retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clean up "
e
xponen
t
ial substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
test
_
bound
.
cc
:
avoid loss of precisi
o
n cause
d
by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
barvi
n
ok_bound: optionally tak
e
m
axima
l
s
i
ze of doma
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
rdoolaege
barvinok_b
o
und: add
-
-i
t
erate op
t
ions
f
or
e
val
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdool
a
e
g
e
verify
.
c: e
x
port functions
f
or
setting and
c
learing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c:
evalue_optimum: allow
c
omputati
o
n o
f
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
bernstein
.
cc: e
v
alue2ex:
d
on'
t
assume al
l
perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
V
e
rdoolaege
bo
u
n
d
.
c
c:
f
i
x
call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
la
e
ge
e{add,mul}_periodic
s
: plug
memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
eval
u
e_bernstein
_
co
e
ffic
i
ents: h
a
ndle p
r
o
blems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
u
p
d
ate polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoola
e
ge
lattice
_
width
.
c: skip directions th
a
t are identica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en Ver
d
oolaege
Makefi
l
e
.
am:
a
dd cdd94e-te
s
t to dist
r
ibution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ:
option
a
lly
u
s
e pa
r
ker
f
or co
m
puti
n
g card
i
nality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
normalizat
i
on
.
c: ske
w
_to_p
o
sitive_orth
a
nt: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
dool
a
ege
omega/
c
o
n
vert
.
cc: relation2Dom
a
in: only collect set
.
.
.
commit
|
commitdiff
|
tree
next