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
evalue.c: affine2evalue: reduce coefficients
2008-10-10
Sven Ve
r
doolaeg
e
evalue
.
c: affine2eval
u
e: red
u
ce
c
oeff
i
cien
t
s
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaege
evalu
e
.
c:
evalue_l
e
v
el_cmp
:
p
roduce mor
e
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add anothe
r
p
aper
r
e
f
e
rri
n
g to t
h
e library
commit
|
commitdiff
|
tree
2008-09-16
Sven Ver
d
o
o
l
aege
pi
e
cewise_lst
.
h
:
a
v
oid duplic
a
t
e parameter na
m
e
commit
|
commitdiff
|
tree
2008-09-02
S
v
en
V
er
d
oolaege
ev
a
lue_read
.
c: fix minor bugs i
n
tokeniz
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
doolaege
update
omega for
m
issing f
i
les in
d
istribution
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdoolaege
barvinok_enumer
a
te_e: avoid infinite loop
w
hen presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
in
c
lud
e
omega subm
o
d
u
le
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
move omega subdir
to om
e
ga_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ver
d
o
o
laege
NT
L
_QQ
.
cc: add stdlib incl
u
de f
o
r
abort hidden in N
T
L_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoola
e
ge
remove gnu
l
ib lin
k
-war
n
ing mo
d
u
l
e
c
omplete
l
y
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
lexmin
.
cc:
find a
n
d sort
a
re in
s
td:: n
a
mespace
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
lexmin
.
cc: av
o
id
use of t
y
p
e
of
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
dool
a
ege
4coins
.
cc:
remove dead code
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
testl
i
b
.
cc:
ad
d
missing retur
n
s
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdool
a
ege
worka
r
ound silly sun co
m
pi
l
e
r er
r
ors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
g
e
Avoid use of
t
h
e make
-
C option
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Ver
d
oolaege
summ
a
te
.
c: add
missi
n
g include
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
summ
a
te
.
c: a
d
d missin
g
return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaeg
e
Makefile
.
a
m
: include
lib includ
e
dir
i
n
bu
i
ld dir
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdoolaege
laurent
.
c
c: do
n
'
t use c
o
ns
t
v
ectors as m
a
p keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
a
ege
variable le
n
gth a
r
rays are not standard
C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
g
e
nfun
.
cc: argument of mp_g
e
t_
m
em
o
ry_fun
c
tions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
u
p
date pi
p
lib for compat
i
bility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven V
e
rdoolaege
up
d
ate polylib with e
x
t
ra f
i
eld in
Param_Polyhedr
o
n
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdool
a
ege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
a
dd missing algorit
h
m
include for find
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verd
o
olaege
F
i
x
out-of-bounds error in L
a
urent expansion
based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
oo
l
aege
Inc
l
u
d
e empty
.
c
fi
l
e in libbar
v
inok
i
f GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolaeg
e
correctly refle
c
t extr
a
sources for li
b
barv
i
nok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
o
o
laeg
e
f
ix typo
i
n
c
omment
commit
|
commitdiff
|
tree
2008-07-22
S
ven Ve
r
do
o
laege
li
b
/
s
tr
i
ng
.
in
.
h: cop
y
__rest
r
ict
handling from
l
i
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update gnulib fu
n
ction to las
t
pre-G
P
Lv3
versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Ver
d
oola
e
ge
enum
e
rator::handle:
replace inc
o
rrect delete b
y
f
ree
commit
|
commitdiff
|
tree
2008-06-17
S
v
e
n Ver
d
oolaege
updat
e
pi
p
lib for correc
t
ed Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
V
erdoo
l
aege
configure: us
e
correct header files in case of b
u
ndled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdo
o
laege
omega/occ: only open debug ou
t
put
file
if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc:
fix t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
a
d
d
editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
o
l
aege
bar
v
i
n
ok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
add
some test set
s
fr
o
m itsl
2
008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoo
l
aege
doc: add l
a
test (accepted) pub
l
ications
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
Makefile
.
am: add
s
ecti
o
n_ar
r
ay
.
h to distributio
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normalizati
o
n
.
c: compute_shif
t
s: r
e
move redundant ret
u
rn
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
doolaege
move Free_Pa
r
am
N
ames p
o
lylib an
d
m
ake
p
a
r
am
name
s
co
n
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: a
d
d
i
nterface to barvinok_sum
m
a
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oo
l
a
e
ge
ex_con
v
ert
.
cc:
extract ex2e
v
alue
from
range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
doc: document more --summatio
n
metho
d
s for b
a
r
vinok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ver
d
o
olaege
options
.
c: ren
a
me "ba
r
v
inok"
summa
t
ion meth
o
d to "bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ol
a
ege
Makefile
.
am: check-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolae
g
e
summat
e
.
c: barvinok_
s
ummate: handle products of pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Ver
d
oolaege
eval
u
e
.
c: export
evalue_reorder_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
be
r
nstein:
numeric2v
a
lue: fix ty
p
o
to allo
w
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
util
.
c:
F
a
c
tor_Context: extracted from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
o
laeg
e
sum
m
ate
.
c: b
a
rvinok_su
m
ma
t
e: ignore
f
loors indepe
n
den
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eval
u
e
.
c
:
add evalue_flo
o
r2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/occ: print barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolae
g
e
doc
:
upd
a
te some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laurent based summation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdo
o
laege
summate
.
c: barvin
o
k_s
u
m
mate: handle qu
a
s
i
-
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
re
d
u
c
e_evalue: extract out evalue_red
u
ce_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
ev
a
lue
.
c: evalue_
s
h
ift_variables
:
allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
s
ummat
e
.
c: handle equalities fo
r
all su
m
mation
algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
summ
a
te
.
c:
barvinok_su
m
mate: move common parts
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
evalue
.
c
:
ev
a
lu
e
_sum: move
sign handling into esu
m
_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
rdoolaege
b
arvi
n
ok_e
.
cc: enumerate_
s
um:
use barv
i
nok
_
summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oola
e
ge
summat
e
.
c: ex
t
ract b
a
rvinok_summate
f
rom barvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoo
l
aege
rename
summate
.
cc
t
o
barv
i
n
o
k_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
o
laege
evalue
.
c:
red
u
ce_eval
u
e: reduce floor
w
ith
c
onstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
A
dd Laurent ex
p
ansion ba
s
e
d
summation
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
evalue
.
c: exte
n
d
eequal
to
h
andle domai
n
s and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
b
i
nomial
.
c: ext
r
act
b
inomial
and
f
act
o
rial fro
m
e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
ol
a
ege
power
.
h: extract from
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce e
v
a
l
ue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdo
o
lae
g
e
latti
c
e_poin
t
.
cc:
e
xport relati
v
e_coo
r
dinates
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaeg
e
lattice_point
.
h
: make sure correct ev
a
lues are u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verd
o
olaege
lattice_point
.
cc: ad
d
ce
i
l
i
ng
f
u
n
ction
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
util
.
c
:
i
ntern
a
l
ize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
cc: mul
t
i
_mo
n
om/lattice_point
s
:
r
etur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
e
rdoolaege
doc: clean up "
e
xponential
substitution" s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test
_
b
o
und
.
cc
:
a
void loss of precision caused
by conve
r
si
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n V
e
rdoola
e
ge
barvinok_bound: optionally take maximal siz
e
o
f d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
barvinok_boun
d
:
add --iterate options for e
v
al
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
verify
.
c: export
funct
i
ons
fo
r
setting
and
c
learing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
ver
i
fy
.
c: evalue
_
optimum: allow computat
i
on of opt
i
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
berns
t
ein
.
c
c
: evalue2ex: don't a
s
sum
e
all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bo
u
n
d
.
cc:
fix
call to e
v
alue
_
convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
e
{
add,mul}_periodics: pl
u
g mem
o
r
y leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
evalue_
b
er
n
st
e
in_coe
f
ficients: ha
n
dl
e
prob
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
olaege
u
p
date
p
o
ly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
Sven
Verdoolaege
la
t
tice_width
.
c: skip directions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven Verdoo
l
aege
Makefile
.
am
:
add
c
dd
9
4e-test to
d
i
s
tributio
n
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ver
d
oola
e
ge
o
m
e
ga/occ: op
t
i
o
nall
y
u
s
e p
a
rker
f
or c
o
mputing c
a
r
di
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
g
e
n
o
rmal
i
z
ation
.
c: skew_to_p
o
s
i
tive_orthan
t
: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
d
oola
e
ge
omega/convert
.
cc: re
l
ation2Domain: o
n
ly collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
occ:
a
dd dump fo
r
dum
p
ing in
b
arv
i
nok_enumer
a
te_
e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
l
ae
g
e
b
arvi
n
ok_enumerate_e: optionally us
e
parker's
method
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
st
a
n
da
r
d_
c
on
s
traints: take const
r
aint
s
instead of pol
y
hed
r
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
n
o
rmalization
.
c: extract sta
n
d
a
r
d_
c
o
n
straint
s
fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/count_solu
t
ions
.
cc:
f
i
x t
r
e
a
tment of existentially
.
.
.
commit
|
commitdiff
|
tree
next